diff options
| author | Magnus Lång <[email protected]> | 2017-03-16 16:38:22 +0100 |
|---|---|---|
| committer | Magnus Lång <[email protected]> | 2017-03-16 20:49:42 +0100 |
| commit | e99f1d41bc8a7e035e35fd5aef6f3ea023d7f12e (patch) | |
| tree | 73542faeea6e531e73a75cbbeb90912d365f80dc /lib/hipe/main | |
| parent | dbe626aa7beb0f04403f6782443f3a78d0f1fdb0 (diff) | |
| download | otp-e99f1d41bc8a7e035e35fd5aef6f3ea023d7f12e.tar.gz otp-e99f1d41bc8a7e035e35fd5aef6f3ea023d7f12e.tar.bz2 otp-e99f1d41bc8a7e035e35fd5aef6f3ea023d7f12e.zip | |
hipe: Add range splitter restore_reuse
hipe_restore_reuse is a simplistic range splitter that splits temps that
are forced onto the stack by being live over call instructions. In
particular, it attempts to avoid cases where there are several accesses
to such stack allocated temps in straight-line code, uninterrupted by
any calls. In order to achieve this it splits temps between just before
the first access(es) and just after the last access(es) in such
straight-line code groups.
The hipe_restore_reuse pass is controlled by a new option
ra_restore_reuse.
ra_restore_reuse is added to o1.
Diffstat (limited to 'lib/hipe/main')
| -rw-r--r-- | lib/hipe/main/hipe.app.src | 1 | ||||
| -rw-r--r-- | lib/hipe/main/hipe.erl | 10 |
2 files changed, 10 insertions, 1 deletions
diff --git a/lib/hipe/main/hipe.app.src b/lib/hipe/main/hipe.app.src index 4c3f147d40..dad095da63 100644 --- a/lib/hipe/main/hipe.app.src +++ b/lib/hipe/main/hipe.app.src @@ -150,6 +150,7 @@ hipe_reg_worklists, hipe_regalloc_loop, hipe_regalloc_prepass, + hipe_restore_reuse, hipe_rtl, hipe_rtl_arch, hipe_rtl_arith_32, diff --git a/lib/hipe/main/hipe.erl b/lib/hipe/main/hipe.erl index fff397b060..f3e7c0879e 100644 --- a/lib/hipe/main/hipe.erl +++ b/lib/hipe/main/hipe.erl @@ -1230,6 +1230,11 @@ option_text(regalloc) -> " optimistic - another variant of a coalescing allocator"; option_text(remove_comments) -> "Strip comments from intermediate code"; +option_text(ra_restore_reuse) -> + "Split live ranges of temporaries such that straight-line\n" + "code will not need to contain multiple restores from the same stack\n" + "location.\n" + "Should only be used with move coalescing register allocators."; option_text(rtl_ssa) -> "Perform SSA conversion on the RTL level -- default starting at O2"; option_text(rtl_ssa_const_prop) -> @@ -1371,6 +1376,7 @@ opt_keys() -> pp_rtl_linear, ra_partitioned, ra_prespill, + ra_restore_reuse, regalloc, remove_comments, rtl_ssa, @@ -1409,7 +1415,8 @@ o1_opts(TargetArch) -> icode_ssa_const_prop, icode_ssa_copy_prop, icode_inline_bifs, rtl_ssa, rtl_ssa_const_prop, rtl_ssapre, spillmin_color, use_indexing, remove_comments, - binary_opt, {regalloc,coalescing} | o0_opts(TargetArch)], + binary_opt, {regalloc,coalescing}, ra_restore_reuse + | o0_opts(TargetArch)], case TargetArch of ultrasparc -> Common; @@ -1477,6 +1484,7 @@ opt_negations() -> {no_pp_rtl_ssapre, pp_rtl_ssapre}, {no_ra_partitioned, ra_partitioned}, {no_ra_prespill, ra_prespill}, + {no_ra_restore_reuse, ra_restore_reuse}, {no_remove_comments, remove_comments}, {no_rtl_ssa, rtl_ssa}, {no_rtl_ssa_const_prop, rtl_ssa_const_prop}, |