diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-01-27 11:43:00 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-01-27 11:43:00 +0100 |
| commit | 893827f54addca2facc19a8f342b380d63114130 (patch) | |
| tree | a6dd12cc5313a996d94806b5c6711f27ef361064 /extraction | |
| parent | 8aa9cb8c221ad4f2d27a7c54eca256bc70425aff (diff) | |
| download | compcert-kvx-893827f54addca2facc19a8f342b380d63114130.tar.gz compcert-kvx-893827f54addca2facc19a8f342b380d63114130.zip | |
Added a flag to desactivate tail duplication
Diffstat (limited to 'extraction')
| -rw-r--r-- | extraction/extraction.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extraction/extraction.v b/extraction/extraction.v index 0c19ea70..c2f97778 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -105,6 +105,8 @@ Extract Constant Compopts.generate_float_constants => "fun _ -> !Clflags.option_ffloatconstprop >= 2". Extract Constant Compopts.optim_tailcalls => "fun _ -> !Clflags.option_ftailcalls". +Extract Constant Compopts.optim_duplicate => + "fun _ -> !Clflags.option_fduplicate". Extract Constant Compopts.optim_constprop => "fun _ -> !Clflags.option_fconstprop". Extract Constant Compopts.optim_CSE => |