| /llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyTIL.h | 767 Code(SExpr *T, SExpr *B) : SExpr(COP_Code), ReturnType(T), Body(B) {} in Code()
802 Field(SExpr *R, SExpr *B) : SExpr(COP_Field), Range(R), Body(B) {} in Field()
841 Apply(SExpr *F, SExpr *A) : SExpr(COP_Apply), Fun(F), Arg(A) {} in Apply()
1060 Store(SExpr *P, SExpr *V) : SExpr(COP_Store), Dest(P), Source(V) {} in Store()
1061 Store(const Store &S, SExpr *P, SExpr *V) : SExpr(S), Dest(P), Source(V) {} in Store()
1095 ArrayIndex(SExpr *A, SExpr *N) : SExpr(COP_ArrayIndex), Array(A), Index(N) {} in ArrayIndex()
1132 ArrayAdd(SExpr *A, SExpr *N) : SExpr(COP_ArrayAdd), Array(A), Index(N) {} in ArrayAdd()
1349 Terminator(const SExpr &E) : SExpr(E) {} in Terminator()
1814 IfThenElse(SExpr *C, SExpr *T, SExpr *E) in IfThenElse()
1816 IfThenElse(const IfThenElse &I, SExpr *C, SExpr *T, SExpr *E) in IfThenElse()
[all …]
|
| H A D | ThreadSafetyCommon.h | 64 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) { in equals()
68 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) { in matches()
80 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) { in partiallyMatches()
90 inline std::string toString(const til::SExpr *E) { in toString()
391 til::SExpr *lookupStmt(const Stmt *S);
474 void insertStmt(const Stmt *S, til::SExpr *E) { in insertStmt()
480 til::SExpr *addStatement(til::SExpr *E, const Stmt *S,
482 til::SExpr *lookupVarDecl(const ValueDecl *VD);
483 til::SExpr *addVarDecl(const ValueDecl *VD, til::SExpr *E);
484 til::SExpr *updateVarDecl(const ValueDecl *VD, til::SExpr *E);
[all …]
|
| H A D | ThreadSafetyTraverse.h | 142 using R_SExpr = SExpr *;
299 static bool visit(SExpr *E) { in visit()
315 bool compareByCase(const SExpr *E1, const SExpr* E2) { in compareByCase()
341 bool compare(const SExpr *E1, const SExpr* E2) { in compare()
355 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
375 bool compare(const SExpr *E1, const SExpr *E2) { in compare()
393 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
652 const SExpr *B = E->body();
683 const SExpr *F = E->fun();
732 const SExpr *T = E->target(); in printCall()
[all …]
|
| H A D | ThreadSafetyLogical.h | 43 til::SExpr *Expr;
46 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {} in Terminal()
48 const til::SExpr *expr() const { return Expr; } in expr()
49 til::SExpr *expr() { return Expr; } in expr()
|
| /llvm-project-15.0.7/clang/lib/Analysis/ |
| H A D | ThreadSafetyCommon.cpp | 230 if (til::SExpr *E = lookupStmt(S)) in translate()
412 return const_cast<til::SExpr *>( in translateCallExpr()
521 til::SExpr *E0 = translate(LHS, Ctx); in translateBinAssign()
522 til::SExpr *E1 = translate(RHS, Ctx); in translateBinAssign()
525 til::SExpr *CV = nullptr; in translateBinAssign()
620 til::SExpr *
628 til::SExpr *
637 til::SExpr *
661 til::SExpr *SExprBuilder::addStatement(til::SExpr* E, const Stmt *S, in addStatement()
694 til::SExpr *SExprBuilder::addVarDecl(const ValueDecl *VD, til::SExpr *E) { in addVarDecl()
[all …]
|
| H A D | ThreadSafetyTIL.cpp | 51 SExpr* Future::force() { in force()
82 const SExpr *til::getCanonicalVal(const SExpr *E) { in getCanonicalVal()
104 SExpr *til::simplifyToCanonicalVal(SExpr *E) { in simplifyToCanonicalVal()
139 SExpr *E0 = simplifyToCanonicalVal(Ph->values()[0]); in simplifyIncompleteArg()
141 SExpr *Ei = simplifyToCanonicalVal(Ph->values()[i]); in simplifyIncompleteArg()
|
| H A D | ThreadSafety.cpp | 1217 const threadSafety::til::SExpr *SExp = CapE.sexpr(); in inCurrentScope()
|
| /llvm-project-15.0.7/llvm/lib/Target/Sparc/MCTargetDesc/ |
| H A D | SparcMCCodeEmitter.cpp | 132 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getMachineOpValue() local
133 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()
165 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getSImm13OpValue() local
166 Kind = MCFixupKind(SExpr->getFixupKind()); in getSImm13OpValue()
183 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr); in getCallTargetOpValue() local
190 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef && in getCallTargetOpValue()
192 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); in getCallTargetOpValue()
199 MCFixupKind Kind = MCFixupKind(SExpr->getFixupKind()); in getCallTargetOpValue()
|
| H A D | SparcELFObjectWriter.cpp | 49 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) { in getRelocType() local
50 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32) in getRelocType()
|
| /llvm-project-15.0.7/llvm/lib/Target/VE/MCTargetDesc/ |
| H A D | VEELFObjectWriter.cpp | 42 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Fixup.getValue())) { in getRelocType() local
43 if (SExpr->getKind() == VEMCExpr::VK_VE_PC_LO32) in getRelocType()
|
| H A D | VEMCCodeEmitter.cpp | 101 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Expr)) { in getMachineOpValue() local
102 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()
|