def rows_in

bendtorch@1.3.0.0 · main.bend:2507

import Base

2507# a block of t rows, c wide, written into dst from row r0; the block is dropped
2508def rows_in(+t: Nat, +c: Nat, +r0: Nat, blk: Array<F32>, dst: Array<F32>) -> Array<F32>:
2509  a2_b(copy_n(Nat.sub(Nat.mul(t, c), 1n), 0, U32.from_nat(Nat.mul(r0, c)), dst, Array.get(F32, blk, 0)))