DirectXShaderCompiler中HLSL 2021 `and`内建函数生成SPIR-V的问题分析

在DirectXShaderCompiler项目的最新开发中，开发者发现当使用HLSL 2021新增的非短路逻辑and内建函数时，编译器生成的SPIR-V代码存在验证错误。这个问题不仅出现在嵌套调用and函数时，实际上在单次调用时就已经存在潜在的类型不匹配问题。

问题现象

当开发者尝试在HLSL 2021代码中使用and内建函数来避免条件分支时，编译器生成的SPIR-V代码无法通过验证器检查。验证器报告的错误信息明确指出："Expected both operands to be of Result Type: LogicalAnd"，表明生成的SPIR-V指令操作数类型不符合预期。

技术分析

深入分析后发现，问题的根源在于编译器前端对and内建函数的处理方式。从抽象语法树(AST)可以看出，编译器将and函数的参数类型错误地推断为整数(int)而非布尔(bool)：

|-ImplicitCastExpr <col:12> 'bool (*)(int, int)' <FunctionToPointerDecay>
| `-DeclRefExpr <col:12> 'bool (int, int)' lvalue Function 'and' 'bool (int, int)'

然而，SPIR-V规范中的LogicalAnd指令明确要求操作数必须是布尔类型。这种类型不匹配导致了后续的SPIR-V验证错误。

影响范围

这个问题不仅影响嵌套调用and函数的情况，实际上任何使用and内建函数的代码都会受到影响，因为编译器始终将参数类型错误地推断为整数而非布尔值。

解决方案

修复这个问题的方向相对明确：需要修正编译器前端对and内建函数的类型推断，确保参数类型正确地表示为布尔类型而非整数类型。这将保证生成的SPIR-V代码符合规范要求，能够正确通过验证。

开发者建议

对于需要使用非短路逻辑运算的开发者，在问题修复前可以考虑以下替代方案：

1. 暂时使用传统的短路逻辑运算符(&&)，虽然这会引入分支
2. 使用位运算模拟非短路逻辑行为
3. 等待官方修复后更新编译器版本

这个问题已经被标记为高优先级，预计将在下一个版本中得到修复。开发者可以关注项目的更新动态，及时获取修复后的编译器版本。