在《动物园之星2》（Planet Zoo 2）里放一个水泵工具，或者打开热力图叠加层，你的 Linux 电脑或 Steam Deck 就会直接卡死。这并非显卡坏了，而是底层着色器翻译器掉进了死循环。2026 年 10 月 29 日，核心图形开发者 Maister（Hans-Kristian Arntzen）宣布彻底重写 dxil-spirv 的控制流图（CFG）结构化器，直接砍掉了旧版 9000行代码。这场底层手术只有一个核心判断：面对现代游戏引擎吐出的极端代码，翻译器必须放弃对人类可读性的执念，全面转向机器验证的绝对正确性。
一把水泵卡死显卡：9000 行代码黑洞是怎么崩塌的
我们在 Linux 和 Steam Deck 上用 Proton 玩 Windows DirectX 12 游戏，全靠 vkd3d-proton 及其核心组件 dxil-spirv 在幕后实时翻译。微软 DXC 编译器生成的 DXIL 字节码允许非结构化控制流，里头塞满了随意跳转的 goto 意大利面条代码；但 Vulkan 图形规范要求的 SPIR-V 字节码，却强制要求严格的结构化控制流，每个循环和分支都必须有明确的合并块与继续块。
过去几年，Maister 试图用一套启发式算法，在把乱麻理顺的同时，生成具备最佳人类可读性的代码以便调试。结果这个模块膨胀成了 巴士因子为1（指整个项目只有 1 个人懂，甚至连他自己都快推演不出逻辑）的 9000 行代码黑洞。近期，DXC 生成的某款游戏路径追踪着色器庞大到连图形可视化工具 Graphviz 都无法在有限时间内渲染出来，修好一个又爆一个。
具象化的导火索在 10 月下旬集中爆发。10 月 20 日提交的 vkd3d-proton issue #3387 报告，《动物园之星2》因循环退出未正确结构化，生成了无效的 SPIR-V 并导致 GPU 挂起；尽管社区曾提出一个面向旧版结构化器的靶向修复提案（dxil-spirv PR #324，通过提升 continue-exit 候选者来修复循环退出，目前仍处于 open 状态未合并），但头痛医头已无济于事。到了 10 月 27 日，dxil-spirv issue #327 再次报告该游戏在使用水泵或热力图时，触发着色器 1c144c57dee5a647 内部死循环，原因是外层循环继续块被错误转成了内层循环继续块。官方在 10 月 26 日和 27 日先后指向新结构化器并关闭了这两个问题。
向 Mesa 借剑与伪造扩展：用模糊测试完成降维打击
既然启发式算法算不过游戏开发者的疯狂代码，Maister 决定彻底放弃生成代码的可读性，直接移植开源驱动 Mesa 用于 OpenCL 的 nir_lower_goto_ifs 算法。这套机制利用支配边界（dominance frontiers）将控制流切分为多层（level），通过写入虚拟布尔选择器变量来路由分支，并干脆利落地把复杂的 switch 块拆成一串条件分支。
在动手重写前，他最担心大量辅助布尔变量会拖垮 GPU 性能。为了摸底，他在开源驱动上干了一件极其硬核的事：在 dxil-spirv 里伪造了一个名为 SPV_FROG_unstructured_control_flow 的假扩展，关闭所有结构化处理，把原始的意大利面条代码直接塞给 AMD 的 RADV 驱动去触发 Mesa 底层的 OpenCL 路径。实测结果证明，RADV性能平齐，画面完全正常。
为了确保新算法滴水不漏，他打造了一套可生成可运行 SPIR-V 的随机可归约 CFG 模糊测试工具（Fuzzer）。每个随机生成的控制流图都会经历 4096次随机游走，先在 CPU 上模拟运行以防死循环挂起显卡，再丢到 GPU 上验证比特级精确反馈（bit-exact feedback）。这套暴力测试不仅验证了新结构化器，还顺手抓出并推动修复了 Mesa 驱动自身的一批隐藏 Bug。
10 月 24 日的测试者反馈印证了新架构的威力：它直接修复了原本的 insert_phi() 崩溃和不收敛的循环中断重写问题。测试中也顺带暴露了一个独立的索引位宽问题，随后由独立于 CFG 重写的 dxil-spirv PR #321 在 10 月 26 日合并解决（commit 263a8cd，修复了 AttributeAtVertex 中 8 位顶点索引常量可能产生 SPIR-V ID 0 并导致管线创建失败的问题，将其强制设为 32位宽）。
捆绑 vkd3d-proton 3.2 大升级：三处架构裂痕与未解悬念
如果只把这件事看作一位程序员清理技术债的故事，就漏掉了它在 Linux 游戏生态里的真实分量。翻看 GitHub 记录可以发现，这次重写并非孤立上线，而是作为 vkd3d-proton 2026 年 10 月 23 日提交的 PR #3398 核心拼图被推上前台（截至 2026 年 11 月 3 日该 PR 仍处于 open 状态）。
这个 PR 是一次激进的底层大换血：除了包含完整的 CFG 结构化器重写（同时暂时保留了旧版结构化器以便二分排查回归问题），它直接将构建版本升级至 3.2版本，强制使现有的着色器缓存全部失效，全面切换至 SPIR-V 1.6 与 Vulkan 内存模型，并默认启用了描述符堆（descriptor heaps）。
真正卡住现代软件工程脖子的，往往是人类试图看懂机器代码的傲慢。
早年计算机先驱艾兹格·迪科斯彻（Edsger Dijkstra）写下《Goto 语句有害论》，是为了拯救人类程序员的大脑；但在今天，编译器后端面对的是机器自动生成的极端控制流。像上世纪七十年代贝尔实验室的编译器老兵们最终放弃手写汇编风格的启发式优化、全面转向严谨的图论与中间表示一样，Maister 的妥协证明了底层基础设施的宿命——当规模越过奇点，人类可读性就是最大的负资产。但与当年封闭的实验室环境不完全一样，今天的开源兼容层还暴露着三处更真实的软肋：
- 规范与现实的错位Mesa 驱动内部本就因为支持 OpenCL 而具备成熟的
goto_if非结构化处理能力，但因为 Vulkan 图形规范的死板限制，dxil-spirv无法直接把非结构化代码传给驱动，只能把驱动后端的算法反向搬运到翻译层前端再跑一遍。这种叠床架屋，是标准制定滞后于工程现实的直接代价。 - 极高的单点脆弱性整个 Steam Deck 和 Linux 的 DX12 游戏生态，在核心着色器控制流转换上竟然长期依赖巴士因子为 1 的模块。如果不是一位顶尖开发者自研 GPU 比特级 Fuzzer 死磕到底，甚至反向给上游 Mesa 驱动输血捉虫，大量新游戏在 Linux 上只会面临无休止的玄学崩溃。
- 闭源驱动的黑盒赌局Maister 可以用假扩展在开源的 RADV 驱动上提前验证性能，但面对闭源的 NVIDIA 驱动，他只能赌上两周时间盲写。
- 提醒.随着 PR #3398 合并推进，所有 Linux 与 Steam Deck 玩家都将面临一次着色器缓存清空重编；而新版生成的海量布尔选择器代码在 NVIDIA 闭源驱动编译器上的实际性能表现，以及与 SPIR-V 1.6、默认描述符堆捆绑上线后的性能归因，将是接下来最核心的观察点。
那把曾让《动物园之星2》死循环的水泵已经修好了，那个连 Graphviz 都画不出来的 9000 行代码恶魔也已被埋葬。当 vkd3d-proton 迈入 3.2 时代，真正决定玩家们帧率稳不稳的，就看闭源驱动能不能接住这把纯粹属于机器的算盘了。