[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