036、SPIR-V Dialect：GPU Shader与Vulkan生态
一、一次深夜的Shader编译崩溃
凌晨两点，盯着屏幕上Vulkan验证层抛出的“SPIR-V module not valid: OpBranchConditional with non-boolean condition”错误，我差点把咖啡泼到键盘上。明明在GLSL里写得好好的条件分支，怎么转成SPIR-V就变成了非布尔类型？更诡异的是，同样的代码在NVIDIA驱动上跑得飞起，换到AMD就炸了。
这个坑让我意识到：SPIR-V不是简单的“二进制版GLSL”，它有自己的类型系统和控制流规则。而MLIR的SPIR-V Dialect，正是为了解决这类跨平台、跨后端的Shader表示问题而生的。
二、SPIR-V Dialect的定位：不是又一个Shader语言
很多人第一次接触SPIR-V Dialect会问：为什么不直接用GLSL或HLSL？答案藏在Vulkan生态的碎片化里。
传统Shader编译流程是：高级语言 → 前端编译器 → SPIR-V → 驱动后端 → 机器码。问题在于，每个驱动后端对SPIR-V的优化程度不同，甚至对合法SPIR-V的解读都有差异。MLIR的SPIR-V Dialect要做的是：在IR层面提供一套可组合、可验证、可转换的中间表示，让优化和降级过程在MLIR框架内完成，而不是依赖黑盒驱动。
举个例子，你在