def blocks

stelliferous@0.0.2.0 · kernel_pipeline.bend:140

import Base

140def blocks(remaining: Nat,+work: Work,+pack_start: U32,+output_start: U32,+padded: U32,+span: U32,state: BlockState) -> BlockState:
141  match remaining:
142    case 0n: state
143    case 1n+rest:
144      blocks(rest,work,(pack_start + span : U32),(output_start + span : U32),padded,span,
145        block_step(work,pack_start,output_start,U32.min(span,(padded - output_start : U32)),state))