1; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
2
3; CHECK-LABEL: Function: simple: 5 pointers, 0 call sites
4; CHECK:         NoAlias:      float* %src1, float* %src2
5; CHECK:         NoAlias:      float* %phi, float* %src1
6; CHECK:         MayAlias:     float* %phi, float* %src2
7; CHECK:         NoAlias:      float* %next, float* %src1
8; CHECK:         MayAlias:     float* %next, float* %src2
9; CHECK:         NoAlias:      float* %next, float* %phi
10; CHECK:         NoAlias:      float* %g, float* %src1
11; CHECK:         NoAlias:      float* %g, float* %src2
12; CHECK:         NoAlias:      float* %g, float* %phi
13; CHECK:         NoAlias:      float* %g, float* %next
14define void @simple(float *%src1, float * noalias %src2, i32 %n) nounwind {
15entry:
16  br label %loop
17
18loop:
19  %phi = phi float* [ %src2, %entry ], [ %next, %loop ]
20  %idx = phi i32 [ 0, %entry ], [ %idxn, %loop ]
21  %next = getelementptr inbounds float, float* %phi, i32 1
22  %g = getelementptr inbounds float, float* %src1, i32 3
23  %l = load float, float* %phi
24  %a = fadd float %l, 1.0
25  store float %a, float* %g
26  %idxn = add nsw nuw i32 %idx, 1
27  %cmp5 = icmp eq i32 %idxn, %n
28  br i1 %cmp5, label %end, label %loop
29
30end:
31  ret void
32}
33
34; CHECK-LABEL: Function: notmust: 6 pointers, 0 call sites
35; CHECK:        MustAlias:    [2 x i32]* %tab, i8* %0
36; CHECK:        PartialAlias: [2 x i32]* %tab, i32* %arrayidx
37; CHECK:        NoAlias:      i32* %arrayidx, i8* %0
38; CHECK:        MustAlias:    [2 x i32]* %tab, i32* %arrayidx1
39; CHECK:        MustAlias:    i32* %arrayidx1, i8* %0
40; CHECK:        NoAlias:      i32* %arrayidx, i32* %arrayidx1
41; CHECK:        MayAlias:     [2 x i32]* %tab, i32* %p.addr.05.i
42; CHECK:        MayAlias:     i32* %p.addr.05.i, i8* %0
43; CHECK:        MayAlias:     i32* %arrayidx, i32* %p.addr.05.i
44; CHECK:        MayAlias:     i32* %arrayidx1, i32* %p.addr.05.i
45; CHECK:        MayAlias:     [2 x i32]* %tab, i32* %incdec.ptr.i
46; CHECK:        NoAlias:      i32* %incdec.ptr.i, i8* %0
47; CHECK:        MayAlias:     i32* %arrayidx, i32* %incdec.ptr.i
48; CHECK:        NoAlias:      i32* %arrayidx1, i32* %incdec.ptr.i
49; CHECK:        NoAlias:      i32* %incdec.ptr.i, i32* %p.addr.05.i
50define i32 @notmust() nounwind {
51entry:
52  %tab = alloca [2 x i32], align 4
53  %0 = bitcast [2 x i32]* %tab to i8*
54  %arrayidx = getelementptr inbounds [2 x i32], [2 x i32]* %tab, i32 0, i32 1
55  store i32 0, i32* %arrayidx, align 4
56  %arrayidx1 = getelementptr inbounds [2 x i32], [2 x i32]* %tab, i32 0, i32 0
57  store i32 0, i32* %arrayidx1, align 4
58  %1 = add i32 1, 1
59  %cmp4.i = icmp slt i32 %1, 2
60  br i1 %cmp4.i, label %while.body.i, label %f.exit
61
62while.body.i: ; preds = %while.body.i, %entry
63  %2 = phi i32 [ 1, %while.body.i ], [ %1, %entry ]
64  %foo.06.i = phi i32 [ %sub.i, %while.body.i ], [ 2, %entry ]
65  %p.addr.05.i = phi i32* [ %incdec.ptr.i, %while.body.i ], [ %arrayidx1, %entry ]
66  %sub.i = sub nsw i32 %foo.06.i, %2
67  %incdec.ptr.i = getelementptr inbounds i32, i32* %p.addr.05.i, i32 1
68  store i32 %sub.i, i32* %p.addr.05.i, align 4
69  %cmp.i = icmp sgt i32 %sub.i, 1
70  br i1 %cmp.i, label %while.body.i, label %f.exit
71
72f.exit: ; preds = %entry, %while.body.i
73  %3 = load i32, i32* %arrayidx1, align 4
74  %cmp = icmp eq i32 %3, 2
75  %4 = load i32, i32* %arrayidx, align 4
76  %cmp4 = icmp eq i32 %4, 1
77  %or.cond = and i1 %cmp, %cmp4
78  br i1 %or.cond, label %if.end, label %if.then
79
80if.then: ; preds = %f.exit
81  unreachable
82
83if.end: ; preds = %f.exit
84  ret i32 0
85}
86
87; CHECK-LABEL: Function: reverse: 6 pointers, 0 call sites
88; CHECK:         MustAlias:    [10 x i32]* %tab, i8* %0
89; CHECK:         MustAlias:    [10 x i32]* %tab, i32* %arrayidx
90; CHECK:         MustAlias:    i32* %arrayidx, i8* %0
91; CHECK:         PartialAlias: [10 x i32]* %tab, i32* %arrayidx1
92; CHECK:         NoAlias:      i32* %arrayidx1, i8* %0
93; CHECK:         NoAlias:      i32* %arrayidx, i32* %arrayidx1
94; CHECK:         MayAlias:     [10 x i32]* %tab, i32* %p.addr.05.i
95; CHECK:         MayAlias:     i32* %p.addr.05.i, i8* %0
96; CHECK:         MayAlias:     i32* %arrayidx, i32* %p.addr.05.i
97; CHECK:         MayAlias:     i32* %arrayidx1, i32* %p.addr.05.i
98; CHECK:         MayAlias:     [10 x i32]* %tab, i32* %incdec.ptr.i
99; CHECK:         MayAlias:     i32* %incdec.ptr.i, i8* %0
100; CHECK:         MayAlias:     i32* %arrayidx, i32* %incdec.ptr.i
101; CHECK:         MayAlias:     i32* %arrayidx1, i32* %incdec.ptr.i
102; CHECK:         NoAlias:      i32* %incdec.ptr.i, i32* %p.addr.05.i
103define i32 @reverse() nounwind {
104entry:
105  %tab = alloca [10 x i32], align 4
106  %0 = bitcast [10 x i32]* %tab to i8*
107  %arrayidx = getelementptr inbounds [10 x i32], [10 x i32]* %tab, i32 0, i32 0
108  store i32 0, i32* %arrayidx, align 4
109  %arrayidx1 = getelementptr inbounds [10 x i32], [10 x i32]* %tab, i32 0, i32 9
110  store i32 0, i32* %arrayidx1, align 4
111  %1 = add i32 1, 1
112  %cmp4.i = icmp slt i32 %1, 2
113  br i1 %cmp4.i, label %while.body.i, label %f.exit
114
115while.body.i: ; preds = %while.body.i, %entry
116  %2 = phi i32 [ 1, %while.body.i ], [ %1, %entry ]
117  %foo.06.i = phi i32 [ %sub.i, %while.body.i ], [ 2, %entry ]
118  %p.addr.05.i = phi i32* [ %incdec.ptr.i, %while.body.i ], [ %arrayidx1, %entry ]
119  %sub.i = sub nsw i32 %foo.06.i, %2
120  %incdec.ptr.i = getelementptr inbounds i32, i32* %p.addr.05.i, i32 -1
121  store i32 %sub.i, i32* %p.addr.05.i, align 4
122  %cmp.i = icmp sgt i32 %sub.i, 1
123  br i1 %cmp.i, label %while.body.i, label %f.exit
124
125f.exit: ; preds = %entry, %while.body.i
126  %3 = load i32, i32* %arrayidx1, align 4
127  %cmp = icmp eq i32 %3, 2
128  %4 = load i32, i32* %arrayidx, align 4
129  %cmp4 = icmp eq i32 %4, 1
130  %or.cond = and i1 %cmp, %cmp4
131  br i1 %or.cond, label %if.end, label %if.then
132
133if.then: ; preds = %f.exit
134  unreachable
135
136if.end: ; preds = %f.exit
137  ret i32 0
138}
139
140; CHECK-LABEL: Function: negative: 6 pointers, 1 call sites
141; CHECK:         NoAlias:      [3 x i16]* %int_arr.10, i16** %argv.6.par
142; CHECK:         NoAlias:      i16* %_tmp1, i16** %argv.6.par
143; CHECK:         PartialAlias: [3 x i16]* %int_arr.10, i16* %_tmp1
144; CHECK:         MayAlias:     i16* %ls1.9.0, i16** %argv.6.par
145; CHECK:         MayAlias:     [3 x i16]* %int_arr.10, i16* %ls1.9.0
146; CHECK:         MayAlias:     i16* %_tmp1, i16* %ls1.9.0
147; CHECK:         MayAlias:     i16* %_tmp7, i16** %argv.6.par
148; CHECK:         MayAlias:     [3 x i16]* %int_arr.10, i16* %_tmp7
149; CHECK:         MayAlias:     i16* %_tmp1, i16* %_tmp7
150; CHECK:         NoAlias:      i16* %_tmp7, i16* %ls1.9.0
151; CHECK:         NoAlias:      i16* %_tmp11, i16** %argv.6.par
152; CHECK:         PartialAlias: [3 x i16]* %int_arr.10, i16* %_tmp11
153; CHECK:         NoAlias:      i16* %_tmp1, i16* %_tmp11
154; CHECK:         MayAlias:     i16* %_tmp11, i16* %ls1.9.0
155; CHECK:         MayAlias:     i16* %_tmp11, i16* %_tmp7
156; CHECK:         Both ModRef:  Ptr: i16** %argv.6.par  <->  %_tmp16 = call i16 @call(i32 %_tmp13)
157; CHECK:         NoModRef:  Ptr: [3 x i16]* %int_arr.10        <->  %_tmp16 = call i16 @call(i32 %_tmp13)
158; CHECK:         NoModRef:  Ptr: i16* %_tmp1   <->  %_tmp16 = call i16 @call(i32 %_tmp13)
159; CHECK:         Both ModRef:  Ptr: i16* %ls1.9.0      <->  %_tmp16 = call i16 @call(i32 %_tmp13)
160; CHECK:         Both ModRef:  Ptr: i16* %_tmp7        <->  %_tmp16 = call i16 @call(i32 %_tmp13)
161; CHECK:         NoModRef:  Ptr: i16* %_tmp11  <->  %_tmp16 = call i16 @call(i32 %_tmp13)
162define i16 @negative(i16 %argc.5.par, i16** nocapture readnone %argv.6.par) {
163  %int_arr.10 = alloca [3 x i16], align 1
164  %_tmp1 = getelementptr inbounds [3 x i16], [3 x i16]* %int_arr.10, i16 0, i16 2
165  br label %bb1
166
167bb1:                                              ; preds = %bb1, %0
168  %i.7.0 = phi i16 [ 2, %0 ], [ %_tmp5, %bb1 ]
169  %ls1.9.0 = phi i16* [ %_tmp1, %0 ], [ %_tmp7, %bb1 ]
170  store i16 %i.7.0, i16* %ls1.9.0, align 1
171  %_tmp5 = add nsw i16 %i.7.0, -1
172  %_tmp7 = getelementptr i16, i16* %ls1.9.0, i16 -1
173  %_tmp9 = icmp sgt i16 %i.7.0, 0
174  br i1 %_tmp9, label %bb1, label %bb3
175
176bb3:                                              ; preds = %bb1
177  %_tmp11 = getelementptr inbounds [3 x i16], [3 x i16]* %int_arr.10, i16 0, i16 1
178  %_tmp12 = load i16, i16* %_tmp11, align 1
179  %_tmp13 = sext i16 %_tmp12 to i32
180  %_tmp16 = call i16 @call(i32 %_tmp13)
181  %_tmp18.not = icmp eq i16 %_tmp12, 1
182  br i1 %_tmp18.not, label %bb5, label %bb4
183
184bb4:                                              ; preds = %bb3
185  ret i16 1
186
187bb5:                                              ; preds = %bb3, %bb4
188  ret i16 0
189}
190
191; TODO: Currently yields an asymmetric result.
192; CHECK-LABEL: Function: symmetry
193; CHECK: MayAlias:  i32* %p, i32* %p.base
194; CHECK: MayAlias:  i32* %p.base, i32* %p.next
195; CHECK: NoAlias:   i32* %p, i32* %p.next
196; CHECK: MayAlias:  i32* %p.base, i32* %result
197; CHECK: NoAlias:   i32* %p, i32* %result
198; CHECK: MustAlias: i32* %p.next, i32* %result
199define i32* @symmetry(i32* %p.base, i1 %c) {
200entry:
201  br label %loop
202
203loop:
204  %p = phi i32* [ %p.base, %entry ], [ %p.next, %loop ]
205  %p.next = getelementptr inbounds i32, i32* %p, i32 1
206  br i1 %c, label %loop, label %exit
207
208exit:
209  %result = phi i32* [ %p.next, %loop ]
210  ret i32* %result
211}
212
213
214declare i16 @call(i32)
215