1 files changed, 9 insertions, 1 deletions
diff --git a/backend/CSE3analysisaux.ml b/backend/CSE3analysisaux.ml
index efe6b600..b1707559 100644
--- a/backend/CSE3analysisaux.ml
+++ b/backend/CSE3analysisaux.ml
@@ -227,8 +227,16 @@ let add_to_set_in_table table key item =
        (match Hashtbl.find_opt table key with
         | None -> PSet.empty
         | Some s -> s));;
-  
+
+let disable_cse3_only_conditions = ref false
+
 let preanalysis (tenv : typing_env) (f : RTL.coq_function) =
+  if (!Clflags.option_fcse3_only_conditions && (not !disable_cse3_only_conditions)) then (
+    (* Only run this pass once *)
+    disable_cse3_only_conditions := true;
+  ) else (
+    Clflags.option_fcse3_only_conditions := false;
+  );
   let cur_eq_id = ref 0
   and cur_catalog = ref PTree.empty
   and eq_table = Hashtbl.create 100