xref: /llvm-project/llvm/test/Verifier/noalias_scope_decl.ll (revision 668827b6485664dbcf6caa2756fe2f6579ab1885)
1; RUN: not llvm-as -disable-output --verify-noalias-scope-decl-dom < %s 2>&1 | FileCheck %s
2
3define void @test_single_scope01() nounwind ssp {
4  tail call void @llvm.experimental.noalias.scope.decl(metadata !2)
5  ret void
6}
7
8define void @test_single_scope02() nounwind ssp {
9  tail call void @llvm.experimental.noalias.scope.decl(metadata !5)
10  ret void
11}
12; CHECK: !id.scope.list must point to a list with a single scope
13; CHECK-NEXT:   tail call void @llvm.experimental.noalias.scope.decl(metadata !5)
14
15define void @test_single_scope03() nounwind ssp {
16  tail call void @llvm.experimental.noalias.scope.decl(metadata !"test")
17  ret void
18}
19; CHECK-NEXT: !id.scope.list must point to an MDNode
20; CHECK-NEXT:   tail call void @llvm.experimental.noalias.scope.decl(metadata !"test")
21
22define void @test_dom01() nounwind ssp {
23  tail call void @llvm.experimental.noalias.scope.decl(metadata !2)
24  tail call void @llvm.experimental.noalias.scope.decl(metadata !8)
25  ret void
26}
27
28define void @test_dom02() nounwind ssp {
29  tail call void @llvm.experimental.noalias.scope.decl(metadata !2)
30  tail call void @llvm.experimental.noalias.scope.decl(metadata !6)
31  ret void
32}
33; CHECK-NEXT: llvm.experimental.noalias.scope.decl dominates another one with the same scope
34; CHECK-NEXT:   tail call void @llvm.experimental.noalias.scope.decl(metadata !2)
35
36define void @test_dom03() nounwind ssp {
37  tail call void @llvm.experimental.noalias.scope.decl(metadata !2)
38  tail call void @llvm.experimental.noalias.scope.decl(metadata !2)
39  ret void
40}
41; CHECK-NEXT: llvm.experimental.noalias.scope.decl dominates another one with the same scope
42; CHECK-NEXT:   tail call void @llvm.experimental.noalias.scope.decl(metadata !2)
43
44; CHECK-NOT: llvm.experimental.noalias.scope.decl
45
46; Function Attrs: inaccessiblememonly nounwind
47declare void @llvm.experimental.noalias.scope.decl(metadata) #1
48
49attributes #1 = { inaccessiblememonly nounwind }
50!llvm.module.flags = !{!0}
51!llvm.ident = !{!1}
52
53!0 = !{i32 1, !"wchar_size", i32 4}
54!1 = !{!"clang"}
55!2 = !{!3}
56!3 = distinct !{!3, !4, !"test: pA"}
57!4 = distinct !{!4, !"test"}
58!5 = !{!3, !3}
59!6 = !{!3}
60!7 = distinct !{!7, !4, !"test: pB"}
61!8 = !{!7}
62