Slang编译器对InputPatch和OutputPatch作为函数参数的支持问题分析

背景介绍

在Shader开发中，特别是涉及曲面细分(Tessellation)技术时，Hull Shader和Domain Shader会使用特殊的输入输出类型：InputPatch和OutputPatch。这些类型用于在细分控制阶段传递顶点数据。

问题现象

在Slang编译器中，当开发者尝试将InputPatch或OutputPatch类型作为函数参数传递时，编译器会报错。具体表现为：

1. 对于Hull Shader，编译器会提示"unimplemented: Unhandled global inst in spirv-emit"错误
2. 对于Domain Shader，编译器会报出"assert failure: type"错误

技术分析

InputPatch和OutputPatch是特殊的HLSL类型，它们具有以下特性：

1. 只能作为着色器入口点的参数出现
2. 不能作为全局变量使用
3. 在SPIR-V输出时需要特殊处理

当前Slang编译器在处理这些类型作为函数参数时存在以下技术难点：

1. 现有的资源特化机制假设所有参数都可以提升到全局作用域，但这对InputPatch/OutputPatch不适用
2. 在生成SPIR-V代码时，没有正确处理这些特殊类型的中间表示(IR)
3. 尝试通过指针传递会遇到存储类(storage class)相关的问题

临时解决方案

目前可行的临时解决方案是使用[ForceInline]属性强制内联所有接收这些类型作为参数的函数。这种方法虽然可行，但并非理想的长期解决方案，因为它：

1. 增加了代码体积
2. 限制了编译器的优化选择
3. 需要开发者手动标记所有相关函数

未来改进方向

从技术实现角度来看，Slang编译器需要：

1. 扩展IR处理逻辑，专门处理InputPatch/OutputPatch类型
2. 修改SPIR-V后端，正确生成这些类型的代码
3. 保持与HLSL/DXIL的语义兼容性
4. 确保生成的SPIR-V代码符合Vulkan规范

总结

这个问题反映了Slang在支持高级着色器特性时遇到的挑战。作为一款跨平台的着色器编译器，Slang需要在保持与多种着色语言兼容的同时，正确生成目标后端代码。对于曲面细分这样的高级特性，需要特别关注特殊类型的处理逻辑。

开发者在遇到类似问题时，可以暂时使用内联函数作为变通方案，同时关注Slang的更新以获取完整的原生支持。