// RUN: clspv %target %s -o %t.spv -arch=spir
// RUN: spirv-dis -o %t2.spvasm %t.spv
// RUN: FileCheck %s < %t2.spvasm --check-prefixes=CHECK,CHECK-32
// RUN: spirv-val --target-env vulkan1.0 %t.spv

// RUN: clspv %target %s -o %t.spv -arch=spir64
// RUN: spirv-dis -o %t2.spvasm %t.spv
// RUN: FileCheck %s < %t2.spvasm --check-prefixes=CHECK,CHECK-64
// RUN: spirv-val --target-env vulkan1.0 %t.spv

kernel void foo(global uint* A, float2 val, uint n) {
  uint arr[5];
  half* cast = (private half*) arr;
  vstorea_half2(val, n, cast);
  vstorea_half2_rte(val, n+1, cast);
  vstorea_half2_rtz(val, n+2, cast);
  *A = *(uint*) arr;
}
// CHECK-DAG: [[_uint:%[0-9a-zA-Z_]+]] = OpTypeInt 32 0
// CHECK-64-DAG: [[_ulong:%[0-9a-zA-Z_]+]] = OpTypeInt 64 0
// CHECK-DAG: [[_float:%[0-9a-zA-Z_]+]] = OpTypeFloat 32
// CHECK-DAG: [[_v2float:%[0-9a-zA-Z_]+]] = OpTypeVector [[_float]] 2
// CHECK-DAG: [[_uint_0:%[0-9a-zA-Z_]+]] = OpConstant [[_uint]] 0
// CHECK-DAG: [[_uint_1:%[0-9a-zA-Z_]+]] = OpConstant [[_uint]] 1
// CHECK-DAG: [[_uint_2:%[0-9a-zA-Z_]+]] = OpConstant [[_uint]] 2

// CHECK: [[_39:%[0-9a-zA-Z_]+]] = OpCompositeConstruct [[_v2float]]
// CHECK: [[_43:%[0-9a-zA-Z_]+]] = OpExtInst [[_uint]] {{.*}} PackHalf2x16 [[_39]]
// CHECK-64: [[_44:%[0-9a-zA-Z_]+]] = OpAccessChain {{.*}} [[arr:%[0-9a-zA-Z_]+]] {{.*}}
// CHECK-32: [[_44:%[0-9a-zA-Z_]+]] = OpAccessChain {{.*}} [[arr:%[0-9a-zA-Z_]+]] {{.*}}
// CHECK: OpStore [[_44]] [[_43]]

// CHECK: [[_39:%[0-9a-zA-Z_]+]] = OpCompositeConstruct [[_v2float]]
// CHECK: [[_46:%[0-9a-zA-Z_]+]] = OpExtInst [[_uint]] {{.*}} PackHalf2x16 [[_39]]
// CHECK-64: [[_47:%[0-9a-zA-Z_]+]] = OpAccessChain {{.*}} [[arr]]
// CHECK-32: [[_47:%[0-9a-zA-Z_]+]] = OpAccessChain {{.*}} [[arr]]
// CHECK: OpStore [[_47]] [[_46]]

// CHECK: [[_39:%[0-9a-zA-Z_]+]] = OpCompositeConstruct [[_v2float]]
// CHECK: [[_49:%[0-9a-zA-Z_]+]] = OpExtInst [[_uint]] {{.*}} PackHalf2x16 [[_39]]
// CHECK-64: [[_50:%[0-9a-zA-Z_]+]] = OpAccessChain {{.*}} [[arr]]
// CHECK-32: [[_50:%[0-9a-zA-Z_]+]] = OpAccessChain {{.*}} [[arr]]
// CHECK: OpStore [[_50]] [[_49]]