From 5d08ac0f3bf813dac53197f079c2dd1baa522a6a Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 28 Sep 2021 12:15:57 +0200 Subject: activate non trapping loads on the KVX --- 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 bcbf0668..25bd2c78 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 false +let option_fnontrap_loads = ref true let option_all_loads_nontrap = ref false let option_inline_auto_threshold = ref 0 let option_profile_arcs = ref false -- cgit