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

TheNumbat · web-flow · commit b5db10f61a4b · 2024-06-25T12:08:36.000+01:00
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
