diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-03 10:52:53 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-03 10:52:53 +0100 |
commit | 7dca7590aa212806ee939244b253a6a067f34bfc (patch) | |
tree | 1449c8a386c23ab0a8d443ac46ebccb39a8630e9 /driver/Clflags.ml | |
parent | 326bdc281c60ac826129b0a0fda33dc17d8498fa (diff) | |
download | compcert-kvx-7dca7590aa212806ee939244b253a6a067f34bfc.tar.gz compcert-kvx-7dca7590aa212806ee939244b253a6a067f34bfc.zip |
Added flag to desactivate condition inversion
Diffstat (limited to 'driver/Clflags.ml')
-rw-r--r-- | driver/Clflags.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index 088845fe..a195e38b 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -28,6 +28,7 @@ let option_fconstprop = ref true let option_fcse = ref true let option_fredundancy = ref true let option_fduplicate = ref false +let option_finvertcond = ref true (* only active if option_fduplicate is also true *) let option_fpostpass = ref true let option_fpostpass_sched = ref "list" let option_fifconversion = ref true |