Skip to main content

simt_reduce_to_bounded

logicaffeine_compile::codegen_sva::gpu_simt_rtl

Function simt_reduce_to_bounded 

Source 
pub fn simt_reduce_to_bounded(
    eng: &SimtEngine,
    op: AluOp,
    width: u32,
) -> BoundedExpr
Expand description

The BoundedExpr of the warp-reduce tail — a left fold of op over the lane-output variables out0..out{N-1}. Lowers the reduce so our SAT can certify it equals an independent fold (that every lane is summed, none dropped or duplicated).