otawa::BasicBlock Class Reference

This is the minimal definition of a basic block. More...

#include <otawa/cfg/BasicBlock.h>

Inheritance diagram for otawa::BasicBlock:

Classes
class	Bundle
	A bundle, in a VLIW processors, is a group of instructions executed in parallel. More...
class	BundleIter
	Iterator on bundles composing a basic block. More...
class	EdgeIterator
class	InIterator
class	InstIter
	Iterator for instructions in the basic block. More...
class	OutIterator

Public Types
typedef InstIter	InstIterator

Public Member Functions
	BasicBlock (void)
	Build an empty basic block. More...
bool	isCall (void) const
	Test if the basic block is ended by a call to a sub-program. More...
bool	isReturn (void) const
	Test if the basic block is ended by a sub-program return. More...
bool	isTargetUnknown (void) const
	Test if the target of the branch instruction of this basic block is known or not. More...
bool	isEntry (void) const
	Test if the basic block is the CFG entry. More...
bool	isExit (void) const
	Test if the basic block is the CFG exit. More...
bool	isEnd (void) const
	Test if the basic block is the CFG end, entry or exit. More...
bool	isConditional (void) const
	Test if the BB is ended by a conditional branch. More...
Address	address (void) const
Address	topAddress (void) const
virtual int	countInsts (void) const
	Count the number of instructions in the basic block. More...
t::uint32	size (void) const
	Get the size of the basic block. More...
bool	isVirtual (void) const
unsigned long	getFlags (void) const
int	number (void) const
	Get the number hooked on this basic block, that is, value of ID_Index property. More...
CFG *	cfg (void)
Inst *	firstInst (void) const
Inst *	lastInst (void) const
	Get the last instruction of a basic block. More...
Inst *	controlInst (void) const
	Find the last control instruction of the basic block. More...
void	print (io::Output &out) const
	Print the reference for a basic block. More...
void	addInEdge (Edge *edge)
	Add an input edge to the basic block input list. More...
void	addOutEdge (Edge *edge)
	Add an output edge to the basic block output list. More...
void	removeInEdge (Edge *edge)
	Remove an input edge from the basic block input list. More...
void	removeOutEdge (Edge *edge)
	Remove an output edge from the basic block output list. More...
BasicBlock *	getTaken (void)
	Get the target basic block if the last branch instruction is taken. More...
BasicBlock *	getNotTaken (void)
	Get the following basic block if the last branch instruction is not taken. More...
t::uint32	getBlockSize (void) const
	Compute the size of the basic block. More...
int	countInstructions (void) const
Property *	getProp (const AbstractIdentifier *id) const
	Find a property by its identifier. More...
void	setProp (Property *prop)
	Set the property in the property list removing any double. More...
void	setProp (const AbstractIdentifier *id)
void	removeProp (const AbstractIdentifier *id)
	Remove a property matching the given identifier. More...
void	removeProp (const AbstractIdentifier &id)
Property *	extractProp (const AbstractIdentifier *id)
	Remove a property matching the given identifier and return it. More...
Property *	extractProp (const AbstractIdentifier &id)
	Remove a property matching the given identifier and return it. More...
void	addProp (Property *prop)
	Add property to the list without checking of duplication. More...
void	removeAllProp (const AbstractIdentifier *id)
	Remove all the properties matching the given identifier. More...
bool	hasProp (const AbstractIdentifier &id) const
	Test if the property list contains a property matching the given identifier. More...
void	clearProps (void)
	Remove all properties from the list. More...
void	addProps (const PropList &props)
	Add all properties from the given property list, in a reverse order. More...

Public Attributes
Inst *	first
t::size	_size
unsigned long	flags
elm::genstruct::SLList< Edge * >	ins
elm::genstruct::SLList< Edge * >	outs
CFG *	_cfg

Static Public Attributes
static Identifier< BasicBlock * >	ID
	Identifier of the basic block pseudo-instruction. More...
static const PropList	EMPTY
	This is an empty proplist for convenience. More...

Protected Member Functions
virtual	~BasicBlock (void)
void	setTaken (BasicBlock *bb)
	Set the target basic block of the branch last instruction. More...
void	setNotTaken (BasicBlock *bb)
	Set the following basic block. More...

Static Protected Attributes
static const unsigned long	FLAG_Call = 0x01
static const unsigned long	FLAG_Unknown = 0x02
static const unsigned long	FLAG_Return = 0x04
static const unsigned long	FLAG_Entry = 0x08
static const unsigned long	FLAG_Exit = 0x10
static const unsigned long	FLAG_Virtual = 0x20
static const unsigned long	FLAG_Cond = 0x40
static BasicBlock &	null_bb = null_bb_inst

Friends
class	CFGBuilder
class	CFGInfo
class	CFG
class	VirtualCFG
class	Edge

Detailed Description

This is the minimal definition of a basic block.

Implemented concepts

• otawa::concept::InstBlock

Member Typedef Documentation

typedef InstIter otawa::BasicBlock::InstIterator

Constructor & Destructor Documentation

otawa::BasicBlock::~BasicBlock ( void  )

protectedvirtual

otawa::BasicBlock::BasicBlock

(

void

)

Build an empty basic block.

Member Function Documentation

void otawa::BasicBlock::addInEdge ( Edge *  edge )

inline

Add an input edge to the basic block input list.

Parameters

edge	Edge to add.

References ins.

Referenced by otawa::Edge::Edge().

void otawa::BasicBlock::addOutEdge ( Edge *  edge )

inline

Add an output edge to the basic block output list.

Parameters

edge	Edge to add.

References outs.

Referenced by otawa::Edge::Edge().

void otawa::PropList::addProp ( Property *  prop )

inherited

Add property to the list without checking of duplication.

Parameters

prop	Property to add.

References otawa::Property::_next.

Referenced by otawa::Identifier< T >::add(), otawa::ast::ASTInfo::ASTInfo(), otawa::Identifier< otawa::arm::Info * >::copy(), otawa::AbstractIdentifier::initProps(), otawa::ContextualProperty::make(), otawa::script::Script::makeConfig(), otawa::ccg::Builder::processLBlockSet(), otawa::ipet::ILPSystemGetter::processWorkSpace(), otawa::Identifier< T >::ref(), otawa::ContextualProperty::ref(), and otawa::ContextualProperty::refProps().

void otawa::PropList::addProps ( const PropList &  props )

inherited

Add all properties from the given property list, in a reverse order.

Parameters

props

Property list to clone.

References copy(), otawa::PropList::head, and otawa::Property::next().

Referenced by otawa::display::CFGDrawer::CFGDrawer(), otawa::display::GraphVizGraph::GraphVizGraph(), otawa::ParamFeature::instantiate(), otawa::Manager::loadXML(), otawa::display::GraphVizGraph::newEdge(), otawa::display::GraphVizGraph::newNode(), otawa::PropList::operator=(), otawa::Process::Process(), otawa::PropList::PropList(), otawa::display::GraphVizItem::setProps(), otawa::VirtualBasicBlock::VirtualBasicBlock(), and otawa::VirtualCFG::VirtualCFG().

Address otawa::BasicBlock::address ( void  ) const

inline

References otawa::ProgItem::address(), and first.

Referenced by otawa::CFGBuilder::addCFG(), otawa::LBlockBuilder::addLBlock(), otawa::ccg::LBlockBuilder::addLBlock(), otawa::CFG::address(), otawa::CFGBuilder::buildCFG(), otawa::Dominance::dominates(), otawa::ipet::FlowFactLoader::enteringCall(), otawa::Virtualizer::enteringCall(), otawa::DelayedBuilder::fix(), otawa::ipet::VarAssignment::makeEdgeVar(), otawa::ipet::VarAssignment::makeNodeVar(), otawa::CFG::name(), otawa::CFGBuilder::nextBB(), print(), otawa::ipet::TrivialInstCacheManager::processBB(), otawa::ParamExeGraphBBTime::processBB(), otawa::ipet::FlowFactLoader::processBB(), otawa::ipet::BasicObjectFunctionBuilder::processBB(), otawa::cfgio::Output::processBB(), otawa::CFGChecker::processBB(), otawa::ipet::FlowFactConstraintBuilder::processBB(), otawa::ccg::LBlockBuilder::processBB(), otawa::LBlockBuilder::processBB(), otawa::CFGSaver::processBB(), otawa::ipet::BasicConstraintsBuilder::processBB(), otawa::BBRatioDisplayer::processBB(), otawa::GraphBBTime< G >::processBB(), otawa::BBStatCollector::processCFG(), otawa::CFG::scan(), otawa::CFGBuilder::thisBB(), and topAddress().

CFG* otawa::BasicBlock::cfg ( void  )

inline

References _cfg.

Referenced by otawa::ccg::ConstraintBuilder::addConstraintHeader(), otawa::DelayedBuilder::buildBB(), otawa::DelayedBuilder::cloneEdge(), otawa::etime::EdgeTimeBuilder::contributeSplit(), otawa::Dominance::dominates(), otawa::Edge::Edge(), otawa::cfgio::Output::id(), otawa::DelayedBuilder::insert(), otawa::DelayedBuilder::makeEdge(), otawa::PostDominance::postDominates(), otawa::etime::EdgeTimeBuilder::processEdge(), and otawa::ccg::ConstraintBuilder::processLBlockSet().

void otawa::PropList::clearProps ( void  )

inherited

Remove all properties from the list.

References otawa::Property::next().

Referenced by otawa::PSTBuilder::getVCFG(), otawa::PropList::operator=(), otawa::display::GraphVizItem::setProps(), otawa::PropList::~PropList(), and otawa::WorkSpace::~WorkSpace().

Inst * otawa::BasicBlock::controlInst

(

void

)

const

Find the last control instruction of the basic block.

This is usually the last one but (1) delayed-branch architecture insert instructions after the control and (2) OTAWA CFG configuration system may make merge different blocks or ignore some control instructions. If no control is found, return the last instruction.

Returns

Last control instruction.

Referenced by otawa::etime::EdgeTimeBuilder::getBranchNode(), otawa::CFGChecker::processBB(), otawa::etime::StandardEventBuilder::processBB(), and otawa::BBStatCollector::processCFG().

int otawa::BasicBlock::countInstructions ( void  ) const

inline

References countInsts().

Referenced by otawa::PathContext::addBlock(), otawa::LiExeGraphBBTime::buildEpilogueList(), otawa::ParamExeGraphBBTime::buildPrologueList(), otawa::LiExeGraphBBTime::buildPrologueList(), otawa::PathContext::PathContext(), otawa::ParamExeGraphBBTime::processBB(), otawa::LiExeGraphBBTime::processBB(), otawa::GraphBBTime< G >::processBB(), and otawa::tsim::Delta::processCFG().

int otawa::BasicBlock::countInsts ( void  ) const

virtual

Count the number of instructions in the basic block.

Returns

Number of instruction in the basic block.

Referenced by countInstructions(), and otawa::ipet::TrivialBBTime::processBB().

Property * otawa::PropList::extractProp ( const AbstractIdentifier *  id )

inherited

Remove a property matching the given identifier and return it.

Caller is responsible of the management of the obtained property.

Parameters

id	Identifier of the property to extract.

References otawa::Property::_next, and otawa::Property::next().

Referenced by otawa::script::Script::makeConfig().

Property * otawa::PropList::extractProp ( const AbstractIdentifier &  id )

inlineinherited

Remove a property matching the given identifier and return it.

Caller is responsible of the management of the obtained property.

Parameters

id	Identifier of the property to extract.

References otawa::PropList::extractProp().

Referenced by otawa::PropList::extractProp().

Inst* otawa::BasicBlock::firstInst ( void  ) const

inline

References first.

Referenced by otawa::BasicBlock::BundleIter::BundleIter(), otawa::EndBasicBlock::EndBasicBlock(), otawa::DelayedBuilder::fix(), otawa::BasicBlock::InstIter::InstIter(), otawa::CFG::label(), otawa::ipet::FlowFactLoader::processBB(), otawa::ccg::LBlockBuilder::processBB(), otawa::LBlockBuilder::processBB(), and otawa::VirtualBasicBlock::VirtualBasicBlock().

size_t otawa::BasicBlock::getBlockSize ( void  ) const

inline

Compute the size of the basic block.

Returns

Size of basic block.

Deprecated:

See BasicBlock::size().

References size().

unsigned long otawa::BasicBlock::getFlags ( void  ) const

inline

References flags.

Referenced by otawa::VirtualBasicBlock::VirtualBasicBlock().

BasicBlock * otawa::BasicBlock::getNotTaken

(

void

)

Get the following basic block if the last branch instruction is not taken.

Returns

Following basic block or null if the last instruction is a sub-program return.

Deprecated:

{Use Edge class instead.}

References otawa::cfgio::edge(), and EDGE_NotTaken.

Property * otawa::PropList::getProp ( const AbstractIdentifier *  id ) const

inherited

Find a property by its identifier.

Parameters

id	Identifier of the property to find.

Returns

Found property or null.

References otawa::Property::_next, and otawa::Property::next().

Referenced by otawa::Identifier< otawa::arm::Info * >::exists(), otawa::ContextualProperty::exists(), otawa::ContextualProperty::find(), otawa::Identifier< T >::get(), otawa::PropList::hasProp(), otawa::ContextualProperty::make(), otawa::ParamFeature::matches(), otawa::ImmutableRef< T, I >::print(), otawa::ContextualProperty::print(), otawa::Identifier< T >::ref(), otawa::ContextualProperty::ref(), otawa::ContextualProperty::refProps(), otawa::Identifier< T >::set(), otawa::Identifier< T >::use(), and otawa::Identifier< T >::value().

BasicBlock * otawa::BasicBlock::getTaken

(

void

)

Get the target basic block if the last branch instruction is taken.

Returns

Target basic block or null if the last instruction is not a branch.

Deprecated:

{Use Edge class instead.}

References otawa::cfgio::edge(), EDGE_Call, and EDGE_Taken.

bool otawa::PropList::hasProp ( const AbstractIdentifier &  id ) const

inlineinherited

Test if the property list contains a property matching the given identifier.

Parameters

id	Property identifier to look for.

Returns

True if the list contains the matching property, false else.

References otawa::PropList::getProp().

Referenced by otawa::ipet::BasicConstraintsBuilder::addEntryConstraint(), otawa::Monitor::configure(), otawa::ImmutableRef< T, I >::exists(), and otawa::Manager::setVerbosity().

bool otawa::BasicBlock::isCall ( void  ) const

inline

Test if the basic block is ended by a call to a sub-program.

Returns

True if the basic block is call, false else.

References FLAG_Call, and flags.

Referenced by otawa::ContextTree::addBB().

bool otawa::BasicBlock::isConditional ( void  ) const

inline

Test if the BB is ended by a conditional branch.

Returns

True if the BB is ended by a conditional branch, false else.

References FLAG_Cond, and flags.

Referenced by otawa::ipet::BasicConstraintsBuilder::processBB().

bool otawa::BasicBlock::isEnd ( void  ) const

inline

Test if the basic block is the CFG end, entry or exit.

Returns

True if the current BB is the CFG end.

References FLAG_Entry, FLAG_Exit, and flags.

Referenced by otawa::BasicBlock::BundleIter::BundleIter(), otawa::display::CFGOutput::genBBLabel(), otawa::BasicBlock::InstIter::InstIter(), otawa::ipet::FlowFactLoader::processBB(), otawa::cfgio::Output::processBB(), otawa::dcache::WCETFunctionBuilder::processBB(), otawa::ccg::LBlockBuilder::processBB(), otawa::LBlockBuilder::processBB(), otawa::CFGSaver::processBB(), otawa::etime::EdgeTimeBuilder::processBB(), otawa::dcache::CLPBlockBuilder::processBB(), otawa::BBRatioDisplayer::processBB(), and otawa::etime::StandardEventBuilder::processBB().

bool otawa::BasicBlock::isEntry ( void  ) const

inline

Test if the basic block is the CFG entry.

Returns

True if the current BB is the CFG entry.

References FLAG_Entry, and flags.

Referenced by otawa::ipet::FlowFactLoader::enteringCall(), otawa::Virtualizer::enteringCall(), otawa::GraphBBTime< G >::FillSequence(), otawa::ccg::Problem::gen(), otawa::cat::CATProblem::gen(), otawa::display::CFGOutput::genBBLabel(), print(), otawa::ipet::TrivialDataCacheManager::processBB(), otawa::ipet::CachePenaltiesObjectFunctionBuilder::processBB(), otawa::tsim::TimeDeltaObjectFunctionModifier::processBB(), otawa::ipet::BasicObjectFunctionBuilder::processBB(), otawa::CFGChecker::processBB(), otawa::ipet::BasicConstraintsBuilder::processBB(), otawa::BBStatCollector::processCFG(), otawa::etime::EdgeTimeBuilder::processEdge(), otawa::LoopUnroller::unroll(), and otawa::dfa::XCFGVisitor< P >::visitPreds().

bool otawa::BasicBlock::isExit ( void  ) const

inline

Test if the basic block is the CFG exit.

Returns

True if the current BB is the CFG exit.

References FLAG_Exit, and flags.

Referenced by otawa::GraphBBTime< G >::FillSequence(), otawa::display::CFGOutput::genBBLabel(), otawa::ipet::FlowFactLoader::leavingCall(), otawa::Virtualizer::leavingCall(), print(), otawa::ipet::TrivialDataCacheManager::processBB(), otawa::ipet::CachePenaltiesObjectFunctionBuilder::processBB(), otawa::ipet::BasicObjectFunctionBuilder::processBB(), otawa::CFGChecker::processBB(), otawa::ipet::BasicConstraintsBuilder::processBB(), and otawa::LoopUnroller::unroll().

bool otawa::BasicBlock::isReturn ( void  ) const

inline

Test if the basic block is ended by a sub-program return.

Returns

True if it is a sub-program return, false else.

References FLAG_Return, and flags.

Referenced by otawa::CFG::scan().

bool otawa::BasicBlock::isTargetUnknown ( void  ) const

inline

Test if the target of the branch instruction of this basic block is known or not.

Unknown branch target is usually to a non-constant branch address. Remark that sub-program return is not viewed as an unknown branch target.

Returns

True if the branch target is unknown, false else.

References FLAG_Unknown, and flags.

Referenced by otawa::CFGChecker::processBB().

bool otawa::BasicBlock::isVirtual ( void  ) const

inline

References FLAG_Virtual, and flags.

Referenced by otawa::VirtualBasicBlock::VirtualBasicBlock().

Inst * otawa::BasicBlock::lastInst

(

void

)

const

Get the last instruction of a basic block.

Returns

Last instruction (or NULL if the basic block is an end).

Referenced by otawa::ipet::FlowFactLoader::enteringCall(), otawa::Virtualizer::enteringCall(), otawa::CFGChecker::processBB(), otawa::branch::CondNumber::processBB(), otawa::branch::OnlyConsBuilder::processBB(), otawa::branch::ConsBuilder::processBB(), and otawa::BranchProblem::update().

int otawa::BasicBlock::number ( void  ) const

inline

Get the number hooked on this basic block, that is, value of ID_Index property.

Returns

Number of the basic block or -1 if there is no number hooked.

References otawa::INDEX.

Referenced by otawa::GraphBBTime< G >::analyzePathContext(), otawa::dfa::hai::UnrollingListener< P >::blockInterpreted(), otawa::dfa::hai::DefaultListener< P >::blockInterpreted(), otawa::dfa::hai::WideningListener< P >::blockInterpreted(), otawa::dfa::IterativeDFA< Problem, Set, Iter >::compute(), otawa::etime::EdgeTimeBuilder::contributeSplit(), otawa::Dominance::dominates(), otawa::CachePenalty::dump(), otawa::PSTBuilder::getVCFG(), otawa::cfgio::Output::id(), otawa::display::CFGAdapter::Vertex::index(), otawa::ForwardCFGAdapter::index(), otawa::BackwardCFGAdapter::index(), otawa::ai::CFGGraph::index(), otawa::ipet::VarAssignment::makeEdgeVar(), otawa::ipet::VarAssignment::makeNodeVar(), otawa::PostDominance::postDominates(), otawa::SESERegion::print(), print(), otawa::ipet::CachePenaltiesObjectFunctionBuilder::processBB(), otawa::ParamExeGraphBBTime::processBB(), otawa::ipet::BasicObjectFunctionBuilder::processBB(), otawa::cfgio::Output::processBB(), otawa::branch::CondNumber::processBB(), otawa::branch::OnlyConsBuilder::processBB(), otawa::BBRatioDisplayer::processBB(), otawa::LiExeGraphBBTime::processBB(), otawa::GraphBBTime< G >::processBB(), otawa::BBStatCollector::processCFG(), otawa::cat::CATConstraintBuilder::processLBlockSet(), otawa::ccg::ConstraintBuilder::processLBlockSet(), otawa::etime::EdgeTimeBuilder::processSequence(), otawa::StackAnalysis::processWorkSpace(), otawa::display::CFGAdapter::VertexMap< T >::put(), otawa::dfa::hai::HalfAbsInt< FixPoint >::tryAddToWorkList(), and otawa::dfa::XCFGVisitor< P >::XCFGVisitor().

void otawa::BasicBlock::print

(

io::Output &

out

)

const

Print the reference for a basic block.

Parameters

out	Output stream.

References address(), isEntry(), isExit(), and number().

Referenced by otawa::operator<<().

void otawa::PropList::removeAllProp ( const AbstractIdentifier *  id )

inherited

Remove all the properties matching the given identifier.

Parameters

id	Identifier of properties to remove.

References otawa::Property::_next, and otawa::Property::next().

Referenced by otawa::LoopUnroller::unroll().

void otawa::BasicBlock::removeInEdge ( Edge *  edge )

inline

Remove an input edge from the basic block input list.

Parameters

edge	Edge to remove.

References ins.

Referenced by otawa::Edge::toCall(), and otawa::Edge::~Edge().

void otawa::BasicBlock::removeOutEdge ( Edge *  edge )

inline

Remove an output edge from the basic block output list.

Parameters

edge	Edge to remove.

References outs.

Referenced by otawa::Edge::~Edge().

void otawa::PropList::removeProp ( const AbstractIdentifier *  id )

inherited

Remove a property matching the given identifier.

Parameters

id	Identifier of the property to remove.

References otawa::Property::_next, and otawa::Property::next().

Referenced by otawa::PSTBuilder::buildTree(), otawa::BBRemover< T >::clean(), otawa::display::CFGOutput::processCFG(), otawa::SubCFGBuilder::processWorkSpace(), otawa::Ref< T, I >::remove(), and otawa::ContextualPath::Ref< T >::remove().

void otawa::PropList::removeProp ( const AbstractIdentifier &  id )

inlineinherited

References otawa::PropList::removeProp().

Referenced by otawa::PropList::removeProp().

void otawa::BasicBlock::setNotTaken ( BasicBlock *  bb )

protected

Set the following basic block.

Parameters

bb	New following basic block.

Deprecated:

{Use Edge class instead.}

References Edge, and EDGE_NotTaken.

void otawa::PropList::setProp ( Property *  prop )

inherited

Set the property in the property list removing any double.

Parameters

prop	Property to set.

References otawa::Property::_next, otawa::Property::id(), and otawa::Property::next().

void otawa::PropList::setProp ( const AbstractIdentifier *  id )

inlineinherited

References otawa::PropList::setProp().

Referenced by otawa::PropList::setProp().

void otawa::BasicBlock::setTaken ( BasicBlock *  bb )

protected

Set the target basic block of the branch last instruction.

Parameters

bb	New target basic block.

Deprecated:

{Use Edge class instead.}

References Edge, and EDGE_Taken.

size_t otawa::BasicBlock::size ( void  ) const

inline

Get the size of the basic block.

Returns

Size of basic block.

References _size.

Referenced by otawa::ccg::LBlockBuilder::addLBlock(), otawa::LBlockBuilder::addLBlock(), otawa::CFGBuilder::buildCFG(), getBlockSize(), otawa::ipet::TrivialInstCacheManager::processBB(), otawa::cfgio::Output::processBB(), otawa::ccg::LBlockBuilder::processBB(), otawa::LBlockBuilder::processBB(), otawa::CFGSaver::processBB(), otawa::BBRatioDisplayer::processBB(), otawa::CodeBasicBlock::set(), otawa::CodeBasicBlock::setSize(), topAddress(), and otawa::VirtualBasicBlock::VirtualBasicBlock().

Address otawa::BasicBlock::topAddress ( void  ) const

inline

References address(), and size().

Referenced by otawa::BasicBlock::BundleIter::BundleIter(), otawa::BasicBlock::InstIter::InstIter(), and otawa::BBRatioDisplayer::processBB().

Friends And Related Function Documentation

friend class CFG

friend

friend class CFGBuilder

friend

friend class CFGInfo

friend

friend class Edge

friend

Referenced by setNotTaken(), and setTaken().

friend class VirtualCFG

friend

Member Data Documentation

CFG* otawa::BasicBlock::_cfg

Referenced by otawa::VirtualCFG::addBB(), cfg(), and otawa::VirtualCFG::VirtualCFG().

t::size otawa::BasicBlock::_size

Referenced by otawa::CodeBasicBlock::set(), otawa::CodeBasicBlock::setSize(), size(), and otawa::VirtualBasicBlock::VirtualBasicBlock().

const PropList otawa::PropList::EMPTY

staticinherited

This is an empty proplist for convenience.

Inst* otawa::BasicBlock::first

Referenced by address(), otawa::EndBasicBlock::EndBasicBlock(), firstInst(), otawa::ParamExeGraphBBTime::processBB(), otawa::CodeBasicBlock::set(), otawa::CodeBasicBlock::setFirst(), and otawa::VirtualBasicBlock::VirtualBasicBlock().

const unsigned long otawa::BasicBlock::FLAG_Call = 0x01

staticprotected

Referenced by otawa::CFGBuilder::buildCFG(), isCall(), otawa::CFG::scan(), otawa::CodeBasicBlock::setCall(), otawa::CodeBasicBlock::setReturn(), and otawa::Edge::toCall().

const unsigned long otawa::BasicBlock::FLAG_Cond = 0x40

staticprotected

Referenced by otawa::CFGBuilder::buildCFG(), isConditional(), and otawa::CodeBasicBlock::setCond().

const unsigned long otawa::BasicBlock::FLAG_Entry = 0x08

staticprotected

Referenced by isEnd(), and isEntry().

const unsigned long otawa::BasicBlock::FLAG_Exit = 0x10

staticprotected

Referenced by isEnd(), and isExit().

const unsigned long otawa::BasicBlock::FLAG_Return = 0x04

staticprotected

Referenced by otawa::CFGBuilder::buildCFG(), isReturn(), otawa::CodeBasicBlock::setCall(), and otawa::CodeBasicBlock::setReturn().

const unsigned long otawa::BasicBlock::FLAG_Unknown = 0x02

staticprotected

Referenced by otawa::CFGBuilder::buildCFG(), isTargetUnknown(), and otawa::CodeBasicBlock::setUnknown().

const unsigned long otawa::BasicBlock::FLAG_Virtual = 0x20

staticprotected

Referenced by isVirtual(), and otawa::VirtualBasicBlock::VirtualBasicBlock().

unsigned long otawa::BasicBlock::flags

Referenced by otawa::CFGBuilder::buildCFG(), otawa::CodeBasicBlock::CodeBasicBlock(), otawa::EndBasicBlock::EndBasicBlock(), getFlags(), isCall(), isConditional(), isEnd(), isEntry(), isExit(), isReturn(), isTargetUnknown(), isVirtual(), otawa::CodeBasicBlock::setCall(), otawa::CodeBasicBlock::setCond(), otawa::CodeBasicBlock::setReturn(), otawa::CodeBasicBlock::setUnknown(), otawa::Edge::toCall(), and otawa::VirtualBasicBlock::VirtualBasicBlock().

Identifier< BasicBlock * > otawa::BasicBlock::ID

static

Identifier of the basic block pseudo-instruction.

elm::genstruct::SLList<Edge *> otawa::BasicBlock::ins

Referenced by addInEdge(), and removeInEdge().

BasicBlock & otawa::BasicBlock::null_bb = null_bb_inst

staticprotected

Referenced by otawa::EndBasicBlock::EndBasicBlock().

elm::genstruct::SLList<Edge *> otawa::BasicBlock::outs

Referenced by addOutEdge(), and removeOutEdge().

---

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

• include/otawa/cfg/BasicBlock.h
• src/prog/BasicBlock.cpp