Safe Haskell	None
Language	GHC2021

Futhark.Analysis.HORep.MapNest

Synopsis

data Nesting = Nesting {
- nestingParamNames :: [VName]
- nestingResult :: [VName]
- nestingReturnType :: [Type]
- nestingWidth :: SubExp
}
data MapNest = MapNest {
- mapNestWidth :: SubExp
- mapNestLambda :: Lambda SOACS
- mapNestNestings :: [Nesting]
- mapNestInput :: [Input]
}
depth :: MapNest -> Int
typeOf :: MapNest -> [Type]
params :: MapNest -> [VName]
inputs :: MapNest -> [Input]
setInputs :: [Input] -> MapNest -> MapNest
fromSOAC :: (MonadFreshNames m, LocalScope SOACS m) => SOAC SOACS -> m (Maybe MapNest)
toSOAC :: (MonadFreshNames m, HasScope SOACS m) => MapNest -> m (SOAC SOACS)
reshape :: MonadFreshNames m => StmAux () -> NewShape SubExp -> MapNest -> m MapNest

Documentation

data Nesting Source #

Constructors

Nesting
Fields nestingParamNames :: [VName] nestingResult :: [VName] nestingReturnType :: [Type] nestingWidth :: SubExp

Instances

Instances details

Show Nesting Source #
Instance details Defined in Futhark.Analysis.HORep.MapNest Methods showsPrec :: Int -> Nesting -> ShowS # show :: Nesting -> String # showList :: [Nesting] -> ShowS #
Eq Nesting Source #
Instance details Defined in Futhark.Analysis.HORep.MapNest Methods (==) :: Nesting -> Nesting -> Bool # (/=) :: Nesting -> Nesting -> Bool #
Ord Nesting Source #
Instance details Defined in Futhark.Analysis.HORep.MapNest Methods compare :: Nesting -> Nesting -> Ordering # (<) :: Nesting -> Nesting -> Bool # (<=) :: Nesting -> Nesting -> Bool # (>) :: Nesting -> Nesting -> Bool # (>=) :: Nesting -> Nesting -> Bool # max :: Nesting -> Nesting -> Nesting # min :: Nesting -> Nesting -> Nesting #

data MapNest Source #

Constructors

MapNest
Fields mapNestWidth :: SubExp mapNestLambda :: Lambda SOACS mapNestNestings :: [Nesting] mapNestInput :: [Input]

Instances

Instances details

Show MapNest Source #
Instance details Defined in Futhark.Analysis.HORep.MapNest Methods showsPrec :: Int -> MapNest -> ShowS # show :: MapNest -> String # showList :: [MapNest] -> ShowS #

depth :: MapNest -> Int Source #

typeOf :: MapNest -> [Type] Source #

params :: MapNest -> [VName] Source #

inputs :: MapNest -> [Input] Source #

setInputs :: [Input] -> MapNest -> MapNest Source #

fromSOAC :: (MonadFreshNames m, LocalScope SOACS m) => SOAC SOACS -> m (Maybe MapNest) Source #

toSOAC :: (MonadFreshNames m, HasScope SOACS m) => MapNest -> m (SOAC SOACS) Source #

reshape :: MonadFreshNames m => StmAux () -> NewShape SubExp -> MapNest -> m MapNest Source #

Reshape a map nest. It is assumed that any validity tests have already been done, and in particular that the result of the map nest has the same rank as its depth. Will automatically reshape the inputs appropriately.