diff options
Diffstat (limited to 'test/Analysis/BasicAA/noalias-param.ll')
| -rw-r--r-- | test/Analysis/BasicAA/noalias-param.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/noalias-param.ll b/test/Analysis/BasicAA/noalias-param.ll new file mode 100644 index 0000000000..6494771fc5 --- /dev/null +++ b/test/Analysis/BasicAA/noalias-param.ll @@ -0,0 +1,23 @@ +; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s + +declare i32* @captures(i32* %cap) nounwind readonly + +define void @no(i32* noalias %a, i32* %b) nounwind { +entry: + store i32 1, i32* %a + %cap = call i32* @captures(i32* %a) nounwind readonly + %l = load i32* %b + ret void +} + +; CHECK: NoAlias: i32* %a, i32* %b + +define void @yes(i32* %c, i32* %d) nounwind { +entry: + store i32 1, i32* %c + %cap = call i32* @captures(i32* %c) nounwind readonly + %l = load i32* %d + ret void +} + +; CHECK: MayAlias: i32* %c, i32* %d |