RISC-V指令展开：如何用asm volatile转Load/Store为lb序列？

问题背景 #

需要编写一个C函数，接收32位RISC-V Load/Store（h/w/d类）指令编码，将其展开为lb（字节加载）指令序列，通过asm volatile实现。例如输入lw t1,3(t0)的编码0032a303，需展开为以下指令序列：

lb t2, 3(t0);
slli t2, t2, 0;
or t1, t1, t2;
lb t2, 4(t0);
slli t2, t2, 8;
or t1, t1, t2;
lb t2, 5(t0);
slli t2, t2, 16;
or t1, t1, t2;
lb t2, 6(t0);
slli t2, t2, 24;
or t1, t1, t2;

（注：原示例中后两条lb的地址存在错误，已修正为递增偏移）

尝试编写的代码编译时出现impossible constraint错误，代码如下：

void load_bytes(reg_t rd, reg_t rs1, reg_t imm, reg_t iter){
    for (int i = 0; i < iter ; i ++) {
        // "lb" from *(rs1 + imm + i) into t0
        // "slli" t0 by (iter - i) bytes
        // "or" t0 with rd
        asm volatile(
            "lb t0, %[imm_val](%[rs1_val])\n"
            "slli t0, t0, %[shift_val]\n"
            "or %[rd_val], %[rd_val], t0\n"
            : [rd_val] "+r" (rd)
            : [rs1_val] "r" (rs1), [imm_val] "i" (imm + i), [shift_val] "i" (sizeof(byte_t)*iter - i)
            : "t0"
        );
    }
}

错误原因分析 #

• 立即数约束不匹配：[imm_val] "i" (imm + i)中的imm + i是运行时计算值，而"i"约束要求必须是编译期常量。RISC-V的lb偏移量虽支持立即数，但imm和i都是函数参数（运行时变量），无法通过"i"约束传递。
• 移位逻辑错误：sizeof(byte_t)*iter - i的计算不符合字节拼接需求，每个字节对应的移位位数应为i * 8（单字节占8位），原逻辑会导致移位值完全错误。
• 参数传递无效：rd按值传递，内联汇编修改的是局部副本，外部无法获取最终结果，需要改为指针或引用传递。

修复后的代码 #

#include <stdint.h>

typedef uintptr_t reg_t;
typedef uint8_t byte_t;

void load_bytes(reg_t *rd, reg_t rs1, reg_t imm, reg_t iter){
    *rd = 0; // 初始化目标寄存器值，避免初始值干扰或运算
    for (int i = 0; i < iter ; i ++) {
        reg_t offset = imm + i;
        reg_t shift = i * 8; // 修正移位位数计算逻辑
        asm volatile(
            "lb t0, %[offset](%[rs1_val])\n"
            "slli t0, t0, %[shift_val]\n"
            "or %[rd_val], %[rd_val], t0\n"
            : [rd_val] "+r" (*rd)
            : [rs1_val] "r" (rs1), [offset] "r" (offset), [shift_val] "i" (shift)
            : "t0"
        );
    }
}

关键修改点 #

1. 将rd改为指针传递，确保内联汇编修改的值能被外部获取。
2. 用临时变量offset存储imm + i，通过"r"约束传递运行时偏移量。
3. 修正移位位数为i * 8，符合字节拼接的位运算逻辑。
4. 初始化*rd为0，避免初始值影响最终的或运算结果。

额外优化建议 #

如果要避免循环开销，可结合编译器特性（如GCC的__builtin_constant_p）用宏或编译期展开生成指令序列；若需无符号字节加载，应替换lb为lbu指令。

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