llvm/test/Verifier/mmra.ll

   1 ; RUN: not opt -S -passes=verify < %s 2>&1 | FileCheck %s
   2
   3 define void @foo(ptr %ptr, i32 %x) {
   4
   5   ; CHECK: !mmra metadata attached to unexpected instruction kind
   6   ; CHECK-NEXT: %bad.add
   7   %bad.add = add i32 %x, 42, !mmra !{}
   8
   9   ; CHECK: !mmra metadata attached to unexpected instruction kind
  10   ; CHECK-NEXT: %bad.sub
  11   %bad.sub = sub i32 %x, 42, !mmra !{}
  12
  13   ; CHECK: !mmra metadata attached to unexpected instruction kind
  14   ; CHECK-NEXT: %bad.sqrt
  15   %bad.sqrt = call float @llvm.sqrt.f32(float undef), !mmra !{}
  16
  17   ; CHECK: !mmra expected to be a metadata tuple
  18   ; CHECK-NEXT: %bad.md0
  19   ; CHECK-NEXT: !DIFile
  20   %bad.md0 = load atomic i32, ptr %ptr acquire, align 4, !mmra !0
  21
  22   ; CHECK: !mmra expected to be a metadata tuple
  23   ; CHECK-NEXT: %bad.md1
  24   ; CHECK-NEXT: !DIFile
  25   %bad.md1 = load atomic i32, ptr %ptr acquire, align 4, !mmra !0
  26
  27   ; CHECK: !mmra metadata tuple operand is not an MMRA tag
  28   ; CHECK-NEXT: %bad.md2
  29   ; CHECK-NEXT: !"foo"
  30   %bad.md2 = load atomic i32, ptr %ptr acquire, align 4, !mmra !1
  31
  32   ; CHECK: !mmra metadata tuple operand is not an MMRA tag
  33   ; CHECK-NEXT: %bad.md3
  34   ; CHECK-NEXT: !"baz"
  35   %bad.md3 = load atomic i32, ptr %ptr acquire, align 4, !mmra !2
  36   ret void
  37 }
  38
  39 declare float @llvm.sqrt.f32(float)
  40
  41 !0 = !DIFile(filename: "test.c", directory: "")
  42 !1 = !{!"foo", !"bar", !"bux"}
  43 !2 = !{!"baz", !0}