Generalize a<b&a<c -> a<min(b,c)
authorMarc Glisse <marc.glisse@inria.fr>
Tue, 1 May 2018 21:41:05 +0000 (23:41 +0200)
committerMarc Glisse <glisse@gcc.gnu.org>
Tue, 1 May 2018 21:41:05 +0000 (21:41 +0000)
commitdac920e8c8c4720237b2c63c50e57e6738d3f688
treed561270abf6d2a858e411489e11c747839dd0236
parent5052a74c45ff7b7d165c51afa1c689e9a7e2e73c
Generalize a<b&a<c -> a<min(b,c)

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.

From-SVN: r259812
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/minmax-loopend-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/minmax-loopend.c