; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
; CHECK: %[[#IMPORT:]] = OpExtInstImport "OpenCL.std"
; CHECK: %[[#FLOAT:]] = OpTypeFloat 32
; CHECK: %[[#V2FLOAT:]] = OpTypeVector %[[#FLOAT]] 2
define void @test(i64 %a, ptr addrspace(1) %b) {
; CHECK: %[[#]] = OpExtInst %[[#V2FLOAT:]] %[[#IMPORT]] vload_halfn %[[#]] %[[#]] 2
%c = call spir_func <2 x float> @_Z11vload_half2mPU3AS1KDh(i64 %a, ptr addrspace(1) %b)
ret void
}
declare <2 x float> @_Z11vload_half2mPU3AS1KDh(i64, ptr addrspace(1))