Safe Haskell | None |
---|---|
Language | Haskell2010 |
Interference analysis for Futhark programs.
Documentation
type Graph a = Set (a, a) Source #
An interference graph. An element (x, y)
in the set means that there is
an undirected edge between x
and y
, and therefore the lifetimes of x
and y
overlap and they "interfere" with each other. We assume that pairs
are always normalized, such that x
< y
, before inserting. This should
prevent any duplicates. We also don't allow any pairs where x == y
.