[pypy-commit] lang-smalltalk storage-refactoring-virtual-pc: Updated jit tests. No real changes.
anton_gulenko
noreply at buildbot.pypy.org
Thu May 15 12:40:32 CEST 2014
Author: Anton Gulenko <anton.gulenko at googlemail.com>
Branch: storage-refactoring-virtual-pc
Changeset: r828:17200555aaec
Date: 2014-05-14 15:05 +0200
http://bitbucket.org/pypy/lang-smalltalk/changeset/17200555aaec/
Log: Updated jit tests. No real changes.
diff --git a/spyvm/test/jittest/test_basic.py b/spyvm/test/jittest/test_basic.py
--- a/spyvm/test/jittest/test_basic.py
+++ b/spyvm/test/jittest/test_basic.py
@@ -8,38 +8,37 @@
0 to: 1000000000 do: [:t|nil].
""")
self.assert_matches(traces[0].loop, """
- i59 = int_le(i51, 1000000000),
- guard_true(i59, descr=<Guard0x3336290>),
- i60 = int_add(i51, 1),
- i61 = int_sub(i55, 1),
- setfield_gc(ConstPtr(ptr52), i61, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i62 = int_le(i61, 0),
- guard_false(i62, descr=<Guard0x3336250>),
- jump(p0, p3, i60, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, i61, descr=TargetToken(53667152))
+ i58 = int_le(i50, 1000000000),
+ guard_true(i58, descr=<Guard0x2f17250>),
+ i59 = int_add(i50, 1),
+ i60 = int_sub(i54, 1),
+ setfield_gc(ConstPtr(ptr51), i60, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
+ i61 = int_le(i60, 0),
+ guard_false(i61, descr=<Guard0x2f17210>),
+ jump(p0, i1, p3, i59, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, i60, descr=TargetToken(49337584))
""")
self.assert_matches(traces[0].bridges[0], """
-
- f18 = call(ConstClass(ll_time.ll_time_time), descr=<Callf 8 EF=4>),
- setfield_gc(ConstPtr(ptr19), 10000, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- guard_no_exception(descr=<Guard0x2e964d0>),
- f22 = float_sub(f18, 1396948969.119000),
- f24 = float_mul(f22, 1000.000000),
- i25 = cast_float_to_int(f24),
- i27 = int_and(i25, 2147483647),
- i28 = getfield_gc(ConstPtr(ptr19), descr=<FieldS spyvm.interpreter.Interpreter.inst_next_wakeup_tick 36>),
- i29 = int_is_zero(i28),
- guard_true(i29, descr=<Guard0x2e96b50>),
- label(p0, p1, i16, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13, p14, p15, descr=TargetToken(48874112)),
- guard_class(p0, 23085560, descr=<Guard0x2e96b10>),
- p31 = getfield_gc(p0, descr=<FieldP spyvm.shadow.MethodContextShadow.inst__w_method 44>),
- p32 = getfield_gc(p31, descr=<FieldP spyvm.model.W_CompiledMethod.inst_version 56>),
- guard_value(p31, ConstPtr(ptr33), descr=<Guard0x2e96ad0>),
- guard_value(p32, ConstPtr(ptr34), descr=<Guard0x2e96a90>),
- i36 = int_le(i16, 1000000000),
- guard_true(i36, descr=<Guard0x2e96a50>),
- i38 = int_add(i16, 1),
- setfield_gc(ConstPtr(ptr19), 9999, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- jump(p0, p1, i38, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13, p14, p15, 9999, descr=TargetToken(48817488))
+ f19 = call(ConstClass(ll_time.ll_time_time), descr=<Callf 8 EF=4>),
+ setfield_gc(ConstPtr(ptr20), 10000, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
+ guard_no_exception(descr=<Guard0x3117450>),
+ f23 = float_sub(f19, 1400072025.015000),
+ f25 = float_mul(f23, 1000.000000),
+ i26 = cast_float_to_int(f25),
+ i28 = int_and(i26, 2147483647),
+ i29 = getfield_gc(ConstPtr(ptr20), descr=<FieldS spyvm.interpreter.Interpreter.inst_next_wakeup_tick 36>),
+ i30 = int_is_zero(i29),
+ guard_true(i30, descr=<Guard0x3117ad0>),
+ label(p0, i1, p2, i17, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13, p14, p15, p16, descr=TargetToken(51495504)),
+ guard_class(p0, 23562720, descr=<Guard0x3117a90>),
+ p32 = getfield_gc(p0, descr=<FieldP spyvm.shadow.MethodContextShadow.inst__w_method 44>),
+ p33 = getfield_gc(p32, descr=<FieldP spyvm.model.W_CompiledMethod.inst_version 56>),
+ guard_value(p32, ConstPtr(ptr34), descr=<Guard0x3117a50>),
+ guard_value(p33, ConstPtr(ptr35), descr=<Guard0x3117a10>),
+ i37 = int_le(i17, 1000000000),
+ guard_true(i37, descr=<Guard0x31179d0>),
+ i39 = int_add(i17, 1),
+ setfield_gc(ConstPtr(ptr20), 9999, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
+ jump(p0, i1, p2, i39, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13, p14, p15, p16, 9999, descr=TargetToken(51434784))
""")
def test_constant_string(self, spy, tmpdir):
@@ -50,16 +49,16 @@
^ i
""")
self.assert_matches(traces[0].loop, """
- i77 = int_le(i69, 10000),
- guard_true(i77, descr=<Guard0xfda8d0>),
- guard_not_invalidated(descr=<Guard0xfda890>),
- i78 = int_add_ovf(i69, i68),
- guard_no_overflow(descr=<Guard0xfda850>),
- i79 = int_sub(i72, 1),
- setfield_gc(ConstPtr(ptr66), i79, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i80 = int_le(i79, 0),
- guard_false(i80, descr=<Guard0xfda810>),
- jump(p0, p3, i78, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, i68, i79, descr=TargetToken(16561632))
+ i76 = int_le(i68, 10000),
+ guard_true(i76, descr=<Guard0x31c8990>),
+ guard_not_invalidated(descr=<Guard0x31c8950>),
+ i77 = int_add_ovf(i68, i67),
+ guard_no_overflow(descr=<Guard0x31c8910>),
+ i78 = int_sub(i71, 1),
+ setfield_gc(ConstPtr(ptr65), i78, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
+ i79 = int_le(i78, 0),
+ guard_false(i79, descr=<Guard0x31c88d0>),
+ jump(p0, i1, p3, i77, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, i67, i78, descr=TargetToken(52151536))
""")
def test_constant_string_equal2(self, spy, tmpdir):
@@ -75,16 +74,16 @@
^ i
""")
self.assert_matches(traces[0].loop, """
- i79 = int_le(i71, 100000),
- guard_true(i79, descr=<Guard0x36e7790>),
- i80 = int_add(i71, 1),
- i81 = int_sub(i75, 1),
- setfield_gc(ConstPtr(ptr72), i81, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i82 = int_le(i81, 0),
- guard_false(i82, descr=<Guard0x36e7c10>),
- i84 = arraylen_gc(p65, descr=<ArrayU 1>),
- i85 = arraylen_gc(p67, descr=<ArrayU 1>),
- jump(p0, p3, i80, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, i81, p65, p67, descr=TargetToken(57534304))
+ i78 = int_le(i70, 100000),
+ guard_true(i78, descr=<Guard0x1298350>),
+ i79 = int_add(i70, 1),
+ i80 = int_sub(i74, 1),
+ setfield_gc(ConstPtr(ptr71), i80, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
+ i81 = int_le(i80, 0),
+ guard_false(i81, descr=<Guard0x1298310>),
+ i83 = arraylen_gc(p64, descr=<ArrayU 1>),
+ i84 = arraylen_gc(p66, descr=<ArrayU 1>),
+ jump(p0, i1, p3, i79, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, i80, p64, p66, descr=TargetToken(19461888))
""")
def test_constant_string_var_equal(self, spy, tmpdir):
@@ -104,14 +103,14 @@
^ i
""")
self.assert_matches(traces[0].loop, """
- i72 = int_le(i64, 100000),
- guard_true(i72, descr=<Guard0x2e98590>),
- i73 = int_add(i64, 1),
- i74 = int_sub(i68, 1),
- setfield_gc(ConstPtr(ptr65), i74, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i75 = int_le(i74, 0),
- guard_false(i75, descr=<Guard0x2e98510>),
- jump(p0, p3, i73, p8, p10, p12, p14, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, p40, p42, p44, p46, i74, descr=TargetToken(48821968))
+ i71 = int_le(i63, 100000),
+ guard_true(i71, descr=<Guard0x2f174d0>),
+ i72 = int_add(i63, 1),
+ i73 = int_sub(i67, 1),
+ setfield_gc(ConstPtr(ptr64), i73, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
+ i74 = int_le(i73, 0),
+ guard_false(i74, descr=<Guard0x2f17450>),
+ jump(p0, i1, p3, i72, p8, p10, p12, p14, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, p40, p42, p44, p46, i73, descr=TargetToken(49338064))
""")
def test_bitblt_fillWhite(self, spy, tmpdir):
@@ -124,241 +123,241 @@
Display beDisplay. 1 to: 10000 do: [:i | Display fillWhite].
""")
self.assert_matches(traces[0].loop, """
- i598 = int_le(2, i153),
- guard_false(i598, descr=<Guard0x37cba50>),
- i599 = getfield_gc_pure(p589, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>),
- i600 = int_add_ovf(i599, i162),
- guard_no_overflow(descr=<Guard0x37cb910>),
- i601 = getfield_gc_pure(p592, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>),
- i602 = int_add_ovf(i601, i171),
- guard_no_overflow(descr=<Guard0x37cb7d0>),
- i603 = int_add_ovf(i176, 1),
- guard_no_overflow(descr=<Guard0x37cb710>),
- i604 = int_sub(i585, 1),
- setfield_gc(ConstPtr(ptr177), i604, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i605 = int_le(i604, 0),
- guard_false(i605, descr=<Guard0x37cb6d0>),
- i606 = int_le(i603, i187),
- guard_true(i606, descr=<Guard0x37cb3d0>),
- guard_not_invalidated(descr=<Guard0x37cb290>),
- i607 = getfield_gc_pure(p364, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>),
- i608 = int_mod(i607, i224),
- i609 = int_rshift(i608, 31),
- i610 = int_and(i224, i609),
- i611 = int_add(i608, i610),
- i612 = int_add_ovf(1, i611),
- guard_no_overflow(descr=<Guard0x37c8c90>),
- i613 = int_ge(i611, 0),
- guard_true(i613, descr=<Guard0x37c8a10>),
- i614 = int_lt(i611, i224),
- guard_true(i614, descr=<Guard0x37c89d0>),
- i615 = getarrayitem_gc(p247, i611, descr=<ArrayU 4>),
- i616 = uint_lt(i615, 0)
- guard_false(i616, descr=<Guard0x2f31410>)
- i617 = uint_lt(i615, 2147483647)
- guard_true(i617, descr=<Guard0x2f313d0>)
- i618 = int_add_ovf(i607, i256)
- guard_no_overflow(descr=<Guard0x2f31310>)
- i619 = int_ge(i615, 0)
- guard_true(i619, descr=<Guard0x2f2ef90>)
- i620 = int_and(i615, i615)
- i621 = uint_lt(i620, 2147483647)
- guard_true(i621, descr=<Guard0x2f2ef10>)
- i622 = int_add_ovf(i602, 1)
- guard_no_overflow(descr=<Guard0x2f2ee50>)
- i623 = int_ge(i602, 0)
- guard_true(i623, descr=<Guard0x2f2ea90>)
- i624 = int_lt(i602, i290)
- guard_true(i624, descr=<Guard0x2f2ea50>)
- i625 = getarrayitem_raw(i292, i602, descr=<ArrayU 4>)
- i626 = uint_lt(i625, 0)
- guard_false(i626, descr=<Guard0x2f2ea10>)
- i627 = uint_lt(i625, 2147483647)
- guard_true(i627, descr=<Guard0x2f2e9d0>)
- i628 = int_and(i328, i620)
- i629 = uint_lt(i628, 2147483647)
- guard_true(i629, descr=<Guard0x2f34850>)
- i630 = getarrayitem_raw(i292, i602, descr=<ArrayU 4>)
- i631 = uint_lt(i630, 0)
- guard_false(i631, descr=<Guard0x2f34c90>)
- i632 = uint_lt(i630, 2147483647)
- guard_true(i632, descr=<Guard0x2f34c50>)
- i633 = int_ge(i630, 0)
- guard_true(i633, descr=<Guard0x2f34c10>)
- i634 = int_and(i343, i630)
- i635 = uint_lt(i634, 2147483647)
- guard_true(i635, descr=<Guard0x2f34bd0>)
- i636 = int_ge(i628, 0)
- guard_true(i636, descr=<Guard0x2f34b90>)
- i637 = int_or(i628, i634)
- i638 = uint_lt(i637, 2147483647)
- guard_true(i638, descr=<Guard0x2f34b50>)
- setarrayitem_raw(i292, i602, i637, descr=<ArrayU 4>)
- i640 = int_lshift(i602, 3)
- i641 = int_ge(i640, i290)
- guard_false(i641, descr=<Guard0x2f34b10>)
- i642 = uint_rshift(i637, i386)
- i643 = int_lshift(i637, i373)
- i644 = uint_rshift(i643, i386)
- i645 = int_lshift(i644, 8)
- i646 = int_or(i642, i645)
- i647 = int_lshift(i643, i373)
- i648 = uint_rshift(i647, i386)
- i649 = int_lshift(i648, 16)
- i650 = int_or(i646, i649)
- i651 = int_lshift(i647, i373)
- i652 = uint_rshift(i651, i386)
- i653 = int_lshift(i652, 24)
- i654 = int_or(i650, i653)
- i655 = int_lshift(i651, i373)
- setarrayitem_raw(8650752, i640, i654, descr=<ArrayU 4>)
- i656 = int_add(i640, 1)
- i657 = int_ge(i656, i290)
- guard_false(i657, descr=<Guard0x2f34ad0>)
- i658 = uint_rshift(i655, i386)
- i659 = int_lshift(i655, i373)
- i660 = uint_rshift(i659, i386)
- i661 = int_lshift(i660, 8)
- i662 = int_or(i658, i661)
- i663 = int_lshift(i659, i373)
- i664 = uint_rshift(i663, i386)
- i665 = int_lshift(i664, 16)
- i666 = int_or(i662, i665)
- i667 = int_lshift(i663, i373)
- i668 = uint_rshift(i667, i386)
- i669 = int_lshift(i668, 24)
- i670 = int_or(i666, i669)
- i671 = int_lshift(i667, i373)
- setarrayitem_raw(8650752, i656, i670, descr=<ArrayU 4>)
- i672 = int_add(i656, 1)
- i673 = int_ge(i672, i290)
- guard_false(i673, descr=<Guard0x2f34a90>)
- i674 = uint_rshift(i671, i386)
- i675 = int_lshift(i671, i373)
- i676 = uint_rshift(i675, i386)
- i677 = int_lshift(i676, 8)
- i678 = int_or(i674, i677)
- i679 = int_lshift(i675, i373)
- i680 = uint_rshift(i679, i386)
- i681 = int_lshift(i680, 16)
- i682 = int_or(i678, i681)
- i683 = int_lshift(i679, i373)
- i684 = uint_rshift(i683, i386)
- i685 = int_lshift(i684, 24)
- i686 = int_or(i682, i685)
- i687 = int_lshift(i683, i373)
- setarrayitem_raw(8650752, i672, i686, descr=<ArrayU 4>)
- i688 = int_add(i672, 1)
- i689 = int_ge(i688, i290)
- guard_false(i689, descr=<Guard0x2f34a50>)
- i690 = uint_rshift(i687, i386)
- i691 = int_lshift(i687, i373)
- i692 = uint_rshift(i691, i386)
- i693 = int_lshift(i692, 8)
- i694 = int_or(i690, i693)
- i695 = int_lshift(i691, i373)
- i696 = uint_rshift(i695, i386)
- i697 = int_lshift(i696, 16)
- i698 = int_or(i694, i697)
- i699 = int_lshift(i695, i373)
- i700 = uint_rshift(i699, i386)
- i701 = int_lshift(i700, 24)
- i702 = int_or(i698, i701)
- i703 = int_lshift(i699, i373)
- setarrayitem_raw(8650752, i688, i702, descr=<ArrayU 4>)
- i704 = int_add(i688, 1)
- i705 = int_ge(i704, i290)
- guard_false(i705, descr=<Guard0x2f34a10>)
- i706 = uint_rshift(i703, i386)
- i707 = int_lshift(i703, i373)
- i708 = uint_rshift(i707, i386)
- i709 = int_lshift(i708, 8)
- i710 = int_or(i706, i709)
- i711 = int_lshift(i707, i373)
- i712 = uint_rshift(i711, i386)
- i713 = int_lshift(i712, 16)
- i714 = int_or(i710, i713)
- i715 = int_lshift(i711, i373)
- i716 = uint_rshift(i715, i386)
- i717 = int_lshift(i716, 24)
- i718 = int_or(i714, i717)
- i719 = int_lshift(i715, i373)
- setarrayitem_raw(8650752, i704, i718, descr=<ArrayU 4>)
- i720 = int_add(i704, 1)
- i721 = int_ge(i720, i290)
- guard_false(i721, descr=<Guard0x2f349d0>)
- i722 = uint_rshift(i719, i386)
- i723 = int_lshift(i719, i373)
- i724 = uint_rshift(i723, i386)
- i725 = int_lshift(i724, 8)
- i726 = int_or(i722, i725)
- i727 = int_lshift(i723, i373)
- i728 = uint_rshift(i727, i386)
- i729 = int_lshift(i728, 16)
- i730 = int_or(i726, i729)
- i731 = int_lshift(i727, i373)
- i732 = uint_rshift(i731, i386)
- i733 = int_lshift(i732, 24)
- i734 = int_or(i730, i733)
- i735 = int_lshift(i731, i373)
- setarrayitem_raw(8650752, i720, i734, descr=<ArrayU 4>)
- i736 = int_add(i720, 1)
- i737 = int_ge(i736, i290)
- guard_false(i737, descr=<Guard0x2f34990>)
- i738 = uint_rshift(i735, i386)
- i739 = int_lshift(i735, i373)
- i740 = uint_rshift(i739, i386)
- i741 = int_lshift(i740, 8)
- i742 = int_or(i738, i741)
- i743 = int_lshift(i739, i373)
- i744 = uint_rshift(i743, i386)
- i745 = int_lshift(i744, 16)
- i746 = int_or(i742, i745)
- i747 = int_lshift(i743, i373)
- i748 = uint_rshift(i747, i386)
- i749 = int_lshift(i748, 24)
- i750 = int_or(i746, i749)
- i751 = int_lshift(i747, i373)
- setarrayitem_raw(8650752, i736, i750, descr=<ArrayU 4>)
- i752 = int_add(i736, 1)
- i753 = int_ge(i752, i290)
- guard_false(i753, descr=<Guard0x2f34950>)
- i754 = uint_rshift(i751, i386)
- i755 = int_lshift(i751, i373)
- i756 = uint_rshift(i755, i386)
- i757 = int_lshift(i756, 8)
- i758 = int_or(i754, i757)
- i759 = int_lshift(i755, i373)
- i760 = uint_rshift(i759, i386)
- i761 = int_lshift(i760, 16)
- i762 = int_or(i758, i761)
- i763 = int_lshift(i759, i373)
- i764 = uint_rshift(i763, i386)
- i765 = int_lshift(i764, 24)
- i766 = int_or(i762, i765)
- i767 = int_lshift(i763, i373)
- setarrayitem_raw(8650752, i752, i766, descr=<ArrayU 4>)
- i768 = int_add(i752, 1)
- i769 = int_add_ovf(i600, i571)
- guard_no_overflow(descr=<Guard0x2f34910>)
- i770 = int_add_ovf(i602, i571)
- guard_no_overflow(descr=<Guard0x2f348d0>)
- i771 = int_sub(i604, 11)
- setfield_gc(ConstPtr(ptr177), i771, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>)
- i772 = int_le(i771, 0)
- guard_false(i772, descr=<Guard0x2f34890>)
- p773 = new_with_vtable(23083336)
- setfield_gc(p773, i769, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
- setarrayitem_gc(p147, 34, p773, descr=<ArrayP 4>)
- p774 = new_with_vtable(23083336)
- setfield_gc(p774, i770, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
- setarrayitem_gc(p147, 35, p774, descr=<ArrayP 4>)
- p775 = new_with_vtable(23083336)
- setfield_gc(p775, i618, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
- setarrayitem_gc(p147, 20, p775, descr=<ArrayP 4>)
- i776 = arraylen_gc(p147, descr=<ArrayP 4>)
- i777 = arraylen_gc(p581, descr=<ArrayP 4>)
- jump(p0, p3, p8, i615, p596, i620, p18, i603, p38, p40, p42, p44, p46, p48, p50, p52, p54, p56, p58, p60, p62, p64, p66, p68, p70, p72, p74, p76, p78, p80, p82, p84, p86, p88, p90, p92, p94, p96, p98, p100, p102, p104, p106, p108, p110, p112, p114, p116, p118, p120, p122, p124, p126, p128, p130, p132, p134, 1, p149, p773, i162, p158, p774, i171, p167, p147, i771, i187, p184, p190, p775, i224, p200, p247, i256, p254, p263, p142, p281, i290, i292, i328, i343, i386, i373, i571, p569, p596, p581, descr=TargetToken(48932608))
+ i596 = int_le(2, i152)
+ guard_false(i596, descr=<Guard0x36fb910>)
+ i597 = getfield_gc_pure(p587, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ i598 = int_add_ovf(i597, i161)
+ guard_no_overflow(descr=<Guard0x36fb7d0>)
+ i599 = getfield_gc_pure(p590, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ i600 = int_add_ovf(i599, i170)
+ guard_no_overflow(descr=<Guard0x36fb690>)
+ i601 = int_add_ovf(i175, 1)
+ guard_no_overflow(descr=<Guard0x36fb5d0>)
+ i602 = int_sub(i583, 1)
+ setfield_gc(ConstPtr(ptr176), i602, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>)
+ i603 = int_le(i602, 0)
+ guard_false(i603, descr=<Guard0x36fb590>)
+ i604 = int_le(i601, i186)
+ guard_true(i604, descr=<Guard0x36fb2d0>)
+ guard_not_invalidated(descr=<Guard0x36fb190>)
+ i605 = getfield_gc_pure(p362, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ i606 = int_mod(i605, i223)
+ i607 = int_rshift(i606, 31)
+ i608 = int_and(i223, i607)
+ i609 = int_add(i606, i608)
+ i610 = int_add_ovf(1, i609)
+ guard_no_overflow(descr=<Guard0x36f8b90>)
+ i611 = int_ge(i609, 0)
+ guard_true(i611, descr=<Guard0x36f8910>)
+ i612 = int_lt(i609, i223)
+ guard_true(i612, descr=<Guard0x36f88d0>)
+ i613 = getarrayitem_gc(p246, i609, descr=<ArrayU 4>)
+ i614 = uint_lt(i613, 0)
+ guard_false(i614, descr=<Guard0x36f8850>)
+ i615 = uint_lt(i613, 2147483647)
+ guard_true(i615, descr=<Guard0x36fbbd0>)
+ i616 = int_add_ovf(i605, i255)
+ guard_no_overflow(descr=<Guard0x36f8790>)
+ i617 = int_ge(i613, 0)
+ guard_true(i617, descr=<Guard0x36f8450>)
+ i618 = int_and(i613, i613)
+ i619 = uint_lt(i618, 2147483647)
+ guard_true(i619, descr=<Guard0x36f83d0>)
+ i620 = int_add_ovf(i600, 1)
+ guard_no_overflow(descr=<Guard0x36f8310>)
+ i621 = int_ge(i600, 0)
+ guard_true(i621, descr=<Guard0x36f5f10>)
+ i622 = int_lt(i600, i289)
+ guard_true(i622, descr=<Guard0x36f5ed0>)
+ i623 = getarrayitem_raw(i291, i600, descr=<ArrayU 4>)
+ i624 = uint_lt(i623, 0)
+ guard_false(i624, descr=<Guard0x36f5e90>)
+ i625 = uint_lt(i623, 2147483647)
+ guard_true(i625, descr=<Guard0x36f5e50>)
+ i626 = int_and(i326, i618)
+ i627 = uint_lt(i626, 2147483647)
+ guard_true(i627, descr=<Guard0x36f5350>)
+ i628 = getarrayitem_raw(i291, i600, descr=<ArrayU 4>)
+ i629 = uint_lt(i628, 0)
+ guard_false(i629, descr=<Guard0x36f0690>)
+ i630 = uint_lt(i628, 2147483647)
+ guard_true(i630, descr=<Guard0x36f0650>)
+ i631 = int_ge(i628, 0)
+ guard_true(i631, descr=<Guard0x36f05d0>)
+ i632 = int_and(i341, i628)
+ i633 = uint_lt(i632, 2147483647)
+ guard_true(i633, descr=<Guard0x36f0590>)
+ i634 = int_ge(i626, 0)
+ guard_true(i634, descr=<Guard0x36f0550>)
+ i635 = int_or(i626, i632)
+ i636 = uint_lt(i635, 2147483647)
+ guard_true(i636, descr=<Guard0x36f04d0>)
+ setarrayitem_raw(i291, i600, i635, descr=<ArrayU 4>)
+ i638 = int_lshift(i600, 3)
+ i639 = int_ge(i638, i289)
+ guard_false(i639, descr=<Guard0x36e8f90>)
+ i640 = uint_rshift(i635, i384)
+ i641 = int_lshift(i635, i371)
+ i642 = uint_rshift(i641, i384)
+ i643 = int_lshift(i642, 8)
+ i644 = int_or(i640, i643)
+ i645 = int_lshift(i641, i371)
+ i646 = uint_rshift(i645, i384)
+ i647 = int_lshift(i646, 16)
+ i648 = int_or(i644, i647)
+ i649 = int_lshift(i645, i371)
+ i650 = uint_rshift(i649, i384)
+ i651 = int_lshift(i650, 24)
+ i652 = int_or(i648, i651)
+ i653 = int_lshift(i649, i371)
+ setarrayitem_raw(18153472, i638, i652, descr=<ArrayU 4>)
+ i654 = int_add(i638, 1)
+ i655 = int_ge(i654, i289)
+ guard_false(i655, descr=<Guard0x36e8e90>)
+ i656 = uint_rshift(i653, i384)
+ i657 = int_lshift(i653, i371)
+ i658 = uint_rshift(i657, i384)
+ i659 = int_lshift(i658, 8)
+ i660 = int_or(i656, i659)
+ i661 = int_lshift(i657, i371)
+ i662 = uint_rshift(i661, i384)
+ i663 = int_lshift(i662, 16)
+ i664 = int_or(i660, i663)
+ i665 = int_lshift(i661, i371)
+ i666 = uint_rshift(i665, i384)
+ i667 = int_lshift(i666, 24)
+ i668 = int_or(i664, i667)
+ i669 = int_lshift(i665, i371)
+ setarrayitem_raw(18153472, i654, i668, descr=<ArrayU 4>)
+ i670 = int_add(i654, 1)
+ i671 = int_ge(i670, i289)
+ guard_false(i671, descr=<Guard0x36e8dd0>)
+ i672 = uint_rshift(i669, i384)
+ i673 = int_lshift(i669, i371)
+ i674 = uint_rshift(i673, i384)
+ i675 = int_lshift(i674, 8)
+ i676 = int_or(i672, i675)
+ i677 = int_lshift(i673, i371)
+ i678 = uint_rshift(i677, i384)
+ i679 = int_lshift(i678, 16)
+ i680 = int_or(i676, i679)
+ i681 = int_lshift(i677, i371)
+ i682 = uint_rshift(i681, i384)
+ i683 = int_lshift(i682, 24)
+ i684 = int_or(i680, i683)
+ i685 = int_lshift(i681, i371)
+ setarrayitem_raw(18153472, i670, i684, descr=<ArrayU 4>)
+ i686 = int_add(i670, 1)
+ i687 = int_ge(i686, i289)
+ guard_false(i687, descr=<Guard0x36e8d10>)
+ i688 = uint_rshift(i685, i384)
+ i689 = int_lshift(i685, i371)
+ i690 = uint_rshift(i689, i384)
+ i691 = int_lshift(i690, 8)
+ i692 = int_or(i688, i691)
+ i693 = int_lshift(i689, i371)
+ i694 = uint_rshift(i693, i384)
+ i695 = int_lshift(i694, 16)
+ i696 = int_or(i692, i695)
+ i697 = int_lshift(i693, i371)
+ i698 = uint_rshift(i697, i384)
+ i699 = int_lshift(i698, 24)
+ i700 = int_or(i696, i699)
+ i701 = int_lshift(i697, i371)
+ setarrayitem_raw(18153472, i686, i700, descr=<ArrayU 4>)
+ i702 = int_add(i686, 1)
+ i703 = int_ge(i702, i289)
+ guard_false(i703, descr=<Guard0x36e8c50>)
+ i704 = uint_rshift(i701, i384)
+ i705 = int_lshift(i701, i371)
+ i706 = uint_rshift(i705, i384)
+ i707 = int_lshift(i706, 8)
+ i708 = int_or(i704, i707)
+ i709 = int_lshift(i705, i371)
+ i710 = uint_rshift(i709, i384)
+ i711 = int_lshift(i710, 16)
+ i712 = int_or(i708, i711)
+ i713 = int_lshift(i709, i371)
+ i714 = uint_rshift(i713, i384)
+ i715 = int_lshift(i714, 24)
+ i716 = int_or(i712, i715)
+ i717 = int_lshift(i713, i371)
+ setarrayitem_raw(18153472, i702, i716, descr=<ArrayU 4>)
+ i718 = int_add(i702, 1)
+ i719 = int_ge(i718, i289)
+ guard_false(i719, descr=<Guard0x36e8b90>)
+ i720 = uint_rshift(i717, i384)
+ i721 = int_lshift(i717, i371)
+ i722 = uint_rshift(i721, i384)
+ i723 = int_lshift(i722, 8)
+ i724 = int_or(i720, i723)
+ i725 = int_lshift(i721, i371)
+ i726 = uint_rshift(i725, i384)
+ i727 = int_lshift(i726, 16)
+ i728 = int_or(i724, i727)
+ i729 = int_lshift(i725, i371)
+ i730 = uint_rshift(i729, i384)
+ i731 = int_lshift(i730, 24)
+ i732 = int_or(i728, i731)
+ i733 = int_lshift(i729, i371)
+ setarrayitem_raw(18153472, i718, i732, descr=<ArrayU 4>)
+ i734 = int_add(i718, 1)
+ i735 = int_ge(i734, i289)
+ guard_false(i735, descr=<Guard0x36e8ad0>)
+ i736 = uint_rshift(i733, i384)
+ i737 = int_lshift(i733, i371)
+ i738 = uint_rshift(i737, i384)
+ i739 = int_lshift(i738, 8)
+ i740 = int_or(i736, i739)
+ i741 = int_lshift(i737, i371)
+ i742 = uint_rshift(i741, i384)
+ i743 = int_lshift(i742, 16)
+ i744 = int_or(i740, i743)
+ i745 = int_lshift(i741, i371)
+ i746 = uint_rshift(i745, i384)
+ i747 = int_lshift(i746, 24)
+ i748 = int_or(i744, i747)
+ i749 = int_lshift(i745, i371)
+ setarrayitem_raw(18153472, i734, i748, descr=<ArrayU 4>)
+ i750 = int_add(i734, 1)
+ i751 = int_ge(i750, i289)
+ guard_false(i751, descr=<Guard0x36e8a10>)
+ i752 = uint_rshift(i749, i384)
+ i753 = int_lshift(i749, i371)
+ i754 = uint_rshift(i753, i384)
+ i755 = int_lshift(i754, 8)
+ i756 = int_or(i752, i755)
+ i757 = int_lshift(i753, i371)
+ i758 = uint_rshift(i757, i384)
+ i759 = int_lshift(i758, 16)
+ i760 = int_or(i756, i759)
+ i761 = int_lshift(i757, i371)
+ i762 = uint_rshift(i761, i384)
+ i763 = int_lshift(i762, 24)
+ i764 = int_or(i760, i763)
+ i765 = int_lshift(i761, i371)
+ setarrayitem_raw(18153472, i750, i764, descr=<ArrayU 4>)
+ i766 = int_add(i750, 1)
+ i767 = int_add_ovf(i598, i569)
+ guard_no_overflow(descr=<Guard0x36e8850>)
+ i768 = int_add_ovf(i600, i569)
+ guard_no_overflow(descr=<Guard0x36e8810>)
+ i769 = int_sub(i602, 10)
+ setfield_gc(ConstPtr(ptr176), i769, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>)
+ i770 = int_le(i769, 0)
+ guard_false(i770, descr=<Guard0x36e8690>)
+ p771 = new_with_vtable(23559752)
+ setfield_gc(p771, i767, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ setarrayitem_gc(p146, 34, p771, descr=<ArrayP 4>)
+ p772 = new_with_vtable(23559752)
+ setfield_gc(p772, i768, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ setarrayitem_gc(p146, 35, p772, descr=<ArrayP 4>)
+ p773 = new_with_vtable(23559752)
+ setfield_gc(p773, i616, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ setarrayitem_gc(p146, 20, p773, descr=<ArrayP 4>)
+ i774 = arraylen_gc(p146, descr=<ArrayP 4>)
+ i775 = arraylen_gc(p579, descr=<ArrayP 4>)
+ jump(p0, i1, p3, p8, i613, p594, i618, p18, i601, p38, p40, p42, p44, p46, p48, p50, p52, p54, p56, p58, p60, p62, p64, p66, p68, p70, p72, p74, p76, p78, p80, p82, p84, p86, p88, p90, p92, p94, p96, p98, p100, p102, p104, p106, p108, p110, p112, p114, p116, p118, p120, p122, p124, p126, p128, p130, p132, p134, 1, p148, p771, i161, p157, p772, i170, p166, p146, i769, i186, p183, p189, p773, i223, p199, p246, i255, p253, p262, p141, p280, i289, i291, i326, i341, i384, i371, i569, p567, p594, p579, descr=TargetToken(57116320))
""")
@py.test.mark.skipif("'just dozens of long traces'")
diff --git a/spyvm/test/jittest/test_strategies.py b/spyvm/test/jittest/test_strategies.py
--- a/spyvm/test/jittest/test_strategies.py
+++ b/spyvm/test/jittest/test_strategies.py
@@ -12,80 +12,80 @@
(1 to: 10000) asOrderedCollection.
""")
self.assert_matches(traces[0].loop, """
- i197 = getarrayitem_gc(p54, 1, descr=<ArrayS 4>),
- i198 = int_eq(i197, 2147483647),
- guard_false(i198, descr=<Guard0x2eb3450>),
- i199 = int_ge(i197, i190),
- guard_true(i199, descr=<Guard0x2eb33d0>),
- cond_call(i76, 21753520, p68, descr=<Callv 0 r EF=2 OS=121>),
- cond_call(i106, 21753520, p92, descr=<Callv 0 r EF=2 OS=121>),
- cond_call(i106, 21753520, p92, descr=<Callv 0 r EF=2 OS=121>),
- p200 = getarrayitem_gc(p108, 0, descr=<ArrayP 4>),
- cond_call(i106, 21753520, p92, descr=<Callv 0 r EF=2 OS=121>),
- p202 = new_with_vtable(23083336),
- setfield_gc(p202, i190, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>),
- setarrayitem_gc(p108, 1, p202, descr=<ArrayP 4>),
- setarrayitem_gc(p80, 0, p200, descr=<ArrayP 4>),
- setfield_gc(p68, 2, descr=<FieldU spyvm.shadow.ContextPartShadow.inst__stack_ptr 32>),
- setfield_gc(p68, 15, descr=<FieldS spyvm.shadow.ContextPartShadow.inst__pc 24>),
- setfield_gc(p68, p0, descr=<FieldP spyvm.shadow.ContextPartShadow.inst__s_sender 28>),
- setfield_gc(ConstPtr(ptr82), i89, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- setarrayitem_gc(p80, 1, p202, descr=<ArrayP 4>),
- guard_class(p200, 23083152, descr=<Guard0x2eb3350>),
- p203 = getfield_gc(p200, descr=<FieldP spyvm.model.W_AbstractObjectWithClassReference.inst_w_class 12>),
- p204 = getfield_gc(p203, descr=<FieldP spyvm.model.W_PointersObject.inst_shadow 16>),
- guard_value(p204, ConstPtr(ptr121), descr=<Guard0x2eb32d0>),
- guard_not_invalidated(descr=<Guard0x2eb3250>),
- p205 = getfield_gc(p200, descr=<FieldP spyvm.model.W_PointersObject.inst_shadow 16>),
- setarrayitem_gc(p80, 0, ConstPtr(null), descr=<ArrayP 4>),
- setfield_gc(p68, 0, descr=<FieldU spyvm.shadow.ContextPartShadow.inst__stack_ptr 32>),
- setfield_gc(ConstPtr(ptr82), i136, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- setarrayitem_gc(p80, 1, ConstPtr(null), descr=<ArrayP 4>),
- guard_class(p205, ConstClass(ListStorageShadow), descr=<Guard0x2eb31d0>),
- p208 = getfield_gc_pure(p205, descr=<FieldP spyvm.shadow.ListStorageShadow.inst_storage 16>),
- p209 = getarrayitem_gc(p208, 2, descr=<ArrayP 4>),
- p210 = getarrayitem_gc(p208, 0, descr=<ArrayP 4>),
- guard_class(p210, 23083152, descr=<Guard0x2eb3150>),
- p211 = getfield_gc(p210, descr=<FieldP spyvm.model.W_AbstractObjectWithClassReference.inst_w_class 12>),
- p212 = getfield_gc(p211, descr=<FieldP spyvm.model.W_PointersObject.inst_shadow 16>),
- guard_value(p212, ConstPtr(ptr154), descr=<Guard0x2eb30d0>),
- p213 = getfield_gc(p210, descr=<FieldP spyvm.model.W_PointersObject.inst_shadow 16>),
- guard_nonnull_class(p213, 23088412, descr=<Guard0x2eb3050>),
- p214 = getfield_gc_pure(p213, descr=<FieldP spyvm.shadow.SmallIntegerOrNilStorageShadow.inst_storage 16>),
- i215 = arraylen_gc(p214, descr=<ArrayS 4>),
- i216 = getfield_gc_pure(p213, descr=<FieldU spyvm.shadow.AbstractShadow.inst_space 12>),
- guard_nonnull_class(p209, 23083336, descr=<Guard0x2ea3f90>),
- i217 = getfield_gc_pure(p209, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>),
- i218 = int_eq(i217, i215),
- guard_false(i218, descr=<Guard0x2ea3f10>),
- i219 = int_add_ovf(i217, 1),
- guard_no_overflow(descr=<Guard0x2ea3e90>),
- i220 = int_ge(i217, 0),
- guard_true(i220, descr=<Guard0x2ea3e10>),
- i221 = int_lt(i217, i215),
- guard_true(i221, descr=<Guard0x2ea3d90>),
- i222 = int_eq(i190, 2147483647),
- guard_false(i222, descr=<Guard0x2ea3d10>),
- setarrayitem_gc(p214, i217, i190, descr=<ArrayS 4>),
- i223 = getarrayitem_gc(p54, 2, descr=<ArrayS 4>),
- setfield_gc(p68, -1, descr=<FieldS spyvm.shadow.ContextPartShadow.inst__pc 24>),
- setfield_gc(p68, ConstPtr(null), descr=<FieldP spyvm.shadow.ContextPartShadow.inst__s_sender 28>),
- setfield_gc(ConstPtr(ptr82), i85, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- i224 = int_eq(i223, 2147483647),
- guard_false(i224, descr=<Guard0x2ea3c90>),
- i225 = int_add_ovf(i190, i223),
- guard_no_overflow(descr=<Guard0x2ea3c10>),
- i226 = int_sub(i193, 5),
- setfield_gc(ConstPtr(ptr82), i226, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i227 = int_le(i226, 0),
- guard_false(i227, descr=<Guard0x2ea3b90>),
- p228 = new_with_vtable(23083336),
- setfield_gc(p228, i219, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>),
- setarrayitem_gc(p208, 2, p228, descr=<ArrayP 4>),
- i229 = arraylen_gc(p54, descr=<ArrayS 4>),
- i230 = arraylen_gc(p80, descr=<ArrayP 4>),
- i231 = arraylen_gc(p108, descr=<ArrayP 4>),
- jump(p0, p3, p6, i225, p14, p16, p18, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, p40, p42, p54, i76, p68, i106, p92, p108, p80, i89, i91, i136, i85, i226, descr=TargetToken(48645456))
+ i191 = getarrayitem_gc(p53, 1, descr=<ArrayS 4>)
+ i192 = int_eq(i191, 2147483647)
+ guard_false(i192, descr=<Guard0x37924d0>)
+ i193 = int_ge(i191, i184)
+ guard_true(i193, descr=<Guard0x37a1790>)
+ cond_call(i75, 22145408, p67, descr=<Callv 0 r EF=2 OS=121>)
+ cond_call(i101, 22145408, p90, descr=<Callv 0 r EF=2 OS=121>)
+ cond_call(i101, 22145408, p90, descr=<Callv 0 r EF=2 OS=121>)
+ p194 = getarrayitem_gc(p103, 0, descr=<ArrayP 4>)
+ cond_call(i101, 22145408, p90, descr=<Callv 0 r EF=2 OS=121>)
+ p196 = new_with_vtable(23559752)
+ setfield_gc(p196, i184, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ setarrayitem_gc(p103, 1, p196, descr=<ArrayP 4>)
+ setarrayitem_gc(p79, 0, p194, descr=<ArrayP 4>)
+ setfield_gc(p67, 2, descr=<FieldU spyvm.shadow.ContextPartShadow.inst__stack_ptr 32>)
+ setfield_gc(p67, 11, descr=<FieldS spyvm.shadow.ContextPartShadow.inst__pc 24>)
+ setfield_gc(p67, p0, descr=<FieldP spyvm.shadow.ContextPartShadow.inst__s_sender 28>)
+ setfield_gc(ConstPtr(ptr81), i87, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>)
+ setarrayitem_gc(p79, 1, p196, descr=<ArrayP 4>)
+ guard_class(p194, 23559528, descr=<Guard0x37a1710>)
+ p198 = getfield_gc(p194, descr=<FieldP spyvm.model.W_AbstractObjectWithClassReference.inst_w_class 12>)
+ p199 = getfield_gc(p198, descr=<FieldP spyvm.model.W_PointersObject.inst_shadow 16>)
+ guard_value(p199, ConstPtr(ptr115), descr=<Guard0x37a1690>)
+ guard_not_invalidated(descr=<Guard0x37a1610>)
+ p200 = getfield_gc(p194, descr=<FieldP spyvm.model.W_PointersObject.inst_shadow 16>)
+ setarrayitem_gc(p79, 0, ConstPtr(null), descr=<ArrayP 4>)
+ setfield_gc(p67, 0, descr=<FieldU spyvm.shadow.ContextPartShadow.inst__stack_ptr 32>)
+ setfield_gc(ConstPtr(ptr81), i130, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>)
+ setarrayitem_gc(p79, 1, ConstPtr(null), descr=<ArrayP 4>)
+ guard_class(p200, ConstClass(ListStorageShadow), descr=<Guard0x37a1590>)
+ p203 = getfield_gc_pure(p200, descr=<FieldP spyvm.shadow.ListStorageShadow.inst_storage 16>)
+ p204 = getarrayitem_gc(p203, 2, descr=<ArrayP 4>)
+ p205 = getarrayitem_gc(p203, 0, descr=<ArrayP 4>)
+ guard_class(p205, 23559528, descr=<Guard0x37a1510>)
+ p206 = getfield_gc(p205, descr=<FieldP spyvm.model.W_AbstractObjectWithClassReference.inst_w_class 12>)
+ p207 = getfield_gc(p206, descr=<FieldP spyvm.model.W_PointersObject.inst_shadow 16>)
+ guard_value(p207, ConstPtr(ptr148), descr=<Guard0x37a1490>)
+ p208 = getfield_gc(p205, descr=<FieldP spyvm.model.W_PointersObject.inst_shadow 16>)
+ guard_nonnull_class(p208, 23564708, descr=<Guard0x37a1410>)
+ p209 = getfield_gc_pure(p208, descr=<FieldP spyvm.shadow.SmallIntegerOrNilStorageShadow.inst_storage 16>)
+ i210 = arraylen_gc(p209, descr=<ArrayS 4>)
+ i211 = getfield_gc_pure(p208, descr=<FieldU spyvm.shadow.AbstractShadow.inst_space 12>)
+ guard_nonnull_class(p204, 23559752, descr=<Guard0x37a1390>)
+ i212 = getfield_gc_pure(p204, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ i213 = int_eq(i212, i210)
+ guard_false(i213, descr=<Guard0x37a1310>)
+ i214 = int_add_ovf(i212, 1)
+ guard_no_overflow(descr=<Guard0x37a1290>)
+ i215 = int_ge(i212, 0)
+ guard_true(i215, descr=<Guard0x37a1210>)
+ i216 = int_lt(i212, i210)
+ guard_true(i216, descr=<Guard0x37a1190>)
+ i217 = int_eq(i184, 2147483647)
+ guard_false(i217, descr=<Guard0x37a1110>)
+ setarrayitem_gc(p209, i212, i184, descr=<ArrayS 4>)
+ i218 = getarrayitem_gc(p53, 2, descr=<ArrayS 4>)
+ setfield_gc(p67, -1, descr=<FieldS spyvm.shadow.ContextPartShadow.inst__pc 24>)
+ setfield_gc(p67, ConstPtr(null), descr=<FieldP spyvm.shadow.ContextPartShadow.inst__s_sender 28>)
+ setfield_gc(ConstPtr(ptr81), i82, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>)
+ i219 = int_eq(i218, 2147483647)
+ guard_false(i219, descr=<Guard0x37a1090>)
+ i220 = int_add_ovf(i184, i218)
+ guard_no_overflow(descr=<Guard0x37a1010>)
+ i221 = int_sub(i187, 4)
+ setfield_gc(ConstPtr(ptr81), i221, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>)
+ i222 = int_le(i221, 0)
+ guard_false(i222, descr=<Guard0x3792f50>)
+ p223 = new_with_vtable(23559752)
+ setfield_gc(p223, i214, descr=<FieldS spyvm.model.W_SmallInteger.inst_value 8>)
+ setarrayitem_gc(p203, 2, p223, descr=<ArrayP 4>)
+ i224 = arraylen_gc(p53, descr=<ArrayS 4>)
+ i225 = arraylen_gc(p79, descr=<ArrayP 4>)
+ i226 = arraylen_gc(p103, descr=<ArrayP 4>)
+jump(p0, i1, p3, p6, i220, p14, p16, p18, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, p40, p42, p53, i75, p67, i101, p90, p103, p79, i87, i89, i130, i82, i221, descr=TargetToken(58164944))
""")
def test_indexOf(self, spy, tmpdir):
@@ -95,32 +95,32 @@
""")
# First loop: asOrderedCollection, second loop: makeRoomAtLast
self.assert_matches(traces[2].loop, """
- i144 = int_le(i137, i63),
- guard_true(i144, descr=<Guard0x3228ad0>),
- guard_not_invalidated(descr=<Guard0x3228850>),
- setfield_gc(ConstPtr(ptr85), i92, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- i145 = int_add_ovf(i137, i101),
- guard_no_overflow(descr=<Guard0x32283d0>),
- i146 = int_sub(i145, 1),
- i147 = int_gt(i146, i109),
- guard_false(i147, descr=<Guard0x32282d0>),
- i148 = int_sub(i146, 1),
- i149 = int_ge(i148, 0),
- guard_true(i149, descr=<Guard0x3319dd0>),
- i150 = int_lt(i148, i127),
- guard_true(i150, descr=<Guard0x3319cd0>),
- i151 = getarrayitem_gc(p126, i148, descr=<ArrayS 4>),
- i152 = int_eq(i151, 2147483647),
- guard_false(i152, descr=<Guard0x3217a50>),
- setfield_gc(ConstPtr(ptr85), i88, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- i153 = int_eq(i151, i134),
- guard_false(i153, descr=<Guard0x3217b10>),
- i154 = int_add_ovf(i137, 1),
- guard_no_overflow(descr=<Guard0x3217ad0>),
- i155 = int_sub(i140, 3),
- setfield_gc(ConstPtr(ptr85), i155, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i156 = int_le(i155, 0),
- guard_false(i156, descr=<Guard0x3217a90>),
- i157 = arraylen_gc(p97, descr=<ArrayP 4>),
- jump(p0, p3, p6, p8, p10, i154, p14, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, p40, p42, p44, p46, p48, p50, p52, i63, p65, i92, i101, p99, i109, p106, p112, i127, p126, i88, i134, i155, p97, descr=TargetToken(53728496))
+ i142 = int_le(i135, i62)
+ guard_true(i142, descr=<Guard0x2ddf9d0>)
+ guard_not_invalidated(descr=<Guard0x2ddf750>)
+ setfield_gc(ConstPtr(ptr84), i90, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>)
+ i143 = int_add_ovf(i135, i99)
+ guard_no_overflow(descr=<Guard0x2ddf310>)
+ i144 = int_sub(i143, 1)
+ i145 = int_gt(i144, i107)
+ guard_false(i145, descr=<Guard0x2ddf210>)
+ i146 = int_sub(i144, 1)
+ i147 = int_ge(i146, 0)
+ guard_true(i147, descr=<Guard0x2dced10>)
+ i148 = int_lt(i146, i125)
+ guard_true(i148, descr=<Guard0x2dcec10>)
+ i149 = getarrayitem_gc(p124, i146, descr=<ArrayS 4>)
+ i150 = int_eq(i149, 2147483647)
+ guard_false(i150, descr=<Guard0x2dceb50>)
+ setfield_gc(ConstPtr(ptr84), i86, descr=<FieldS spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>)
+ i151 = int_eq(i149, i132)
+ guard_false(i151, descr=<Guard0x2dce950>)
+ i152 = int_add_ovf(i135, 1)
+ guard_no_overflow(descr=<Guard0x2dce910>)
+ i153 = int_sub(i138, 3)
+ setfield_gc(ConstPtr(ptr84), i153, descr=<FieldS spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>)
+ i154 = int_le(i153, 0)
+ guard_false(i154, descr=<Guard0x2dce8d0>)
+ i155 = arraylen_gc(p95, descr=<ArrayP 4>)
+ jump(p0, i1, p3, p6, p8, p10, i152, p14, p20, p22, p24, p26, p28, p30, p32, p34, p36, p38, p40, p42, p44, p46, p48, p50, p52, i62, p64, i90, i99, p97, i107, p104, p110, i125, p124, i86, i132, i153, p95, descr=TargetToken(47907984))
""")
More information about the pypy-commit
mailing list