Re: VRP: undefined shifting calculation should not need sign bit

2018-10-17 Thread Aldy Hernandez
On 10/17/18 6:52 AM, Richard Sandiford wrote: Aldy Hernandez writes: On 9/13/18 3:33 AM, Richard Sandiford wrote: Aldy Hernandez writes: On 09/12/2018 12:57 PM, Richard Sandiford wrote: Aldy Hernandez writes: diff --git a/gcc/wide-int-range.h b/gcc/wide-int-range.h index 589fdea4df6..e

Re: VRP: undefined shifting calculation should not need sign bit

2018-10-17 Thread Richard Sandiford
Aldy Hernandez writes: > On 9/13/18 3:33 AM, Richard Sandiford wrote: >> Aldy Hernandez writes: >>> On 09/12/2018 12:57 PM, Richard Sandiford wrote: Aldy Hernandez writes: > diff --git a/gcc/wide-int-range.h b/gcc/wide-int-range.h > index 589fdea4df6..e9ee418e5b2 100644 > --- a/

Re: VRP: undefined shifting calculation should not need sign bit

2018-10-17 Thread Aldy Hernandez
On 9/13/18 3:33 AM, Richard Sandiford wrote: Aldy Hernandez writes: On 09/12/2018 12:57 PM, Richard Sandiford wrote: Aldy Hernandez writes: diff --git a/gcc/wide-int-range.h b/gcc/wide-int-range.h index 589fdea4df6..e9ee418e5b2 100644 --- a/gcc/wide-int-range.h +++ b/gcc/wide-int-range.h @

Re: VRP: undefined shifting calculation should not need sign bit

2018-09-13 Thread Aldy Hernandez
On 09/13/2018 03:33 AM, Richard Sandiford wrote: Aldy Hernandez writes: On 09/12/2018 12:57 PM, Richard Sandiford wrote: Aldy Hernandez writes: diff --git a/gcc/wide-int-range.h b/gcc/wide-int-range.h index 589fdea4df6..e9ee418e5b2 100644 --- a/gcc/wide-int-range.h +++ b/gcc/wide-int-rang

Re: VRP: undefined shifting calculation should not need sign bit

2018-09-13 Thread Richard Sandiford
Aldy Hernandez writes: > On 09/12/2018 12:57 PM, Richard Sandiford wrote: >> Aldy Hernandez writes: >>> diff --git a/gcc/wide-int-range.h b/gcc/wide-int-range.h >>> index 589fdea4df6..e9ee418e5b2 100644 >>> --- a/gcc/wide-int-range.h >>> +++ b/gcc/wide-int-range.h >>> @@ -131,7 +131,7 @@ extern b

Re: VRP: undefined shifting calculation should not need sign bit

2018-09-12 Thread Aldy Hernandez
On 09/12/2018 12:57 PM, Richard Sandiford wrote: Aldy Hernandez writes: diff --git a/gcc/wide-int-range.h b/gcc/wide-int-range.h index 589fdea4df6..e9ee418e5b2 100644 --- a/gcc/wide-int-range.h +++ b/gcc/wide-int-range.h @@ -131,7 +131,7 @@ extern bool wide_int_range_div (wide_int &wmin, wid

Re: VRP: undefined shifting calculation should not need sign bit

2018-09-12 Thread Richard Sandiford
Aldy Hernandez writes: > diff --git a/gcc/wide-int-range.h b/gcc/wide-int-range.h > index 589fdea4df6..e9ee418e5b2 100644 > --- a/gcc/wide-int-range.h > +++ b/gcc/wide-int-range.h > @@ -131,7 +131,7 @@ extern bool wide_int_range_div (wide_int &wmin, wide_int > &wmax, > /* Return TRUE if shifting

Re: VRP: undefined shifting calculation should not need sign bit

2018-09-11 Thread Jeff Law
On 9/11/18 4:09 AM, Aldy Hernandez wrote: > We can calculate wide_int_range_shift_undefined_p() without having to > pass down the sign bit of the operand.  Also, vrp_shift_undefined_p is a > brain dead wrapper so I'm removing it. > > OK for trunk? > > curr.patch > > commit 9aeb62d4c33b50bc007b07

VRP: undefined shifting calculation should not need sign bit

2018-09-11 Thread Aldy Hernandez
We can calculate wide_int_range_shift_undefined_p() without having to pass down the sign bit of the operand. Also, vrp_shift_undefined_p is a brain dead wrapper so I'm removing it. OK for trunk? commit 9aeb62d4c33b50bc007b07ec5097e8f3edd4b31b Author: Aldy Hernandez Date: Mon Sep 10 17:46:10