diff options
author | naruse <naruse@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2018-02-16 08:28:48 +0000 |
---|---|---|
committer | naruse <naruse@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2018-02-16 08:28:48 +0000 |
commit | 38aa1376664f217cbbf74db0f49c8eebe098156a (patch) | |
tree | a89a7dfe0c605699df128d838d1ca531be7d1f4f /compile.c | |
parent | d3eeb14db743736428b79ddc4c1d3d8026f15d6f (diff) |
merge revision(s) 61617,61618: [Backport #14273]
compile.c: remove more unreachable chunk
* compile.c (remove_unreachable_chunk): remove beyond labels to be
removed.
compile.c: fix stack consistency error
* compile.c (iseq_peephole_optimize): fix stack consistency error
from return in loop, by adding extra `pop` when replacing `jump`
with `leave`, which is never reached but needed to adjust sp
calculation. [ruby-core:84589] [Bug #14273]
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/branches/ruby_2_5@62426 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
Diffstat (limited to 'compile.c')
-rw-r--r-- | compile.c | 43 |
1 files changed, 35 insertions, 8 deletions
@@ -2295,33 +2295,55 @@ replace_destination(INSN *dobj, INSN *nobj) if (!dl->refcnt) ELEM_REMOVE(&dl->link); } +static LABEL* +find_destination(INSN *i) +{ + int pos, len = insn_len(i->insn_id); + for (pos = 0; pos < len; ++pos) { + if (insn_op_types(i->insn_id)[pos] == TS_OFFSET) { + return (LABEL *)OPERAND_AT(i, pos); + } + } + return 0; +} + static int remove_unreachable_chunk(rb_iseq_t *iseq, LINK_ELEMENT *i) { LINK_ELEMENT *first = i, *end; + int *unref_counts = 0, nlabels = ISEQ_COMPILE_DATA(iseq)->label_no; if (!i) return 0; - while (i) { + unref_counts = ALLOCA_N(int, nlabels); + MEMZERO(unref_counts, int, nlabels); + end = i; + do { + LABEL *lab; if (IS_INSN(i)) { - if (IS_INSN_ID(i, jump) || IS_INSN_ID(i, leave)) { + if (IS_INSN_ID(i, leave)) { + end = i; break; } + else if ((lab = find_destination((INSN *)i)) != 0) { + if (lab->unremovable) break; + unref_counts[lab->label_no]++; + } } else if (IS_LABEL(i)) { - if (((LABEL *)i)->unremovable) return 0; - if (((LABEL *)i)->refcnt > 0) { + lab = (LABEL *)i; + if (lab->unremovable) return 0; + if (lab->refcnt > unref_counts[lab->label_no]) { if (i == first) return 0; - i = i->prev; break; } + continue; } else if (IS_TRACE(i)) { /* do nothing */ } else return 0; - i = i->next; - } - end = i; + end = i; + } while ((i = i->next) != 0); i = first; do { if (IS_INSN(i)) { @@ -2416,6 +2438,7 @@ iseq_peephole_optimize(rb_iseq_t *iseq, LINK_ELEMENT *list, const int do_tailcal goto again; } else if (IS_INSN_ID(diobj, leave)) { + INSN *pop; /* * jump LABEL * ... @@ -2423,6 +2446,7 @@ iseq_peephole_optimize(rb_iseq_t *iseq, LINK_ELEMENT *list, const int do_tailcal * leave * => * leave + * pop * ... * LABEL: * leave @@ -2432,6 +2456,9 @@ iseq_peephole_optimize(rb_iseq_t *iseq, LINK_ELEMENT *list, const int do_tailcal iobj->insn_id = BIN(leave); iobj->operand_size = 0; iobj->insn_info = diobj->insn_info; + /* adjust stack depth */ + pop = new_insn_body(iseq, diobj->insn_info.line_no, BIN(pop), 0); + ELEM_INSERT_NEXT(&iobj->link, &pop->link); goto again; } else if ((piobj = (INSN *)get_prev_insn(iobj)) != 0 && |