// RUN: clspv %target  %s -o %t.spv
// RUN: spirv-dis -o %t2.spvasm %t.spv
// RUN: FileCheck %s < %t2.spvasm
// RUN: spirv-val --target-env vulkan1.0 %t.spv

// CHECK:     %[[__original_id_1:[0-9]+]] = OpExtInstImport "GLSL.std.450"
// CHECK-DAG: %[[ushort:[0-9a-zA-Z_]+]] = OpTypeInt 16 0
// CHECK-DAG: %[[v2ushort:[0-9a-zA-Z_]+]] = OpTypeVector %[[ushort]] 2
// CHECK:     %[[__original_id_20:[0-9]+]] = OpLoad %[[v2ushort]]
// CHECK:     %[[__original_id_21:[0-9]+]] = OpLoad %[[v2ushort]]
// CHECK:     %[[__original_id_22:[0-9]+]] = OpExtInst %[[v2ushort]] %[[__original_id_1]] SMin %[[__original_id_20]] %[[__original_id_21]]
// CHECK:     OpStore {{.*}} %[[__original_id_22]]

kernel void __attribute__((reqd_work_group_size(1, 1, 1))) foo(global short2* a, global short2* b, global short2* c)
{
    *a = min(*b, *c);
}