1; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
2
3declare i32* @captures(i32* %cap) nounwind readonly
4
5; CHECK-LABEL: no
6; CHECK: NoAlias:      i32* %a, i32* %b
7define void @no(i32* noalias %a, i32* %b) nounwind {
8entry:
9  store i32 1, i32* %a
10  %cap = call i32* @captures(i32* %a) nounwind readonly
11  %l = load i32, i32* %b
12  ret void
13}
14
15; CHECK-LABEL: yes
16; CHECK: MayAlias:     i32* %c, i32* %d
17define void @yes(i32* %c, i32* %d) nounwind {
18entry:
19  store i32 1, i32* %c
20  %cap = call i32* @captures(i32* %c) nounwind readonly
21  %l = load i32, i32* %d
22  ret void
23}
24
25; Result should be the same for byval instead of noalias.
26; CHECK-LABEL: byval
27; CHECK: NoAlias: i32* %a, i32* %b
28define void @byval(i32* byval(i32) %a, i32* %b) nounwind {
29entry:
30  store i32 1, i32* %a
31  %cap = call i32* @captures(i32* %a) nounwind readonly
32  %l = load i32, i32* %b
33  ret void
34}
35