From 2064191a299aa0005594b9434885e5b4d56abcc6 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 14 Sep 2021 13:30:26 +0200 Subject: - make non trapping loads in scheduling dependent on option (which was ignored on BTL) - set this option to false, since Kalray still ships a buggy runtime system --- 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 25bd2c78..bcbf0668 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -109,7 +109,7 @@ let option_fexpanse_rtlcond = ref false let option_fexpanse_others = ref false let option_fforward_moves = ref false let option_fmove_loop_invariants = ref false -let option_fnontrap_loads = ref true +let option_fnontrap_loads = ref false let option_all_loads_nontrap = ref false let option_inline_auto_threshold = ref 0 let option_profile_arcs = ref false -- cgit