31 lines · plain
1; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; Checks SPIR-V blocks are correctly reordered so that dominators shows up5; before others in the binary layout.6 7define void @main() {8; CHECK: OpLabel9; CHECK: OpBranch %[[#l1:]]10 11; CHECK: %[[#l1]] = OpLabel12; CHECK: OpBranch %[[#l2:]]13 14; CHECK: %[[#l2]] = OpLabel15; CHECK: OpBranch %[[#end:]]16 17; CHECK: %[[#end]] = OpLabel18; CHECK: OpReturn19entry:20 br label %l121 22l2:23 br label %end24 25l1:26 br label %l227 28end:29 ret void30}31