; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}

; CHECK: OpFunction
; CHECK: OpBranchConditional %[[#]] %[[#if_then:]] %[[#if_end:]]
; CHECK: %[[#if_then]] = OpLabel
; CHECK: OpBranch %[[#if_end]]
; CHECK: %[[#if_end]] = OpLabel
; CHECK: %[[#Var:]] = OpPhi
; CHECK: OpSwitch %[[#Var]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]] [[#]] %[[#]]
; CHECK-COUNT-10: OpLabel
; CHECK: %[[#epilog:]] = OpLabel
; CHECK:                 OpBranch %[[#exit:]]
; CHECK:    %[[#exit]] = OpLabel
; CHECK:                 OpReturn
; CHECK-NOT: OpLabel
; CHECK-NEXT: OpFunctionEnd

define spir_func void @foo(i64 noundef %addr, i64 noundef %as) {
entry:
  %src = inttoptr i64 %as to ptr addrspace(4)
  %val = load i8, ptr addrspace(4) %src
  %cmp = icmp sgt i8 %val, 0
  br i1 %cmp, label %if.then, label %if.end

if.then:
  %add.ptr = getelementptr inbounds i8, ptr addrspace(4) %src, i64 1
  %cond = load i8, ptr addrspace(4) %add.ptr
  br label %if.end

if.end:
  %swval = phi i8 [ %cond, %if.then ], [ %val, %entry ]
  switch i8 %swval, label %sw.default [
    i8 -127, label %sw.epilog
    i8 -126, label %sw.bb3
    i8 -125, label %sw.bb4
    i8 -111, label %sw.bb5
    i8 -110, label %sw.bb6
    i8 -109, label %sw.bb7
    i8 -15, label %sw.bb8
    i8 -14, label %sw.bb8
    i8 -13, label %sw.bb8
    i8 -124, label %sw.bb9
    i8 -95, label %sw.bb10
    i8 -123, label %sw.bb11
  ]

sw.bb3:
  br label %sw.epilog

sw.bb4:
  br label %sw.epilog

sw.bb5:
  br label %sw.epilog

sw.bb6:
  br label %sw.epilog

sw.bb7:
  br label %sw.epilog

sw.bb8:
  br label %sw.epilog

sw.bb9:
  br label %sw.epilog

sw.bb10:
  br label %sw.epilog

sw.bb11:
  br label %sw.epilog

sw.default:
  br label %sw.epilog

sw.epilog:
  br label %exit

exit:
  ret void
}