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

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Sat Jun 21 06:11:51 PDT 2025


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


More information about the llvm-commits mailing list