Struct JitFunction 

pub struct JitFunction<M> {
    pub public_values_stream: Vec<u8>,
    pub memory: M,
    pub hints: Vec<(u64, Vec<u8>)>,
    pub pc: u64,
    pub registers: [u64; 32],
    pub clk: u64,
    pub global_clk: u64,
    pub exit_code: u32,
    pub public_value_digest: [u32; 8],
    pub debug_sender: Option<SyncSender<Option<State>>>,
    /* private fields */
}

A type representing a JIT compiled function.

The underlying function should be of the form [fn(*mut JitContext)].

Fields

public_values_stream: Vec<u8>

A stream of public values from the program (global to entire program).

memory: M

Memory structure,

hints: Vec<(u64, Vec<u8>)>

During execution, the hints are read by the program, and we store them here. This is effectively a mapping from start address to the value of the hint.

pc: u64

registers: [u64; 32]

clk: u64

global_clk: u64

exit_code: u32

public_value_digest: [u32; 8]

The public value digest words emitted by COMMIT syscalls.

debug_sender: Option<SyncSender<Option<State>>>

Implementations

impl<M: JitMemory> JitFunction<M>

pub fn with_initial_memory_image(&mut self, memory: Arc<HashMap<u64, u64>>)

Write the initial memory image to the JIT memory.

Panics

Panics if the PC is not the starting PC.

pub fn push_input(&mut self, input: Vec<u8>)

Push an input to the input buffer.

Panics

Panics if the PC is not the starting PC.

pub fn set_input_buffer(&mut self, input: VecDeque<Vec<u8>>)

Set the entire input buffer.

Panics

Panics if the PC is not the starting PC.

pub unsafe fn call(&mut self, trace_buf_ptr: *mut u8)

Call the function, returning the trace buffer, starting at the starting PC of the program.

If the PC is 0, then the program has completed and we return None.

SAFETY

Relies on the builder to emit valid assembly and that the pointer is valid for the duration of the function call.

impl<M: JitResetableMemory> JitFunction<M>

pub fn reset(&mut self)

Reset the JIT function to the initial state.

This will clear the registers, the program counter, the clock, and the memory, restoring the initial memory image.

Trait Implementations

impl<M: Send> Send for JitFunction<M>