On 11/12/26 4:01 PM, Andrea Pinski wrote: > On Thu, Nov 12, 2026 at 12:57 PM Andrew MacLeod <[email protected]> wrote: >> >> If there is a relation between op1 and op2, an unsigned minus operation >> can sometimes do better than simply non-zero. >> >> For unsigned, we can calculate more precise ranges for <, <=, > and >=, just >> like we do for signed values. >> >> I adjusted the testcase to also test the other unsigned relations variations. >> >> Bootstrapped on x86_64-pc-linux-gnu with no regressions. Pushed. > > See > https://inbox.sourceware.org/gcc-patches/[email protected]/ > and > https://inbox.sourceware.org/gcc-patches/[email protected]/ > for 2 related patches that need to be approved. > > I was looking at the same things, both are fine.
Andrew
