flambda-backend: Upgrade float32 support to beta (#2541)

TheNumbat · web-flow · commit 66fbd07c406b · 2024-05-09T17:18:49.000-04:00
* squash

* fix
diff --git a/otherlibs/alpha/.ocamlformat-enable b/otherlibs/alpha/.ocamlformat-enable
@@ -1,4 +1,2 @@
 alpha.mli
 alpha.ml
-float32.mli
-float32.ml
diff --git a/otherlibs/alpha/alpha.ml b/otherlibs/alpha/alpha.ml
@@ -1,2 +0,0 @@
-module Float32 = Float32
-module Float32_u = Float32_u
diff --git a/otherlibs/alpha/alpha.mli b/otherlibs/alpha/alpha.mli
@@ -1,2 +0,0 @@
-module Float32 = Float32
-module Float32_u = Float32_u
diff --git a/otherlibs/alpha/dune b/otherlibs/alpha/dune
@@ -41,19 +41,9 @@
   (alpha.cmxs as alpha/alpha.cmxs)
   (alpha.cma as alpha/alpha.cma)
   (alpha.mli as alpha/alpha.mli)
-  (float32.mli as alpha/float32.mli)
-  (float32_u.mli as alpha/float32_u.mli)
   (.alpha.objs/byte/alpha.cmi as alpha/alpha.cmi)
   (.alpha.objs/byte/alpha.cmt as alpha/alpha.cmt)
   (.alpha.objs/byte/alpha.cmti as alpha/alpha.cmti)
-  (.alpha.objs/native/alpha.cmx as alpha/alpha.cmx)
-  (.alpha.objs/byte/float32.cmi as alpha/float32.cmi)
-  (.alpha.objs/byte/float32.cmt as alpha/float32.cmt)
-  (.alpha.objs/byte/float32.cmti as alpha/float32.cmti)
-  (.alpha.objs/native/float32.cmx as alpha/float32.cmx)
-  (.alpha.objs/byte/float32_u.cmi as alpha/float32_u.cmi)
-  (.alpha.objs/byte/float32_u.cmt as alpha/float32_u.cmt)
-  (.alpha.objs/byte/float32_u.cmti as alpha/float32_u.cmti)
-  (.alpha.objs/native/float32_u.cmx as alpha/float32_u.cmx))
+  (.alpha.objs/native/alpha.cmx as alpha/alpha.cmx))
  (section lib)
  (package ocaml))
diff --git a/otherlibs/beta/.ocamlformat-enable b/otherlibs/beta/.ocamlformat-enable
@@ -1,2 +1,4 @@
 beta.mli
 beta.ml
+float32.mli
+float32.ml
diff --git a/otherlibs/beta/beta.ml b/otherlibs/beta/beta.ml
@@ -0,0 +1,2 @@
+module Float32 = Float32
+module Float32_u = Float32_u
diff --git a/otherlibs/beta/beta.mli b/otherlibs/beta/beta.mli
@@ -0,0 +1,2 @@
+module Float32 = Float32
+module Float32_u = Float32_u
diff --git a/otherlibs/beta/dune b/otherlibs/beta/dune
@@ -41,9 +41,19 @@
   (beta.cmxs as beta/beta.cmxs)
   (beta.cma as beta/beta.cma)
   (beta.mli as beta/beta.mli)
+  (float32.mli as beta/float32.mli)
+  (float32_u.mli as beta/float32_u.mli)
   (.beta.objs/byte/beta.cmi as beta/beta.cmi)
   (.beta.objs/byte/beta.cmt as beta/beta.cmt)
   (.beta.objs/byte/beta.cmti as beta/beta.cmti)
-  (.beta.objs/native/beta.cmx as beta/beta.cmx))
+  (.beta.objs/native/beta.cmx as beta/beta.cmx)
+  (.beta.objs/byte/float32.cmi as beta/float32.cmi)
+  (.beta.objs/byte/float32.cmt as beta/float32.cmt)
+  (.beta.objs/byte/float32.cmti as beta/float32.cmti)
+  (.beta.objs/native/float32.cmx as beta/float32.cmx)
+  (.beta.objs/byte/float32_u.cmi as beta/float32_u.cmi)
+  (.beta.objs/byte/float32_u.cmt as beta/float32_u.cmt)
+  (.beta.objs/byte/float32_u.cmti as beta/float32_u.cmti)
+  (.beta.objs/native/float32_u.cmx as beta/float32_u.cmx))
  (section lib)
  (package ocaml))
diff --git a/otherlibs/beta/float32.ml b/otherlibs/beta/float32.ml
diff --git a/otherlibs/beta/float32.mli b/otherlibs/beta/float32.mli
diff --git a/otherlibs/beta/float32_u.ml b/otherlibs/beta/float32_u.ml
diff --git a/otherlibs/beta/float32_u.mli b/otherlibs/beta/float32_u.mli
diff --git a/testsuite/tests/typing-layouts-float32/alloc.ml b/testsuite/tests/typing-layouts-float32/alloc.ml
@@ -1,8 +1,8 @@
 (* TEST
  flambda2;
  {
-   include alpha;
-   flags = "-extension-universe alpha";
+   include beta;
+   flags = "-extension-universe beta";
    native;
  }
 *)
@@ -15,7 +15,7 @@
    floats. *)
 
 module Float32_u = struct
-  include Alpha.Float32_u
+  include Beta.Float32_u
 
   let ( + ) = add
   let ( - ) = sub
diff --git a/utils/language_extension.ml b/utils/language_extension.ml
@@ -79,7 +79,7 @@ module Exist_pair = struct
     | Pair (Layouts, m) -> m
     | Pair (SIMD, ()) -> Stable
     | Pair (Labeled_tuples, ()) -> Stable
-    | Pair (Small_numbers, ()) -> Alpha
+    | Pair (Small_numbers, ()) -> Beta
 
   let is_erasable : t -> bool = function Pair (ext, _) -> is_erasable ext
 

Original file line number	Diff line number	Diff line change
`@@ -1,2 +0,0 @@`
`1`		`-module Float32 = Float32`
`2`		`-module Float32_u = Float32_u`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+module Float32 = Float32`
	`2`	`+module Float32_u = Float32_u`