1 files changed, 108 insertions, 0 deletions
diff --git a/lib/std/special/compiler_rt/arm/aeabi_fcmp.zig b/lib/std/special/compiler_rt/arm/aeabi_fcmp.zig
new file mode 100644
index 0000000000..cc5efc64fc
--- /dev/null
+++ b/lib/std/special/compiler_rt/arm/aeabi_fcmp.zig
@@ -0,0 +1,108 @@
+// Ported from:
+//
+// https://github.com/llvm/llvm-project/commit/d674d96bc56c0f377879d01c9d8dfdaaa7859cdb/compiler-rt/lib/builtins/arm/aeabi_fcmp.S
+
+const compiler_rt_armhf_target = false; // TODO
+
+const ConditionalOperator = enum {
+    Eq,
+    Lt,
+    Le,
+    Ge,
+    Gt,
+};
+
+pub nakedcc fn __aeabi_fcmpeq() noreturn {
+    @setRuntimeSafety(false);
+    @inlineCall(aeabi_fcmp, .Eq);
+    unreachable;
+}
+
+pub nakedcc fn __aeabi_fcmplt() noreturn {
+    @setRuntimeSafety(false);
+    @inlineCall(aeabi_fcmp, .Lt);
+    unreachable;
+}
+
+pub nakedcc fn __aeabi_fcmple() noreturn {
+    @setRuntimeSafety(false);
+    @inlineCall(aeabi_fcmp, .Le);
+    unreachable;
+}
+
+pub nakedcc fn __aeabi_fcmpge() noreturn {
+    @setRuntimeSafety(false);
+    @inlineCall(aeabi_fcmp, .Ge);
+    unreachable;
+}
+
+pub nakedcc fn __aeabi_fcmpgt() noreturn {
+    @setRuntimeSafety(false);
+    @inlineCall(aeabi_fcmp, .Gt);
+    unreachable;
+}
+
+inline fn convert_fcmp_args_to_sf2_args() void {
+    asm volatile (
+        \\ vmov      s0, r0
+        \\ vmov      s1, r1
+    );
+}
+
+fn aeabi_fcmp(comptime cond: ConditionalOperator) void {
+    @setRuntimeSafety(false);
+    asm volatile (
+        \\ push      { r4, lr }
+    );
+
+    if (compiler_rt_armhf_target) {
+        convert_fcmp_args_to_sf2_args();
+    }
+
+    switch (cond) {
+        .Eq => asm volatile (
+            \\ bl        __eqsf2
+            \\ cmp       r0, #0
+            \\ beq 1f
+            \\ movs      r0, #0
+            \\ pop       { r4, pc }
+            \\ 1:
+        ),
+        .Lt => asm volatile (
+            \\ bl        __ltsf2
+            \\ cmp       r0, #0
+            \\ blt 1f
+            \\ movs      r0, #0
+            \\ pop       { r4, pc }
+            \\ 1:
+        ),
+        .Le => asm volatile (
+            \\ bl        __lesf2
+            \\ cmp       r0, #0
+            \\ ble 1f
+            \\ movs      r0, #0
+            \\ pop       { r4, pc }
+            \\ 1:
+        ),
+        .Ge => asm volatile (
+            \\ bl        __ltsf2
+            \\ cmp       r0, #0
+            \\ bge 1f
+            \\ movs      r0, #0
+            \\ pop       { r4, pc }
+            \\ 1:
+        ),
+        .Gt => asm volatile (
+            \\ bl        __gtsf2
+            \\ cmp       r0, #0
+            \\ bgt 1f
+            \\ movs      r0, #0
+            \\ pop       { r4, pc }
+            \\ 1:
+        ),
+    }
+    asm volatile (
+        \\ movs      r0, #1
+        \\ pop       { r4, pc }
+    );
+}