From d37a9db8edb9c38c79940d9a3d647430a4c4d3e5 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 8 Jul 2020 09:31:10 +0200 Subject: use a command-line option --- driver/Clflags.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'driver/Clflags.ml') diff --git a/driver/Clflags.ml b/driver/Clflags.ml index eb21b3f8..fc5d9e45 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -36,6 +36,7 @@ let option_fredundancy = ref true let option_fduplicate = ref (-1) let option_finvertcond = ref true let option_ftracelinearize = ref false +let option_fprepass = ref false let option_fpostpass = ref true let option_fpostpass_sched = ref "list" let option_fifconversion = ref true -- cgit From eea5640e55890538fa43c3d5672853a0ae015b9c Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sat, 11 Jul 2020 11:00:15 +0200 Subject: command line selection of prepass scheduler --- driver/Clflags.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'driver/Clflags.ml') diff --git a/driver/Clflags.ml b/driver/Clflags.ml index fc5d9e45..829af76a 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -37,6 +37,7 @@ let option_fduplicate = ref (-1) let option_finvertcond = ref true let option_ftracelinearize = ref false 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 -- cgit From 4764b4e2cf2fedb6165e4bf31d549f1df4e4a347 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 22 Oct 2020 13:38:45 +0200 Subject: -mtune= --- driver/Clflags.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'driver/Clflags.ml') diff --git a/driver/Clflags.ml b/driver/Clflags.ml index d5f3aca5..a817b56a 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -42,6 +42,8 @@ let option_funrollsingle = ref 0 (* unroll a single iteration of innermost loops let option_funrollbody = ref 0 (* unroll the body of innermost loops of size n *) (* Scheduling *) +let option_mtune = ref "" + let option_fprepass = ref false let option_fprepass_sched = ref "list" -- cgit From df9957ed3c48e3013f063fdf289eb75767fa6594 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 27 Oct 2020 11:48:42 +0100 Subject: deactivate LICM by default --- driver/Clflags.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'driver/Clflags.ml') diff --git a/driver/Clflags.ml b/driver/Clflags.ml index a817b56a..e9b0dade 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -100,7 +100,7 @@ let option_div_i32 = ref "stsud" let option_div_i64 = ref "stsud" let option_fcoalesce_mem = ref true let option_fforward_moves = ref false -let option_fmove_loop_invariants = ref true +let option_fmove_loop_invariants = ref false let option_fnontrap_loads = ref true let option_all_loads_nontrap = ref false let option_inline_auto_threshold = ref 0 -- cgit