[pypy-commit] pypy default: int_sub(0, x) -> int_neg(x)
alex_gaynor
noreply at buildbot.pypy.org
Sun Sep 29 00:47:43 CEST 2013
Author: Alex Gaynor <alex.gaynor at gmail.com>
Branch:
Changeset: r67129:ef1fb51633c3
Date: 2013-09-28 15:47 -0700
http://bitbucket.org/pypy/pypy/changeset/ef1fb51633c3/
Log: int_sub(0, x) -> int_neg(x)
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,9 @@
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_constant() and v1.box.getint() == 0:
+ op = op.copy_and_change(rop.INT_NEG, args=[v2.box])
+ self.emit_operation(op)
elif v1 is v2:
self.make_constant_int(op.result, 0)
else:
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
@@ -3739,11 +3739,13 @@
ops = """
[i0]
i1 = int_sub(i0, i0)
- jump(i1)
+ i2 = int_sub(i1, i0)
+ jump(i1, i2)
"""
expected = """
[i0]
- jump(0)
+ i2 = int_neg(i0)
+ jump(0, i2)
"""
self.optimize_loop(ops, expected)
More information about the pypy-commit
mailing list