From 47fb65a38064a29729d103e51393dde156239917 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 28 Oct 2020 22:16:13 +0100 Subject: deactivate LICM --- driver/Clflags.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'driver') diff --git a/driver/Clflags.ml b/driver/Clflags.ml index 6c82ac62..fc9e8247 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -95,7 +95,7 @@ let option_div_i32 = ref "stsud" let option_div_i64 = ref "stsud" let option_fcoalesce_mem = ref true let option_fforward_moves = ref false -let option_fmove_loop_invariants = ref true +let option_fmove_loop_invariants = ref false let option_fnontrap_loads = ref true let option_all_loads_nontrap = ref false let option_inline_auto_threshold = ref 0 -- cgit