; RUN: not --crash llc -O0 -mtriple=spirv32-unknown-unknown %s -o /dev/null 2>&1 | FileCheck %s
; RUN: not --crash llc -O0 -mtriple=spirv64-unknown-unknown %s -o /dev/null 2>&1 | FileCheck %s

; __spirv_Select can pair a vector boolean condition with scalar operands,
; which is malformed for OpSelect and must be diagnosed.

; CHECK: LLVM ERROR: OpSelect with a scalar result requires a scalar boolean condition

define spir_kernel void @bad_select(i32 %a, i32 %b, ptr addrspace(1) %out, <4 x i1> %cond) {
entry:
  %call = call spir_func i32 @_Z14__spirv_SelectDv4_bii(<4 x i1> %cond, i32 %a, i32 %b)
  store i32 %call, ptr addrspace(1) %out
  ret void
}

declare spir_func i32 @_Z14__spirv_SelectDv4_bii(<4 x i1>, i32, i32)