aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-07-19 13:26:41 +0200
committerDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-07-19 13:26:41 +0200
commit650c134f915d0b2e799c76c87ffd2ed09c782dcc (patch)
treea2acf8e94e9ecca9765076b646e294f5b86109ab
parentad72ffe9c2d7839cfe85926264565d59daf87a3c (diff)
downloadcompcert-kvx-650c134f915d0b2e799c76c87ffd2ed09c782dcc.tar.gz
compcert-kvx-650c134f915d0b2e799c76c87ffd2ed09c782dcc.zip
use regpres_bis not regpres
-rw-r--r--driver/Clflags.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml
index 085eaa7e..134c222f 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -51,7 +51,7 @@ let option_flooprotate = ref 0 (* rotate the innermost loops to have the conditi
let option_mtune = ref ""
let option_fprepass = ref true
-let option_fprepass_sched = ref "list"
+let option_fprepass_sched = ref "regpres_bis"
let option_fpostpass = ref true
let option_fpostpass_sched = ref "list"