futhark-0.19.5: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageHaskell2010

Futhark.Optimise.TileLoops.Shared

Synopsis

Documentation

type VarianceTable = Map VName Names Source #

The variance table keeps a mapping from a variable name (something produced by a Stm) to the kernel thread indices that name depends on. If a variable is not present in this table, that means it is bound outside the kernel (and so can be considered invariant to all dimensions).