Compiler.Hoopl.Passes.Dominator

Safe Haskell	Безопасно
Язык	Haskell2010

type Doms = WithBot DPath Источник

Список меток, расширенный стандартным элементом "дно"

newtype DPath Источник

domPath :: Doms -> [Метка] Источник

domEntry :: Doms Источник

Факт, который попадает в точку входа анализа доминирования: первая вершина доминируется только точкой входа, которая представлена пустым списком меток.

domLattice :: DataflowLattice Doms Источник

extendDom :: Метка -> DPath -> DPath Источник

data УзелДоминирования Источник

data ДеревоДоминирования Источник

Эта структура данных представляет собой *дерево роз*, в котором каждый узел может иметь произвольное количество потомков. Каждый узел доминирует над всеми своими потомками.

tree :: [(Метка, Doms)] -> ДеревоДоминирования Источник

Преобразование из базы фактов для списков доминирования в дерево доминирования.

непосредственныеДоминирующие :: FactBase Doms -> LabelMap Метка Источник

Принимает базу фактов из анализа доминирования и возвращает отображение каждой метки на ее непосредственный доминирующий узел, если таковой есть.

проходДоминирования :: (NonLocal n, Monad m) => FwdPass m n Doms Источник

Проход по доминирующим узлам