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

kernel void foo(global int* a, global char3* b) {
  *a = all(*b);
}

// CHECK-DAG: [[int:%[a-zA-Z0-9_]+]] = OpTypeInt 32 0
// CHECK-DAG: [[char:%[a-zA-Z0-9_]+]] = OpTypeInt 8 0
// CHECK-DAG: [[char4:%[a-zA-Z0-9_]+]] = OpTypeVector [[char]] 4
// CHECK-DAG: [[bool:%[a-zA-Z0-9_]+]] = OpTypeBool
// CHECK-DAG: [[bool3:%[a-zA-Z0-9_]+]] = OpTypeVector [[bool]] 3
// CHECK-DAG: [[bool4:%[a-zA-Z0-9_]+]] = OpTypeVector [[bool]] 4
// CHECK-DAG: [[int_0:%[a-zA-Z0-9_]+]] = OpConstant [[int]] 0
// CHECK-DAG: [[int_1:%[a-zA-Z0-9_]+]] = OpConstant [[int]] 1
// CHECK-DAG: [[null:%[a-zA-Z0-9_]+]] = OpConstantNull [[char4]]
// CHECK-DAG: [[undefvec4:%[a-zA-Z0-9_]+]] = OpUndef [[bool4]]
// CHECK:     [[ld:%[a-zA-Z0-9_]+]] = OpLoad [[char4]]
// CHECK:     [[less:%[a-zA-Z0-9_]+]] = OpSLessThan [[bool4]] [[ld]] [[null]]
// CHECK:     [[less3:%[a-zA-Z0-9_]+]] = OpVectorShuffle [[bool3]] [[less]] [[undefvec4]] 0 1 2
// CHECK:     [[all:%[a-zA-Z0-9_]+]] = OpAll [[bool]] [[less3]]
// CHECK:     OpSelect [[int]] [[all]] [[int_1]] [[int_0]]