diff options
Diffstat (limited to 'tools/compiler_expand.ml')
| -rw-r--r-- | tools/compiler_expand.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index dfadca3b..c6bb88a5 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -67,6 +67,9 @@ let post_rtl_passes = (* This is meant to clean up dead code afer "if-lifting" + removing of redundant condition *) PARTIAL, (Option "optim_redundancy"), Require, (Some "Redundancy elimination"), "Deadcode", Noprint; + PARTIAL, Always, Require, (Some "RTL Branch Tunneling"), "RTLTunneling", Noprint; + + PARTIAL, Always, Require, (Some "RTLpath generation"), "RTLpathLivegen", Noprint; PARTIAL, Always, Require, (Some "Prepass scheduling"), "RTLpathScheduler", Noprint; TOTAL, Always, Require, (Some "Projection to RTL"), "RTLpath", (Print (Printf.sprintf "RTL %d" ((Array.length rtl_passes) + 1))); |