On Fri, 10 Jul 2020, Joe Ramsay wrote:
adds a new pattern to simplify a >= 0 && b >= 0 to (a | b) >= 0.
We should probably add the symmetric simplification of a<0|b<0 to (a|b)<0
* match.pd: New simplication.
I think Jakub was suggesting something slightly mode detailed.
It would be
Hi!
Apologies, resending as I previously attached the wrong patch file. 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-2
