Author: Anton Gulenko <[email protected]>
Branch: storage
Changeset: r790:63607df35291
Date: 2014-04-08 12:14 +0200
http://bitbucket.org/pypy/lang-smalltalk/changeset/63607df35291/
Log: Updated traces in jit tests. They basically stayed the same.
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,38 @@
0 to: 1000000000 do: [:t|nil].
""")
self.assert_matches(traces[0].loop, """
- guard_not_invalidated(descr=<Guard0x2e9b950>),
- i57 = int_le(i50, 1000000000),
- guard_true(i57, descr=<Guard0x2e9b910>),
- i58 = int_add(i50, 1),
- i59 = int_sub(i54, 1),
- setfield_gc(ConstPtr(ptr51), i59, descr=<FieldS
spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i60 = int_le(i59, 0),
- guard_false(i60, descr=<Guard0x2e9b8d0>),
- jump(p0, p3, i58, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30,
p32, p34, p36, p38, i43, i59, descr=TargetToken(48805440))
+ 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))
""")
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=<Guard0x381bb50>),
- f22 = float_sub(f18, 1395138051.488000),
+ 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=<Guard0x3826ad0>),
- label(p0, p1, i16, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12,
p13, p14, p15, descr=TargetToken(58860256)),
- guard_class(p0, ConstClass(MethodContextShadow),
descr=<Guard0x3826a90>),
+ 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>),
- guard_value(p31, ConstPtr(ptr32), descr=<Guard0x3826a50>),
- i33 = getfield_gc_pure(p0, descr=<FieldU
spyvm.shadow.AbstractShadow.inst_space 12>),
- guard_not_invalidated(descr=<Guard0x3826a10>),
- i35 = int_le(i16, 1000000000),
- guard_true(i35, descr=<Guard0x38269d0>),
- i37 = int_add(i16, 1),
+ 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, i37, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13,
p14, p15, i33, 9999, descr=TargetToken(58766912))
+ jump(p0, p1, i38, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13,
p14, p15, 9999, descr=TargetToken(48817488))
""")
def test_constant_string(self, spy, tmpdir):
@@ -50,15 +50,16 @@
^ i
""")
self.assert_matches(traces[0].loop, """
- guard_not_invalidated(descr=<Guard0x34ccf10>),
- i61 = int_le(i55, 10000),
- guard_true(i61, descr=<Guard0x34cced0>),
- i62 = int_add(i55, 1),
- i63 = int_sub(i58, 1),
- setfield_gc(ConstPtr(ptr52), i63, descr=<FieldS
spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i64 = int_le(i63, 0),
- guard_false(i64, descr=<Guard0x34cce90>),
- jump(p0, p3, i62, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30,
p32, p34, p36, p38, i43, i63, descr=TargetToken(55305792))
+ 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))
""")
def test_constant_string_equal2(self, spy, tmpdir):
@@ -74,17 +75,16 @@
^ i
""")
self.assert_matches(traces[0].loop, """
- guard_not_invalidated(descr=<Guard0x2e222d0>),
- i65 = int_le(i58, 100000),
- guard_true(i65, descr=<Guard0x2e28e10>),
- i66 = int_add(i58, 1),
- i67 = int_sub(i62, 2),
- setfield_gc(ConstPtr(ptr59), i67, descr=<FieldS
spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i68 = int_le(i67, 0),
- guard_false(i68, descr=<Guard0x2e28e50>),
- i70 = arraylen_gc(p50, descr=<ArrayU 1>),
- i71 = arraylen_gc(p54, descr=<ArrayU 1>),
- jump(p0, p3, i66, p12, p14, p16, p18, p20, p22, p24, p26, p28, p30,
p32, p34, p36, p38, i43, i67, p50, p54, descr=TargetToken(48301680))
+ 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))
""")
def test_constant_string_var_equal(self, spy, tmpdir):
@@ -104,15 +104,14 @@
^ i
""")
self.assert_matches(traces[0].loop, """
- guard_not_invalidated(descr=<Guard0x967e7cc>),
- i73 = int_le(i62, 100000),
- guard_true(i73, descr=<Guard0x967e790>),
- i74 = int_add(i62, 1),
- i77 = int_sub(i70, 1),
- setfield_gc(ConstPtr(ptr67), i77, descr=<FieldS
spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i78 = int_le(i77, 0),
- guard_false(i78, descr=<Guard0x967e718>),
- jump(p0, p3, i74, p8, p10, xx, p12, p14, p20, p22, p24, p26, p28, p30,
p32, p34, p36, p38, p40, p42, p44, p46, i77, descr=TargetToken(157713840))
+ 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))
""")
def test_bitblt_fillWhite(self, spy, tmpdir):
@@ -122,245 +121,244 @@
while len(traces) == 0 and retries > 0:
retries -= 1
traces = self.run(spy, tmpdir, """
- Display beDisplay.
- 1 to: 10000 do: [:i | Display fillWhite].
+ Display beDisplay. 1 to: 10000 do: [:i | Display fillWhite].
""")
self.assert_matches(traces[0].loop, """
- guard_not_invalidated(descr=<Guard0x3354f50>),
- i584 = int_le(2, i151),
- guard_false(i584, descr=<Guard0x33549d0>),
- i585 = getfield_gc_pure(p576, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- i586 = int_add_ovf(i585, i160),
- guard_no_overflow(descr=<Guard0x3354350>),
- i587 = getfield_gc_pure(p579, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- i588 = int_add_ovf(i587, i169),
- guard_no_overflow(descr=<Guard0x3351c90>),
- i589 = int_add_ovf(i174, 1),
- guard_no_overflow(descr=<Guard0x3351810>),
- i590 = int_sub(i572, 2),
- setfield_gc(ConstPtr(ptr175), i590, descr=<FieldS
spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i591 = int_le(i590, 0),
- guard_false(i591, descr=<Guard0x3351590>),
- i592 = int_le(i589, i185),
- guard_true(i592, descr=<Guard0x334eed0>),
- i593 = getfield_gc_pure(p350, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- i594 = int_mod(i593, i219),
- i595 = int_rshift(i594, 31),
- i596 = int_and(i219, i595),
- i597 = int_add(i594, i596),
- i598 = int_add_ovf(1, i597),
- guard_no_overflow(descr=<Guard0x334ca10>),
- i599 = int_ge(i597, 0),
- guard_true(i599, descr=<Guard0x334c650>),
- i600 = int_lt(i597, i219),
- guard_true(i600, descr=<Guard0x334c610>),
- i601 = getarrayitem_gc(p241, i597, descr=<ArrayU 4>),
- i602 = uint_lt(i601, 0),
- guard_false(i602, descr=<Guard0x334c590>),
- i603 = uint_lt(i601, 2147483647),
- guard_true(i603, descr=<Guard0x334c550>),
- i604 = int_add_ovf(i593, i250),
- guard_no_overflow(descr=<Guard0x334c010>),
- i605 = int_ge(i601, 0),
- guard_true(i605, descr=<Guard0x33481d0>),
- i606 = int_and(i601, i601),
- i607 = uint_lt(i606, 2147483647),
- guard_true(i607, descr=<Guard0x3348150>),
- i608 = int_add_ovf(i588, 1),
- guard_no_overflow(descr=<Guard0x3344bd0>),
- i609 = int_ge(i588, 0),
- guard_true(i609, descr=<Guard0x33446d0>),
- i610 = int_lt(i588, i281),
- guard_true(i610, descr=<Guard0x3344690>),
- i611 = getarrayitem_raw(i283, i588, descr=<ArrayU 4>),
- i612 = uint_lt(i611, 0),
- guard_false(i612, descr=<Guard0x3344650>),
- i613 = uint_lt(i611, 2147483647),
- guard_true(i613, descr=<Guard0x3344610>),
- i614 = int_and(i318, i606),
- i615 = uint_lt(i614, 2147483647),
- guard_true(i615, descr=<Guard0x333da90>),
- i616 = getarrayitem_raw(i283, i588, descr=<ArrayU 4>),
- i617 = uint_lt(i616, 0),
- guard_false(i617, descr=<Guard0x33574d0>),
- i618 = uint_lt(i616, 2147483647),
- guard_true(i618, descr=<Guard0x3357490>),
- i619 = int_ge(i616, 0),
- guard_true(i619, descr=<Guard0x3357450>),
- i620 = int_and(i329, i616),
- i621 = uint_lt(i620, 2147483647),
- guard_true(i621, descr=<Guard0x3357410>),
- i622 = int_ge(i614, 0),
- guard_true(i622, descr=<Guard0x33573d0>),
- i623 = int_or(i614, i620),
- i624 = uint_lt(i623, 2147483647),
- guard_true(i624, descr=<Guard0x3357390>),
- setarrayitem_raw(i283, i588, i623, descr=<ArrayU 4>),
- i626 = int_lshift(i588, 3),
- i627 = int_ge(i626, i281),
- guard_false(i627, descr=<Guard0x3357350>),
- i628 = uint_rshift(i623, i373),
- i629 = int_lshift(i623, i360),
- i630 = uint_rshift(i629, i373),
- i631 = int_lshift(i630, 8),
- i632 = int_or(i628, i631),
- i633 = int_lshift(i629, i360),
- i634 = uint_rshift(i633, i373),
- i635 = int_lshift(i634, 16),
- i636 = int_or(i632, i635),
- i637 = int_lshift(i633, i360),
- i638 = uint_rshift(i637, i373),
- i639 = int_lshift(i638, 24),
- i640 = int_or(i636, i639),
- i641 = int_lshift(i637, i360),
- setarrayitem_raw(51118152, i626, i640, descr=<ArrayU 4>),
- i642 = int_add(i626, 1),
- i643 = int_ge(i642, i281),
- guard_false(i643, descr=<Guard0x3357310>),
- i644 = uint_rshift(i641, i373),
- i645 = int_lshift(i641, i360),
- i646 = uint_rshift(i645, i373),
- i647 = int_lshift(i646, 8),
- i648 = int_or(i644, i647),
- i649 = int_lshift(i645, i360),
- i650 = uint_rshift(i649, i373),
- i651 = int_lshift(i650, 16),
- i652 = int_or(i648, i651),
- i653 = int_lshift(i649, i360),
- i654 = uint_rshift(i653, i373),
- i655 = int_lshift(i654, 24),
- i656 = int_or(i652, i655),
- i657 = int_lshift(i653, i360),
- setarrayitem_raw(51118152, i642, i656, descr=<ArrayU 4>),
- i658 = int_add(i642, 1),
- i659 = int_ge(i658, i281),
- guard_false(i659, descr=<Guard0x33572d0>),
- i660 = uint_rshift(i657, i373),
- i661 = int_lshift(i657, i360),
- i662 = uint_rshift(i661, i373),
- i663 = int_lshift(i662, 8),
- i664 = int_or(i660, i663),
- i665 = int_lshift(i661, i360),
- i666 = uint_rshift(i665, i373),
- i667 = int_lshift(i666, 16),
- i668 = int_or(i664, i667),
- i669 = int_lshift(i665, i360),
- i670 = uint_rshift(i669, i373),
- i671 = int_lshift(i670, 24),
- i672 = int_or(i668, i671),
- i673 = int_lshift(i669, i360),
- setarrayitem_raw(51118152, i658, i672, descr=<ArrayU 4>),
- i674 = int_add(i658, 1),
- i675 = int_ge(i674, i281),
- guard_false(i675, descr=<Guard0x3357290>),
- i676 = uint_rshift(i673, i373),
- i677 = int_lshift(i673, i360),
- i678 = uint_rshift(i677, i373),
- i679 = int_lshift(i678, 8),
- i680 = int_or(i676, i679),
- i681 = int_lshift(i677, i360),
- i682 = uint_rshift(i681, i373),
- i683 = int_lshift(i682, 16),
- i684 = int_or(i680, i683),
- i685 = int_lshift(i681, i360),
- i686 = uint_rshift(i685, i373),
- i687 = int_lshift(i686, 24),
- i688 = int_or(i684, i687),
- i689 = int_lshift(i685, i360),
- setarrayitem_raw(51118152, i674, i688, descr=<ArrayU 4>),
- i690 = int_add(i674, 1),
- i691 = int_ge(i690, i281),
- guard_false(i691, descr=<Guard0x3357250>),
- i692 = uint_rshift(i689, i373),
- i693 = int_lshift(i689, i360),
- i694 = uint_rshift(i693, i373),
- i695 = int_lshift(i694, 8),
- i696 = int_or(i692, i695),
- i697 = int_lshift(i693, i360),
- i698 = uint_rshift(i697, i373),
- i699 = int_lshift(i698, 16),
- i700 = int_or(i696, i699),
- i701 = int_lshift(i697, i360),
- i702 = uint_rshift(i701, i373),
- i703 = int_lshift(i702, 24),
- i704 = int_or(i700, i703),
- i705 = int_lshift(i701, i360),
- setarrayitem_raw(51118152, i690, i704, descr=<ArrayU 4>),
- i706 = int_add(i690, 1),
- i707 = int_ge(i706, i281),
- guard_false(i707, descr=<Guard0x3357210>),
- i708 = uint_rshift(i705, i373),
- i709 = int_lshift(i705, i360),
- i710 = uint_rshift(i709, i373),
- i711 = int_lshift(i710, 8),
- i712 = int_or(i708, i711),
- i713 = int_lshift(i709, i360),
- i714 = uint_rshift(i713, i373),
- i715 = int_lshift(i714, 16),
- i716 = int_or(i712, i715),
- i717 = int_lshift(i713, i360),
- i718 = uint_rshift(i717, i373),
- i719 = int_lshift(i718, 24),
- i720 = int_or(i716, i719),
- i721 = int_lshift(i717, i360),
- setarrayitem_raw(51118152, i706, i720, descr=<ArrayU 4>),
- i722 = int_add(i706, 1),
- i723 = int_ge(i722, i281),
- guard_false(i723, descr=<Guard0x33571d0>),
- i724 = uint_rshift(i721, i373),
- i725 = int_lshift(i721, i360),
- i726 = uint_rshift(i725, i373),
- i727 = int_lshift(i726, 8),
- i728 = int_or(i724, i727),
- i729 = int_lshift(i725, i360),
- i730 = uint_rshift(i729, i373),
- i731 = int_lshift(i730, 16),
- i732 = int_or(i728, i731),
- i733 = int_lshift(i729, i360),
- i734 = uint_rshift(i733, i373),
- i735 = int_lshift(i734, 24),
- i736 = int_or(i732, i735),
- i737 = int_lshift(i733, i360),
- setarrayitem_raw(51118152, i722, i736, descr=<ArrayU 4>),
- i738 = int_add(i722, 1),
- i739 = int_ge(i738, i281),
- guard_false(i739, descr=<Guard0x3357190>),
- i740 = uint_rshift(i737, i373),
- i741 = int_lshift(i737, i360),
- i742 = uint_rshift(i741, i373),
- i743 = int_lshift(i742, 8),
- i744 = int_or(i740, i743),
- i745 = int_lshift(i741, i360),
- i746 = uint_rshift(i745, i373),
- i747 = int_lshift(i746, 16),
- i748 = int_or(i744, i747),
- i749 = int_lshift(i745, i360),
- i750 = uint_rshift(i749, i373),
- i751 = int_lshift(i750, 24),
- i752 = int_or(i748, i751),
- i753 = int_lshift(i749, i360),
- setarrayitem_raw(51118152, i738, i752, descr=<ArrayU 4>),
- i754 = int_add(i738, 1),
- i755 = int_add_ovf(i586, i558),
- guard_no_overflow(descr=<Guard0x3357150>),
- i756 = int_add_ovf(i588, i558),
- guard_no_overflow(descr=<Guard0x3357110>),
- i757 = int_sub(i590, 23),
- setfield_gc(ConstPtr(ptr175), i757, descr=<FieldS
spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i758 = int_le(i757, 0),
- guard_false(i758, descr=<Guard0x33570d0>),
- p759 = new_with_vtable(18295080),
- setfield_gc(p759, i755, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- setarrayitem_gc(p145, 34, p759, descr=<ArrayP 4>),
- p760 = new_with_vtable(18295080),
- setfield_gc(p760, i756, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- setarrayitem_gc(p145, 35, p760, descr=<ArrayP 4>),
- p761 = new_with_vtable(18295080),
- setfield_gc(p761, i604, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- setarrayitem_gc(p145, 20, p761, descr=<ArrayP 4>),
- i762 = arraylen_gc(p145, descr=<ArrayP 4>),
- i763 = arraylen_gc(p568, descr=<ArrayP 4>),
- jump(p0, p3, p8, i601, p582, i606, p18, i589, 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, i139, 1, p147, p759, i160, p156, p760, i169, p165, p145, i757, i185,
p182, p761, i219, p195, p241, i250, p248, p257, p141, p272, i281, i283, i318,
i329, i373, i360, i558, p556, p582, p568, descr=TargetToken(53262992))
+ 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))
""")
@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,82 +12,82 @@
(1 to: 10000) asOrderedCollection.
""")
self.assert_matches(traces[0].loop, """
- guard_not_invalidated(descr=<Guard0x3318d10>),
- i190 = getarrayitem_gc(p52, 1, descr=<ArrayS 4>),
- i191 = int_eq(i190, 2147483647),
- guard_false(i191, descr=<Guard0x3318ad0>),
- i192 = int_ge(i190, i184),
- guard_true(i192, descr=<Guard0x3318810>),
- cond_call(i74, 16971392, p66, descr=<Callv 0 r EF=2 OS=121>),
- cond_call(i102, 16971392, p90, descr=<Callv 0 r EF=2 OS=121>),
- cond_call(i102, 16971392, p90, descr=<Callv 0 r EF=2 OS=121>),
- p193 = getarrayitem_gc(p104, 0, descr=<ArrayP 4>),
- cond_call(i102, 16971392, p90, descr=<Callv 0 r EF=2 OS=121>),
- p195 = new_with_vtable(18295080),
- setfield_gc(p195, i184, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- setarrayitem_gc(p104, 1, p195, descr=<ArrayP 4>),
- setarrayitem_gc(p78, 0, p193, descr=<ArrayP 4>),
- setfield_gc(p66, 2, descr=<FieldU
spyvm.shadow.ContextPartShadow.inst__stack_ptr 32>),
- setfield_gc(p66, 15, descr=<FieldS
spyvm.shadow.ContextPartShadow.inst__pc 24>),
- setfield_gc(p66, p0, descr=<FieldP
spyvm.shadow.ContextPartShadow.inst__s_sender 28>),
- setfield_gc(ConstPtr(ptr80), i87, descr=<FieldS
spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- setarrayitem_gc(p78, 1, p195, descr=<ArrayP 4>),
- guard_class(p193, 18294904, descr=<Guard0x32f9d90>),
- p196 = getfield_gc(p193, descr=<FieldP
spyvm.model.W_AbstractObjectWithClassReference.inst_w_class 12>),
- p197 = getfield_gc(p196, descr=<FieldP
spyvm.model.W_PointersObject.inst_shadow 16>),
- guard_value(p197, ConstPtr(ptr117), descr=<Guard0x32f9e10>),
- p198 = getfield_gc(p193, descr=<FieldP
spyvm.model.W_PointersObject.inst_shadow 16>),
- setarrayitem_gc(p78, 0, ConstPtr(null), descr=<ArrayP 4>),
- setfield_gc(p66, 0, descr=<FieldU
spyvm.shadow.ContextPartShadow.inst__stack_ptr 32>),
- setfield_gc(ConstPtr(ptr80), i131, descr=<FieldS
spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- setarrayitem_gc(p78, 1, ConstPtr(null), descr=<ArrayP 4>),
- guard_class(p198, ConstClass(ListStorageShadow),
descr=<Guard0x3311a90>),
- p201 = getfield_gc_pure(p198, descr=<FieldP
spyvm.shadow.ListStorageShadow.inst_storage 16>),
- p202 = getarrayitem_gc(p201, 2, descr=<ArrayP 4>),
- p203 = getarrayitem_gc(p201, 0, descr=<ArrayP 4>),
- guard_class(p203, 18294904, descr=<Guard0x3311750>),
- p204 = getfield_gc(p203, descr=<FieldP
spyvm.model.W_AbstractObjectWithClassReference.inst_w_class 12>),
- p205 = getfield_gc(p204, descr=<FieldP
spyvm.model.W_PointersObject.inst_shadow 16>),
- guard_value(p205, ConstPtr(ptr149), descr=<Guard0x3311710>),
- p206 = getfield_gc(p203, descr=<FieldP
spyvm.model.W_PointersObject.inst_shadow 16>),
- guard_nonnull_class(p206, 18300088, descr=<Guard0x3311450>),
- p207 = getfield_gc_pure(p206, descr=<FieldP
spyvm.shadow.SmallIntegerOrNilStorageShadow.inst_storage 16>),
- i208 = arraylen_gc(p207, descr=<ArrayS 4>),
- i209 = getfield_gc_pure(p206, descr=<FieldU
spyvm.shadow.AbstractShadow.inst_space 12>),
- guard_nonnull_class(p202, 18295080, descr=<Guard0x33112d0>),
- i210 = getfield_gc_pure(p202, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- i211 = int_eq(i210, i208),
- guard_false(i211, descr=<Guard0x3311250>),
- i212 = int_add_ovf(i210, 1),
- guard_no_overflow(descr=<Guard0x330be50>),
- i213 = int_ge(i210, 0),
- guard_true(i213, descr=<Guard0x330b790>),
- i214 = int_lt(i210, i208),
- guard_true(i214, descr=<Guard0x330b710>),
- i215 = int_eq(i184, 2147483647),
- guard_false(i215, descr=<Guard0x330b610>),
- setarrayitem_gc(p207, i210, i184, descr=<ArrayS 4>),
- i216 = getarrayitem_gc(p52, 2, descr=<ArrayS 4>),
- setfield_gc(p66, -1, descr=<FieldS
spyvm.shadow.ContextPartShadow.inst__pc 24>),
- setfield_gc(p66, ConstPtr(null), descr=<FieldP
spyvm.shadow.ContextPartShadow.inst__s_sender 28>),
- setfield_gc(ConstPtr(ptr80), i83, descr=<FieldS
spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- i217 = int_eq(i216, 2147483647),
- guard_false(i217, descr=<Guard0x3304a50>),
- i218 = int_add_ovf(i184, i216),
- guard_no_overflow(descr=<Guard0x3304950>),
- i219 = int_sub(i187, 7),
- setfield_gc(ConstPtr(ptr80), i219, descr=<FieldS
spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i220 = int_le(i219, 0),
- guard_false(i220, descr=<Guard0x33046d0>),
- p221 = new_with_vtable(18295080),
- setfield_gc(p221, i212, descr=<FieldS
spyvm.model.W_SmallInteger.inst_value 8>),
- setarrayitem_gc(p201, 2, p221, descr=<ArrayP 4>),
- i222 = arraylen_gc(p52, descr=<ArrayS 4>),
- i223 = arraylen_gc(p78, descr=<ArrayP 4>),
- i224 = arraylen_gc(p104, descr=<ArrayP 4>),
- jump(p0, p3, p6, i218, p14, p16, p18, p20, p22, p24, p26, p28,
p30, p32, p34, p36, p38, p40, p42, i47, p52, i74, p66, i102, p90, p104, p78,
i87, i89, i131, i119, p145, i83, i219, descr=TargetToken(53064608))
+ 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))
""")
-
+
def test_indexOf(self, spy, tmpdir):
traces = self.run(spy, tmpdir,
"""
@@ -95,32 +95,32 @@
""")
# First loop: asOrderedCollection, second loop: makeRoomAtLast
self.assert_matches(traces[2].loop, """
- guard_not_invalidated(descr=<Guard0x2f28ed0>),
- i143 = int_le(i137, i62),
- guard_true(i143, descr=<Guard0x2f3c990>),
- setfield_gc(ConstPtr(ptr84), i91, descr=<FieldS
spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- i144 = int_add_ovf(i137, i100),
- guard_no_overflow(descr=<Guard0x2f3c950>),
- i145 = int_sub(i144, 1),
- i146 = int_gt(i145, i108),
- guard_false(i146, descr=<Guard0x2f3c910>),
- i147 = int_sub(i145, 1),
- i148 = int_ge(i147, 0),
- guard_true(i148, descr=<Guard0x2f3c8d0>),
- i149 = int_lt(i147, i127),
- guard_true(i149, descr=<Guard0x2f3c890>),
- i150 = getarrayitem_gc(p126, i147, descr=<ArrayS 4>),
- i151 = int_eq(i150, 2147483647),
- guard_false(i151, descr=<Guard0x2f3c850>),
- setfield_gc(ConstPtr(ptr84), i87, descr=<FieldS
spyvm.interpreter.Interpreter.inst_remaining_stack_depth 40>),
- i152 = int_eq(i150, i134),
- guard_false(i152, descr=<Guard0x2f3c810>),
- i153 = int_add_ovf(i137, 1),
- guard_no_overflow(descr=<Guard0x2f3c7d0>),
- i154 = int_sub(i140, 5),
- setfield_gc(ConstPtr(ptr84), i154, descr=<FieldS
spyvm.interpreter.Interpreter.inst_interrupt_check_counter 24>),
- i155 = int_le(i154, 0),
- guard_false(i155, descr=<Guard0x2f3c790>),
- i156 = arraylen_gc(p96, descr=<ArrayP 4>),
- jump(p0, p3, p6, p8, p10, i153, p14, p20, p22, p24, p26, p28, p30,
p32, p34, p36, p38, p40, p42, p44, p46, p48, p50, p52, i57, i62, i91, i100,
p64, p98, i80, i108, p105, p111, i127, p126, i87, i134, i154, p96,
descr=TargetToken(51324000))
+ 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))
""")
_______________________________________________
pypy-commit mailing list
[email protected]
https://mail.python.org/mailman/listinfo/pypy-commit
