diff options
Diffstat (limited to 'backend/CSE3analysisaux.ml')
-rw-r--r-- | backend/CSE3analysisaux.ml | 10 |
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 |