Struct DominanceFrontierResult 

pub struct DominanceFrontierResult {
    pub frontiers: AHashMap<i64, AHashSet<i64>>,
}

Dominance frontier result for a CFG.

Contains the dominance frontier sets for all nodes. The dominance frontier of a node n is the set of nodes m where control flow from paths dominated by n merges with paths from outside n’s dominance.

Example

let result = dominance_frontiers(&graph, &dom_result)?;

// Check dominance frontier of node 0
if let Some(frontier) = result.frontier(0) {
    for &node in frontier {
        println!("Node 0 is in DF of {}", node);
    }
}

// Check if node 3 is in DF of node 0
assert!(result.in_frontier(0, 3));

Fields

frontiers: AHashMap<i64, AHashSet<i64>>

Dominance frontier sets: node -> set of nodes in its dominance frontier.

For each node n, frontiers[n] contains all nodes m such that:

• n dominates a predecessor of m
• n does NOT strictly dominate m

Empty set means n has no convergence points in its dominance.

Implementations

impl DominanceFrontierResult

pub fn frontier(&self, node: i64) -> Option<&AHashSet<i64>>

Gets the dominance frontier of a node.

Returns None if the node has no dominance frontier (empty set).

Arguments

• node - Node ID to get dominance frontier for

Returns

Some(set) if node has a non-empty dominance frontier, None if empty.

Example

let result = dominance_frontiers(&graph, &dom_result)?;
if let Some(frontier) = result.frontier(0) {
    println!("Node 0 DF: {:?}", frontier);
}

pub fn in_frontier(&self, n: i64, m: i64) -> bool

Checks if one node is in the dominance frontier of another.

Returns true if m is in DF(n) (node n’s dominance frontier).

Arguments

• n - Node whose dominance frontier to check
• m - Node to check membership in DF(n)

Returns

true if m is in the dominance frontier of n, false otherwise.

Example

let result = dominance_frontiers(&graph, &dom_result)?;
assert!(result.in_frontier(0, 3)); // Node 3 is in DF(0)

Trait Implementations

impl Clone for DominanceFrontierResult

fn clone(&self) -> DominanceFrontierResult

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DominanceFrontierResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.