diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2023-01-22 13:55:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-22 13:55:49 +0100 |
commit | eb04c8bce70090163b656a69ff29e51cffd32425 (patch) | |
tree | 9f4c8bb659faa91581dd77ebfe930acc8f805380 /asmcomp/cmmgen.ml | |
parent | c6d207656de19d97b5edf5c2f9028412aa218571 (diff) | |
download | ocaml-eb04c8bce70090163b656a69ff29e51cffd32425.tar.gz |
Remove arm, i386 native-code backends (#11904)
Diffstat (limited to 'asmcomp/cmmgen.ml')
-rw-r--r-- | asmcomp/cmmgen.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index a7b256c2b6..d8e3793f9b 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -18,7 +18,6 @@ [@@@ocaml.warning "-40"] open Misc -open Arch open Asttypes open Primitive open Types @@ -245,7 +244,6 @@ let box_int dbg bi arg = let typ_of_boxed_number = function | Boxed_float _ -> Cmm.typ_float - | Boxed_integer (Pint64, _) when size_int = 4 -> [|Int;Int|] | Boxed_integer _ -> Cmm.typ_int let equal_unboxed_integer ui1 ui2 = @@ -782,8 +780,6 @@ and transl_ccall env prim args dbg = match prim.prim_native_repr_res with | Same_as_ocaml_repr -> (typ_val, fun x -> x) | Unboxed_float -> (typ_float, box_float dbg) - | Unboxed_integer Pint64 when size_int = 4 -> - ([|Int; Int|], box_int dbg Pint64) | Unboxed_integer bi -> (typ_int, box_int dbg bi) | Untagged_int -> (typ_int, (fun i -> tag_int i dbg)) in |