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

Safe Haskell	None
Language	Haskell2010

Futhark.Optimise.MemoryBlockMerging.Liveness.Interference

Description

Find memory block interferences. Maps a memory block to its interference set.

Synopsis

findInterferences :: VarMemMappings MemorySrc -> MemAliases -> FirstUses -> LastUses -> Names -> FunDef ExplicitMemory -> (Interferences, PotentialKernelDataRaceInterferences)

Documentation

findInterferences :: VarMemMappings MemorySrc -> MemAliases -> FirstUses -> LastUses -> Names -> FunDef ExplicitMemory -> (Interferences, PotentialKernelDataRaceInterferences) Source #

Find all memory block interferences in a function definition.