.

Author: alanechang

debug_test.ml

@@ -0,0 +1,30 @@
+(* module M = struct
+  let[@inline never] f () = assert false
+  let g () = if Sys.opaque_identity true then Int32.of_int 32 else f ()
+end
+
+let _ =
+  let a = M.g () in
+  let b = Int32.to_int a + 1 in Printf.printf "%d" b
+ *)
+module Int32_u = struct
+  include Stdlib__Int32_u
+
+  let ( + ) = add
+  let ( - ) = sub
+  let ( * ) = mul
+  let ( / ) = div
+  let ( // ) = unsigned_div
+  let ( % ) = rem
+  let ( %% ) = unsigned_rem
+  let ( = ) = equal
+end
+
+let[@inline never] literal_test x y =
+  let open Int32_u in
+  match x with
+  | #2l -> (#1l + x) * (y - #4l) / (#3l % #10l)
+  | _ -> #0l
+
+
+let _ = Printf.printf "%ld" (Int32_u.to_int32 (literal_test #2l #3l))

ocaml/Makefile.common-jst

@@ -74,7 +74,7 @@ runtime-stdlib: boot-compiler
 	@touch _build/install/runtime_stdlib/lib/ocaml_runtime_stdlib/dynlink.cmxa
 
 compiler: runtime-stdlib
-	RUNTIME_DIR=$(RUNTIME_DIR) $(dune) build $(ws_main) --only-package=ocaml @install \
+	RUNTIME_DIR=$(RUNTIME_DIR) $(dune) build $(ws_main) --display=verbose --only-package=ocaml @install \
 	  $(ocamldir)/ocamltest/ocamltest.byte \
 	  $(ocamldir)/tools/dumpobj.bc