From d0590cab5ee32df395c129ee3edfa2dc3aaa202d Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 1 Apr 2020 13:30:30 +0200 Subject: begin adapting for LICM phase --- extraction/extraction.v | 3 +++ 1 file changed, 3 insertions(+) (limited to 'extraction') diff --git a/extraction/extraction.v b/extraction/extraction.v index cb461361..1bb5a709 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -120,6 +120,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 => -- cgit From aebbc43842ec0c49058b718c685e08edf11ce614 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 1 Apr 2020 16:15:54 +0200 Subject: route through LICMaux --- extraction/extraction.v | 3 +++ 1 file changed, 3 insertions(+) (limited to 'extraction') diff --git a/extraction/extraction.v b/extraction/extraction.v index 1bb5a709..b102503b 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". -- cgit From 22d8683c16e863dc44ef45d66a4530d8c63d2c30 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sun, 19 Apr 2020 20:03:49 +0200 Subject: forgotten extraction --- extraction/extraction.v | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'extraction') diff --git a/extraction/extraction.v b/extraction/extraction.v index b102503b..18637336 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -224,4 +224,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. -- cgit From eead578fde08a1555086ed75714bca3ca1f9b1dc Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sun, 19 Apr 2020 21:14:21 +0200 Subject: add options for controlling madd and notrap selection --- extraction/extraction.v | 2 ++ 1 file changed, 2 insertions(+) (limited to 'extraction') diff --git a/extraction/extraction.v b/extraction/extraction.v index 18637336..b6aa3409 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -142,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 => -- cgit