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

Futhark.Optimise.InPlaceLowering.SubstituteIndices

Description

This module exports facilities for transforming array accesses in a list of Stms (intended to be the bindings in a body). The idea is that you can state that some variable x is in fact an array indexing v[i0,i1,...].

Synopsis

Documentation

substituteIndices :: (MonadFreshNames m, BinderOps lore, Bindable lore, Aliased lore, LetDec lore ~ dec) => IndexSubstitutions dec -> Stms lore -> m (IndexSubstitutions dec, Stms lore) Source #

Perform the substitution.