变更摘要

本次 PR 主要修复了多项式表达式中符号化除数和模运算的分析逻辑。在 analyze_floordiv_expression 和 analyze_modular_expression 两个函数中，新增了对 sympy.Symbol 类型除数 / 模数的支持：当 max_remainder_sum == 0 且除数或模数为符号变量（且在 V.kernel.symbol_range_map 中有对应的下界信息）时，允许表达式进行拆分。同时修复了 analyze_modular_expression 中 FloorDiv 项的转换处理，将 FloorDiv 正确转换为乘法形式，并在成功拆分后重新构造 ModularIndexing 表达式。测试类从 TestUnifiedAxis 重命名为 TestLinearDynamic，并新增了针对符号化表达式的三个单元测试用例。

主要改动

• analyze_floordiv_expression 新增符号化除数分支：当 max_remainder_sum == 0 且 divisor 为 sympy.Symbol 且在 V.kernel.symbol_range_map 中存在时，利用符号下界（lower_value）判定表达式是否可拆分，并生成对应的 split_form。

• analyze_modular_expression 新增符号化模数分支：类似地，当 max_remainder_sum == 0 且 mod 为 sympy.Symbol 且在符号范围映射中存在时，通过比较下界值判定是否可拆分，并生成拆分后的 ModularIndexing 形式。

• analyze_modular_expression 中 FloorDiv 类型项的转换：对于 add_terms 中的 FloorDiv 类型项，新增将其转换为 sympy.Mul(numerator, sympy.Pow(denominator, -1)) 的逻辑，确保后续系数提取能正确处理。

• analyze_modular_expression 中成功拆分后重构表达式：当 FloorDiv 形式的子表达式经 analyze_floordiv_expression 判定可拆分后，重新构造 ModularIndexing(dividen_expression, lower=1, upper) 表达式并更新结果中的 details 字段。

• 测试文件重构与新增用例：将测试类 TestUnifiedAxis 重命名为 TestLinearDynamic，新增 MockRangeNode 辅助类和 make_range_tree_nodes 工具函数，并补充了三个针对符号化表达式场景的测试方法（test_analyze_floordiv_expression、test_analyze_modular_expression、test_analyze_modular_expression_mod_is_symbol）。

openLiBing可接管PR, PR详情链接:
https://www.openlibing.com/apps/transitionPrDetail?owner=Ascend&repo=pytorch&number=44410&platform=gitcode&codeHostingPlatformFlag=gitcode

代码审查

审查完成 — 关闭摘要

已审查文件：

• test/_inductor/test_linear_dynamic.py — 检出 P0（NameError）+ P3（未使用 import）
• torch_npu/_inductor/codegen/ir.py — 检出 P2（result type 错乱）

总体风险：中高。 P0 问题会导致测试模块在导入期崩溃（CI 必现），建议优先修复。P2 问题在特定条件下触发（符号 lower 的 ModularIndexing 在 FloorDiv 拆分失败时），会返回 type 字段错误的 dict，可能误导下游消费者。其余为低风险的代码清理项。

⛔ 需要修改

Pull Request 已合并或已关闭。

If you want to solve this problem, you can click here to do it in the FAQs.