Author: Alex Gaynor <[email protected]>
Branch:
Changeset: r67128:410b98e96c08
Date: 2013-09-28 15:37 -0700
http://bitbucket.org/pypy/pypy/changeset/410b98e96c08/
Log: int_sub(x, x) -> 0
diff --git a/rpython/jit/metainterp/optimizeopt/rewrite.py
b/rpython/jit/metainterp/optimizeopt/rewrite.py
--- a/rpython/jit/metainterp/optimizeopt/rewrite.py
+++ b/rpython/jit/metainterp/optimizeopt/rewrite.py
@@ -107,6 +107,8 @@
v2 = self.getvalue(op.getarg(1))
if v2.is_constant() and v2.box.getint() == 0:
self.make_equal_to(op.result, v1)
+ elif v1 is v2:
+ self.make_constant_int(op.result, 0)
else:
self.emit_operation(op)
# Synthesize the reverse ops for optimize_default to reuse
diff --git a/rpython/jit/metainterp/optimizeopt/test/test_optimizebasic.py
b/rpython/jit/metainterp/optimizeopt/test/test_optimizebasic.py
--- a/rpython/jit/metainterp/optimizeopt/test/test_optimizebasic.py
+++ b/rpython/jit/metainterp/optimizeopt/test/test_optimizebasic.py
@@ -3735,6 +3735,18 @@
"""
self.optimize_loop(ops, expected)
+ def test_sub_identity(self):
+ ops = """
+ [i0]
+ i1 = int_sub(i0, i0)
+ jump(i1)
+ """
+ expected = """
+ [i0]
+ jump(0)
+ """
+ self.optimize_loop(ops, expected)
+
def test_bound_and(self):
ops = """
[i0]
_______________________________________________
pypy-commit mailing list
[email protected]
https://mail.python.org/mailman/listinfo/pypy-commit
