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

[Hal Finkel via llvm-commits]

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.


http://reviews.llvm.org/D9397