From f1f535cad98f3db3e586f0f7a2dbc329fc5bff6f Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 6 May 2020 20:16:08 +0200 Subject: CSE3 across merges --- extraction/extraction.v | 2 ++ 1 file changed, 2 insertions(+) (limited to 'extraction/extraction.v') diff --git a/extraction/extraction.v b/extraction/extraction.v index b40d444a..a7772224 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -125,6 +125,8 @@ Extract Constant Compopts.optim_CSE3_alias_analysis => "fun _ -> !Clflags.option_fcse3_alias_analysis". Extract Constant Compopts.optim_CSE3_across_calls => "fun _ -> !Clflags.option_fcse3_across_calls". +Extract Constant Compopts.optim_CSE3_across_merges => + "fun _ -> !Clflags.option_fcse3_across_merges". Extract Constant Compopts.optim_move_loop_invariants => "fun _ -> !Clflags.option_fmove_loop_invariants". -- cgit