29 lines · plain
1;; Source:2;; void kk(int x){3;; switch(x) {4;; default: return;5;; }6;; }7 8;; Command:9;; clang -cc1 -triple spir -emit-llvm -o test/SPIRV/OpSwitchEmpty.ll OpSwitchEmpty.cl -disable-llvm-passes10 11; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV12; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}13 14; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV15; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}16 17; CHECK-SPIRV: %[[#X:]] = OpFunctionParameter %[[#]]18; CHECK-SPIRV: OpSwitch %[[#X]] %[[#DEFAULT:]]{{$}}19; CHECK-SPIRV: %[[#DEFAULT]] = OpLabel20 21define spir_func void @kk(i32 %x) {22entry:23 switch i32 %x, label %sw.default [24 ]25 26sw.default: ; preds = %entry27 ret void28}29