#include <ThreadSafetyTIL.h>
Public Member Functions | |
| 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. | |
| 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 |
Static Public Member Functions | |
| static bool | classof (const SExpr *E) |
Detailed Description
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 1423 of file ThreadSafetyTIL.h.
Constructor & Destructor Documentation
| clang::threadSafety::til::Branch::Branch | ( | SExpr * | C, |
| BasicBlock * | T, | ||
| BasicBlock * | E | ||
| ) | [inline] |
Definition at line 1427 of file ThreadSafetyTIL.h.
| clang::threadSafety::til::Branch::Branch | ( | const Branch & | Br, |
| SExpr * | C, | ||
| BasicBlock * | T, | ||
| BasicBlock * | E | ||
| ) | [inline] |
Definition at line 1432 of file ThreadSafetyTIL.h.
Member Function Documentation
| static bool clang::threadSafety::til::Branch::classof | ( | const SExpr * | E | ) | [inline, static] |
Reimplemented from clang::threadSafety::til::Terminator.
Definition at line 1425 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SExpr::opcode().
| C::CType clang::threadSafety::til::Branch::compare | ( | const Branch * | E, |
| C & | Cmp | ||
| ) | const [inline] |
Definition at line 1461 of file ThreadSafetyTIL.h.
| const SExpr* clang::threadSafety::til::Branch::condition | ( | ) | const [inline] |
Definition at line 1438 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBranch().
| SExpr* clang::threadSafety::til::Branch::condition | ( | ) | [inline] |
Definition at line 1439 of file ThreadSafetyTIL.h.
| const BasicBlock* clang::threadSafety::til::Branch::elseBlock | ( | ) | const [inline] |
Definition at line 1444 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBranch().
| BasicBlock* clang::threadSafety::til::Branch::elseBlock | ( | ) | [inline] |
Definition at line 1445 of file ThreadSafetyTIL.h.
| ArrayRef<BasicBlock*> clang::threadSafety::til::Branch::successors | ( | ) | [inline] |
Return the list of basic blocks that this terminator can branch to.
Reimplemented from clang::threadSafety::til::Terminator.
Definition at line 1448 of file ThreadSafetyTIL.h.
| const BasicBlock* clang::threadSafety::til::Branch::thenBlock | ( | ) | const [inline] |
Definition at line 1441 of file ThreadSafetyTIL.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBranch().
| BasicBlock* clang::threadSafety::til::Branch::thenBlock | ( | ) | [inline] |
Definition at line 1442 of file ThreadSafetyTIL.h.
| V::R_SExpr clang::threadSafety::til::Branch::traverse | ( | V & | Vs, |
| typename V::R_Ctx | Ctx | ||
| ) | [inline] |
Definition at line 1453 of file ThreadSafetyTIL.h.
The documentation for this class was generated from the following file: