RV32I regs and mem shown as 64 bits · Issue #66 · riscv...
Using the following commands: riscv64-unknown-elf-gcc -nostdlib -nostartfiles -Tlink.ld -m32 -o inst inst.s spike --isa=RV32I -d inst and then inside spike any of these: pc 0 reg 0 mem 200 the values are displayed as 64 bit values (16 he...