def start

stelliferous@0.0.2.0 · tensor_band_window.bend:35

import Base

35# The first row a window holds: the first row its outputs read, moved down
36# to a stride multiple.
37def start(+height: U32,+output_first: U32,+stride: U32,+padding: U32) -> U32:
38  +needed = U32.min(height,subtract_clipped((output_first * stride : U32),padding))
39  subtract_clipped(needed,(needed % stride : U32))