|
| Branch (SExpr *C, BasicBlock *T, BasicBlock *E) |
|
| Branch (const Branch &Br, SExpr *C, BasicBlock *T, BasicBlock *E) |
|
const SExpr * | condition () const |
|
SExpr * | condition () |
|
const BasicBlock * | thenBlock () const |
|
BasicBlock * | thenBlock () |
|
const BasicBlock * | elseBlock () const |
|
BasicBlock * | elseBlock () |
|
ArrayRef< BasicBlock * > | successors () |
| Return the list of basic blocks that this terminator can branch to. More...
|
|
template<class V > |
V::R_SExpr | traverse (V &Vs, typename V::R_Ctx Ctx) |
|
template<class C > |
C::CType | compare (const Branch *E, C &Cmp) const |
|
ArrayRef< BasicBlock * > | successors () |
| Return the list of basic blocks that this terminator can branch to. More...
|
|
ArrayRef< BasicBlock * > | successors () const |
|
| 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. More...
|
|
void | operator delete (void *)=delete |
| SExpr objects cannot be deleted. More...
|
|
unsigned | id () const |
| Returns the instruction ID for this expression. More...
|
|
BasicBlock * | block () const |
| Returns the block, if this is an instruction in a basic block, otherwise returns null. More...
|
|
void | setID (BasicBlock *B, unsigned id) |
| Set the basic block and instruction ID for this expression. More...
|
|
A conditional branch to two other blocks.
Note that unlike Goto, Branch does not have an index. The target blocks must be child-blocks, and cannot have Phi nodes.
Definition at line 1406 of file ThreadSafetyTIL.h.