futhark-0.20.7: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
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 :: MonadBuilder m => SymbolTable (Rep m) -> TypeLookup -> VName -> Slice SubExp -> Bool -> Maybe (m IndexResult) Source #

Try to simplify an index operation.