diff options
author | mame <mame@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2008-05-22 14:45:54 +0000 |
---|---|---|
committer | mame <mame@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2008-05-22 14:45:54 +0000 |
commit | 846ea1727fd34b4eb7c5a9b9d2643d04567c8f86 (patch) | |
tree | c261c7480568af4a231a7f06d8a2b4d8d5935cb9 | |
parent | 2b791b2ddd65241d8e95d6bca25eeb770d244570 (diff) |
* compile.c (get_destination_insn, get_next_insn, get_prev_insn):
peephole optimization should not ignore ISEQ_ELEMENT_ADJUST.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@16535 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | bootstraptest/test_jump.rb | 11 | ||||
-rw-r--r-- | compile.c | 6 |
3 files changed, 19 insertions, 3 deletions
@@ -1,3 +1,8 @@ +Thu May 22 23:45:17 2008 Yusuke Endoh <mame@tsg.ne.jp> + + * compile.c (get_destination_insn, get_next_insn, get_prev_insn): + peephole optimization should not ignore ISEQ_ELEMENT_ADJUST. + Thu May 22 20:20:54 2008 Nobuyoshi Nakada <nobu@ruby-lang.org> * marshal.c (check_dump_arg, check_load_arg): check if reentered. diff --git a/bootstraptest/test_jump.rb b/bootstraptest/test_jump.rb index bc1a613b56..77467337c2 100644 --- a/bootstraptest/test_jump.rb +++ b/bootstraptest/test_jump.rb @@ -248,3 +248,14 @@ assert_equal "1", %q{ end end }, "[ruby-dev:31698]" + +assert_normal_exit %q{ + f = 0 + 1.times do + begin + f += 1 + ensure + redo unless f > 2 + end + end +} @@ -1362,7 +1362,7 @@ get_destination_insn(INSN *iobj) list = lobj->link.next; while (list) { - if (list->type == ISEQ_ELEMENT_INSN) { + if (list->type == ISEQ_ELEMENT_INSN || list->type == ISEQ_ELEMENT_ADJUST) { break; } list = list->next; @@ -1376,7 +1376,7 @@ get_next_insn(INSN *iobj) LINK_ELEMENT *list = iobj->link.next; while (list) { - if (list->type == ISEQ_ELEMENT_INSN) { + if (list->type == ISEQ_ELEMENT_INSN || list->type == ISEQ_ELEMENT_ADJUST) { return list; } list = list->next; @@ -1390,7 +1390,7 @@ get_prev_insn(INSN *iobj) LINK_ELEMENT *list = iobj->link.prev; while (list) { - if (list->type == ISEQ_ELEMENT_INSN) { + if (list->type == ISEQ_ELEMENT_INSN || list->type == ISEQ_ELEMENT_ADJUST) { return list; } list = list->prev; |