Reviewers: danno,

Description:
Narrows predicate for type bounds

[email protected]
BUG=

Please review this at https://codereview.chromium.org/170943005/

SVN Base: https://v8.googlecode.com/svn/branches/bleeding_edge

Affected files (+4, -0 lines):
  M src/types.h


Index: src/types.h
diff --git a/src/types.h b/src/types.h
index 99a809dc10d06ae5108e2c64667982c867018d0a..48b39335b63dcd5c4da0f468f30afd4efaa409d4 100644
--- a/src/types.h
+++ b/src/types.h
@@ -560,6 +560,10 @@ struct BoundsImpl {
     TypeHandle upper = Type::Intersect(b.upper, t, region);
     return BoundsImpl(lower, upper);
   }
+
+  bool Narrows(BoundsImpl that) {
+    return that.lower->Is(this->lower) && this->upper->Is(that.upper);
+  }
 };

 typedef BoundsImpl<ZoneTypeConfig> Bounds;


--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
--- You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to