RISCV-LEARN

下面按类别把 RVV（RISC‑V Vector 扩展）里常见的几个向量相关 CSR 讲清楚：vtype、vl、vlenb、vstart、vxrm、vxsat，以及历史上的 vcsr。

一、用于描述“当前向量配置”的寄存器

• vtype（向量类型描述）

  • 含义：编码当前向量配置，包括元素宽度 SEW、寄存器组倍数 LMUL，以及尾元素与掩码的“任意值/不破坏”策略。
  • 主要字段（读出时可见）：
    • VILL：非法配置标志位（最高位）。为 1 表示当前 vtype 非法，此时除 vsetvl/vsetvli/vsetivli 外的向量指令都会触发非法指令异常。通常上电后 VILL=1，直到第一次设置成功。
    • VMA（mask agnostic）：1 表示被掩掉的元素可写成任意值；0 表示不改变原值（undisturbed）。
    • VTA（tail agnostic）：1 表示超过 vl 的“尾部元素”可写成任意值；0 表示不改变原值。
    • VSEW：元素宽度编码，SEW = 8 « VSEW（例如 VSEW=0→8 位，1→16 位，2→32 位，3→64 位，…）。
    • VLMUL：寄存器组倍数编码，表示一个“向量寄存器组”占用多少条物理向量寄存器，支持 1,2,4,8 以及分数 1/2,1/4,1/8（分数 LMUL 主要用于超宽 SEW 的场景）。常见映射：0→LMUL=1，1→2，2→4，3→8，5→1/2，6→1/4，7→1/8（4 保留）。
  • 访问方式：只读 CSR，不能用普通 CSR 写指令改；必须通过 vsetvli/vsetivli/vsetvl 等指令设置。

• vl（vector length，实际向量长度）

  • 含义：当前指令应处理的“活动元素”个数，范围 0..VLMAX。所有向量算子都只对索引 [0, vl-1] 的元素生效。
  • 设置方式：由 vsetvli/vsetivli/vsetvl 根据请求的 AVL（应用向量长度）、VSEW、LMUL 以及硬件上限决定，可能小于请求值（饱和到硬件能力）。
  • 典型计算：VLMAX = (vlenb8 / SEW) * LMUL。比如 VLEN=128b（vlenb=16B）、SEW=32、LMUL=2，则 VLMAX = (168/32)*2 = 8。

• vlenb（vector length in bytes）

  • 含义：每条物理向量寄存器的字节数，即 VLEN/8。它是实现相关的常量（如 16、32、64…），且为 2 的幂，VLEN ≥ 128b。
  • 用途：用于计算 VLMAX、指针步长等。只读 CSR，固定不变。

二、用于异常恢复/分段执行的寄存器

• vstart
  • 含义：向量指令从第几个元素开始执行的“起始索引”。正常执行时为 0。为支持精确异常/中断，硬件在向量指令被中断/异常时，将 vstart 设为“尚未完成的第一个元素的索引”，返回后可从该元素继续执行。
  • 语义要点：
    • 向量指令逻辑上按元素 i= vstart..(vl-1) 迭代。
    • 软件也可主动写 vstart 跳过前面元素（例如做分段循环、容错恢复）。
    • vstart 的有效范围是 0..(vl-1)。写入超范围值的行为不应依赖（实现通常会裁剪或产生非法）。

三、定点舍入与饱和相关寄存器

• vxrm（vector fixed-point rounding mode）

  • 含义：控制“需要舍入”的定点向量操作（如定点右移带舍入、定点窄化转换等）的舍入模式。
  • 编码（2 位）：
    • 0：RNU（Round to Nearest, ties Up，最近取整，.5 向上）
    • 1：RNE（Round to Nearest, ties to Even，最近取整，.5 向偶）
    • 2：RDN（Round Down，向下取整，往 −∞）
    • 3：ROD（Round to Odd，舍入结果最低位置 1 的“向奇”规则）
  • 仅影响定点向量指令；浮点向量指令用的是 FPU 的 FRM（fcsr.frm）。

• vxsat（vector fixed-point saturation flag）

  • 含义：定点“饱和”类向量操作（如饱和加减、饱和移位、饱和窄化）如果任一元素发生饱和，就把 vxsat 置 1。它是“sticky”标志：一旦置位会一直保持，直到软件清零。
  • 使用习惯：操作前先写 0 清除，操作后读取检查是否发生过饱和。
  • 读写：通常只用最低位；写 0 清零，写 1 置位（其余位保留或忽略，依实现）。

四、关于 vcsr（历史别名/兼容寄存器）

• 在 RVV 早期草案中存在 vcsr，把 vxrm 和 vxsat 合在一个寄存器里：
  • vcsr[0] = vxsat，vcsr[2:1] = vxrm，其它位保留。
• 在已批准的 RVV 1.0 规范中，vcsr 被拆分为独立的 vxsat 与 vxrm 两个 CSR；vcsr 本身不是必需的。有些实现可能仍提供 vcsr 作为别名以兼容旧软件，也可能完全不实现（访问会非法）。新软件应优先使用独立的 vxrm/vxsat。

补充要点与小贴士

• 访问权限与生效条件：这些 CSR 是非特权层面的，但只有在该 hart 启用了向量扩展（例如 mstatus.VS 不是 Off）时才可用。
• vtype/vl 是只读 CSR，必须通过 vsetvli/vsetivli/vsetvl 设置；vlenb 只读常量；vstart/vxrm/vxsat 可读写。
• 尾/掩码策略很重要：当 VTA/VMA 为 agnostic 时，被屏蔽或“尾部”的元素允许写入任意值，可给实现更大优化空间；若需要保留原值，使用 undisturbed 策略。
• 计算与循环结构：常见写法是用 vsetvli 按目标 SEW/LMUL 配置 vtype，同时得到 vl，据此分段处理长向量；发生异常（如分页缺页）后可依赖 vstart 恢复继续。