Add test case for the begin_region / end_region stuff

euisuny · May 27, 2024 · 02b6630 · 02b6630
1 parent 99d56d3
commit 02b6630
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 0 deletions.
diff --git a/middle_end/flambda2/validate/test-validate/test-mls/generated-rules.inc b/middle_end/flambda2/validate/test-validate/test-mls/generated-rules.inc
@@ -42,3 +42,11 @@
   (action
    (progn
    (run %{bin:ocamlopt.opt} -c -validate cse.mli cse.ml))))
+
+(rule
+  (alias runtest)
+  (enabled_if (= %{context_name} "main"))
+  (deps region_elim.ml region_elim.mli)
+  (action
+   (progn
+   (run %{bin:ocamlopt.opt} -c -validate region_elim.mli region_elim.ml))))
diff --git a/middle_end/flambda2/validate/test-validate/test-mls/region_elim.ml b/middle_end/flambda2/validate/test-validate/test-mls/region_elim.ml
@@ -0,0 +1,9 @@
+(* This gets compiled to a program with a begin_region / end_region pair creating a region
+   that is never allocated in. We had to add a special case for this, as does flambda2.
+   See [Normalize.remove_corresponding_end_region] and its interactions with the
+   [Can_delete_if_unused] case of [step_let] (which fires for [Begin_region] *)
+
+let trim () =
+  let _ = ref 0 in
+  ()
+
diff --git a/middle_end/flambda2/validate/test-validate/test-mls/region_elim.mli b/middle_end/flambda2/validate/test-validate/test-mls/region_elim.mli
@@ -0,0 +1 @@
+val trim : unit -> unit