; 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
}