summaryrefslogtreecommitdiff
path: root/testsuite/tests/asmcomp/select_addr.ml
blob: 25718bbc327727a29aaa7d913c781b6a156ccdf0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
(* TEST *)

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 _ =
  (* The test only works on architectures where Sys.int_size is 63,
     as it depends on the exact value of Int.min_int. *)
  if Sys.int_size <> 63 then
    Printf.printf "0x4000000000000001\n"
  else
    Printf.printf "0x%x\n%!" (f 1)