Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
cc740857
Commit
cc740857
authored
Feb 16, 2021
by
Léo Gourdin
Browse files
Adding a compiler option -fexpanse-rtlcond
parent
cf935c40
Changes
3
Hide whitespace changes
Inline
Side-by-side
driver/Clflags.ml
View file @
cc740857
...
...
@@ -105,6 +105,7 @@ let option_fmadd = ref true
let
option_div_i32
=
ref
"stsud"
let
option_div_i64
=
ref
"stsud"
let
option_fcoalesce_mem
=
ref
true
let
option_fexpanse_rtlcond
=
ref
true
let
option_fforward_moves
=
ref
false
let
option_fmove_loop_invariants
=
ref
false
let
option_fnontrap_loads
=
ref
true
...
...
driver/Driver.ml
View file @
cc740857
...
...
@@ -444,6 +444,7 @@ let cmdline_actions =
@
f_opt
"madd"
option_fmadd
@
f_opt
"nontrap-loads"
option_fnontrap_loads
@
f_opt
"coalesce-mem"
option_fcoalesce_mem
@
f_opt
"expanse-rtlcond"
option_fexpanse_rtlcond
@
f_opt
"all-loads-nontrap"
option_all_loads_nontrap
@
f_opt
"forward-moves"
option_fforward_moves
(* Code generation options *)
...
...
scheduling/RTLpathScheduleraux.ml
View file @
cc740857
...
...
@@ -284,7 +284,9 @@ let rec do_schedule code pm = function
|
[]
->
(
code
,
pm
)
|
sb
::
lsb
->
(*debug_flag := true;*)
let
(
code_exp
,
pm
)
=
expanse
sb
code
pm
in
let
(
code_exp
,
pm
)
=
if
!
Clflags
.
option_fexpanse_rtlcond
then
(
expanse
sb
code
pm
)
else
(
code
,
pm
)
in
(*debug_flag := false;*)
(* Trick: instead of turning loads into non trap as needed..
* First, we turn them all into non-trap.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment