futhark-0.11.1: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Pass.ExtractKernels.ISRWIM

Synopsis

Documentation

iswim :: (MonadBinder m, Lore m ~ SOACS) => Pattern -> SubExp -> Lambda -> [(SubExp, VName)] -> Maybe (m ()) Source #

Interchange Scan With Inner Map. Tries to turn a scan(map) into a @map(scan)

irwim :: (MonadBinder m, Lore m ~ SOACS) => Pattern -> SubExp -> Commutativity -> Lambda -> [(SubExp, VName)] -> Maybe (m ()) Source #

Interchange Reduce With Inner Map. Tries to turn a reduce(map) into a @map(reduce)