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

Safe HaskellNone
LanguageHaskell2010

Futhark.Optimise.MemoryBlockMerging.Liveness.FirstUse

Description

Find first uses for all memory blocks.

Array creation points. Maps statements to memory block names.

A memory block can have more than one first use.

Synopsis

Documentation

findFirstUses :: VarMemMappings MemorySrc -> MemAliases -> FunDef ExplicitMemory -> FirstUses Source #

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