; RUN: clspv-opt %s -o %t -producer-out-file %t.spv --passes=spirv-producer
; RUN: spirv-dis %t.spv -o %t.spvasm
; RUN: spirv-val --target-env vulkan1.0 %t.spv
; RUN: FileCheck %s < %t.spvasm

; Requires full variable pointers because the selection is between different
; objects.
; CHECK-NOT: StorageBuffer
; CHECK: OpCapability VariablePointersStorageBuffer
; CHECK: OpCapability VariablePointers
; CHECK: OpExtension "SPV_KHR_variable_pointers"
; CHECK: [[uint:%[a-zA-Z0-9_]+]] = OpTypeInt 32 0
; CHECK: [[ptr:%[a-zA-Z0-9_]+]] = OpTypePointer StorageBuffer [[uint]]
; CHECK: OpSelect [[ptr]]

target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024"
target triple = "spir-unknown-unknown"

@__spirv_WorkgroupSize = local_unnamed_addr addrspace(8) global <3 x i32> zeroinitializer

define spir_kernel void @foo(ptr addrspace(1) nocapture readonly align 4 %in1, ptr addrspace(1) nocapture readonly align 4 %in2, ptr addrspace(1) nocapture writeonly align 4 %out, { i32 } %podargs) !clspv.pod_args_impl !14 !kernel_arg_map !15 {
entry:
  %0 = call ptr addrspace(1) @_Z14clspv.resource.0(i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, { [0 x i32] } zeroinitializer)
  %1 = getelementptr { [0 x i32] }, ptr addrspace(1) %0, i32 0, i32 0, i32 0
  %2 = call ptr addrspace(1) @_Z14clspv.resource.1(i32 0, i32 1, i32 0, i32 1, i32 1, i32 0, { [0 x i32] } zeroinitializer)
  %3 = getelementptr { [0 x i32] }, ptr addrspace(1) %2, i32 0, i32 0, i32 0
  %4 = call ptr addrspace(1) @_Z14clspv.resource.2(i32 0, i32 2, i32 0, i32 2, i32 2, i32 0, { [0 x i32] } zeroinitializer)
  %5 = getelementptr { [0 x i32] }, ptr addrspace(1) %4, i32 0, i32 0, i32 0
  %6 = call ptr addrspace(9) @_Z14clspv.resource.3(i32 -1, i32 3, i32 5, i32 3, i32 3, i32 0, { { i32 } } zeroinitializer)
  %7 = getelementptr { { i32 } }, ptr addrspace(9) %6, i32 0, i32 0
  %8 = load { i32 }, ptr addrspace(9) %7, align 4
  %a = extractvalue { i32 } %8, 0
  %cmp.i = icmp eq i32 %a, 0
  %in1.in2 = select i1 %cmp.i, ptr addrspace(1) %1, ptr addrspace(1) %3
  %9 = load i32, ptr addrspace(1) %in1.in2, align 4
  store i32 %9, ptr addrspace(1) %5, align 4
  ret void
}

declare ptr addrspace(1) @_Z14clspv.resource.0(i32, i32, i32, i32, i32, i32, { [0 x i32] })

declare ptr addrspace(1) @_Z14clspv.resource.1(i32, i32, i32, i32, i32, i32, { [0 x i32] })

declare ptr addrspace(1) @_Z14clspv.resource.2(i32, i32, i32, i32, i32, i32, { [0 x i32] })

declare ptr addrspace(9) @_Z14clspv.resource.3(i32, i32, i32, i32, i32, i32, { { i32 } })

!14 = !{i32 2}
!15 = !{!16, !17, !18, !19}
!16 = !{!"in1", i32 0, i32 0, i32 0, i32 0, !"buffer"}
!17 = !{!"in2", i32 1, i32 1, i32 0, i32 0, !"buffer"}
!18 = !{!"out", i32 2, i32 2, i32 0, i32 0, !"buffer"}
!19 = !{!"a", i32 3, i32 3, i32 0, i32 4, !"pod_pushconstant"}