如何在RISC-V汇编中实现64位整数乘法并输出结果？

核心问题排查与解决 #

你遇到的结果错误，大概率是变量定义不规范、混淆有符号/无符号乘法指令，或者打印逻辑出错导致的。下面是完整的正确实现步骤与示例代码：

1. 正确定义64位变量 #

在.data段中，必须用.dword（双字）定义64位变量，不能用.word（单字，仅32位），否则加载后会被符号扩展为错误的64位值：

.data
    num_a: .dword 0x123456789ABCDEF0  # 第一个64位整数
    num_b: .dword 0x0FEDCBA987654321  # 第二个64位整数
    prod_low: .dword 0                # 存储乘积低64位
    prod_high: .dword 0               # 存储乘积高64位
    print_format: .string "乘积：0x%lx%lx\n"  # 128位结果的打印格式

2. 正确加载64位数值 #

使用ld（Load Doubleword）指令加载64位变量到寄存器，这是RV64架构下的标准64位加载指令：

ld x10, num_a(x0)  # 将num_a加载到x10
ld x11, num_b(x0)  # 将num_b加载到x11

3. 64位乘法指令的正确使用 #

RISC-V的乘法指令需要区分有符号和无符号场景：

• mul rd, rs1, rs2：计算rs1 * rs2的低64位，无论有符号/无符号，结果都一致。
• mulh rd, rs1, rs2：计算有符号乘法的高64位。
• mulhu rd, rs1, rs2：计算无符号乘法的高64位。

如果你的输入是无符号数却用了mulh，会得到错误的高64位结果，这是常见踩坑点。示例代码：

# 假设输入是有符号整数，计算完整128位乘积
mul x12, x10, x11       # x12 = 乘积低64位
mulh x13, x10, x11      # x13 = 乘积高64位（有符号）

# 如果是无符号整数，替换mulh为mulhu
# mulhu x13, x10, x11

4. 存储乘积结果 #

用sd（Store Doubleword）指令将寄存器中的结果存回变量：

sd x12, prod_low(x0)    # 存储低64位结果
sd x13, prod_high(x0)   # 存储高64位结果

5. 打印输出实现 #

以RISC-V Linux系统调用为例，通过ecall调用打印服务，注意参数顺序和系统调用号：

la x10, print_format    # 格式字符串地址传入x10
ld x11, prod_high(x0)   # 高64位结果作为第二个参数
ld x12, prod_low(x0)    # 低64位结果作为第三个参数
li x17, 64              # 系统调用号64对应printf类输出
ecall

完整可运行示例代码 #

.data
    num_a: .dword 0x123456789ABCDEF0
    num_b: .dword 0x0FEDCBA987654321
    prod_low: .dword 0
    prod_high: .dword 0
    print_format: .string "乘积：0x%lx%lx\n"

.text
    .global _start

_start:
    # 加载64位输入值
    ld x10, num_a(x0)
    ld x11, num_b(x0)

    # 执行有符号64位乘法
    mul x12, x10, x11
    mulh x13, x10, x11

    # 存储结果
    sd x12, prod_low(x0)
    sd x13, prod_high(x0)

    # 打印结果
    la x10, print_format
    ld x11, prod_high(x0)
    ld x12, prod_low(x0)
    li x17, 64
    ecall

    # 退出程序
    li x17, 93
    li x10, 0
    ecall

常见错误总结 #

• 用.word定义64位变量，导致加载后数值被截断或符号扩展。
• 无符号乘法误用mulh，而非mulhu，导致高64位计算错误。
• 打印时参数顺序颠倒，或使用了错误的系统调用号。
• RV32环境下强行使用64位指令（需确保编译/运行环境是RV64）。

内容的提问来源于stack exchange，提问作者Vatic