From 1133d3e579458783a2321060474862c7c98d3016 Mon Sep 17 00:00:00 2001 From: Ryan Tjoa Date: Wed, 29 Jan 2025 16:34:26 -0500 Subject: [PATCH] Fix SIMD tests --- flambda-backend/tests/simd/arrays_u.ml | 12 ++++++------ flambda-backend/tests/simd/basic_u.ml | 14 +++++++------- flambda-backend/tests/simd/consts_u.ml | 12 ++++++------ flambda-backend/tests/simd/ops_u.ml | 12 ++++++------ 4 files changed, 25 insertions(+), 25 deletions(-) diff --git a/flambda-backend/tests/simd/arrays_u.ml b/flambda-backend/tests/simd/arrays_u.ml index 7bb55a0ac97..4c062e137a9 100644 --- a/flambda-backend/tests/simd/arrays_u.ml +++ b/flambda-backend/tests/simd/arrays_u.ml @@ -11,12 +11,12 @@ CR-someday mslater: with layout polymorphism, the tests could be functorized. [@@@ocaml.warning "-unused-type-declaration"] [@@@ocaml.warning "-unused-module"] -type int8x16 = int8x16# -type int16x8 = int16x8# -type int32x4 = int32x4# -type int64x2 = int64x2# -type float32x4 = float32x4# -type float64x2 = float64x2# +type nonrec int8x16 = int8x16# +type nonrec int16x8 = int16x8# +type nonrec int32x4 = int32x4# +type nonrec int64x2 = int64x2# +type nonrec float32x4 = float32x4# +type nonrec float64x2 = float64x2# external int8x16_of_int64s : int64 -> int64 -> int8x16 = "" "vec128_of_int64s" [@@noalloc] [@@unboxed] external int8x16_low_int64 : int8x16 -> int64 = "" "vec128_low_int64" [@@noalloc] [@@unboxed] diff --git a/flambda-backend/tests/simd/basic_u.ml b/flambda-backend/tests/simd/basic_u.ml index 9f2043d36d4..c9953912c3d 100644 --- a/flambda-backend/tests/simd/basic_u.ml +++ b/flambda-backend/tests/simd/basic_u.ml @@ -37,12 +37,12 @@ let () = (* Unboxed *) -type int8x16 = int8x16# -type int16x8 = int16x8# -type int32x4 = int32x4# -type int64x2 = int64x2# -type float32x4 = float32x4# -type float64x2 = float64x2# +type nonrec int8x16 = int8x16# +type nonrec int16x8 = int16x8# +type nonrec int32x4 = int32x4# +type nonrec int64x2 = int64x2# +type nonrec float32x4 = float32x4# +type nonrec float64x2 = float64x2# external int64x2_of_int64s : int64 -> int64 -> int64x2 = "" "vec128_of_int64s" [@@noalloc] [@@unboxed] external int64x2_low_int64 : int64x2 -> int64 = "" "vec128_low_int64" [@@noalloc] [@@unboxed] @@ -188,7 +188,7 @@ let () = check v 11L 14L ;; -type record2 = { imm0 : int; str1 : string; a : int64x2# } +type record2 = { imm0 : int; str1 : string; a : int64x2 } let copy_via_weak x = let weak = Weak.create 1 in diff --git a/flambda-backend/tests/simd/consts_u.ml b/flambda-backend/tests/simd/consts_u.ml index 3f3b4f03e8e..98e519c4c04 100644 --- a/flambda-backend/tests/simd/consts_u.ml +++ b/flambda-backend/tests/simd/consts_u.ml @@ -9,12 +9,12 @@ CR-someday mslater: with layout polymorphism, the tests could be functorized. [@@@ocaml.warning "-unused-module"] -type int8x16 = int8x16# -type int16x8 = int16x8# -type int32x4 = int32x4# -type int64x2 = int64x2# -type float32x4 = float32x4# -type float64x2 = float64x2# +type nonrec int8x16 = int8x16# +type nonrec int16x8 = int16x8# +type nonrec int32x4 = int32x4# +type nonrec int64x2 = int64x2# +type nonrec float32x4 = float32x4# +type nonrec float64x2 = float64x2# let eq lv hv l h = if l <> lv then Printf.printf "%016Lx <> %016Lx\n" lv l; diff --git a/flambda-backend/tests/simd/ops_u.ml b/flambda-backend/tests/simd/ops_u.ml index 353dff74a62..c1fe6538f52 100644 --- a/flambda-backend/tests/simd/ops_u.ml +++ b/flambda-backend/tests/simd/ops_u.ml @@ -10,12 +10,12 @@ CR-someday mslater: with layout polymorphism, the tests could be functorized. [@@@ocaml.warning "-unused-value-declaration"] [@@@ocaml.warning "-unused-module"] -type int8x16 = int8x16# -type int16x8 = int16x8# -type int32x4 = int32x4# -type int64x2 = int64x2# -type float32x4 = float32x4# -type float64x2 = float64x2# +type nonrec int8x16 = int8x16# +type nonrec int16x8 = int16x8# +type nonrec int32x4 = int32x4# +type nonrec int64x2 = int64x2# +type nonrec float32x4 = float32x4# +type nonrec float64x2 = float64x2# let failmsg = ref (fun () -> ())