aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/mmra.ll
blob: b506d593a1c433f4e5b2151a3762049660c7f245 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
; RUN: not opt -S -passes=verify < %s 2>&1 | FileCheck %s

define void @foo(ptr %ptr, i32 %x) {

  ; CHECK: !mmra metadata attached to unexpected instruction kind
  ; CHECK-NEXT: %bad.add
  %bad.add = add i32 %x, 42, !mmra !{}

  ; CHECK: !mmra metadata attached to unexpected instruction kind
  ; CHECK-NEXT: %bad.sub
  %bad.sub = sub i32 %x, 42, !mmra !{}

  ; CHECK: !mmra metadata attached to unexpected instruction kind
  ; CHECK-NEXT: %bad.sqrt
  %bad.sqrt = call float @llvm.sqrt.f32(float undef), !mmra !{}

  ; CHECK: !mmra expected to be a metadata tuple
  ; CHECK-NEXT: %bad.md0
  ; CHECK-NEXT: !DIFile
  %bad.md0 = load atomic i32, ptr %ptr acquire, align 4, !mmra !0

  ; CHECK: !mmra expected to be a metadata tuple
  ; CHECK-NEXT: %bad.md1
  ; CHECK-NEXT: !DIFile
  %bad.md1 = load atomic i32, ptr %ptr acquire, align 4, !mmra !0

  ; CHECK: !mmra metadata tuple operand is not an MMRA tag
  ; CHECK-NEXT: %bad.md2
  ; CHECK-NEXT: !"foo"
  %bad.md2 = load atomic i32, ptr %ptr acquire, align 4, !mmra !1

  ; CHECK: !mmra metadata tuple operand is not an MMRA tag
  ; CHECK-NEXT: %bad.md3
  ; CHECK-NEXT: !"baz"
  %bad.md3 = load atomic i32, ptr %ptr acquire, align 4, !mmra !2
  ret void
}

declare float @llvm.sqrt.f32(float)

!0 = !DIFile(filename: "test.c", directory: "")
!1 = !{!"foo", !"bar", !"bux"}
!2 = !{!"baz", !0}