1; RUN: opt < %s -tbaa -basicaa -aa-eval -evaluate-aa-metadata -print-no-aliases -print-may-aliases -disable-output 2>&1 | FileCheck %s
2
3; Generated with "clang -cc1 -disable-llvm-optzns -O1 -emit-llvm"
4; #include <new>
5; struct Foo { long i; };
6; struct Bar { void *p; };
7; long foo(int n) {
8;   Foo *f = new Foo;
9;   f->i = 1;
10;   for (int i=0; i<n; ++i) {
11;     Bar *b = new (f) Bar;
12;     b->p = 0;
13;     f = new (f) Foo;
14;     f->i = i;
15;   }
16;   return f->i;
17; }
18
19; Basic AA says MayAlias, TBAA says NoAlias
20; CHECK: MayAlias: i64* %i5, i8** %p
21; CHECK: NoAlias: store i64 %conv, i64* %i5, align 8, !tbaa !6 <->   store i8* null, i8** %p, align 8, !tbaa !9
22
23%struct.Foo = type { i64 }
24%struct.Bar = type { i8* }
25
26define i64 @_Z3fooi(i32 %n) #0 {
27entry:
28  %n.addr = alloca i32, align 4
29  %f = alloca %struct.Foo*, align 8
30  %i1 = alloca i32, align 4
31  %b = alloca %struct.Bar*, align 8
32  store i32 %n, i32* %n.addr, align 4, !tbaa !0
33  %call = call noalias i8* @_Znwm(i64 8)
34  %0 = bitcast i8* %call to %struct.Foo*
35  store %struct.Foo* %0, %struct.Foo** %f, align 8, !tbaa !4
36  %1 = load %struct.Foo** %f, align 8, !tbaa !4
37  %i = getelementptr inbounds %struct.Foo* %1, i32 0, i32 0
38  store i64 1, i64* %i, align 8, !tbaa !6
39  store i32 0, i32* %i1, align 4, !tbaa !0
40  br label %for.cond
41
42for.cond:
43  %2 = load i32* %i1, align 4, !tbaa !0
44  %3 = load i32* %n.addr, align 4, !tbaa !0
45  %cmp = icmp slt i32 %2, %3
46  br i1 %cmp, label %for.body, label %for.end
47
48for.body:
49  %4 = load %struct.Foo** %f, align 8, !tbaa !4
50  %5 = bitcast %struct.Foo* %4 to i8*
51  %new.isnull = icmp eq i8* %5, null
52  br i1 %new.isnull, label %new.cont, label %new.notnull
53
54new.notnull:
55  %6 = bitcast i8* %5 to %struct.Bar*
56  br label %new.cont
57
58new.cont:
59  %7 = phi %struct.Bar* [ %6, %new.notnull ], [ null, %for.body ]
60  store %struct.Bar* %7, %struct.Bar** %b, align 8, !tbaa !4
61  %8 = load %struct.Bar** %b, align 8, !tbaa !4
62  %p = getelementptr inbounds %struct.Bar* %8, i32 0, i32 0
63  store i8* null, i8** %p, align 8, !tbaa !9
64  %9 = load %struct.Foo** %f, align 8, !tbaa !4
65  %10 = bitcast %struct.Foo* %9 to i8*
66  %new.isnull2 = icmp eq i8* %10, null
67  br i1 %new.isnull2, label %new.cont4, label %new.notnull3
68
69new.notnull3:
70  %11 = bitcast i8* %10 to %struct.Foo*
71  br label %new.cont4
72
73new.cont4:
74  %12 = phi %struct.Foo* [ %11, %new.notnull3 ], [ null, %new.cont ]
75  store %struct.Foo* %12, %struct.Foo** %f, align 8, !tbaa !4
76  %13 = load i32* %i1, align 4, !tbaa !0
77  %conv = sext i32 %13 to i64
78  %14 = load %struct.Foo** %f, align 8, !tbaa !4
79  %i5 = getelementptr inbounds %struct.Foo* %14, i32 0, i32 0
80  store i64 %conv, i64* %i5, align 8, !tbaa !6
81  br label %for.inc
82
83for.inc:
84  %15 = load i32* %i1, align 4, !tbaa !0
85  %inc = add nsw i32 %15, 1
86  store i32 %inc, i32* %i1, align 4, !tbaa !0
87  br label %for.cond
88
89for.end:
90  %16 = load %struct.Foo** %f, align 8, !tbaa !4
91  %i6 = getelementptr inbounds %struct.Foo* %16, i32 0, i32 0
92  %17 = load i64* %i6, align 8, !tbaa !6
93  ret i64 %17
94}
95
96declare noalias i8* @_Znwm(i64)
97
98attributes #0 = { nounwind }
99
100!0 = !{!1, !1, i64 0}
101!1 = !{!"int", !2, i64 0}
102!2 = !{!"omnipotent char", !3, i64 0}
103!3 = !{!"Simple C/C++ TBAA"}
104!4 = !{!5, !5, i64 0}
105!5 = !{!"any pointer", !2, i64 0}
106!6 = !{!7, !8, i64 0}
107!7 = !{!"_ZTS3Foo", !8, i64 0}
108!8 = !{!"long", !2, i64 0}
109!9 = !{!10, !5, i64 0}
110!10 = !{!"_ZTS3Bar", !5, i64 0}
111