[PATCH] D66207: [Attributor] Deduce "noalias" attribute

[Hideto Ueno via Phabricator via llvm-commits]

uenoku marked an inline comment as done.
uenoku added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:1533
+    // because `noalias` may not be valid in the current position.
+  }
+
----------------
jdoerfert wrote:
> I do not understand. Could you elaborate or point me to a test case?
```
declare void @test11_helper(i8* %a)
define void @test11(i8* noalias %a) {
  tail call void @test11_helper(i8* %a) ; maybe captured
  %c = load i8 , i8* %a ; It is invalid to deduce noalias for %a because of noalias in argument
  ret void
}
```
Isn't it?


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

https://reviews.llvm.org/D66207