在 C 中 ，RS1U 为 uint32_t 型， RS1U ＜＜ 32 的值等于 RS1U

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

问题

这个问题是在验证 RISC-V P 扩展时，写C 的model 时遇到的。有一条P指令 add64 , （具体见add64 描述），在写参考模型 时， 有一句 rs1 = ( RS1U << 32) + ZEXT32( RS1), 运算的结果 总是为 RS1U + RS1 的值。 意识到，在这里 RS1U << 32 的值等于 RS1U。 RS1U 为 uint32_t 型 。

一、修改

对 rs1 的计算进行了修改， rs1，rs2 本身为 unit64_t 类型，这样 在运算的时候都会强制类型转换为unit64_t。 model 部分代码如下：

二、add64 的简述

spec 如下：

汇编格式为 add64 ，rd , rs1，rs2; 在 rv32 中 ，它的算法如下：
{RDU,RD}= 64’h{ RS1U,RS1} + 64’h{RS2U,RS2};
在add64指令中， gpr rd , rs1, rs2 的地址分别由5位二进制数表示。 5位 中的高4位固定后 可以确定 2 个gpr 。
RDU ,RS2U,RS1U 为 {addr [4:1] ,1} ; RD ,RS2,RS1为 {addr [4:1] ,0} ;
RS2U,RS1U,RS2,RS1 分别是 4 个 GPR 中的值，将 RS1U 作为高32位，将 RS1作为低32位，拼接成64 位的数1。同时 RS2U 作为高32位，将 RS2作为低32位，拼接成64 位的数2 ; 数1 + 数2 得到64 位 的数3.。数3 的低32 位写到RD；高32 位写到 RDU。

总结

在 写C 的时候，需要注意 变量的类型。