| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.Simplify.Rules.Index
Description
Index simplification mechanics.
Synopsis
- data IndexResult
- simplifyIndexing :: MonadBinder m => SymbolTable (Lore m) -> TypeLookup -> VName -> Slice SubExp -> Bool -> Maybe (m IndexResult)
Documentation
data IndexResult Source #
Some index expressions can be simplified to SubExps, while
others produce another index expression (which may be further
simplifiable).
Constructors
| IndexResult Certificates VName (Slice SubExp) | |
| SubExpResult Certificates SubExp |
simplifyIndexing :: MonadBinder m => SymbolTable (Lore m) -> TypeLookup -> VName -> Slice SubExp -> Bool -> Maybe (m IndexResult) Source #
Try to simplify an index operation.