Hi! This is a fix for PR95731, which adds a new pattern to simplify a >= 0 && b >= 0 to (a | b) >= 0. Bootstrapped and tested on x86_linux and aarch64_linux. Any comments are appreciated.
Thanks,
Joe
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
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.
pr95731.diff
Description: pr95731.diff
