task: floating-point

I'm almost ready to throw in the towel. Writing out the rules makes it
obvious how hostile they are to most people.

6 files changed, 318 insertions, 2 deletions

diff --git a/tutorial/index.md b/tutorial/index.md
index 9e30c9c6..c4cda66b 100644
--- a/tutorial/index.md
+++ b/tutorial/index.md
@@ -181,8 +181,8 @@ convert 42 to hexadecimal, or [this page on your web browser](http://akkartik.gi
 
 We'll now practice managing one variable in a register (like last time) and
 a second one in memory. To prepare for this, reread the first two sections of
-the [Mu syntax description](https://github.com/akkartik/mu/blob/main/mu.md).
-The section on [integer arithmetic](https://github.com/akkartik/mu/blob/main/mu.md#integer-arithmetic)
+the [Mu reference](https://github.com/akkartik/mu/blob/main/mu.md). The
+section on [integer arithmetic](https://github.com/akkartik/mu/blob/main/mu.md#integer-arithmetic)
 also provides a useful cheatsheet of the different forms of instructions you
 will need.
 
@@ -282,3 +282,29 @@ var x/edx: int <- copy 0
 
 Run `translate` (or `translate_emulated`) as usual. Use your runbook from Task
 6 to address the errors that arise.
+
+## Task 8: floating point
+
+All our variables so far have had type `int` (integer), but there are limits
+to what you can do with just whole integers. For example, here's the formula
+a visitor to the US will require to convert a distance on a road sign to
+kilometers:
+
+```
+distance * 1.609
+```
+
+Write a function to perform this conversion. Some starting points:
+- reread [the section on variables and registers](https://github.com/akkartik/mu/blob/main/mu.md#variables-registers-and-memory)
+  with special attention to the `float` type.
+- read [the section on floating-point arithmetic](https://github.com/akkartik/mu/blob/main/mu.md#floating-point-arithmetic).
+- One wrinkle is that the x86 instruction set doesn't permit literal
+  fractional arguments. So you'll need to _create_ 1.609 somehow. Relevant is
+  [the section on moving values around](https://github.com/akkartik/mu/blob/main/mu.md#moving-values-around).
+
+This task has four source files in the repo that reveal more and more of the
+answer. Start from the first, and bump down if you need a hint.
+- tutorial/task8.mu
+- tutorial/task8-hint1.mu
+- tutorial/task8-hint2.mu
+- tutorial/task8-hint3.mu
diff --git a/tutorial/task8-hint1.mu b/tutorial/task8-hint1.mu
new file mode 100644
index 00000000..903284f4
--- /dev/null
+++ b/tutorial/task8-hint1.mu
@@ -0,0 +1,58 @@
+fn to-km miles: float -> _/xmm1: float {
+  var result/xmm1: float <- copy miles
+  # fill in the blanks to compute miles * 1.609
+  # 1.609 = 1609 / 1000 (use function `rational`)
+
+  return result
+}
+
+fn test-to-km {
+  # 0 miles = 0 km
+  var zero: float  # Mu implicitly initializes variables in memory to 0
+  var result/xmm1: float <- to-km zero
+  compare result, zero
+  {
+    break-if-=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 0 miles = 0 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 1 mile = 1.609 km approximately
+  var one/eax: int <- copy 1
+  var one-float/xmm0: float <- convert one
+  result <- to-km one-float
+  var lower-bound/xmm0: float <- rational 0x649, 0x3e8  # 1609/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile > 1.609 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0x64a, 0x3e8  # 1610/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile < 1.610 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 2 miles = 3.218 km approximately
+  var two/eax: int <- copy 2
+  var two-float/xmm0: float <- convert two
+  result <- to-km two-float
+  var lower-bound/xmm0: float <- rational 0xc92, 0x3e8  # 3218/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles > 3.218 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0xc93, 0x3e8  # 3219/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles < 3.219 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+}
+
+fn main {
+}
diff --git a/tutorial/task8-hint2.mu b/tutorial/task8-hint2.mu
new file mode 100644
index 00000000..97ccfc51
--- /dev/null
+++ b/tutorial/task8-hint2.mu
@@ -0,0 +1,60 @@
+fn to-km miles: float -> _/xmm1: float {
+  var result/xmm1: float <- copy miles
+  # fill in the blanks to compute miles * 1.609
+  # 1.609 = 1609 / 1000 (use function `rational`)
+  # 1609 = 0x649 in hex
+  # 1000 = 0x3e8 in hex
+
+  return result
+}
+
+fn test-to-km {
+  # 0 miles = 0 km
+  var zero: float  # Mu implicitly initializes variables in memory to 0
+  var result/xmm1: float <- to-km zero
+  compare result, zero
+  {
+    break-if-=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 0 miles = 0 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 1 mile = 1.609 km approximately
+  var one/eax: int <- copy 1
+  var one-float/xmm0: float <- convert one
+  result <- to-km one-float
+  var lower-bound/xmm0: float <- rational 0x649, 0x3e8  # 1609/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile > 1.609 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0x64a, 0x3e8  # 1610/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile < 1.610 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 2 miles = 3.218 km approximately
+  var two/eax: int <- copy 2
+  var two-float/xmm0: float <- convert two
+  result <- to-km two-float
+  var lower-bound/xmm0: float <- rational 0xc92, 0x3e8  # 3218/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles > 3.218 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0xc93, 0x3e8  # 3219/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles < 3.219 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+}
+
+fn main {
+}
diff --git a/tutorial/task8-hint3.mu b/tutorial/task8-hint3.mu
new file mode 100644
index 00000000..e8a78c3d
--- /dev/null
+++ b/tutorial/task8-hint3.mu
@@ -0,0 +1,58 @@
+fn to-km miles: float -> _/xmm1: float {
+  var result/xmm1: float <- copy miles
+  var factor/xmm0: float <- rational 0x649, 0x3e8  # 1.609 = 1609/1000 in hex
+  # fill in the blanks to compute miles * factor
+
+  return result
+}
+
+fn test-to-km {
+  # 0 miles = 0 km
+  var zero: float  # Mu implicitly initializes variables in memory to 0
+  var result/xmm1: float <- to-km zero
+  compare result, zero
+  {
+    break-if-=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 0 miles = 0 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 1 mile = 1.609 km approximately
+  var one/eax: int <- copy 1
+  var one-float/xmm0: float <- convert one
+  result <- to-km one-float
+  var lower-bound/xmm0: float <- rational 0x649, 0x3e8  # 1609/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile > 1.609 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0x64a, 0x3e8  # 1610/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile < 1.610 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 2 miles = 3.218 km approximately
+  var two/eax: int <- copy 2
+  var two-float/xmm0: float <- convert two
+  result <- to-km two-float
+  var lower-bound/xmm0: float <- rational 0xc92, 0x3e8  # 3218/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles > 3.218 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0xc93, 0x3e8  # 3219/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles < 3.219 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+}
+
+fn main {
+}
diff --git a/tutorial/task8-solution1.mu b/tutorial/task8-solution1.mu
new file mode 100644
index 00000000..117bceb0
--- /dev/null
+++ b/tutorial/task8-solution1.mu
@@ -0,0 +1,57 @@
+fn to-km miles: float -> _/xmm1: float {
+  var result/xmm1: float <- copy miles
+  var factor/xmm0: float <- rational 0x649, 0x3e8  # 1.609 = 1609/1000 in hex
+  result <- multiply factor
+  return result
+}
+
+fn test-to-km {
+  # 0 miles = 0 km
+  var zero: float  # Mu implicitly initializes variables in memory to 0
+  var result/xmm1: float <- to-km zero
+  compare result, zero
+  {
+    break-if-=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 0 miles = 0 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 1 mile = 1.609 km approximately
+  var one/eax: int <- copy 1
+  var one-float/xmm0: float <- convert one
+  result <- to-km one-float
+  var lower-bound/xmm0: float <- rational 0x649, 0x3e8  # 1609/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile > 1.609 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0x64a, 0x3e8  # 1610/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile < 1.610 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 2 miles = 3.218 km approximately
+  var two/eax: int <- copy 2
+  var two-float/xmm0: float <- convert two
+  result <- to-km two-float
+  var lower-bound/xmm0: float <- rational 0xc92, 0x3e8  # 3218/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles > 3.218 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0xc93, 0x3e8  # 3219/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles < 3.219 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+}
+
+fn main {
+}
diff --git a/tutorial/task8.mu b/tutorial/task8.mu
new file mode 100644
index 00000000..e6bee1fa
--- /dev/null
+++ b/tutorial/task8.mu
@@ -0,0 +1,57 @@
+fn to-km miles: float -> _/xmm1: float {
+  var result/xmm1: float <- copy miles
+  # fill in the blanks to compute miles * 1.609
+
+  return result
+}
+
+fn test-to-km {
+  # 0 miles = 0 km
+  var zero: float  # Mu implicitly initializes variables in memory to 0
+  var result/xmm1: float <- to-km zero
+  compare result, zero
+  {
+    break-if-=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 0 miles = 0 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 1 mile = 1.609 km approximately
+  var one/eax: int <- copy 1
+  var one-float/xmm0: float <- convert one
+  result <- to-km one-float
+  var lower-bound/xmm0: float <- rational 0x649, 0x3e8  # 1609/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile > 1.609 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0x64a, 0x3e8  # 1610/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 1 mile < 1.610 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  # 2 miles = 3.218 km approximately
+  var two/eax: int <- copy 2
+  var two-float/xmm0: float <- convert two
+  result <- to-km two-float
+  var lower-bound/xmm0: float <- rational 0xc92, 0x3e8  # 3218/1000 in hex
+  {
+    compare result, lower-bound
+    break-if-float>=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles > 3.218 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+  var upper-bound/xmm0: float <- rational 0xc93, 0x3e8  # 3219/1000 in hex
+  {
+    compare result, upper-bound
+    break-if-float<=
+    draw-text-wrapping-right-then-down-from-cursor-over-full-screen 0/screen, "F - 2 miles < 3.219 km\n", 3/fg 0/bg
+    count-test-failure
+  }
+}
+
+fn main {
+}