Module util

Functions

elf_memory_image_to_openvm_memory_image

Converts our memory image (u32 -> [u8; 4]) into Vm memory image ((as, address) -> word)

from_b_type

Create a new Instruction from a B-type instruction.

from_i_type

Create a new Instruction from an I-type instruction. Should only be used for ALU instructions because imm is transpiled in a special way.

from_i_type_shamt

Create a new Instruction from an I-type instruction with a shamt. It seems that shamt can only occur in SLLI, SRLI, SRAI.

from_j_type

Create a new Instruction from a J-type instruction.

from_load

Create a new Instruction from a load operation

from_r_type

Create a new Instruction from an R-type instruction.

from_s_type

Create a new Instruction from an S-type instruction.

from_u_type

Create a new Instruction from a U-type instruction.

nop

unimp

Create a new Instruction that exits with code 2. This is equivalent to program panic but with a special exit code for debugging.