spirv-val: Allow DebugInfoNone (#6749)

closes #6744

Author: spencer-lunarg

source/val/validate_extensions.cpp

@@ -396,10 +396,14 @@ spv_result_t ValidateOperandDebugType(ValidationState_t& _,
   // Check for common types.
   std::function<bool(CommonDebugInfoInstructions)> expectation =
       [&allow_template_param](CommonDebugInfoInstructions dbg_inst) {
+        // TODO - Should DebugTypeTemplateParameterPack be allowed?
         if (allow_template_param &&
             (dbg_inst == CommonDebugInfoDebugTypeTemplateParameter ||
              dbg_inst == CommonDebugInfoDebugTypeTemplateTemplateParameter)) {
           return true;
+        } else if (dbg_inst == CommonDebugInfoDebugInfoNone) {
+          // DebugInfoNone is a safe "null" type that can be used
+          return true;
         }
         return CommonDebugInfoDebugTypeBasic <= dbg_inst &&
                dbg_inst <= CommonDebugInfoDebugTypeTemplate;

test/val/val_ext_inst_debug_test.cpp

@@ -6390,6 +6390,20 @@ TEST_F(ValidateVulkan101DebugInfo, DebugTypeBasicFPEncodingFailNotConst) {
                         "OpConstant"));
 }
 
+TEST_F(ValidateVulkan100DebugInfo, DebugTypePointerNone) {
+  const std::string constants = R"(
+%u32_7 = OpConstant %u32 7
+)";
+  const std::string dbg_inst_header = R"(
+        %none = OpExtInst %void %DbgExt DebugInfoNone
+        %voidptr = OpExtInst %void %DbgExt DebugTypePointer %none %u32_7 %u32_0
+)";
+
+  CompileSuccessfully(GenerateShaderCodeForDebugInfo(
+      "", constants, dbg_inst_header, "", shader_extension_100, "Vertex"));
+  ASSERT_EQ(SPV_SUCCESS, ValidateInstructions());
+}
+
 }  // namespace
 }  // namespace val
 }  // namespace spvtools