Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
thorin::CFA Class Reference

Control Flow Analysis. More...

#include <thorin/analyses/cfg.h>

Public Member Functions

 CFA (const CFA &)=delete
 
CFAoperator= (CFA)=delete
 
 CFA (const Scope &scope)
 
 ~CFA ()
 
const Scopescope () const
 
Worldworld () const
 
size_t size () const
 
const MutMap< const CFNode * > & nodes () const
 
const F_CFGf_cfg () const
 
const B_CFGb_cfg () const
 
const CFNodeoperator[] (Def *mut) const
 

Detailed Description

Control Flow Analysis.

Definition at line 62 of file cfg.h.

Constructor & Destructor Documentation

◆ CFA() [1/2]

thorin::CFA::CFA ( const CFA )
delete

◆ CFA() [2/2]

thorin::CFA::CFA ( const Scope scope)
explicit

Definition at line 29 of file cfg.cpp.

References thorin::Scope::bound(), thorin::Scope::entry(), thorin::pop(), and scope().

◆ ~CFA()

thorin::CFA::~CFA ( )

Definition at line 77 of file cfg.cpp.

Member Function Documentation

◆ b_cfg()

const B_CFG & thorin::CFA::b_cfg ( ) const

Definition at line 82 of file cfg.cpp.

References thorin::lazy_init().

Referenced by thorin::Scope::b_cfg().

◆ f_cfg()

const F_CFG & thorin::CFA::f_cfg ( ) const

Definition at line 81 of file cfg.cpp.

References thorin::lazy_init().

Referenced by thorin::Scope::f_cfg().

◆ nodes()

const MutMap< const CFNode * > & thorin::CFA::nodes ( ) const
inline

Definition at line 73 of file cfg.h.

Referenced by size().

◆ operator=()

CFA & thorin::CFA::operator= ( CFA  )
delete

◆ operator[]()

const CFNode * thorin::CFA::operator[] ( Def mut) const
inline

Definition at line 76 of file cfg.h.

◆ scope()

const Scope & thorin::CFA::scope ( ) const
inline

Definition at line 70 of file cfg.h.

Referenced by CFA(), and world().

◆ size()

size_t thorin::CFA::size ( ) const
inline

Definition at line 72 of file cfg.h.

References nodes().

Referenced by thorin::CFG< forward >::size().

◆ world()

World & thorin::CFA::world ( ) const
inline

Definition at line 71 of file cfg.h.

References scope(), and thorin::Scope::world().


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