futhark-0.20.0: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Futhark.Optimise.Simplify.Rules.Index

Description

Index simplification mechanics.

Synopsis

Documentation

data IndexResult Source #

Some index expressions can be simplified to SubExps, while others produce another index expression (which may be further simplifiable).

simplifyIndexing :: MonadBinder m => SymbolTable (Lore m) -> TypeLookup -> VName -> Slice SubExp -> Bool -> Maybe (m IndexResult) Source #

Try to simplify an index operation.