25 lines · plain
1; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}6 7define void @test_switch_with_unreachable_block(i1 %a) {8 %value = zext i1 %a to i329; CHECK-SPIRV: OpSwitch %[[#]] %[[#UNREACHABLE:]] 0 %[[#REACHABLE:]] 1 %[[#REACHABLE:]]10 switch i32 %value, label %unreachable [11 i32 0, label %reachable12 i32 1, label %reachable13 ]14 15; CHECK-SPIRV-NEXT: %[[#REACHABLE]] = OpLabel16reachable:17; CHECK-SPIRV-NEXT: OpReturn18 ret void19 20; CHECK-SPIRV: %[[#UNREACHABLE]] = OpLabel21; CHECK-SPIRV-NEXT: OpUnreachable22unreachable:23 unreachable24}25