Repository navigation

fix(sve): 终审递延清零——六类越界修复 + 守卫/命名/孤儿接线 (all-VL Phase 2 收尾硬化) - #294

Merged

wangxumarshall merged 24 commits into

mainfrom

feat/allvl2-hardening

Oct 26, 2026

Merged

fix(sve): 终审递延清零——六类越界修复 + 守卫/命名/孤儿接线 (all-VL Phase 2 收尾硬化)#294
wangxumarshall merged 24 commits into
mainfrom
feat/allvl2-hardening

Commits on Oct 26, 2026
- fix(sve): 六类 VL>512/128 越界修复 + 3 漂移守卫 + fmopa assert release 化 (终审递延清零 1/2)
  
  wangxu
  authored and
  sim
  committed
  5464790
- refactor(sve/ipsec): x8/x4 函数名残留清理——命名与 N 流语义一致 (终审递延清零 2/2 part A)
  
  wangxu
  authored and
  sim
  committed
  1ba93be
- feat(sve512): 接线孤儿 sve512_fma_arm——ea879f68 悬置两阶段后进入构建 (终审递延清零 2/2 part B)
  
  wangxu
  authored and
  sim
  committed
  593da52
- docs(progress): 收尾硬化单元条目 + 战役终态总览
  
  wangxu
  authored and
  sim
  committed
  437d7e5
- fix(sve512): fma_arm scatter 缓冲 worker 私有化——消 -n>1 假 SDC 竞争 (PR #294 检视 round 1)
  
  wangxu
  authored and
  sim
  committed
  15ac21a
- fix(sve/arith): mul512 分块谓词化 + SVE 低半积参与累加——消 1024-bit 越界读与乘法器盲区 (PR #294 检视 round 1)
  
  wangxu
  authored and
  sim
  committed
  57d835a
- fix(sve/arith): operand_space sve_mul_words 谓词钳制 4-lane 行宽——消 VL>256 栈越界 (PR #294 检视 round 1)
  
  wangxu
  authored and
  sim
  committed
  f4f8779
- fix(sve/case): neon_rot_2src phase[8]→SVE_MAX_VECTOR_BYTES/8——消 1024-bit 栈越界 (PR #294 检视 round 1)
  
  wangxu
  authored and
  sim
  committed
  8a00de3
- refactor(sve/fma2): movmskpspd 钳制残留清理——死变量 vals[32] 删除, out 容量对齐行宽 (PR #294 检视 round 1)
  
  wangxu
  authored and
  sim
  committed
  c3e8649
- fix(sve/arith): mul512 低半积 per-lane 逐项比对——消 i+j>=NUM_WORDS 乘法器盲区 (PR #294 检视 round 2)
  
  wangxumarshall
  authored and
  sim
  committed
  7b12bc2
- fix(sve/ipsec): sve_hmac 补流数维度容量守卫——三个越界维度对称封口 (PR #294 检视 round 2)
  
  wangxumarshall
  authored and
  sim
  committed
  67c9d9d
- fix(sve/case): neon_rot_u8x16_sve 对齐基数 max→真 lcm——消非 2 幂 VL 下 aligned_alloc 尺寸违约 (PR #294 检视 round 2)
  
  wangxumarshall
  authored and
  sim
  committed
  57f8db8
- docs(progress): PR #294 检视 round 2 处置入档——六发现裁决 + 三路径零执行边界声明 (发现 #40 处置)
  
  wangxumarshall
  authored and
  sim
  committed
  aa23ce5
- docs(readme/claude): 用例计数全量同步实测——478 PROD / 484 quality=0 / 489 全量 (PR #294 检视 round 2, 发现 #41)
  
  wangxumarshall
  authored and
  sim
  committed
  88df88d
- fix(sve/arith): mul512 per-lane 冷路径诊断 + init self-check 失败化 (PR #294 检视 round 3)
  
  wangxu
  authored and
  sim
  committed
  9b17d47
- fix(sve512): stencil_axis run 侧守卫 release 化 + VL 漂移 fail-closed (PR #294 检视 round 3)
  
  wangxu
  authored and
  sim
  committed
  191b2ec
- fix(sve/mem+kreg): agu_stress_2src 尾批 slack + 漂移 fail-closed; fma_f32 漂移守卫 (PR #294 检视 round 3)
  
  wangxu
  authored and
  sim
  committed
  6fedf43
- docs(claude): gem5-fi 规则路径勘误——code-review/ 已失效, 真实 checkout 在 operator/ (PR #294 检视 round 3)
  
  wangxu
  authored and
  sim
  committed
  44f717e
- docs(sve512): fma_arm docblock 补 gem5-fi 证据简表 + stencil host 声明勘误 (PR #294 检视 round 3)
  
  wangxu
  authored and
  sim
  committed
  73acc48
- docs(progress): PR #294 round 3 处置入档——8 意见裁决 + 3 移交项 + round 1 补档 + 三处勘误 + 越界修复全量审计
  
  wangxu
  authored and
  sim
  committed
  225604d
- fix(sve/kreg): kreg 四兄弟补 init/run VL 漂移 fail-closed 守卫 (PR #294 检视 round 4, 发现 #49 传播)
  
  wangxumarshall
  authored and
  sim
  committed
  0a9d54b
- docs(progress): PR #294 检视 round 4 处置入档——robot5 定向检视两 findings 全采纳
  
  wangxumarshall
  authored and
  sim
  committed
  de02664
- fix(sve/kreg): mask 尾批全宽 ldr z 越界读补 slack——kreg 家族 slack 化收尾 (PR #294 检视 round 5)
  
  wangxu
  authored and
  sim
  committed
  9af2e2a
- docs(progress): PR #294 检视 round 5 处置入档——两 coderabbit findings 全采纳 + 21-run gem5 实证 + 移交观察
  
  wangxu
  authored and
  sim
  committed
  0484838

Commits

Commits on Oct 26, 2026