llvm/test/Verifier/noalias_scope_decl.ll

   1 ; RUN: not llvm-as -disable-output --verify-noalias-scope-decl-dom < %s 2>&1 | FileCheck %s
   2
   3 define void @test_single_scope01() nounwind ssp {
   4   tail call void @llvm.experimental.noalias.scope.decl(metadata !2)
   5   ret void
   6 }
   7
   8 define 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
  15 define 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
  22 define 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
  28 define 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
  36 define 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
  47 declare void @llvm.experimental.noalias.scope.decl(metadata) #1
  48
  49 attributes #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}