futhark-0.9.1: 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 #