1 files changed, 0 insertions, 40 deletions
diff --git a/arch/riscv/usr/float.S b/arch/riscv/usr/float.S
deleted file mode 100644
index f481f3e..0000000
--- a/arch/riscv/usr/float.S
+++ /dev/null
@@ -1,40 +0,0 @@
-.text
-.globl greater_than_ten
-.type greater_than_ten, @function
-
-// bool greater_than_ten(double a, uint64_t b);
-greater_than_ten:
-    // Upon entry a -> fa0; and b -> a0. That is, the ABI increments the
-    //(f)a<n> register per argument type.
-
-    // Change the rounding to "Rounds Towards Zero" (bits: 0b001).
-    li t0, 0b001
-    fsrm t0
-
-    // Convert the second parameter to double.
-    fcvt.d.lu ft0, a0
-
-    // ret = a + b
-    fadd.d fa0, fa0, ft0
-
-    // ret = (ret * b) + b
-    fmv.d ft1, ft0
-    fmadd.d fa0, fa0, ft0, ft1
-
-    // Now we need to compare the number with 10.0. There are multiple ways to
-    // load a floating point immediate:
-    //   1. Loading an integer immediate and then convert it into a double. This
-    //      is discouraged on the RISC-V assembly manual.
-    //   2. Load a double with `fld` from a memory location on the data section.
-    //   3. Load a floating point immediate with `fli` (requires the `Zfa`
-    //      extension).
-    // I don't have the `Zfa` extension on my board, so I'm opting for the
-    // second way.
-    fld ft1, .TEN, t0
-    fle.d a0, ft1, fa0
-
-    ret
-
-.data
-.TEN:
-    .double 10.0