| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.MemoryBlockMerging.Coalescing.SafetyCondition5
Description
Find safety condition 5 for all statements.
Documentation
findSafetyCondition5FunDef :: FunDef ExplicitMemory -> FirstUses -> VarsInUseBeforeMem Source #