Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass

1 files changed, 11 insertions, 3 deletions

diff --git a/driver/Clflags.ml b/driver/Clflags.ml
index 829af76a..d5f3aca5 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -33,13 +33,21 @@ let option_fcse3_across_calls = ref false
 let option_fcse3_across_merges = ref true
 let option_fcse3_glb = ref true
 let option_fredundancy = ref true
-let option_fduplicate = ref (-1)
-let option_finvertcond = ref true
-let option_ftracelinearize = ref false
+
+(** Options relative to superblock scheduling *)
+let option_fpredict = ref true (* insert static branch prediction information, and swaps ifso/ifnot branches accordingly *)
+let option_ftailduplicate = ref 0 (* perform tail duplication for blocks of size n *)
+let option_ftracelinearize = ref true (* uses branch prediction information to improve the linearization *)
+let option_funrollsingle = ref 0 (* unroll a single iteration of innermost loops of size n *)
+let option_funrollbody = ref 0 (* unroll the body of innermost loops of size n *)
+
+(* Scheduling *)
 let option_fprepass = ref false
 let option_fprepass_sched = ref "list"
+
 let option_fpostpass = ref true
 let option_fpostpass_sched = ref "list"
+
 let option_fifconversion = ref true
 let option_Obranchless = ref false
 let option_falignfunctions = ref (None: int option)