On 5/11/20 11:03 AM, Richard Henderson wrote: >> + if (m->regs[i] != a->regs[i]) { >> + fprintf(f, " X%-2d : %016" PRIx64 " vs %016" PRIx64 "\n", >> + i, m->regs[i], a->regs[i]); >> + } > > riscv doesn't name its registers with an x.
Duh. It does. Nevermind this. r~