[pypy-commit] pypy bounds-int-add-or: failing and passing test for INT_OR

[squeaky]

Author: Squeaky <squeaky_pl at gmx.com>
Branch: bounds-int-add-or
Changeset: r69191:45cad34a2d76
Date: 2014-02-17 16:30 +0100
http://bitbucket.org/pypy/pypy/changeset/45cad34a2d76/

Log:	failing and passing test for INT_OR

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
@@ -5358,6 +5358,39 @@
         """
         self.optimize_loop(ops, ops)
 
+    def test_int_or_cmp_above_bounds(self):
+        ops = """
+        [p0]
+        i0 = getarrayitem_gc(p0, 0, descr=chararraydescr)
+        i1 = getarrayitem_gc(p0, 1, descr=chararraydescr)
+        i2 = int_or(i0, i1)
+        i3 = int_le(i2, 255)
+        guard_true(i3) []
+        jump(i2)
+        """
+
+        expected = """
+        [p0]
+        i0 = getarrayitem_gc(p0, 0, descr=chararraydescr)
+        i1 = getarrayitem_gc(p0, 1, descr=chararraydescr)
+        i2 = int_or(i0, i1)
+        jump(i2)
+        """
+        self.optimize_loop(ops, expected)
+
+    def test_int_or_cmp_below_bounds(self):
+        ops = """
+        [p0]
+        i0 = getarrayitem_gc(p0, 0, descr=chararraydescr)
+        i1 = getarrayitem_gc(p0, 1, descr=chararraydescr)
+        i2 = int_or(i0, i1)
+        i3 = int_lt(i2, 255)
+        guard_true(i3) []
+        jump(i2)
+        """
+        self.optimize_loop(ops, ops)
+
+
 
 class TestLLtype(BaseTestOptimizeBasic, LLtypeMixin):
     pass