Skip to main content

lower_whole_program_lane

logicaffeine_compile::spatial::lower::rdu_lanes

Function lower_whole_program_lane 

Source 
pub fn lower_whole_program_lane(
    source: &str,
    chip: RduChip,
) -> Result<SpatialProgram, SpatialReject>
Expand description

Lower source onto chip through the whole-program lane: the first function as a Scalar stage over WHOLE_PROGRAM_LANES-lane input vectors, or a ## Main of Shows as the tape-select stage; the program is run through the pinned passes to Verified (with its choreography certificate and the per-PE certificate where the body is ALU + select). Every shape the dataflow lane cannot carry is refused by name.