[llvm] [ValueTracking] Fix KnownBits conflict for calls (range vs returned) (PR #84353)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Thu Mar 7 10:25:06 PST 2024
================
@@ -1476,6 +1476,12 @@ static void computeKnownBitsFromOperator(const Operator *I,
if (RV->getType() == I->getType()) {
computeKnownBits(RV, Known2, Depth + 1, Q);
Known = Known.unionWith(Known2);
----------------
nikic wrote:
The naming of the methods is a bit confusing. This is a union in the sense that we take all the available information from both operands. Not in the sense that we union two ranges.
https://github.com/llvm/llvm-project/pull/84353
More information about the llvm-commits
mailing list