Re: [PATCH] tree-optimization/96707 - Add relation to unsigned right shift.

2022-01-13 Thread Richard Biener via Gcc-patches
On Thu, Jan 13, 2022 at 2:58 PM Andrew MacLeod via Gcc-patches wrote: > > A quick addition to range ops for > > LHS = OP1 >> OP2 > > if OP1 and OP2 are both >= 0, then we can register the relation LHS > <= OP1 and all the expected good things happen. > > Bootstrapped on x86_64-pc-linux-gnu wi

[PATCH] tree-optimization/96707 - Add relation to unsigned right shift.

2022-01-13 Thread Andrew MacLeod via Gcc-patches
A quick addition to range ops for LHS = OP1 >> OP2 if OP1 and OP2 are both >= 0,   then we can register the relation  LHS <= OP1   and all the expected good things happen. Bootstrapped on x86_64-pc-linux-gnu with no regressions. OK for trunk? Andrew From c34dab537d6f54b66b430f5980cde278fa03