DirectXShaderCompiler中GetAttributeAtVertex函数参数验证问题分析

问题背景

在DirectXShaderCompiler项目中，当使用HLSL内置函数GetAttributeAtVertex时，如果传入无效参数会导致验证失败。具体表现为当开发者错误地直接传入字面量0作为第一个参数时，SPIR-V后端会产生一个晦涩的验证错误，而不是像DXIL后端那样提供清晰明确的错误提示。

问题表现

当开发者编写如下HLSL代码时：

float main() : SV_Target
{
  return GetAttributeAtVertex(0, 0);
}

使用SPIR-V后端编译时，会收到如下错误信息：

fatal error: generated SPIR-V is invalid: The Base <id> '7[%int_0]' in OpAccessChain instruction must be a pointer.
  %14 = OpAccessChain %_ptr_Function_int %int_0 %uint_0

而使用DXIL后端时，则会得到更有帮助的错误提示：

error: attribute evaluation can only be done on values taken directly from inputs.
  return GetAttributeAtVertex(0, 0);

技术分析

GetAttributeAtVertex是HLSL中的一个特殊函数，用于在像素着色器中获取顶点属性在特定顶点处的插值。根据HLSL规范，该函数的第一个参数必须是具有"nointerpolation"属性的输入变量，而不能是字面量或其他类型的表达式。

SPIR-V后端的问题在于它没有在HLSL到SPIR-V转换的早期阶段进行参数验证，而是直接将无效参数传递给后续阶段，导致在SPIR-V生成过程中产生了无效的指针访问操作，最终触发了底层验证错误。

解决方案

项目维护者已经修复了这个问题。修复后的编译器会在编译早期阶段进行参数验证，并给出与DXIL后端一致的有用错误信息：

error: parameter 0 of GetAttributeAtVertex must have a 'nointerpolation' attribute
  return GetAttributeAtVertex(0, 0);

这个修复确保了开发者能够快速理解并修正代码中的错误，而不是面对晦涩的低级验证错误。

最佳实践

在使用GetAttributeAtVertex函数时，开发者应当：

1. 确保第一个参数是带有"nointerpolation"修饰符的输入变量
2. 不要直接使用字面量或非常量表达式作为参数
3. 检查输入变量的类型是否与函数要求匹配

正确的使用示例如下：

struct PSInput {
  nointerpolation float attr : ATTR;
};

float main(PSInput input) : SV_Target
{
  return GetAttributeAtVertex(input.attr, 0);
}

总结

DirectXShaderCompiler项目对GetAttributeAtVertex函数的参数验证进行了改进，使SPIR-V后端能够提供与DXIL后端一致的有用错误信息。这一改进显著提升了开发者在跨平台着色器开发中的体验，特别是在使用高级HLSL功能时。开发者现在可以更轻松地诊断和修复与顶点属性访问相关的问题。