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
|
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
; Checks SPIR-V blocks are correctly reordered so that dominators shows up
; before others in the binary layout.
define void @main() {
; CHECK: OpLabel
; CHECK: OpBranch %[[#l1:]]
; CHECK: %[[#l1]] = OpLabel
; CHECK: OpBranch %[[#l2:]]
; CHECK: %[[#l2]] = OpLabel
; CHECK: OpBranch %[[#end:]]
; CHECK: %[[#end]] = OpLabel
; CHECK: OpReturn
entry:
br label %l1
l2:
br label %end
l1:
br label %l2
end:
ret void
}
|
