RISC-V内嵌汇编csrrs读取PMP配置寄存器编译报错求助

问题原因分析 #

1. 第一次错误（unknown CSR a5）
   RISC-V的csrrs指令要求第二个操作数（CSR地址）必须是立即数，不能是通用寄存器。你用"r"约束时，编译器会把CSR_PMPCFG_BASE + PMPCFG_STRIDE * i的计算结果放到通用寄存器（比如a5）中，汇编代码变成csrrs %0, a5, x0——这里的a5被当成了CSR名称，而非寄存器中的数值，因此汇编器报错“未知CSR”。

2. 第二次警告（operand 1 probably does not match constraints）
   换成"i"约束后，该约束要求操作数是编译期常量，但循环变量i是运行时变量，CSR_PMPCFG_BASE + PMPCFG_STRIDE * i无法在编译期确定数值，因此编译器抛出约束不匹配的警告。

解决方案 #

因为PMPCFG系列CSR的数量是固定的（由CONFIG_PMP_SLOTS决定，这里是4个：0x3a0、0x3a4、0x3a8、0x3ac），可以通过编译期循环展开或手动展开循环的方式，让每个CSR地址变成编译期常量，满足"i"约束的要求。

方案1：编译期自动循环展开（推荐） #

利用GCC的#pragma GCC unroll指令强制展开循环，让每个循环迭代中的i成为编译期常量，从而让CSR地址被计算为立即数：

#define CONFIG_PMP_SLOTS 16
#define PMPCFG_STRIDE 4
#define CSR_PMPCFG_BASE  0x3a0

void csr_pmp_check(){
    #pragma GCC unroll 4
    for(int i = 0; i < (CONFIG_PMP_SLOTS / PMPCFG_STRIDE); i++)
    {
        int pmp_cfg;
        // 断言i是编译期常量，确保CSR地址能被正确优化
        _Static_assert(__builtin_constant_p(i), "Loop variable must be compile-time constant");
        __asm__ volatile("csrrs %0, %1, x0"
                         : "=r" (pmp_cfg)
                         : "i" (CSR_PMPCFG_BASE + PMPCFG_STRIDE * i)
                         );
    }
}

方案2：手动展开循环 #

如果不想依赖编译器的循环展开特性，可以直接手动编写每个CSR的访问代码：

#define CONFIG_PMP_SLOTS 16
#define PMPCFG_STRIDE 4
#define CSR_PMPCFG_BASE  0x3a0

void csr_pmp_check(){
    int pmp_cfg;

    // 访问PMPCFG0 (0x3a0)
    __asm__ volatile("csrrs %0, %1, x0"
                     : "=r" (pmp_cfg)
                     : "i" (CSR_PMPCFG_BASE)
                     );

    // 访问PMPCFG1 (0x3a4)
    __asm__ volatile("csrrs %0, %1, x0"
                     : "=r" (pmp_cfg)
                     : "i" (CSR_PMPCFG_BASE + PMPCFG_STRIDE * 1)
                     );

    // 访问PMPCFG2 (0x3a8)
    __asm__ volatile("csrrs %0, %1, x0"
                     : "=r" (pmp_cfg)
                     : "i" (CSR_PMPCFG_BASE + PMPCFG_STRIDE * 2)
                     );

    // 访问PMPCFG3 (0x3ac)
    __asm__ volatile("csrrs %0, %1, x0"
                     : "=r" (pmp_cfg)
                     : "i" (CSR_PMPCFG_BASE + PMPCFG_STRIDE * 3)
                     );
}

关键注意事项 #

• RISC-V架构中，所有CSR相关指令（csrrs/csrrc/csrrw等）的CSR操作数必须是立即数，不能通过通用寄存器传递。
• 内嵌汇编的"i"约束仅接受编译期可确定的常量，因此循环变量必须能被编译器优化为常量值（通过循环展开或固定迭代次数实现）。

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