llvm/test/Analysis/MemorySSA/tbaa.ll

   1 ; RUN: opt -aa-pipeline=basic-aa,tbaa -passes='print<memoryssa><no-ensure-optimized-uses>' -disable-output < %s 2>&1 | FileCheck %s
   2
   3 define i8 @test1_yes(ptr %a, ptr %b) {
   4 ; CHECK: 1 = MemoryDef(liveOnEntry)
   5   store i8 0, ptr %a, align 1
   6 ; CHECK: MemoryUse(liveOnEntry)
   7   %y = load i8, ptr %b, align 1, !tbaa !0
   8   ret i8 %y
   9 }
  10
  11 !0 = !{!1, !1, i64 0, i1 true}
  12 !1 = !{!"qux", !2}
  13 !2 = !{}