diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 18:27:36 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 18:27:36 +0200 |
| commit | c0449b50b6d461dbc431ee881ba3a35604961a42 (patch) | |
| tree | 961d5419bbe90260e42970df44257f4b019e3a67 /extraction | |
| parent | 0c9cc34f2306b3ea073684806118f1ab36cfc993 (diff) | |
| parent | eead578fde08a1555086ed75714bca3ca1f9b1dc (diff) | |
| download | compcert-kvx-c0449b50b6d461dbc431ee881ba3a35604961a42.tar.gz compcert-kvx-c0449b50b6d461dbc431ee881ba3a35604961a42.zip | |
Merge remote-tracking branch 'origin/mppa-licm' into mppa-features
Diffstat (limited to 'extraction')
| -rw-r--r-- | extraction/extraction.v | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/extraction/extraction.v b/extraction/extraction.v index 98eecc76..9070e26d 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -87,6 +87,9 @@ Extract Inlined Constant Inlining.inlining_info => "Inliningaux.inlining_info". Extract Inlined Constant Inlining.inlining_analysis => "Inliningaux.inlining_analysis". Extraction Inline Inlining.ret Inlining.bind. +(* Loop invariant code motion *) +Extract Inlined Constant LICM.gen_injections => "LICMaux.gen_injections". + (* Allocation *) Extract Constant Allocation.regalloc => "Regalloc.regalloc". @@ -120,6 +123,9 @@ Extract Constant Compopts.optim_CSE3 => "fun _ -> !Clflags.option_fcse3". Extract Constant Compopts.optim_CSE3_alias_analysis => "fun _ -> !Clflags.option_fcse3_alias_analysis". +Extract Constant Compopts.optim_move_loop_invariants => + "fun _ -> !Clflags.option_fmove_loop_invariants". + Extract Constant Compopts.optim_redundancy => "fun _ -> !Clflags.option_fredundancy". Extract Constant Compopts.optim_postpass => @@ -136,6 +142,8 @@ Extract Constant Compopts.optim_xsaddr => "fun _ -> !Clflags.option_fxsaddr". Extract Constant Compopts.optim_addx => "fun _ -> !Clflags.option_faddx". +Extract Constant Compopts.optim_madd => + "fun _ -> !Clflags.option_fmadd". Extract Constant Compopts.optim_coalesce_mem => "fun _ -> !Clflags.option_fcoalesce_mem". Extract Constant Compopts.optim_forward_moves => @@ -230,4 +238,5 @@ Separate Extraction Floats.Float32.from_parsed Floats.Float.from_parsed Globalenvs.Senv.invert_symbol Parser.translation_unit_file - Compopts.optim_postpass. + Compopts.optim_postpass + Archi.has_notrap_loads. |