On 10/2/19 6:56 AM, Aldy Hernandez wrote:
>>> diff --git a/gcc/range.cc b/gcc/range.cc
>>> new file mode 100644
>>> index 000..5e4d90436f2
>>> --- /dev/null
>>> +++ b/gcc/range.cc
>> [ ... ]
>>> +
>>> +value_range_base
>>> +range_intersect (const value_range_base &r1, const value_range_base
On 10/2/19 9:36 AM, Richard Sandiford wrote:
Andrew MacLeod writes:
On 10/2/19 6:52 AM, Richard Biener wrote:
+
+/* Return the inverse of a range. */
+
+void
+value_range_base::invert ()
+{
+ if (undefined_p ())
+return;
+ if (varying_p ())
+set_undefined ();
+ else if (m_kind == V
Andrew MacLeod writes:
> On 10/2/19 6:52 AM, Richard Biener wrote:
>>
+
+/* Return the inverse of a range. */
+
+void
+value_range_base::invert ()
+{
+ if (undefined_p ())
+return;
+ if (varying_p ())
+set_undefined ();
+ else if (
On 10/2/19 8:19 AM, Andrew MacLeod wrote:
On 10/2/19 6:52 AM, Richard Biener wrote:
+
+/* Return the inverse of a range. */
+
+void
+value_range_base::invert ()
+{
+ if (undefined_p ())
+ return;
+ if (varying_p ())
+ set_undefined ();
+ else if (m_kind == VR_RANGE)
+ m_kind =
On 10/2/19 6:52 AM, Richard Biener wrote:
+
+/* Return the inverse of a range. */
+
+void
+value_range_base::invert ()
+{
+ if (undefined_p ())
+return;
+ if (varying_p ())
+set_undefined ();
+ else if (m_kind == VR_RANGE)
+m_kind = VR_ANTI_RANGE;
+ else if (m_kind == VR_ANTI_R
On Tue, Oct 1, 2019 at 8:07 PM Jeff Law wrote:
>
> On 10/1/19 11:11 AM, Aldy Hernandez wrote:
> > Hi folks.
> >
> > Here is my official submission of the range-ops part of the ranger to
> > mainline.
> >
> > I realize that I could have split this patch up into 2-3 separate ones,
> > but I don't wa
On 10/1/19 11:11 AM, Aldy Hernandez wrote:
> Hi folks.
>
> Here is my official submission of the range-ops part of the ranger to
> mainline.
>
> I realize that I could have split this patch up into 2-3 separate ones,
> but I don't want to run into the chicken-and-egg scenario of last time,
> wher
