[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

Previous message: [llvm] [InstCombine] KnownBits::isNonNegative should recognize `b - a` after `a <= b` (PR #145105)
Next message: [llvm] [InstCombine] KnownBits::isNonNegative should recognize `b - a` after `a <= b` (PR #145105)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

LGTM

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

Previous message: [llvm] [InstCombine] KnownBits::isNonNegative should recognize `b - a` after `a <= b` (PR #145105)
Next message: [llvm] [InstCombine] KnownBits::isNonNegative should recognize `b - a` after `a <= b` (PR #145105)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list