#include <include/statement.h>
Inheritance diagram for BoolAssign:
Definition at line 699 of file statement.h.
Public Member Functions | |
virtual bool | accept (StmtPartModifier *visitor) |
virtual bool | accept (StmtModifier *visitor) |
virtual bool | accept (StmtExpVisitor *visitor) |
virtual bool | accept (StmtVisitor *visitor) |
BoolAssign (int size) | |
virtual Statement * | clone () |
virtual void | dfaTypeAnalysis (bool &ch) |
virtual void | generateCode (HLLCode *hll, BasicBlock *pbb, int indLevel) |
BRANCH_TYPE | getCond () |
Exp * | getCondExpr () |
virtual void | getDefinitions (LocationSet &def) |
virtual Exp * | getRight () |
int | getSize () |
virtual bool | isDefinition () |
bool | isFloat () |
void | makeSigned () |
virtual void | printCompact (std::ostream &os=std::cout, bool html=false) |
virtual bool | search (Exp *search, Exp *&result) |
virtual bool | searchAll (Exp *search, std::list< Exp * > &result) |
virtual bool | searchAndReplace (Exp *search, Exp *replace, bool cc=false) |
void | setCondExpr (Exp *pss) |
void | setCondExprND (Exp *e) |
void | setCondType (BRANCH_TYPE cond, bool usesFloat=false) |
void | setFloat (bool b) |
void | setLeftFromList (std::list< Statement * > *stmts) |
virtual void | simplify () |
virtual bool | usesExp (Exp *e) |
virtual | ~BoolAssign () |
Private Attributes | |
bool | bFloat |
BRANCH_TYPE | jtCond |
Exp * | pCond |
int | size |
Friends | |
class | XMLProgParser |
|
Definition at line 2927 of file statement.cpp. References Statement::kind, and STMT_BOOLASSIGN. Referenced by clone(). |
|
Definition at line 2938 of file statement.cpp. References pCond. |
|
Implements Assignment. Definition at line 4095 of file statement.cpp. References Exp::accept(), Assignment::lhs, StmtPartModifier::mod, pCond, and StmtPartModifier::visit(). |
|
Implements Assignment. Definition at line 3903 of file statement.cpp. References accept(), Exp::accept(), Exp::isMemOf(), Assignment::lhs, StmtModifier::mod, pCond, and StmtModifier::visit(). |
|
Implements Assignment. Definition at line 3862 of file statement.cpp. References Exp::accept(), StmtExpVisitor::ev, pCond, and StmtExpVisitor::visit(). |
|
Implements Assignment. Definition at line 3063 of file statement.cpp. References StmtVisitor::visit(). Referenced by accept(), and RtlTest::testVisitor(). |
|
Implements Assignment. Definition at line 3048 of file statement.cpp. References bFloat, BoolAssign(), Exp::clone(), jtCond, NULL, Statement::number, Statement::pbb, pCond, Statement::proc, and size. |
|
Reimplemented from Assignment. Definition at line 832 of file dfa.cpp. References Assignment::dfaTypeAnalysis(). |
|
Reimplemented from Assignment. Definition at line 3067 of file statement.cpp. References HLLCode::AddAssignmentStatement(), Exp::clone(), Assignment::lhs, opTern, and pCond. |
|
Definition at line 721 of file statement.h. References jtCond. |
|
Definition at line 2986 of file statement.cpp. References pCond. Referenced by getRight(), StmtSsaXformer::visit(), UsedLocsVisitor::visit(), and StmtConscriptSetter::visit(). |
|
Reimplemented from Assignment. Definition at line 3081 of file statement.cpp. References Assignment::getLeft(), and LocationSet::insert(). |
|
Definition at line 745 of file statement.h. References getCondExpr(). |
|
Definition at line 731 of file statement.h. References size. |
|
Reimplemented from Assignment. Definition at line 743 of file statement.h. |
|
Definition at line 722 of file statement.h. References bFloat. |
|
Definition at line 2966 of file statement.cpp. References BRANCH_JSG, BRANCH_JSGE, BRANCH_JSL, BRANCH_JSLE, BRANCH_JUG, BRANCH_JUGE, BRANCH_JUL, BRANCH_JULE, and jtCond. |
|
Implements Assignment. Definition at line 3007 of file statement.cpp. References bFloat, BRANCH_JE, BRANCH_JMI, BRANCH_JNE, BRANCH_JNOF, BRANCH_JOF, BRANCH_JPAR, BRANCH_JPOS, BRANCH_JSG, BRANCH_JSGE, BRANCH_JSL, BRANCH_JSLE, BRANCH_JUG, BRANCH_JUGE, BRANCH_JUL, BRANCH_JULE, jtCond, Assignment::lhs, pCond, and Exp::print(). |
|
Implements Assignment. Definition at line 3094 of file statement.cpp. References Assignment::lhs, pCond, result, and Exp::search(). Referenced by searchAll(), and searchAndReplace(). |
|
Implements Assignment. Definition at line 3102 of file statement.cpp. References Assignment::lhs, pCond, search(), and Exp::searchAll(). |
|
Implements Assignment. Definition at line 3111 of file statement.cpp. References Assignment::lhs, pCond, search(), and Exp::searchReplaceAll(). |
|
Definition at line 2996 of file statement.cpp. References pCond. Referenced by setCondType(), StatementTest::testAddUsedLocsBool(), StatementTest::testSubscriptVars(), and StmtSsaXformer::visit(). |
|
Definition at line 729 of file statement.h. References pCond. |
|
Definition at line 2953 of file statement.cpp. References bFloat, jtCond, opFlags, and setCondExpr(). |
|
Definition at line 723 of file statement.h. References bFloat. |
|
Definition at line 3121 of file statement.cpp. References Assignment::lhs, and STMT_ASSIGN. Referenced by StatementTest::testAddUsedLocsBool(). |
|
Implements Assignment. Definition at line 3076 of file statement.cpp. References condToRelational(), jtCond, and pCond. |
|
Reimplemented from Assignment. Definition at line 3086 of file statement.cpp. References Exp::isMemOf(), Assignment::lhs, pCond, and Exp::search(). |
|
Reimplemented from Assignment. Definition at line 755 of file statement.h. |
|
Definition at line 703 of file statement.h. Referenced by clone(), isFloat(), XMLProgParser::persistToXML(), printCompact(), setCondType(), and setFloat(). |
|
Definition at line 700 of file statement.h. Referenced by clone(), getCond(), makeSigned(), XMLProgParser::persistToXML(), printCompact(), setCondType(), and simplify(). |
|
Definition at line 701 of file statement.h. Referenced by accept(), clone(), generateCode(), getCondExpr(), XMLProgParser::persistToXML(), printCompact(), search(), searchAll(), searchAndReplace(), setCondExpr(), setCondExprND(), simplify(), usesExp(), and ~BoolAssign(). |
|
Definition at line 704 of file statement.h. Referenced by clone(), getSize(), and XMLProgParser::persistToXML(). |