[llvm] [InstCombine] KnownBits::isNonNegative should recognize `b - a` after `a <= b` (PR #145105)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Mon Jun 23 00:07:34 PDT 2025
================
----------------
nikic wrote:
Can you please add a negative test with missing nsw flag?
https://github.com/llvm/llvm-project/pull/145105
More information about the llvm-commits
mailing list