[llvm] [ValueTracking] Analyze `Select` in `isKnownNonEqual`. (PR #68427)

Mikhail Gudim via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 9 22:16:04 PDT 2023


mgudim wrote:

@nikic @goldsteinn I added a new commit moving the `isNonEqualSelect` to the end of `isKnownNonEqual`.

This is necessary so that we can analyze things like
`isKnownNonEqual(X, Y)` where `X = select ... ` and `Y = shl X, 2` for
example. In other words, we first should try to do the analysis without
"decomposing" `select`. If that doesn't succeed then we try `isNonEqualSelect`.

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


More information about the llvm-commits mailing list