Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
- findFirstUses :: VarMemMappings MemorySrc -> MemAliases -> FunDef ExplicitMemory -> FirstUses
- createsNewArrayBase :: Exp lore -> Bool
Documentation
findFirstUses :: VarMemMappings MemorySrc -> MemAliases -> FunDef ExplicitMemory -> FirstUses Source #
Find all first uses of *memory blocks* in a function definition.
createsNewArrayBase :: Exp lore -> Bool Source #