Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
thorin::DomFrontierBase< forward > Class Template Reference

A Dominance Frontier Graph. More...

#include <thorin/analyses/domfrontier.h>

Public Member Functions

 DomFrontierBase (const DomFrontierBase &)=delete
 
DomFrontierBaseoperator= (DomFrontierBase)=delete
 
 DomFrontierBase (const CFG< forward > &cfg)
 
const CFG< forward > & cfg () const
 
const std::vector< const CFNode * > & preds (const CFNode *n) const
 
const std::vector< const CFNode * > & succs (const CFNode *n) const
 

Detailed Description

template<bool forward>
class thorin::DomFrontierBase< forward >

A Dominance Frontier Graph.

The template parameter forward determines whether to compute regular dominance frontiers or post-dominance frontiers (i.e. control dependence). This template parameter is associated with CFG's forward parameter. See Cooper et al, 2001. A Simple, Fast Dominance Algorithm: http://www.cs.rice.edu/~keith/EMBED/dom.pdf

Definition at line 12 of file domfrontier.h.

Constructor & Destructor Documentation

◆ DomFrontierBase() [1/2]

template<bool forward>
thorin::DomFrontierBase< forward >::DomFrontierBase ( const DomFrontierBase< forward > &  )
delete

◆ DomFrontierBase() [2/2]

template<bool forward>
thorin::DomFrontierBase< forward >::DomFrontierBase ( const CFG< forward > &  cfg)
inlineexplicit

Definition at line 17 of file domfrontier.h.

Member Function Documentation

◆ cfg()

template<bool forward>
const CFG< forward > & thorin::DomFrontierBase< forward >::cfg ( ) const
inline

Definition at line 24 of file domfrontier.h.

◆ operator=()

template<bool forward>
DomFrontierBase & thorin::DomFrontierBase< forward >::operator= ( DomFrontierBase< forward >  )
delete

◆ preds()

template<bool forward>
const std::vector< const CFNode * > & thorin::DomFrontierBase< forward >::preds ( const CFNode n) const
inline

Definition at line 25 of file domfrontier.h.

◆ succs()

template<bool forward>
const std::vector< const CFNode * > & thorin::DomFrontierBase< forward >::succs ( const CFNode n) const
inline

Definition at line 26 of file domfrontier.h.


The documentation for this class was generated from the following files: