diff options
| author | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-15 15:17:32 +0200 |
|---|---|---|
| committer | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-15 15:17:32 +0200 |
| commit | d68d71ae380601759927e04a773b9ed0a95ba247 (patch) | |
| tree | bea04479b469f7196e30105aa0202eeb0e536b59 /tools | |
| parent | 90375dc090b19cf8202903754d7f47e8d568d9f8 (diff) | |
| download | compcert-kvx-d68d71ae380601759927e04a773b9ed0a95ba247.tar.gz compcert-kvx-d68d71ae380601759927e04a773b9ed0a95ba247.zip | |
Factorise RTL Tunneling pass in compiler_expand
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/compiler_expand.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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 = |