aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'rpython/jit/metainterp/optimizeopt/intutils.py')
-rw-r--r--rpython/jit/metainterp/optimizeopt/intutils.py15
1 files changed, 7 insertions, 8 deletions
diff --git a/rpython/jit/metainterp/optimizeopt/intutils.py b/rpython/jit/metainterp/optimizeopt/intutils.py
index 2590aad376..9ce1c14393 100644
--- a/rpython/jit/metainterp/optimizeopt/intutils.py
+++ b/rpython/jit/metainterp/optimizeopt/intutils.py
@@ -130,19 +130,18 @@ class IntBound(AbstractInfo):
def intersect(self, other):
r = False
-
if other.has_lower:
- if other.lower > self.lower or not self.has_lower:
- self.lower = other.lower
- self.has_lower = True
+ if self.make_ge_const(other.lower):
r = True
-
if other.has_upper:
- if other.upper < self.upper or not self.has_upper:
- self.upper = other.upper
- self.has_upper = True
+ if self.make_le_const(other.upper):
r = True
+ return r
+ def intersect_const(self, lower, upper):
+ r = self.make_ge_const(lower)
+ if self.make_le_const(upper):
+ r = True
return r
def add(self, offset):