This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Generalize a<b&a<c -> a<min(b,c)


On 04/30/2018 11:24 AM, Marc Glisse wrote:
> Hello,
> 
> this transformation was lacking symmetry, only handling & and not |.
> 
> It probably still fails to handle a < b & a <= 123, while it would
> handle < 124, but that's for another day.
> 
> Bootstrap+testsuite on powerpc64le-unknown-linux-gnu.
> 
> 2018-05-01  Marc Glisse  <marc.glisse@inria.fr>
> 
>     PR tree-optimization/85143
> gcc/
>     * match.pd (A<B&A<C): Extend to BIT_IOR_EXPR.
> 
> gcc/testsuite/
>     * gcc.dg/tree-ssa/minmax-loopend.c: Extend and split...
>     * gcc.dg/tree-ssa/minmax-loopend-2.c: ... here.
> 
OK.
jeff


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]