Lines Matching refs:tbaa
1 ; RUN: opt -tbaa -basicaa -gvn -S < %s | FileCheck %s
6 ; CHECK-NOT: tbaa
8 %a = call i32 @foo(i8* %p), !tbaa !0
16 ; CHECK: call i32 @foo(i8* %p), !tbaa [[TAGC:!.*]]
18 %a = call i32 @foo(i8* %p), !tbaa !0
19 %b = call i32 @foo(i8* %p), !tbaa !0
26 ; CHECK: call i32 @foo(i8* %p), !tbaa [[TAGB:!.*]]
28 %a = call i32 @foo(i8* %p), !tbaa !3
29 %b = call i32 @foo(i8* %p), !tbaa !3
36 ; CHECK: call i32 @foo(i8* %p), !tbaa [[TAGA:!.*]]
38 %a = call i32 @foo(i8* %p), !tbaa !1
39 %b = call i32 @foo(i8* %p), !tbaa !0
46 ; CHECK: call i32 @foo(i8* %p), !tbaa [[TAGA:!.*]]
48 %a = call i32 @foo(i8* %p), !tbaa !0
49 %b = call i32 @foo(i8* %p), !tbaa !1
56 ; CHECK: call i32 @foo(i8* %p), !tbaa [[TAGA:!.*]]
58 %a = call i32 @foo(i8* %p), !tbaa !0
59 %b = call i32 @foo(i8* %p), !tbaa !3
67 ; CHECK-NOT: tbaa
69 %a = call i32 @foo(i8* %p), !tbaa !4
70 %b = call i32 @foo(i8* %p), !tbaa !3
84 %a = load i32, i32* %q, !tbaa !10
86 %b = load i32, i32* %q, !tbaa !10
97 %a = load i32, i32* %q, !tbaa !10
99 %b = load i32, i32* %q, !tbaa !10
116 !2 = !{!"tbaa root", null}