viable/strict/1789537822: [Inductor] Preserve fp32 compute promotion in value_expr (#197132)
PyTorch 发布 viable/strict/1789537822 与 trunk/4afcdd7d224e 两个版本条目，内容为 Inductor 修复 PR #197132：解决 bf16/fp16 floor-division 编译崩溃。原因是 Triton 的 libdevice.isinf 收到低精度操作数；value_expr 在 index_expr 已提升到 fp32 后又把结果转回请求的存储 dtype。修复在 value_expr codegen 与 dtype 传播中一致应用 upcast_compute_type，并在符号传播中保留显式存储转换，使 emulate_precision_casts=True 仍正确舍入。回归测试覆盖 fp16 与 bf16 并带 Triton dtype 断言。
Development
- First Reportviable/strict/1789537822: [Inductor] Preserve fp32 compute promotion in value_expr (#197132)PyTorch Core
- Industry Responsetrunk/4afcdd7d224e03231a990eb8e62cf23c339d36c3: [Inductor] Preserve fp32 compute promotion in value_expr (#197132)PyTorch Core
- Current Assessment这是编译器层面的精度语义修补，而非模型能力变化。它反映低精度训练/推理栈的成熟度取决于 Inductor、Triton 与 libdevice 之间的 dtype 契约是否被一致执行；此类崩溃会直接影响 fp16/bf16 工作负载的可编译性。可验证的下一信号是同类 dtype 提升问题是否在其它算子或后端上继续出现，以及修复是否进入稳定发布分支。Agent Pulse · analysis
PyTorch 仓库出现两个同内容发布条目（viable/strict/1789537822 与 trunk/4afcdd7d224e），对应 Inductor 修复 PR #197132，标题为「Preserve fp32 compute promotion in value_expr」。证据说明：对 arange 结果做 fp16/bf16 转换后再做 floor division 的编译会失败，因为 Triton 的 libdevice.isinf 收到低精度操作数；value_expr 在 index_expr 已提升到 fp32 后把结果转回请求的存储 dtype。修复在 value_expr codegen 与 dtype 传播中一致应用 upcast_compute_type，并在符号传播中保留显式存储转换，使 emulate_precision_casts=True 仍正确舍入。回归测试覆盖 fp16 与 bf16 并带 Triton dtype 断言；开启精度模拟时结果需与 eager 完全一致，关闭时需与 fp32 计算后再输出转换一致。测试计划称原始 CUDA positional-embedding 复现成功，定向测试与 lint 通过。
从证据看，问题出在 Inductor 的 dtype 提升路径不一致：index_expr 已提升到 fp32，value_expr 却按存储 dtype 回写，导致低精度值进入 libdevice.isinf。修复方向是把 upcast_compute_type 同时用于 codegen 与 dtype 传播，并保留显式存储转换。可验证的下一信号是：在启用 emulate_precision_casts 时，fp16/bf16 floor-division 的编译产物是否稳定与 eager 逐位一致，以及是否还有其它 value_expr 算子存在同类回写。
这是编译器层面的精度语义修补，而非模型能力变化。它反映低精度训练/推理栈的成熟度取决于 Inductor、Triton 与 libdevice 之间的 dtype 契约是否被一致执行；此类崩溃会直接影响 fp16/bf16 工作负载的可编译性。可验证的下一信号是同类 dtype 提升问题是否在其它算子或后端上继续出现，以及修复是否进入稳定发布分支。
对使用 PyTorch Inductor 编译低精度算子的团队，这类修复降低编译失败与精度不一致带来的调试成本，尤其影响依赖 fp16/bf16 的推理与训练流水线。可验证的下一信号是升级到含该修复的版本后，原 CUDA positional-embedding 复现与相关测试是否在自有环境中通过。
若该修复被合入并随版本发布，fp16/bf16 下 floor division 等算子的编译崩溃应减少，精度模拟路径的行为更可预期。可验证的下一信号是后续发布条目中是否出现针对 value_expr 或 upcast_compute_type 的追加修复，以及回归测试是否扩展到更多算子。