[llvm] [ValueTracking] Fix bug of using wrong condition for deducing KnownBits (PR #124481)
via llvm-commits
llvm-commits at lists.llvm.org
Sun Jan 26 13:23:11 PST 2025
================
@@ -1705,9 +1711,10 @@ static void computeKnownBitsFromOperator(const Operator *I,
m_Br(m_c_ICmp(Pred, m_Specific(IncValue), m_APInt(RHSC)),
----------------
goldsteinn wrote:
I don't think so. Take the test case. If the branch in `%B1` used a `%cmp` on `%sub` that would be patently incorrect to use when analyzing `%sub` in `%B0`
https://github.com/llvm/llvm-project/pull/124481
More information about the llvm-commits
mailing list