a

Author: spencer-lunarg

source/val/validation_state.cpp

@@ -30,6 +30,7 @@
 #include "source/val/construct.h"
 #include "source/val/function.h"
 #include "spirv-tools/libspirv.h"
+#include "spirv/unified1/spirv.hpp11"
 
 namespace spvtools {
 namespace val {
@@ -1547,6 +1548,17 @@ bool ValidationState_t::IsTensorType(uint32_t id) const {
   return inst && inst->opcode() == spv::Op::OpTypeTensorARM;
 }
 
+// From the spec (SPIRV.html#Concrete)
+bool ValidationState_t::IsConcreteType(uint32_t id) const {
+  const Instruction* inst = FindDef(id);
+  const spv::Op opcode = inst->opcode();
+
+  if (opcode == spv::Op::OpTypeInt || opcode == spv::Op::OpTypeFloat) {
+    return true;
+  }
+  return inst && inst->opcode() == spv::Op::OpTypeTensorARM;
+}
+
 spv_result_t ValidationState_t::CooperativeMatrixShapesMatch(
     const Instruction* inst, uint32_t result_type_id, uint32_t m2,
     bool is_conversion, bool swap_row_col) {

source/val/validation_state.h

@@ -708,6 +708,7 @@ class ValidationState_t {
   bool IsIntCooperativeVectorNVType(uint32_t id) const;
   bool IsUnsignedIntCooperativeVectorNVType(uint32_t id) const;
   bool IsTensorType(uint32_t id) const;
+  bool IsConcreteType(uint32_t id) const;
   // When |length| is not 0, return true only if the array length is equal to
   // |length| and the array length is not defined by a specialization constant.
   bool IsArrayType(uint32_t id, uint64_t length = 0) const;