llvm-project

1
; RUN: llvm-as < %s -disable-output 2>&1 | FileCheck %s -allow-empty
2

3
; RUN: llvm-as < %s | llvm-dis > %t1.ll
4
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
5
; RUN: diff %t1.ll %t2.ll
6

7
; RUN: llvm-as < %t1.ll -disable-output 2>&1 | FileCheck %s -allow-empty
8

9
; CHECK-NOT: error
10
; CHECK-NOT: warning
11

12
define void @mixed1() {
13
  call void @g() ; not convergent
14
  call void @f() ; uncontrolled convergent
15
  call void @g() ; not convergent
16
  ret void
17
}
18

19
define void @mixed2() {
20
  call void @g() ; not convergent
21
  %t1_tok1 = call token @llvm.experimental.convergence.anchor()
22
  call void @f() [ "convergencectrl"(token %t1_tok1) ]
23
  call void @g() ; not convergent
24
  ret void
25
}
26

27

28
define void @region_nesting1() convergent {
29
A:
30
  %tok1 = call token @llvm.experimental.convergence.entry()
31
  %tok2 = call token @llvm.experimental.convergence.anchor()
32
  br label %B
33

34
B:
35
  br i1 undef, label %C, label %D
36

37
C:
38
  call void @f() [ "convergencectrl"(token %tok1) ]
39
  ret void
40

41
D:
42
  call void @f() [ "convergencectrl"(token %tok2) ]
43
  ret void
44
}
45

46
; Mirror image of @region_nesting1
47
define void @region_nesting2() {
48
A:
49
  %tok1 = call token @llvm.experimental.convergence.anchor()
50
  %tok2 = call token @llvm.experimental.convergence.anchor()
51
  br label %B
52

53
B:
54
  br i1 undef, label %C, label %D
55

56
C:
57
  call void @f() [ "convergencectrl"(token %tok2) ]
58
  ret void
59

60
D:
61
  call void @f() [ "convergencectrl"(token %tok1) ]
62
  ret void
63
}
64

65
define void @loop_nesting() convergent {
66
A:
67
  %a = call token @llvm.experimental.convergence.entry()
68
  br label %B
69

70
B:
71
  %b = call token @llvm.experimental.convergence.anchor()
72
  br i1 undef, label %C, label %D
73

74
C:
75
  %c = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %b) ]
76
  call void @f() [ "convergencectrl"(token %c) ]
77
  br label %B
78

79
D:
80
  call void @f() [ "convergencectrl"(token %b) ]
81
  br i1 undef, label %B, label %E
82

83
E:
84
  ret void
85
}
86
declare void @f() convergent
87
declare void @g()
88

89
declare token @llvm.experimental.convergence.entry()
90
declare token @llvm.experimental.convergence.anchor()
91
declare token @llvm.experimental.convergence.loop()
92