~/jendhub

def gather.at

bend-parallel@0.1.0.0 · sort.bend:495

import bend-parallel@0.1.0.0/sort.bend as Sort
import Base

495def gather.at(~T: Data, +b: Nat, src: Array<T>, r: Array<U32> & U32, s: Array<T> & U32) -> Moved<T>:
496  (pm, +n) = r
497  (dst, +m) = s
498  +lg = U32.log2(n)
499  gather.run(~T, b, lg, pm, gather.dst(~T, U32.is_eq(m, n), lg, dst, Array.get(T, src, 0)))

Uses (11)

Used by (1)