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