futhark-0.9.1: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Optimise.MemoryBlockMerging.Liveness.LastUse

Description

Find last uses for all memory blocks.

A memory block can have more than one last use.

Synopsis

Documentation

findLastUses :: VarMemMappings MemorySrc -> MemAliases -> FirstUses -> Names -> FunDef ExplicitMemory -> LastUses Source #

Find all last uses of *memory blocks* in a function definition.