B2R2


DominatorContext<'D, 'E> Type

Storing DomInfo of a graph. We use this to repeatedly compute doms/pdoms of the same graph.

Record fields

Record Field Description

BackwardDomInfo

Full Usage: BackwardDomInfo

Field type: DomInfo<'D>
Field type: DomInfo<'D>

BackwardGraph

Full Usage: BackwardGraph

Field type: DiGraph<'D, 'E>
Field type: DiGraph<'D, 'E>

BackwardRoot

Full Usage: BackwardRoot

Field type: Vertex<'D>
Field type: Vertex<'D>

ForwardDomInfo

Full Usage: ForwardDomInfo

Field type: DomInfo<'D>
Field type: DomInfo<'D>

ForwardGraph

Full Usage: ForwardGraph

Field type: DiGraph<'D, 'E>
Field type: DiGraph<'D, 'E>

ForwardRoot

Full Usage: ForwardRoot

Field type: Vertex<'D>
Field type: Vertex<'D>