diff options
Diffstat (limited to 'tools/compiler_expand.ml')
| -rw-r--r-- | tools/compiler_expand.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index ddb3c21a..265d0bcf 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -46,7 +46,8 @@ TOTAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "Renumbering for PARTIAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "CSE3 for LICM"), "CSE3"; PARTIAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "Redundancy elimination for LICM"), "Deadcode"; TOTAL, (Option "all_loads_nontrap"), Require, None, "Allnontrap"; -PARTIAL, Always, Require, (Some "Unused globals"), "Unusedglob" +PARTIAL, Always, Require, (Some "Unused globals"), "Unusedglob"; +PARTIAL, Always, Require, (Some "RTL Branch Tunneling"), "RTLTunneling" |];; let post_rtl_passes = |