Skip to main content

simt_masked_lane_to_bounded

logicaffeine_compile::codegen_sva::gpu_simt_rtl

Function simt_masked_lane_to_bounded 

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

The BoundedExpr of ONE lane’s predicated output: mask ? kernel : 0 — the SIMT divergence atom (a certified select over the compiled kernel). Uses the single-lane input names in{k} (all lanes are byte-identical modulo the lane suffix, so one lane’s proof covers the array).