[PTO 0.58.6] reduction B.DIM 错用 destination 几何，row 崩溃/column 静默错算

[zhoubot]

问题概述

TileOP API linx@05662833bd7bf71420b15b8f7ba8727a4569e897 在 row/column reduction
的 B.DIM 中写入 destination 几何，而 PTO ISA 0.58.6 的 reduction schema
要求 B.DIM 描述并匹配 source reduction geometry。

结果表现为：

• row reduction：目的 Mx1 被编码为 LB0=1/LB1=M/LB2=1，模型因 source 为 MxN 而拒绝；
• column reduction：只按 destination 的单行维度归约，可能正常退出但结果等于 source row0，属于静默错算。

当前代码证据

include/jcore/template_asm.hpp 的 TROWSUM/MAX/MIN/PROD/ARGMAX/ARGMIN：

// static branch
"i"(tile_shape_out::ValidCol),
"i"(tile_shape_out::ValidRow),
"i"(tile_shape_out::Cols),

// dynamic branch
"r"(dst.GetValidCol()),
"r"(dst.GetValidRow()),
"i"(tile_shape_out::Cols),

column reduction 族存在同类 destination-derived lowering。

规范依据

PTO-SPEC main@dea0b75e803cffa873982c90f9aa0cd17c6d243b：

https://github.com/PTO-ISA/pto-spec/blob/dea0b75e803cffa873982c90f9aa0cd17c6d243b/asl/block/model/dispatch/reduction-schema.asl#L67-L87

SelectedBundleClosedReductionSchemaLegal 最终执行：

SelectedBundleComparisonShapeMatches(source)

destination 的 Mx1 / 1xN 则由 source descriptor 单独派生，不应反向覆盖 B.DIM source geometry。

复现

完整复现和 release 参考 kernel 证据见：
https://github.com/LinxISA/SuperScalarModel/issues/560#gfrun-2--%E8%A1%8C%E5%88%97%E5%BD%92%E7%BA%A6-headermodel-%E7%BB%B4%E5%BA%A6-skew

bash microbenchmark/tileop-guard/run_guard.sh sfu trowmax
bash microbenchmark/tileop-guard/run_guard.sh sfu tcolmax

根因分类

这是 TileOP API lowering 缺陷。模型以 B.DIM 校验 source geometry 与当前 ASL 一致，
不应通过放宽模型修复。

建议 owner

• TileOP reduction header/lowering 维护者
• SuperNPUBench reduction 与 tileop-guard 维护者协助端到端回归

最小修复方向

• 静态分支使用 tile_shape_in::{ValidCol,ValidRow,Cols}；
• 动态分支使用 src.GetValidCol()/GetValidRow() 和 source physical columns；
• destination 仍保持 row=Mx1、column=1xN 的独立 descriptor/capacity。

验收条件

1. row/column 的 SUM/MAX/MIN/PROD/ARGMIN/ARGMAX 均覆盖静态和动态 source。
2. 检查反汇编中的 LB0/LB1/LB2 等于 source geometry。
3. row reduction 不再 descriptor fault；column reduction 不再只计算 row0。
4. gfrun/gfsim 使用同一 ELF，逐元素比较独立 golden。
5. 完整 make check 通过。

关联汇总 issue：
https://github.com/LinxISA/SuperScalarModel/issues/560

[zhoubot]

2026-09-07 复核：PR #69 只修复 row reduction，column reduction 仍使用 destination B.DIM

PR #69 / d3f8e472b08f311b4cd58b100edbcf6a67ba3351 已正确修复：

TROWSUM/TROWMAX/TROWMIN/TROWPROD/TROWARGMAX/TROWARGMIN

静态和动态分支均已改用 source ValidCol/ValidRow/Cols。row 子项可标记为 FIXED。

但当前 TCOLSUM/MAX/MIN/PROD/ARGMAX/ARGMIN 仍为：

// static
tile_shape_out::ValidCol,
tile_shape_out::ValidRow,  // 恒为 1
tile_shape_out::Cols,

// dynamic
dst.GetValidCol(),
dst.GetValidRow(),         // 恒为 1
tile_shape_out::Cols,

PTO reduction schema 对 row/column 使用同一个 source-geometry 合同：
SelectedBundleComparisonShapeMatches(source)。因此 column reduction 仍可能只归约 source row0，
属于正常退出但数值错误的高风险路径。

建议保留 #63 OPEN，并对 column 六个操作做与 PR #69 对称的 source 绑定修复和逐元素 golden。

重复跟踪说明：#66 仅覆盖 row 子集并已随 PR #69 关闭；#63 继续作为 column remainder tracker。

[zhoubot]

2026-09-08 当前 HEAD 复核：#82/#83 未修复 column reduction，反而扩展了 destination-derived 四分支

当前版本：

Linx-TileOP-API linx = 331a091b45152a16370c4a8861d2da56c38a82c6

PR #82/#83 将静态/动态维度 lowering 扩展成 SS/SD/DS/DD 四分支，但
TCOLSUM/MAX/MIN/PROD/ARGMAX/ARGMIN 的四个分支仍全部由 destination 驱动：

tile_shape_out::ValidCol
tile_shape_out::ValidRow
dst.GetValidCol()
dst.GetValidRow()
tile_shape_out::Cols

其中 column-reduction destination 的 ValidRow 按定义为 1，因此 LB1 仍被编码为 1，
无法表达 source 要被归约的全部行数。

这说明 #63 的 column remainder 未被后续 per-dimension sweep 修复；而 sweep 没有按 source/destination
语义区分 reduction 与 expansion，可能让错误在四个模板分支中更稳定地存在。

请按 PR #69 修复 row reduction 的方式，对 column 六个操作逐分支改用 source geometry，
并增加一个多行 source 的结果 golden，避免只验证编译或指令字符串。

[jiale-wangOwO]

@WLDFA @VV0003 跟进提醒：SuperScalarModel #560 保持 current-ASL 的 source-geometry 解释，不会兼容 destination-derived B.DIM。PR #573 已通过 required CI，模型侧不再是 #63 row/column remainder 的阻塞点。

当前 #63 仍显示六个 column-reduction 在 SS/SD/DS/DD 分支中把 destination 的 ValidRow=1 写入 LB1，存在静默只归约 row0 的风险。请优先给 TCOLSUM/MAX/MIN/PROD/ARGMAX/ARGMIN 做与 row 修复对称的 source-geometry lowering，并提供多行 source 的逐元素 golden 与生成 ELF/反汇编证据；完成后请回贴 PR 和验证结果，供 #560 复测。