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-passes
10
11; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
12
13; CHECK-SPIRV: %[[#X:]] = OpFunctionParameter %[[#]]
14; CHECK-SPIRV: OpSwitch %[[#X]] %[[#DEFAULT:]]{{$}}
15; CHECK-SPIRV: %[[#DEFAULT]] = OpLabel
16
17; Function Attrs: nounwind
18define spir_func void @kk(i32 %x) {
19entry:
20  switch i32 %x, label %sw.default [
21  ]
22
23sw.default:                                       ; preds = %entry
24  ret void
25}
26