A basic block is part of an SCFG. More...

#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"

Inheritance diagram for clang::threadSafety::til::BasicBlock:

Classes
struct	TopologyNode

Public Types
using	InstrArray = SimpleArray< SExpr * >

using	BlockArray = SimpleArray< BasicBlock * >

Public Member Functions
	BasicBlock (MemRegionRef A)

	BasicBlock (BasicBlock &B, MemRegionRef A, InstrArray &&As, InstrArray &&Is, Terminator *T)

int	blockID () const
	Returns the block ID. Every block has a unique ID in the CFG.

size_t	numPredecessors () const
	Returns the number of predecessors.

size_t	numSuccessors () const

const SCFG *	cfg () const

SCFG *	cfg ()

const BasicBlock *	parent () const

BasicBlock *	parent ()

const InstrArray &	arguments () const

InstrArray &	arguments ()

InstrArray &	instructions ()

const InstrArray &	instructions () const

BlockArray &	predecessors ()
	Returns a list of predecessors.

const BlockArray &	predecessors () const

ArrayRef< BasicBlock * >	successors ()

ArrayRef< BasicBlock * >	successors () const

const Terminator *	terminator () const

Terminator *	terminator ()

void	setTerminator (Terminator *E)

bool	Dominates (const BasicBlock &Other)

bool	PostDominates (const BasicBlock &Other)

void	addArgument (Phi *V)
	Add a new argument.

void	addInstruction (SExpr *V)
	Add a new instruction.

unsigned	addPredecessor (BasicBlock *Pred)

void	reserveArguments (unsigned Nargs)

void	reserveInstructions (unsigned Nins)

void	reservePredecessors (unsigned NumPreds)

unsigned	findPredecessorIndex (const BasicBlock *BB) const
	Return the index of BB, or Predecessors.size if BB is not a predecessor.

template<class V >
V::R_BasicBlock	traverse (V &Vs, typename V::R_Ctx Ctx)

template<class C >
C::CType	compare (const BasicBlock *E, C &Cmp) const

Public Member Functions inherited from clang::threadSafety::til::SExpr
	SExpr ()=delete

TIL_Opcode	opcode () const

void *	operator new (size_t S, MemRegionRef &R)

void *	operator new (size_t)=delete
	SExpr objects must be created in an arena.

void	operator delete (void *)=delete
	SExpr objects cannot be deleted.

unsigned	id () const
	Returns the instruction ID for this expression.

BasicBlock *	block () const
	Returns the block, if this is an instruction in a basic block, otherwise returns null.

void	setID (BasicBlock *B, unsigned id)
	Set the basic block and instruction ID for this expression.

Static Public Member Functions
static bool	classof (const SExpr *E)

Friends
class	SCFG

Additional Inherited Members
Protected Member Functions inherited from clang::threadSafety::til::SExpr
	SExpr (TIL_Opcode Op)

	SExpr (const SExpr &E)

SExpr &	operator= (const SExpr &)=delete

Protected Attributes inherited from clang::threadSafety::til::SExpr
const TIL_Opcode	Opcode

unsigned char	Reserved = 0

unsigned short	Flags = 0

unsigned	SExprID = 0

BasicBlock *	Block = nullptr

Detailed Description

A basic block is part of an SCFG.

It can be treated as a function in continuation passing style. A block consists of a sequence of phi nodes, which are "arguments" to the function, followed by a sequence of instructions. It ends with a Terminator, which is a Branch or Goto to another basic block in the same SCFG.

Definition at line 1508 of file ThreadSafetyTIL.h.

Member Typedef Documentation

◆ BlockArray

using clang::threadSafety::til::BasicBlock::BlockArray = SimpleArray<BasicBlock *>

Definition at line 1511 of file ThreadSafetyTIL.h.

◆ InstrArray

using clang::threadSafety::til::BasicBlock::InstrArray = SimpleArray<SExpr *>

Definition at line 1510 of file ThreadSafetyTIL.h.

Constructor & Destructor Documentation

◆ BasicBlock() [1/2]

clang::threadSafety::til::BasicBlock::BasicBlock ( MemRegionRef A )

inlineexplicit

Definition at line 1539 of file ThreadSafetyTIL.h.

◆ BasicBlock() [2/2]

clang::threadSafety::til::BasicBlock::BasicBlock	(	BasicBlock &	B,
		MemRegionRef	A,
		InstrArray &&	As,
		InstrArray &&	Is,
		Terminator *	T
	)

inline

Definition at line 1541 of file ThreadSafetyTIL.h.

Member Function Documentation

◆ addArgument()

void clang::threadSafety::til::BasicBlock::addArgument ( Phi * V )

inline

Add a new argument.

Definition at line 1590 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SimpleArray< T >::push_back(), clang::threadSafety::til::SimpleArray< T >::reserveCheck(), and V.

◆ addInstruction()

void clang::threadSafety::til::BasicBlock::addInstruction ( SExpr * V )

inline

Add a new instruction.

Definition at line 1596 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SimpleArray< T >::push_back(), clang::threadSafety::til::SimpleArray< T >::reserveCheck(), and V.

◆ addPredecessor()

unsigned BasicBlock::addPredecessor ( BasicBlock * Pred )

Definition at line 58 of file ThreadSafetyTIL.cpp.

References clang::threadSafety::til::SimpleArray< T >::push_back(), clang::threadSafety::til::SimpleArray< T >::reserveCheck(), and clang::threadSafety::til::SimpleArray< T >::size().

◆ arguments() [1/2]

InstrArray & clang::threadSafety::til::BasicBlock::arguments ( )

inline

Definition at line 1562 of file ThreadSafetyTIL.h.

◆ arguments() [2/2]

const InstrArray & clang::threadSafety::til::BasicBlock::arguments ( ) const

inline

Definition at line 1561 of file ThreadSafetyTIL.h.

Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock().

◆ blockID()

int clang::threadSafety::til::BasicBlock::blockID ( ) const

inline

Returns the block ID. Every block has a unique ID in the CFG.

Definition at line 1549 of file ThreadSafetyTIL.h.

Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock(), and clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBlockLabel().

◆ cfg() [1/2]

SCFG * clang::threadSafety::til::BasicBlock::cfg ( )

inline

Definition at line 1556 of file ThreadSafetyTIL.h.

◆ cfg() [2/2]

const SCFG * clang::threadSafety::til::BasicBlock::cfg ( ) const

inline

Definition at line 1555 of file ThreadSafetyTIL.h.

◆ classof()

static bool clang::threadSafety::til::BasicBlock::classof ( const SExpr * E )

inlinestatic

Definition at line 1546 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SExpr::opcode().

◆ compare()

template<class C >

C::CType clang::threadSafety::til::BasicBlock::compare	(	const BasicBlock *	E,
		C &	Cmp
	)		const

inline

Definition at line 1645 of file ThreadSafetyTIL.h.

◆ Dominates()

bool clang::threadSafety::til::BasicBlock::Dominates ( const BasicBlock & Other )

inline

Definition at line 1581 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::BasicBlock::TopologyNode::isParentOfOrEqual(), and clang::Other.

◆ findPredecessorIndex()

unsigned clang::threadSafety::til::BasicBlock::findPredecessorIndex ( const BasicBlock * BB ) const

inline

Return the index of BB, or Predecessors.size if BB is not a predecessor.

Definition at line 1615 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SimpleArray< T >::cbegin().

◆ instructions() [1/2]

InstrArray & clang::threadSafety::til::BasicBlock::instructions ( )

inline

Definition at line 1564 of file ThreadSafetyTIL.h.

Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock().

◆ instructions() [2/2]

const InstrArray & clang::threadSafety::til::BasicBlock::instructions ( ) const

inline

Definition at line 1565 of file ThreadSafetyTIL.h.

◆ numPredecessors()

size_t clang::threadSafety::til::BasicBlock::numPredecessors ( ) const

inline

Returns the number of predecessors.

Definition at line 1552 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SimpleArray< T >::size().

◆ numSuccessors()

size_t clang::threadSafety::til::BasicBlock::numSuccessors ( ) const

inline

Definition at line 1553 of file ThreadSafetyTIL.h.

References successors().

◆ parent() [1/2]

BasicBlock * clang::threadSafety::til::BasicBlock::parent ( )

inline

Definition at line 1559 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::BasicBlock::TopologyNode::Parent.

◆ parent() [2/2]

const BasicBlock * clang::threadSafety::til::BasicBlock::parent ( ) const

inline

Definition at line 1558 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::BasicBlock::TopologyNode::Parent.

Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock().

◆ PostDominates()

bool clang::threadSafety::til::BasicBlock::PostDominates ( const BasicBlock & Other )

inline

Definition at line 1585 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::BasicBlock::TopologyNode::isParentOfOrEqual(), and clang::Other.

◆ predecessors() [1/2]

BlockArray & clang::threadSafety::til::BasicBlock::predecessors ( )

inline

Returns a list of predecessors.

The order of predecessors in the list is important; each phi node has exactly one argument for each precessor, in the same order.

Definition at line 1570 of file ThreadSafetyTIL.h.

◆ predecessors() [2/2]

const BlockArray & clang::threadSafety::til::BasicBlock::predecessors ( ) const

inline

Definition at line 1571 of file ThreadSafetyTIL.h.

◆ reserveArguments()

void clang::threadSafety::til::BasicBlock::reserveArguments ( unsigned Nargs )

inline

Definition at line 1606 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SimpleArray< T >::reserve().

◆ reserveInstructions()

void clang::threadSafety::til::BasicBlock::reserveInstructions ( unsigned Nins )

inline

Definition at line 1609 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SimpleArray< T >::reserve().

◆ reservePredecessors()

void BasicBlock::reservePredecessors ( unsigned NumPreds )

Definition at line 71 of file ThreadSafetyTIL.cpp.

References clang::threadSafety::til::SimpleArray< T >::reserve().

◆ setTerminator()

void clang::threadSafety::til::BasicBlock::setTerminator ( Terminator * E )

inline

Definition at line 1579 of file ThreadSafetyTIL.h.

◆ successors() [1/2]

ArrayRef< BasicBlock * > clang::threadSafety::til::BasicBlock::successors ( )

inline

Definition at line 1573 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::Terminator::successors().

Referenced by numSuccessors().

◆ successors() [2/2]

ArrayRef< BasicBlock * > clang::threadSafety::til::BasicBlock::successors ( ) const

inline

Definition at line 1574 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::Terminator::successors().

◆ terminator() [1/2]

Terminator * clang::threadSafety::til::BasicBlock::terminator ( )

inline

Definition at line 1577 of file ThreadSafetyTIL.h.

◆ terminator() [2/2]

const Terminator * clang::threadSafety::til::BasicBlock::terminator ( ) const

inline

Definition at line 1576 of file ThreadSafetyTIL.h.

Referenced by clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock().

◆ traverse()

template<class V >

V::R_BasicBlock clang::threadSafety::til::BasicBlock::traverse	(	V &	Vs,
		typename V::R_Ctx	Ctx
	)

inline

Definition at line 1621 of file ThreadSafetyTIL.h.

References clang::ast_matchers::Ne, and clang::threadSafety::til::SimpleArray< T >::size().

Friends And Related Function Documentation

◆ SCFG

friend class SCFG

friend

Definition at line 1651 of file ThreadSafetyTIL.h.

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

include/clang/Analysis/Analyses/ThreadSafetyTIL.h
lib/Analysis/ThreadSafetyTIL.cpp

Classes

Public Types

Public Member Functions

Static Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ BlockArray

◆ InstrArray

Constructor & Destructor Documentation

◆ BasicBlock() [1/2]

◆ BasicBlock() [2/2]

Member Function Documentation

◆ addArgument()

◆ addInstruction()

◆ addPredecessor()

◆ arguments() [1/2]

◆ arguments() [2/2]

◆ blockID()

◆ cfg() [1/2]

◆ cfg() [2/2]

◆ classof()

◆ compare()

◆ Dominates()

◆ findPredecessorIndex()

◆ instructions() [1/2]

◆ instructions() [2/2]

◆ numPredecessors()

◆ numSuccessors()

◆ parent() [1/2]

◆ parent() [2/2]

◆ PostDominates()

◆ predecessors() [1/2]

◆ predecessors() [2/2]

◆ reserveArguments()

◆ reserveInstructions()

◆ reservePredecessors()

◆ setTerminator()

◆ successors() [1/2]

◆ successors() [2/2]

◆ terminator() [1/2]

◆ terminator() [2/2]

◆ traverse()

Friends And Related Function Documentation

◆ SCFG