变更摘要

此 PR 对 AutoVectorizeV2（AV2）的融合规划阶段进行了大规模重构：将原先仅覆盖 leaf 节点的 VectorizeContext 替换为面向全体融合成员的 PlanContext / FusedNode 架构。核心变更包括：(1) 新增 FusedNode 类统一管理 leaf 与 producer，其 consolidateToTail 基于 use-def 链拓扑排序取代旧的简单排序，并在排序后加入 IR 合法性验证；(2) conflictsWith / updateConflicts 的作用范围从 leaf 扩展到全体融合成员；(3) 补齐 bestFusedNode 路径中缺失的 consolidateToTail + updateConflicts 调用；(4) 删除 findBestFusedNodeForProducer 中已被 canAccept 覆盖的冗余冲突检查。

主要改动

• 删除 Context.h，新增 PlanContext.h / RetriedOptions.h 拆分数据结构：原 VectorizeContext（含 maxFusedOps、cloneFunc、canFitStack 等）被移除，拆分为 RetriedOptions（纯参数结构体）和 PlanContext（持有 FusableOpInfo 映射、冲突列表、FusedNode 实例集合，并负责 initFusableOpInfoFrom 初始化和 computeTileSize）。

• 新增 FusedNode 类及其核心方法 consolidateToTail：FusedNode 同时管理 leaf 和 producers 两个 SetVector，consolidateToTail 通过 climbedForwardSlice 使用支配信息构建前向切片，实现基于 use-def 链的拓扑排序来重组操作顺序，排序后调用 verify + report_fatal_error 兜底保证 IR 合法性。

• canAccept 与 conflictsWith / updateConflicts 扩展到全体融合成员：canAccept 通过 AcceptContext 枚举区分 Sibling/Producer/FallbackLeaf 三种调用场景的行为差异；conflictsWith 遍历 ops()（leaf + producers）全体成员检查冲突；updateConflicts 对全体成员的上游/下游可融合操作建立双向冲突关系。

• 新增 FusionUtils.h/cpp 提取操作分类与图遍历工具：将 isFusableOp、isNonVectorizableOp、isMemrefLinalgOp、hasRankReducingIndexingMap 等分类判断，以及 findDownstreamFusableOpOf / findUpstreamFusableOpOf 图遍历逻辑从主 pass 文件中独立为工具模块。

• AutoVectorizeV2.cpp 大幅精简（净减少约 889 行）：主 pass 文件经重构后移除了大量内联工具代码和冗余逻辑，包括 bestFusedNode 路径补齐 consolidateToTail + updateConflicts 调用，以及删除 findBestFusedNodeForProducer 中已被 canAccept 覆盖的重复冲突检查。

libing-pipeline创建中，请等待……

代码审查

审查总结

已逐一审查全部 9 个变更文件，结果如下：

按优先级统计

• P1：1 个 — isOpInBlock 对 scf::IfOp 等多 block 父 op 的判定错误，影响冲突分析和图遍历的正确性
• P2：2 个 — RetriedOptions.h 的 include guard 错配、canAccept 容量检查 off-by-one（允许 maxFusedOps+1）
• P3：3 个 — isMemref() 无 leaf 空检查、numLoops==0 时越界访问、registerAndAnalyzeOp 无 ShapedType 时 shape 为空

整体风险评估：中等

最关键的 P1 问题（isOpInBlock 实现错误）在存在 scf::IfOp 结构的 IR 中会直接导致冲突列表计算错误，进而影响融合决策的正确性。考虑到该 PR 已引入 enableCrossIfFusion 特性，scf::IfOp 场景是实际会触发的路径。建议在合入前优先修复 P1 和 P2 的问题。

⛔ 需要修改

/lgtm