From d37a9db8edb9c38c79940d9a3d647430a4c4d3e5 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 8 Jul 2020 09:31:10 +0200
Subject: use a command-line option

---
 driver/Driver.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 90afb812..6accc22b 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -204,7 +204,8 @@ Processing options:
   -fcse3-glb            Refine CSE3 information using greatest lower bounds [on]
   -fmove-loop-invariants Perform loop-invariant code motion [off]
   -fredundancy   Perform redundancy elimination [on]
-  -fpostpass     Perform postpass scheduling (only for K1 architecture) [on]
+  -fprepass      Perform prepass scheduling (only for K1 architecture) [off]
+  -fpostpass     Perform postpass scheduling (only for K1 architecture) [on] 
   -fpostpass= <optim> Perform postpass scheduling with the specified optimization [list]
                    (<optim>=list: list scheduling, <optim>=ilp: ILP, <optim>=greedy: just packing bundles)
   -fduplicate <nb_nodes> Perform tail duplication to form superblocks on predicted traces
@@ -419,6 +420,7 @@ let cmdline_actions =
   @ f_opt "cse3-glb" option_fcse3_glb
   @ f_opt "move-loop-invariants" option_fmove_loop_invariants
   @ f_opt "redundancy" option_fredundancy
+  @ f_opt "prepass" option_fprepass
   @ f_opt "postpass" option_fpostpass
   @ [ Exact "-fduplicate", Integer (fun n -> option_fduplicate := n) ]
   @ f_opt "invertcond" option_finvertcond
-- 
cgit