[llvm] [InstCombine] KnownBits::isNonNegative should recognize `b - a` after `a <= b` (PR #145105)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 24 09:51:49 PDT 2025


https://github.com/nikic approved this pull request.

LGTM

https://github.com/llvm/llvm-project/pull/145105


More information about the llvm-commits mailing list