diff options
Diffstat (limited to 'backend/CSE3.v')
| -rw-r--r-- | backend/CSE3.v | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/backend/CSE3.v b/backend/CSE3.v index f3a0af24..6cb43085 100644 --- a/backend/CSE3.v +++ b/backend/CSE3.v @@ -15,6 +15,7 @@ Require Import AST Linking. Require Import Memory Registers Op RTL Maps CSE2deps. Require Import CSE3analysis HashedSet. Require Import RTLtyping. +Require Compopts. Local Open Scope error_monad_scope. @@ -139,3 +140,9 @@ Definition param_transf_program (p: program) : res program := transform_partial_program param_transf_fundef p. End PARAMS. + +Definition cmdline_params (_ : unit) := + mkcse3params + (Compopts.optim_CSE3_conditions tt). + +Definition transf_program p := param_transf_program (cmdline_params tt) p. |