Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-08-04 Thread Richard Biener
On Thu, 4 Aug 2016, Prathamesh Kulkarni wrote: > On 4 August 2016 at 12:39, Richard Biener wrote: > > On Thu, 4 Aug 2016, Prathamesh Kulkarni wrote: > > > >> On 3 August 2016 at 17:27, Matthew Wahab > >> wrote: > >> > On 29/07/16 15:32, Prathamesh

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-08-04 Thread Prathamesh Kulkarni
On 4 August 2016 at 12:39, Richard Biener wrote: > On Thu, 4 Aug 2016, Prathamesh Kulkarni wrote: > >> On 3 August 2016 at 17:27, Matthew Wahab wrote: >> > On 29/07/16 15:32, Prathamesh Kulkarni wrote: >> >> >> >> On 29 July 2016 at 12:42, Richard

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-08-04 Thread Richard Biener
On Thu, 4 Aug 2016, Prathamesh Kulkarni wrote: > On 3 August 2016 at 17:27, Matthew Wahab wrote: > > On 29/07/16 15:32, Prathamesh Kulkarni wrote: > >> > >> On 29 July 2016 at 12:42, Richard Biener wrote: > >>> > >>> On Fri, 29 Jul 2016, Prathamesh

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-08-03 Thread Prathamesh Kulkarni
On 3 August 2016 at 17:27, Matthew Wahab wrote: > On 29/07/16 15:32, Prathamesh Kulkarni wrote: >> >> On 29 July 2016 at 12:42, Richard Biener wrote: >>> >>> On Fri, 29 Jul 2016, Prathamesh Kulkarni wrote: >>> On 28 July 2016 at 19:18, Richard

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-08-03 Thread Matthew Wahab
On 29/07/16 15:32, Prathamesh Kulkarni wrote: On 29 July 2016 at 12:42, Richard Biener wrote: On Fri, 29 Jul 2016, Prathamesh Kulkarni wrote: On 28 July 2016 at 19:18, Richard Biener wrote: On Thu, 28 Jul 2016, Prathamesh Kulkarni wrote: On 28 July

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-29 Thread Richard Biener
On July 29, 2016 4:32:40 PM GMT+02:00, Prathamesh Kulkarni wrote: >On 29 July 2016 at 12:42, Richard Biener wrote: >> On Fri, 29 Jul 2016, Prathamesh Kulkarni wrote: >> >>> On 28 July 2016 at 19:18, Richard Biener wrote: >>>

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-29 Thread Prathamesh Kulkarni
On 29 July 2016 at 12:42, Richard Biener wrote: > On Fri, 29 Jul 2016, Prathamesh Kulkarni wrote: > >> On 28 July 2016 at 19:18, Richard Biener wrote: >> > On Thu, 28 Jul 2016, Prathamesh Kulkarni wrote: >> > >> >> On 28 July 2016 at 15:58, Andreas Schwab

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-29 Thread Richard Biener
On Fri, 29 Jul 2016, Prathamesh Kulkarni wrote: > On 28 July 2016 at 19:18, Richard Biener wrote: > > On Thu, 28 Jul 2016, Prathamesh Kulkarni wrote: > > > >> On 28 July 2016 at 15:58, Andreas Schwab wrote: > >> > On Mo, Jul 25 2016, Prathamesh Kulkarni

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-28 Thread Prathamesh Kulkarni
On 28 July 2016 at 19:18, Richard Biener wrote: > On Thu, 28 Jul 2016, Prathamesh Kulkarni wrote: > >> On 28 July 2016 at 15:58, Andreas Schwab wrote: >> > On Mo, Jul 25 2016, Prathamesh Kulkarni >> > wrote: >> > >> >> diff

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-28 Thread Richard Biener
On Thu, 28 Jul 2016, Prathamesh Kulkarni wrote: > On 28 July 2016 at 15:58, Andreas Schwab wrote: > > On Mo, Jul 25 2016, Prathamesh Kulkarni > > wrote: > > > >> diff --git a/gcc/testsuite/gcc.dg/pr70920-4.c > >>

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-28 Thread Prathamesh Kulkarni
On 28 July 2016 at 15:58, Andreas Schwab wrote: > On Mo, Jul 25 2016, Prathamesh Kulkarni > wrote: > >> diff --git a/gcc/testsuite/gcc.dg/pr70920-4.c >> b/gcc/testsuite/gcc.dg/pr70920-4.c >> new file mode 100644 >> index 000..dedb895 >> ---

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-28 Thread Andreas Schwab
On Mo, Jul 25 2016, Prathamesh Kulkarni wrote: > diff --git a/gcc/testsuite/gcc.dg/pr70920-4.c > b/gcc/testsuite/gcc.dg/pr70920-4.c > new file mode 100644 > index 000..dedb895 > --- /dev/null > +++ b/gcc/testsuite/gcc.dg/pr70920-4.c > @@ -0,0 +1,21 @@ > +/* {

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-26 Thread Prathamesh Kulkarni
; Removing basic block 9 >> >> basic block 9, loop depth 0 >> >> pred: >> >> if (i1_10(D) != 0B) >> >> goto ; >> >> else >> >> goto ; >> >> succ: 10 >> >> 11 >> >> >> >> So t

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-26 Thread Richard Biener
;> So there remained two instances of if (i1_10 (D) != 0B) in dom2 dump file, > >> and hence needed to update the test-case. > >> > >> Bootstrapped and tested on x86_64-unknown-linux-gnu. > >> OK to commit ? > > > > --- a/gcc/match.pd > > +++ b/gcc/match.pd > &

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-25 Thread Prathamesh Kulkarni
if (i1_10 (D) != 0B) in dom2 dump file, >> and hence needed to update the test-case. >> >> Bootstrapped and tested on x86_64-unknown-linux-gnu. >> OK to commit ? > > --- a/gcc/match.pd > +++ b/gcc/match.pd > @@ -3408,3 +3408,23 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)

Re: [PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-25 Thread Richard Biener
ctor, idx / k)->value; }) (BIT_FIELD_REF { CONSTRUCTOR_ELT (ctor, idx / k)->value; } @1 { bitsize_int ((idx % k) * width); }) + +/* PR70920: Transform (intptr_t)x eq/ne CST to x eq/ne (typeof x) CST. */ + +(for cmp (ne eq) + (simplify + (cmp (convert@2

[PR70920] transform (intptr_t) x eq/ne CST to x eq/ne (typeof x) cst

2016-07-24 Thread Prathamesh Kulkarni
ELT (ctor, idx / k)->value; }) (BIT_FIELD_REF { CONSTRUCTOR_ELT (ctor, idx / k)->value; } @1 { bitsize_int ((idx % k) * width); }) + +/* PR70920: Transform (intptr_t)x eq/ne CST to x eq/ne (typeof x) CST. */ + +(for cmp (ne eq) + (simplify + (cmp (con