On Fri, Jul 10, 2020 at 10:50:22AM +0000, Joe Ramsay wrote:
> gcc/ChangeLog:
>
> 2020-05-20 Joe Ramsay <joe.ram...@arm.com>
>
> * match.pd: New pattern to optimize a >= 0 && b >= 0 to (a | b) >= 0
Better
* match.pd (a >= 0 && b >= 0 to (a | b) >= 0): New simplification.
(and note the period at the end).
> gcc/testsuite/ChangeLog:
>
> 2020-05-20 Joe Ramsay <joe.ram...@arm.com>
>
> * gcc.dg/tree-ssa/pr95731-1.c: New test.
> * gcc.dg/tree-ssa/pr95731-2.c: New test.
>
The attached patch is unrelated to that though.
Jakub
