From 90375dc090b19cf8202903754d7f47e8d568d9f8 Mon Sep 17 00:00:00 2001 From: Pierre Goutagny Date: Mon, 14 Jun 2021 15:37:50 +0200 Subject: Add RTL Tunneling as a pass --- tools/compiler_expand.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tools') 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 = -- cgit