Re: implement value_range::domain_p()

2018-11-09 Thread Richard Biener
On Thu, Nov 8, 2018 at 4:30 PM Aldy Hernandez wrote: > > > > On 11/8/18 10:24 AM, Richard Biener wrote: > > On Thu, Nov 8, 2018 at 4:05 PM Aldy Hernandez wrote: > >> > >> > >> > >> On 11/8/18 9:53 AM, Richard Biener wrote: > >>> On Thu, Nov 8, 2018 at 3:40 PM Aldy Hernandez wrote: > >

Re: implement value_range::domain_p()

2018-11-08 Thread Aldy Hernandez
On 11/8/18 10:24 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 4:05 PM Aldy Hernandez wrote: On 11/8/18 9:53 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 3:40 PM Aldy Hernandez wrote: On 11/8/18 9:34 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 1:52 PM Aldy Hernandez wr

Re: implement value_range::domain_p()

2018-11-08 Thread Richard Biener
On Thu, Nov 8, 2018 at 4:05 PM Aldy Hernandez wrote: > > > > On 11/8/18 9:53 AM, Richard Biener wrote: > > On Thu, Nov 8, 2018 at 3:40 PM Aldy Hernandez wrote: > >> > >> > >> > >> On 11/8/18 9:34 AM, Richard Biener wrote: > >>> On Thu, Nov 8, 2018 at 1:52 PM Aldy Hernandez wrote: > > I

Re: implement value_range::domain_p()

2018-11-08 Thread Aldy Hernandez
On 11/8/18 9:53 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 3:40 PM Aldy Hernandez wrote: On 11/8/18 9:34 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 1:52 PM Aldy Hernandez wrote: I believe I've seen this idiom more than once. I know for sure I've used it in our ssa-range b

Re: implement value_range::domain_p()

2018-11-08 Thread Richard Biener
On Thu, Nov 8, 2018 at 3:40 PM Aldy Hernandez wrote: > > > > On 11/8/18 9:34 AM, Richard Biener wrote: > > On Thu, Nov 8, 2018 at 1:52 PM Aldy Hernandez wrote: > >> > >> I believe I've seen this idiom more than once. I know for sure I've > >> used it in our ssa-range branch :). I'll hunt for th

Re: implement value_range::domain_p()

2018-11-08 Thread Aldy Hernandez
On 11/8/18 9:34 AM, Richard Biener wrote: On Thu, Nov 8, 2018 at 1:52 PM Aldy Hernandez wrote: I believe I've seen this idiom more than once. I know for sure I've used it in our ssa-range branch :). I'll hunt for the other uses and adjust accordingly. domain_p?! Isn't that the same as

Re: implement value_range::domain_p()

2018-11-08 Thread Richard Biener
On Thu, Nov 8, 2018 at 1:52 PM Aldy Hernandez wrote: > > I believe I've seen this idiom more than once. I know for sure I've > used it in our ssa-range branch :). I'll hunt for the other uses and > adjust accordingly. domain_p?! Isn't that the same as varying_p()? Also + if (m_kind == VR_RA