~/jendhub

def gdw_imgs

bendtorch-gpu@1.3.0.0 · main.bend:520

import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu
import Base

520# a channel's images in order: i steps by hw·c to the next image's first row, bl by ng to its block of the same group
521def gdw_imgs(left: Nat, +i: U32, +bl: U32, +hw: Nat, +hwc: U32, +c: U32, +ng: U32, s: GS) -> GS:
522  match left:
523    case 0n: gdw_blk(hw, i, bl, c, s)
524    case 1n+q: gdw_imgs(q, (i + hwc : U32), (bl + ng : U32), hw, hwc, c, ng, gdw_blk(hw, i, bl, c, s))

Uses (5)

Used by (1)