diff options
author | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-14 15:37:50 +0200 |
---|---|---|
committer | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-14 15:37:50 +0200 |
commit | 90375dc090b19cf8202903754d7f47e8d568d9f8 (patch) | |
tree | 0b98a0fa4c4588cd8a787d70f45b0468798beaf8 /tools | |
parent | 77d1ab5f7a6d04970185102508f1cec529c7cb40 (diff) | |
download | compcert-kvx-90375dc090b19cf8202903754d7f47e8d568d9f8.tar.gz compcert-kvx-90375dc090b19cf8202903754d7f47e8d568d9f8.zip |
Add RTL Tunneling as a pass
Diffstat (limited to 'tools')
-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 = |