开发RISC-V CPU模拟器：跳转指令执行后是否需使PC额外自增4？

核心问题：PC更新逻辑错误 #

你的clock方法采用「执行指令 → PC +=4」的流程，这对普通非跳转/分支指令是正确的，但分支指令（如BGEU）满足条件时，绝对不能再执行PC +=4。RISC-V架构规定，分支指令的目标地址是「当前指令的PC值 + 符号扩展并左移1位的立即数」，如果执行完分支指令的PC修改后再加4，会导致目标地址偏移错误。

你的BGEU代码存在的问题 #

当前代码中，条件满足时执行pc += inmediate，之后clock方法会再执行pc +=4，最终PC会变成原PC + inmediate +4，完全不符合RISC-V的规范。此外需要确认：

• 你的instDecoded.inmediate是否已经完成符号扩展（分支偏移支持向前跳转，需按有符号处理）和左移1位的处理？RISC-V的B型指令立即数是12位，必须左移1位得到字节偏移，再与当前PC相加才能得到正确的目标地址。

修正方案 #

方案1：调整clock方法的逻辑（推荐） #

改用「先计算默认下一个PC（PC+4）→ 执行指令，若分支/跳转满足条件则修改下一个PC → 最后将PC设置为下一个PC」的流程，这更贴合RISC-V的实际执行逻辑：

void CPU::clock() {
    uint32_t next_pc = pc + 4; // 预设普通指令的下一个PC
    execute_current_instruction(); // 执行当前指令，分支满足时直接修改next_pc
    pc = next_pc;
}

对应的BGEU指令修改为：

void CPU::BGEU() {
    uint8_t rs1 = instDecoded.registers[0];
    uint8_t rs2 = instDecoded.registers[1];
    // 确保immediate是已经完成符号扩展+左移1位的32位偏移值
    int32_t immediate = static_cast<int32_t>(instDecoded.inmediate); 

    // 无符号比较逻辑，转换为uint32_t是正确的
    if (static_cast<uint32_t>(registers[rs1]) >= static_cast<uint32_t>(registers[rs2])) {
        next_pc = pc + immediate; // 直接覆盖预设的next_pc为分支目标地址
    }
}

方案2：在分支指令中抵消后续的PC+4（不推荐） #

如果不想修改clock流程，可以在分支条件满足时执行pc += (immediate - 4)，这样后续的pc +=4执行后，最终PC会等于原PC + immediate。但这种方式逻辑不够直观，不利于后续维护和其他跳转指令的统一处理。

额外验证点 #

• 确认寄存器registers[rs1]和registers[rs2]的存储类型：如果是有符号整数（如int32_t），转换为uint32_t进行无符号比较完全符合BGEU的语义要求。
• 测试边界场景：比如rs1/rs2取值为0、最大无符号值（0xFFFFFFFF）时，验证分支是否能正确触发或不触发。

内容的提问来源于stack exchange，提问作者Iker Rodríguez Hernández