RISC-V CPU中程序计数器（PC）溢出时的行为探究

架构老林

2026-8-6

RISC-V程序计数器（PC）溢出的行为分析

根据RISC-V指令集规范（20191213版本），PC的更新采用无符号整数加法，溢出时会自动执行模2^XLEN运算（XLEN为架构位宽，如RV32对应2^32），即回绕到地址空间的起始位置，不会触发特殊异常或中断。以下针对不同场景逐一分析：

1. RV32G（IALIGN=32）架构：执行0xFFFF'FFFC处的32位NOP

RV32G要求指令按32位对齐，0xFFFF'FFFC是合法的32位对齐地址。执行该32位NOP后，PC增加4，计算得0xFFFF'FFFC + 4 = 0x10000'0000，超出32位无符号整数范围后回绕至0x0000'0000，执行流程从该地址正常继续。

2. RV32GC（IALIGN=16）架构：执行0xFFFF'FFFE处的16位NOP

RV32GC支持16位压缩指令，允许指令按16位对齐，0xFFFF'FFFE是合法的16位对齐地址。执行该16位NOP后，PC增加2，计算得0xFFFF'FFFE + 2 = 0x10000'0000，32位无符号溢出后回绕至0x0000'0000，执行流程无异常继续。

3. RV32GC架构：执行0xFFFF'FFFC处的16位NOP

0xFFFF'FFFC是合法的16位对齐地址，执行该16位NOP后，PC先增加2变为0xFFFF'FFFE，下一次取指直接从该地址读取即可——这是合法的16位对齐地址，不存在跨地址空间边界的问题。

需要注意：RV32GC中PC始终是16位对齐的（最低位为0），因此0xFFFF'FFFF这类非对齐地址永远不会被PC指向，也就不会出现从该地址取16位指令导致跨边界的情况。

跨边界取指的架构设计对比

RISC-V的指令对齐要求（IALIGN）从根源上避免了跨地址空间边界的取指：最大合法对齐地址加上指令长度后，溢出回绕的结果恰好是地址空间的起始对齐地址，无需跨边界读取。而x86的历史问题源于其可变长度指令设计，允许非对齐取指，才会出现跨页或跨地址空间的取指异常，这与RISC-V的设计逻辑本质不同。