; RUN: clspv-opt %s -o %t --passes=replace-opencl-builtin
; RUN: FileCheck %s < %t

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"

define void @foo(ptr addrspace(1) %a, float %b, i32 %c) {
entry:
  call spir_func void @_Z13vstore_half_1fjPU3AS1Dh(float %b, i32 %c, ptr addrspace(1) %a)
  ret void
}

declare spir_func void @_Z13vstore_half_1fjPU3AS1Dh(float, i32, ptr addrspace(1))

; CHECK: [[float2:%[^ ]+]] = insertelement <2 x float> poison, float %b, i32 0
; CHECK: [[half2:%[^ ]+]] = call i32 @_Z16spirv.pack.v2f16(<2 x float> [[float2]])
; CHECK: [[half:%[^ ]+]] = trunc i32 [[half2]] to i16
; CHECK: [[gep:%[^ ]+]] = getelementptr i16, ptr addrspace(1) %a, i32 %c
; CHECK: store i16 [[half]], ptr addrspace(1) [[gep]], align 2