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

Safe HaskellNone
LanguageHaskell2010

Futhark.Optimise.MemoryBlockMerging.Coalescing.SafetyCondition3

Description

Safety condition 3 verification.

Documentation

getVarUsesBetween :: FunDef ExplicitMemory -> VName -> VName -> Names Source #