Re: [PATCH]: Optimize a >= 0 && b >= 0 to (a | b) >= 0 [PR95731]

2020-07-10 Thread Jakub Jelinek via Gcc-patches
On Fri, Jul 10, 2020 at 10:50:22AM +, Joe Ramsay wrote: > gcc/ChangeLog: > > 2020-05-20 Joe Ramsay > > * 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

[PATCH]: Optimize a >= 0 && b >= 0 to (a | b) >= 0 [PR95731]

2020-07-10 Thread Joe Ramsay
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 * match.pd: New pattern to optimize a >= 0 &