flambda-backend: Expose float32 mask symbols (#2696)

ocaml-flambda · Jun 25, 2024 · b5db10f · b5db10f
1 parent 937f821
commit b5db10f
Show file tree

Hide file tree

Showing 4 changed files with 36 additions and 0 deletions.
diff --git a/runtime/amd64.S b/runtime/amd64.S
@@ -1123,6 +1123,14 @@ G(caml_negf_mask):
         .align  SIXTEEN_ALIGN
 G(caml_absf_mask):
         .quad   0x7FFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF
+        .globl  G(caml_negf32_mask)
+        .align  SIXTEEN_ALIGN
+G(caml_negf32_mask):
+        .quad   0x80000000, 0
+        .globl  G(caml_absf32_mask)
+        .align  SIXTEEN_ALIGN
+G(caml_absf32_mask):
+        .quad   0xFFFFFFFF7FFFFFFFL, 0xFFFFFFFFFFFFFFFF
 
 #if defined(SYS_linux)
     /* Mark stack as non-executable, PR#4564 */

diff --git a/runtime/amd64nt.asm b/runtime/amd64nt.asm
@@ -452,4 +452,14 @@ caml_negf_mask LABEL QWORD
 caml_absf_mask LABEL QWORD
         QWORD   7FFFFFFFFFFFFFFFH, 0FFFFFFFFFFFFFFFFH
 
+        PUBLIC  caml_negf32_mask
+        ALIGN   16
+caml_negf32_mask LABEL QWORD
+        QWORD   80000000H, 0
+
+        PUBLIC  caml_absf32_mask
+        ALIGN   16
+caml_absf32_mask LABEL QWORD
+        QWORD   FFFFFFFF7FFFFFFFH, 0FFFFFFFFFFFFFFFFH
+
         END
diff --git a/runtime4/amd64.S b/runtime4/amd64.S
@@ -791,6 +791,14 @@ G(caml_negf_mask):
         .align  SIXTEEN_ALIGN
 G(caml_absf_mask):
         .quad   0x7FFFFFFFFFFFFFFF, 0xFFFFFFFFFFFFFFFF
+        .globl  G(caml_negf32_mask)
+        .align  SIXTEEN_ALIGN
+G(caml_negf32_mask):
+        .quad   0x80000000, 0
+        .globl  G(caml_absf32_mask)
+        .align  SIXTEEN_ALIGN
+G(caml_absf32_mask):
+        .quad   0xFFFFFFFF7FFFFFFFL, 0xFFFFFFFFFFFFFFFF
 
 #if defined(SYS_linux)
     /* Mark stack as non-executable, PR#4564 */

diff --git a/runtime4/amd64nt.asm b/runtime4/amd64nt.asm
@@ -453,4 +453,14 @@ caml_negf_mask LABEL QWORD
 caml_absf_mask LABEL QWORD
         QWORD   7FFFFFFFFFFFFFFFH, 0FFFFFFFFFFFFFFFFH
 
+        PUBLIC  caml_negf32_mask
+        ALIGN   16
+caml_negf32_mask LABEL QWORD
+        QWORD   80000000H, 0
+
+        PUBLIC  caml_absf32_mask
+        ALIGN   16
+caml_absf32_mask LABEL QWORD
+        QWORD   FFFFFFFF7FFFFFFFH, 0FFFFFFFFFFFFFFFFH
+
         END