On 07/04/2017 05:13 AM, Hurugalawadi, Naveen wrote: > Hi, > > Thanks for the review and comments on the patch. > >>> The proposed patch handled both the same. This means the pattern >>> shouldn't use range-info but instead match a more complex > > The patch handles as per the discussion by matching the pattern > in match.pd. > > Bootstrapped and Regression tested on AArch64 and X86_64. > Please review the patch and let us know if its okay? > > Thanks, > Naveen > > 2017-07-04 Naveen H.S <naveen.hurugalaw...@cavium.com> > > gcc > * match.pd (((m1 >/</>=/<= m2) * d -> (m1 >/</>=/<= m2) ? d : 0) New > pattern. > > gcc/testsuite > * gcc.dg/tree-ssa/vrp116.c: New Test. > OK for the trunk. Sorry for the delay.
Presumably EQ/NE are handled by a different pattern? Jeff