]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Add two new methods to Value_Range.
authorAldy Hernandez <aldyh@redhat.com>
Thu, 23 Feb 2023 08:00:04 +0000 (09:00 +0100)
committerAldy Hernandez <aldyh@redhat.com>
Tue, 18 Apr 2023 05:39:40 +0000 (07:39 +0200)
This is for upcoming work in this area.

gcc/ChangeLog:

* value-range.h (Value_Range::Value_Range): New.
(Value_Range::contains_p): New.

gcc/value-range.h

index e9439bb7d3c2c59a9a8fc7ea10063a8f0b365d15..f8aa0ca7bec277ce9c38cde1724611fca7225d24 100644 (file)
@@ -505,6 +505,7 @@ public:
   Value_Range ();
   Value_Range (const vrange &r);
   Value_Range (tree type);
+  Value_Range (tree, tree, value_range_kind kind = VR_RANGE);
   Value_Range (const Value_Range &);
   void set_type (tree type);
   vrange& operator= (const vrange &);
@@ -526,6 +527,7 @@ public:
   void set_undefined () { m_vrange->set_undefined (); }
   bool union_ (const vrange &r) { return m_vrange->union_ (r); }
   bool intersect (const vrange &r) { return m_vrange->intersect (r); }
+  bool contains_p (tree cst) const { return m_vrange->contains_p (cst); }
   bool singleton_p (tree *result = NULL) const
     { return m_vrange->singleton_p (result); }
   bool zero_p () const { return m_vrange->zero_p (); }
@@ -563,6 +565,13 @@ Value_Range::Value_Range (tree type)
   init (type);
 }
 
+inline
+Value_Range::Value_Range (tree min, tree max, value_range_kind kind)
+{
+  init (TREE_TYPE (min));
+  set (min, max, kind);
+}
+
 inline
 Value_Range::Value_Range (const Value_Range &r)
 {