[PATCH] D9397: llvm.noalias - computeKnownBits should look through them

Hal Finkel via llvm-commits llvm-commits at lists.llvm.org
Sun Jul 10 08:34:37 PDT 2016

hfinkel added inline comments.

Comment at: lib/Analysis/ValueTracking.cpp:1291-1293
@@ -1290,2 +1290,5 @@
       default: break;
+      case Intrinsic::noalias:
+        computeKnownBits(I->getOperand(0), KnownZero, KnownOne, Depth + 1, Q);
+        break;
       case Intrinsic::bswap:
majnemer wrote:
> I wonder if it'd make sense to make this intrinsic's pointer parameter as `returned` and then teach `computeKnownBitsFromOperator` how to recurse onto a `returned` parameter.
Excellent! This applies to many of the patches, however. I'll rework the relevant patches to be about the returned attribute, not the noalias intrinsic specifically. That makes me happier.


More information about the llvm-commits mailing list