docs: adapt VMI ISA to tile ops

[zhangstevenunity]

概述

• 将 VMI 数据与 mask 类型统一为 !pto.vmi.tilereg<MxNxdtype>，mask 使用 i1 dtype。
• 使用 treshape 统一一维/二维 tile reg 转换及等总 bit-size 的 dtype reinterpretation，并用二维 shape 表达 group。
• 按 Tile Op 同语义名称重命名 VMI 操作；VMI ISA 各章节以目标分支原文为基线，保留原有主体描述、operand/result 表、示例和 lowering 说明，主要修改指令名与数据类型。
• scalar vbrc 映射为 texpands，grouped vbrc 映射为 trowexpand；texpands 不承担 predicate mask 创建语义。
• create_mask / create_group_mask 保留为没有直接同义 Tile Op 的 VMI predicate 指令，结果分别使用 1xLxi1 / MxNxi1。
• 无等价单操作的 vselr、vexpdif、vmula、dhist 继续保留 VMI 名称；dhist 与 thistogram 的操作数角色及结果契约不同。
• 明确 vexpdif 不是 trowexpandexpdif 的直接映射；仅在同为 f32、max 可证明为 row-splat、mask/pmode 可精确保持时允许受限优化复用。
• 明确 vmull 映射为结果 dtype 为 i64 / ui64 的 widening tmul。
• 新增 VMI 到 Tile Op 的适配设计文档，记录映射原则与关键语义差异。

待讨论的设计点

• 使用 tilereg valid_col 元数据部分替代 prefix mask 的可行性及动态 SSA 绑定方式。
• VMI load/store 直接接受 UB tile_buf subview 访存对象的可行性。

验证

• git diff --check
• 12 份 Markdown 文档代码围栏配对检查
• 文档本地链接有效性检查
• 旧 !pto.vmi.vreg / !pto.vmi.mask 类型与错误 predicate texpands 映射残留检查
• 设计文档编号章节仅保留第 1～6 章，末尾为“待讨论的设计点”