From d68d71ae380601759927e04a773b9ed0a95ba247 Mon Sep 17 00:00:00 2001 From: Pierre Goutagny Date: Tue, 15 Jun 2021 15:17:32 +0200 Subject: Factorise RTL Tunneling pass in compiler_expand --- tools/compiler_expand.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index 265d0bcf..e45f64fa 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -13,6 +13,8 @@ type print_result = Noprint | Print of string;; type when_triggered = Always | Option of string;; type needs_require = Require | NoRequire;; +let rtl_tunneling = PARTIAL, Always, Require, (Some "RTL Branch Tunneling"), "RTLTunneling" + (* FIXME - The gestion of NoRequire is a bit ugly right now. *) let rtl_passes = [| @@ -47,7 +49,7 @@ PARTIAL, (Option "optim_move_loop_invariants"), NoRequire, (Some "CSE3 for LICM" 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 "RTL Branch Tunneling"), "RTLTunneling" +rtl_tunneling; |];; let post_rtl_passes = -- cgit