Futhark.Optimise.MemoryBlockMerging.MemoryAliases

Find memory block aliases. The conceptual difference from variable aliases is that if a variable x has an alias y, it means that x and y use the same memory block, but if a memory block xmem has an alias ymem, it means that xmem and ymem refer to the same *memory*. This is not commutative.

Documentation

findMemAliases :: FunDef ExplicitMemory -> VarMemMappings MemorySrc -> MemAliases

Find all memory aliases in a function definition.