Skip to main content

wpe_caravel_wire

logicaffeine_compile::codegen_sva::wpe_caravel

Function wpe_caravel_wire 

Source 
pub fn wpe_caravel_wire(
    cfg: &WProgConfig,
    params: &[i64],
    heap_init: &[i64],
) -> Result<Vec<u8>, Vec<(&'static str, usize, usize)>>
Expand description

The bytes a host sends the Caravel chip to run cfg on params with heap_init streamed ahead of the run, or every table of the shipped profile the program overflows as (engine parameter, demand, cap). The chip traps a call deeper than its frame stack and a heap access past its region on its own; every other table is checked here, before anything is sent, because an overflowing table would be loaded into the wrong words.