diff options
Diffstat (limited to 'test/Analysis/TypeBasedAliasAnalysis/sink.ll')
| -rw-r--r-- | test/Analysis/TypeBasedAliasAnalysis/sink.ll | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/test/Analysis/TypeBasedAliasAnalysis/sink.ll b/test/Analysis/TypeBasedAliasAnalysis/sink.ll index fd32d6a7a5..726da6ce1e 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/sink.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/sink.ll @@ -1,7 +1,7 @@ ; RUN: opt -tbaa -sink -S < %s | FileCheck %s ; CHECK: a: -; CHECK: %f = load float* %p, !tbaa !2 +; CHECK: %f = load float* %p, !tbaa [[TAGA:!.*]] ; CHECK: store float %f, float* %q define void @foo(float* %p, i1 %c, float* %q, float* %r) { @@ -15,6 +15,10 @@ b: ret void } -!0 = metadata !{metadata !"A", metadata !2} -!1 = metadata !{metadata !"B", metadata !2} +; CHECK: [[TAGA]] = metadata !{metadata [[TYPEA:!.*]], metadata [[TYPEA]], i64 0} +; CHECK: [[TYPEA]] = metadata !{metadata !"A", metadata !{{.*}}} +!0 = metadata !{metadata !3, metadata !3, i64 0} +!1 = metadata !{metadata !4, metadata !4, i64 0} !2 = metadata !{metadata !"test"} +!3 = metadata !{metadata !"A", metadata !2} +!4 = metadata !{metadata !"B", metadata !2} |