Futhark.Optimise.Fusion.LoopKernel

Documentation

data FusedKer

Constructors

FusedKer

Fields

• fsoac :: SOAC

  the SOAC expression, e.g., mapT( f(a,b), x, y )

• inplace :: Names

  Variables used in in-place updates in the kernel itself, as well as on the path to the kernel from the current position. This is used to avoid fusion that would violate in-place restrictions.

• fusedVars :: [VName]

  whether at least a fusion has been performed.

• fusedConsumed :: Names

  The set of variables that were consumed by the SOACs contributing to this kernel. Note that, by the type rules, the final SOAC may actually consume _more_ than its original contributors, which implies the need for Copy expressions.

• kernelScope :: Scope SOACS

  The names in scope at the kernel.

• outputTransform :: ArrayTransforms
• outNames :: [VName]
• certificates :: Certificates

Instances

Show FusedKer

Defined in Futhark.Optimise.Fusion.LoopKernel

Methods

showsPrec :: Int -> FusedKer -> ShowS

show :: FusedKer -> String

showList :: [FusedKer] -> ShowS

newKernel :: Certificates -> SOAC -> Names -> [VName] -> Scope SOACS -> FusedKer

inputs :: FusedKer -> [Input]

setInputs :: [Input] -> FusedKer -> FusedKer

arrInputs :: FusedKer -> Set VName

kernelType :: FusedKer -> [Type]

transformOutput :: ArrayTransforms -> [VName] -> [Ident] -> Binder SOACS ()

attemptFusion :: MonadFreshNames m => Names -> [VName] -> SOAC -> Names -> FusedKer -> m (Maybe FusedKer)

type SOAC = SOAC SOACS

type MapNest = MapNest SOACS