openvm_instructions/
riscv.rs

1
2
3
4
5
6
7
/// 32-bit register stored as 4 bytes (4 limbs of 8-bits) in OpenVM memory.
pub const RV32_REGISTER_NUM_LIMBS: usize = 4;
pub const RV32_CELL_BITS: usize = 8;

pub const RV32_IMM_AS: u32 = 0;
pub const RV32_REGISTER_AS: u32 = 1;
pub const RV32_MEMORY_AS: u32 = 2;