diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-12 17:58:48 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-12 17:58:48 +0100 |
| commit | 60c0b75a8dcf475d3fb443e0dac50dac34e01d12 (patch) | |
| tree | dd551bd367a6cf9a1141a58d2042292fcbc1e69d /extraction | |
| parent | 720caa808c6de6b0e672e69f9bc8395d2b43723e (diff) | |
| download | compcert-kvx-60c0b75a8dcf475d3fb443e0dac50dac34e01d12.tar.gz compcert-kvx-60c0b75a8dcf475d3fb443e0dac50dac34e01d12.zip | |
Added a flag for changing the scheduler (not any choice available right now)
Diffstat (limited to 'extraction')
| -rw-r--r-- | extraction/extraction.v | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extraction/extraction.v b/extraction/extraction.v index f58991aa..a7fe8f9f 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -113,6 +113,8 @@ Extract Constant Compopts.optim_redundancy => "fun _ -> !Clflags.option_fredundancy". Extract Constant Compopts.optim_postpass => "fun _ -> !Clflags.option_fpostpass". +Extract Constant Compopts.optim_pp_optimizer => + "fun _ -> !Clflags.option_pp_optimizer". Extract Constant Compopts.thumb => "fun _ -> !Clflags.option_mthumb". Extract Constant Compopts.debug => @@ -191,4 +193,4 @@ Separate Extraction Floats.Float32.from_parsed Floats.Float.from_parsed Globalenvs.Senv.invert_symbol Parser.translation_unit_file - Compopts.optim_postpass. + Compopts.optim_postpass Compopts.optim_pp_optimizer. |