Glslang项目中关于深度纹理加载的SPIR-V验证错误分析

问题背景

在Glslang项目中，开发者遇到了一个与深度纹理(Depth Texture)相关的SPIR-V验证错误。当使用GLSL代码加载深度纹理时，生成的SPIR-V代码会导致spirv-val工具报错，提示"Expected Image to have the same type as Result Type Image"。

错误现象

问题出现在以下GLSL代码中：

#version 450

layout (set = 0, binding = 0) uniform texture2D kTextures2DDepth[];
layout (set = 0, binding = 1) uniform samplerDepth kSamplersDepth[];

void main() {
    float x = texture(sampler2DDepth(kTextures2DDepth[0], kSamplersDepth[0]), vec3(0));
}

生成的SPIR-V代码中，图像类型和结果类型不匹配：

• 图像类型：OpTypeImage %float 2D 0 0 0 1 Unknown
• 结果类型：OpTypeImage %float 2D 1 0 0 1 Unknown

技术分析

这个问题的核心在于SPIR-V中图像类型的Depth标志位不一致。在深度纹理采样时，正确的SPIR-V类型定义应该将Depth标志位设置为1，表示这是一个深度纹理。

关键点解析

1. GLSL深度纹理特性：

   • 深度纹理是专门用于深度比较的特殊纹理
   • 使用sampler2DDepth类型声明
   • 采样时返回的是经过深度比较后的结果

2. SPIR-V类型要求：

   • 对于深度纹理，图像类型必须设置Depth=1
   • 采样器类型必须与图像类型匹配
   • 采样操作的结果类型也必须一致

3. 错误原因：

   • 生成的SPIR-V中，图像类型的Depth标志位为0
   • 但结果类型(用于采样的类型)的Depth标志位为1
   • 这种不匹配导致验证器报错

解决方案

正确的做法是将图像类型的Depth标志位也设置为1，使其与结果类型一致：

OpTypeImage %float 2D 1 0 0 1 Unknown

这个修改确保了图像类型、采样器类型和结果类型在Depth标志位上的一致性，符合SPIR-V规范要求。

影响范围

这个问题不仅出现在GLSL中，在HLSL中同样存在类似情况。例如以下HLSL代码也会触发相同问题：

Texture2D<float>       g_DepthMap;
SamplerComparisonState g_DepthMap_sampler;

float SampleDepth(Texture2D<float> DepthMap)
{
    return DepthMap.SampleCmp(g_DepthMap_sampler, float2(0.5, 0.5), 0.0).r;
}

总结

深度纹理在图形编程中是一个重要特性，但在SPIR-V生成过程中需要特别注意类型的一致性。Glslang编译器在生成SPIR-V代码时，必须确保深度纹理相关的所有类型定义都正确设置了Depth标志位。这个问题已经在SPIRV-Tools项目中通过相关PR得到修复，确保了深度纹理在各种着色语言中的正确使用。

对于开发者来说，当遇到类似验证错误时，应该检查SPIR-V代码中的类型定义，特别是图像类型的各个标志位是否与使用场景匹配。