Author: Carl Friedrich Bolz <[email protected]>
Branch: guard-compatible
Changeset: r83004:d2ba8721ddfc
Date: 2016-03-12 23:24 +0100
http://bitbucket.org/pypy/pypy/changeset/d2ba8721ddfc/
Log: improve test a bit
diff --git a/rpython/jit/metainterp/optimizeopt/test/test_compatible.py
b/rpython/jit/metainterp/optimizeopt/test/test_compatible.py
--- a/rpython/jit/metainterp/optimizeopt/test/test_compatible.py
+++ b/rpython/jit/metainterp/optimizeopt/test/test_compatible.py
@@ -39,18 +39,27 @@
def test_guard_compatible_call_pure(self):
call_pure_results = {
(ConstInt(123), ConstPtr(self.myptr)): ConstInt(5),
+ (ConstInt(124), ConstPtr(self.myptr)): ConstInt(7),
}
ops = """
[p1]
guard_compatible(p1, ConstPtr(myptr)) []
i3 = call_pure_i(123, p1, descr=plaincalldescr)
escape_n(i3)
+ i5 = call_pure_i(124, p1, descr=plaincalldescr)
+ escape_n(i5)
jump(ConstPtr(myptr))
"""
expected = """
[p1]
guard_compatible(p1, ConstPtr(myptr)) []
escape_n(5)
+ escape_n(7)
jump(ConstPtr(myptr))
"""
self.optimize_loop(ops, expected, call_pure_results=call_pure_results)
+ # whitebox-test the guard_compatible descr a bit
+ descr = self.loop.operations[1].getdescr()
+ assert descr._compatibility_conditions is not None
+ assert
descr._compatibility_conditions.known_valid.same_constant(ConstPtr(self.myptr))
+ assert len(descr._compatibility_conditions.pure_call_conditions) == 2
_______________________________________________
pypy-commit mailing list
[email protected]
https://mail.python.org/mailman/listinfo/pypy-commit
