1; RUN: opt < %s -aa-pipeline=tbaa,basic-aa -passes=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: ptr* %5, i64* %9 21; CHECK: NoAlias: store i64 %conv, ptr %9, align 8, !tbaa !6 <-> store ptr null, ptr %5, align 8, !tbaa !9 22 23%struct.Foo = type { i64 } 24%struct.Bar = type { ptr } 25 26define i64 @_Z3fooi(i32 %n) #0 { 27entry: 28 %n.addr = alloca i32, align 4 29 %f = alloca ptr, align 8 30 %i1 = alloca i32, align 4 31 %b = alloca ptr, align 8 32 store i32 %n, ptr %n.addr, align 4, !tbaa !0 33 %call = call noalias ptr @_Znwm(i64 8) 34 store ptr %call, ptr %f, align 8, !tbaa !4 35 %0 = load ptr, ptr %f, align 8, !tbaa !4 36 store i64 1, ptr %0, align 8, !tbaa !6 37 store i32 0, ptr %i1, align 4, !tbaa !0 38 br label %for.cond 39 40for.cond: 41 %1 = load i32, ptr %i1, align 4, !tbaa !0 42 %2 = load i32, ptr %n.addr, align 4, !tbaa !0 43 %cmp = icmp slt i32 %1, %2 44 br i1 %cmp, label %for.body, label %for.end 45 46for.body: 47 %3 = load ptr, ptr %f, align 8, !tbaa !4 48 %new.isnull = icmp eq ptr %3, null 49 br i1 %new.isnull, label %new.cont, label %new.notnull 50 51new.notnull: 52 br label %new.cont 53 54new.cont: 55 %4 = phi ptr [ %3, %new.notnull ], [ null, %for.body ] 56 store ptr %4, ptr %b, align 8, !tbaa !4 57 %5 = load ptr, ptr %b, align 8, !tbaa !4 58 store ptr null, ptr %5, align 8, !tbaa !9 59 %6 = load ptr, ptr %f, align 8, !tbaa !4 60 %new.isnull2 = icmp eq ptr %6, null 61 br i1 %new.isnull2, label %new.cont4, label %new.notnull3 62 63new.notnull3: 64 br label %new.cont4 65 66new.cont4: 67 %7 = phi ptr [ %6, %new.notnull3 ], [ null, %new.cont ] 68 store ptr %7, ptr %f, align 8, !tbaa !4 69 %8 = load i32, ptr %i1, align 4, !tbaa !0 70 %conv = sext i32 %8 to i64 71 %9 = load ptr, ptr %f, align 8, !tbaa !4 72 store i64 %conv, ptr %9, align 8, !tbaa !6 73 br label %for.inc 74 75for.inc: 76 %10 = load i32, ptr %i1, align 4, !tbaa !0 77 %inc = add nsw i32 %10, 1 78 store i32 %inc, ptr %i1, align 4, !tbaa !0 79 br label %for.cond 80 81for.end: 82 %11 = load ptr, ptr %f, align 8, !tbaa !4 83 %12 = load i64, ptr %11, align 8, !tbaa !6 84 ret i64 %12 85} 86 87declare noalias ptr @_Znwm(i64) 88 89attributes #0 = { nounwind } 90 91!0 = !{!1, !1, i64 0} 92!1 = !{!"int", !2, i64 0} 93!2 = !{!"omnipotent char", !3, i64 0} 94!3 = !{!"Simple C/C++ TBAA"} 95!4 = !{!5, !5, i64 0} 96!5 = !{!"any pointer", !2, i64 0} 97!6 = !{!7, !8, i64 0} 98!7 = !{!"_ZTS3Foo", !8, i64 0} 99!8 = !{!"long", !2, i64 0} 100!9 = !{!10, !5, i64 0} 101!10 = !{!"_ZTS3Bar", !5, i64 0} 102