[PATCH] D66207: [Attributor] Add CallSiteArgument and Argument AbstractAttribute for noalias

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

Please add an SCC test and maybe also tests we cannot handle yet (see my link) and https://reviews.llvm.org/D50125#change-PYgdy9Zf8j2e



================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:1398
+  if (!NoAliasAA || !NoAliasAA->isAssumedNoAlias())
+    return indicatePessimisticFixpoint();
+
----------------
This is a good first step.

For an extension we could do something like this: 
https://reviews.llvm.org/D50125#C1138972NL755



CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66207/new/

https://reviews.llvm.org/D66207