test/Analysis/TypeBasedAliasAnalysis/placement-tbaa.ll

   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
  26 define i64 @_Z3fooi(i32 %n) #0 {
  27 entry:
  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
  42 for.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
  48 for.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
  54 new.notnull:
  55   %6 = bitcast i8* %5 to %struct.Bar*
  56   br label %new.cont
  57
  58 new.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
  69 new.notnull3:
  70   %11 = bitcast i8* %10 to %struct.Foo*
  71   br label %new.cont4
  72
  73 new.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
  83 for.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
  89 for.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
  96 declare noalias i8* @_Znwm(i64)
  97
  98 attributes #0 = { nounwind }
  99
 100 !0 = metadata !{metadata !1, metadata !1, i64 0}
 101 !1 = metadata !{metadata !"int", metadata !2, i64 0}
 102 !2 = metadata !{metadata !"omnipotent char", metadata !3, i64 0}
 103 !3 = metadata !{metadata !"Simple C/C++ TBAA"}
 104 !4 = metadata !{metadata !5, metadata !5, i64 0}
 105 !5 = metadata !{metadata !"any pointer", metadata !2, i64 0}
 106 !6 = metadata !{metadata !7, metadata !8, i64 0}
 107 !7 = metadata !{metadata !"_ZTS3Foo", metadata !8, i64 0}
 108 !8 = metadata !{metadata !"long", metadata !2, i64 0}
 109 !9 = metadata !{metadata !10, metadata !5, i64 0}
 110 !10 = metadata !{metadata !"_ZTS3Bar", metadata !5, i64 0}