使用discard后SPIR-V出现DemoteToHelperInvocation验证错误原因排查

• 触发根源：你的GLSL着色器使用了discard关键字，glslc编译时会自动为生成的SPIR-V添加DemoteToHelperInvocation能力声明，但你的Vulkan应用未启用对应的设备特性，导致验证层抛出合规性错误。
• 深层逻辑：
  • 在Vulkan环境中，discard的行为可以借助DemoteToHelperInvocation能力优化——将废弃片元的着色器调用降级为辅助调用，减少无效计算开销。glslc默认会为包含discard的着色器启用该能力。
  • 验证层会严格校验SPIR-V声明的能力与设备启用特性的匹配性，即便程序运行无功能问题，也会触发该错误。
• 可行解决路径：
  • 路径一：启用对应设备特性。若目标设备支持Vulkan 1.3，在创建设备时开启VkPhysicalDeviceVulkan13Features::shaderDemoteToHelperInvocation；若仅支持旧版本Vulkan，则开启VkPhysicalDeviceShaderDemoteToHelperInvocationFeaturesEXT::shaderDemoteToHelperInvocation扩展特性。
  • 路径二：修改编译参数。给glslc添加-fno-demote-to-helper-invocation选项，强制编译器不生成DemoteToHelperInvocation能力声明；也可以指定更低版本的Vulkan目标环境，比如--target-env=vulkan1.2，让编译器不启用该特性。

内容的提问来源于stack exchange，提问作者Xenophilius Mildrententus