62 lines · plain
1; RUN: not llvm-as -disable-output --verify-noalias-scope-decl-dom < %s 2>&1 | FileCheck %s2 3define void @test_single_scope01() nounwind ssp {4 tail call void @llvm.experimental.noalias.scope.decl(metadata !2)5 ret void6}7 8define void @test_single_scope02() nounwind ssp {9 tail call void @llvm.experimental.noalias.scope.decl(metadata !5)10 ret void11}12; CHECK: !id.scope.list must point to a list with a single scope13; 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 void18}19; CHECK-NEXT: !id.scope.list must point to an MDNode20; 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 void26}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 void32}33; CHECK-NEXT: llvm.experimental.noalias.scope.decl dominates another one with the same scope34; 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 void40}41; CHECK-NEXT: llvm.experimental.noalias.scope.decl dominates another one with the same scope42; CHECK-NEXT: tail call void @llvm.experimental.noalias.scope.decl(metadata !2)43 44; CHECK-NOT: llvm.experimental.noalias.scope.decl45 46; Function Attrs: inaccessiblememonly nounwind47declare void @llvm.experimental.noalias.scope.decl(metadata) #148 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