[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gcc-patches
Subject:    Re: Generalize a<b&a<c -> a<min(b,c)
From:       Jeff Law <law () redhat ! com>
Date:       2018-04-30 22:19:18
Message-ID: a979cd92-bba2-94b4-f65c-abbbcd8eaf4f () redhat ! com
[Download RAW message or body]

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
[prev in list] [next in list] [prev in thread] [next in thread]