flambda-backend: Handle arithmetic overflow in select_addr (oxcaml#570)

gretay-js · web-flow · commit e6f1fed2f537 · 2022-03-03T18:13:32.000Z
diff --git a/testsuite/tests/asmcomp/select_addr.ml b/testsuite/tests/asmcomp/select_addr.ml
@@ -0,0 +1,10 @@
+(* TEST
+* arch_amd64
+*)
+
+let[@inline never][@local never] f n =
+  let n = Int64.of_int n in
+  let open Int64 in
+  to_int (add n (of_int Int.min_int))
+
+let _ = Printf.printf "0x%x\n%!" (f 1)
diff --git a/testsuite/tests/asmcomp/select_addr.reference b/testsuite/tests/asmcomp/select_addr.reference
@@ -0,0 +1 @@
+0x4000000000000001
