Home
last modified time | relevance | path

Searched refs:SExpr (Results 1 – 9 of 9) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyTIL.h766 Code(SExpr *T, SExpr *B) : SExpr(COP_Code), ReturnType(T), Body(B) {} in Code()
801 Field(SExpr *R, SExpr *B) : SExpr(COP_Field), Range(R), Body(B) {} in Field()
840 Apply(SExpr *F, SExpr *A) : SExpr(COP_Apply), Fun(F), Arg(A) {} in Apply()
1059 Store(SExpr *P, SExpr *V) : SExpr(COP_Store), Dest(P), Source(V) {} in Store()
1060 Store(const Store &S, SExpr *P, SExpr *V) : SExpr(S), Dest(P), Source(V) {} in Store()
1094 ArrayIndex(SExpr *A, SExpr *N) : SExpr(COP_ArrayIndex), Array(A), Index(N) {} in ArrayIndex()
1131 ArrayAdd(SExpr *A, SExpr *N) : SExpr(COP_ArrayAdd), Array(A), Index(N) {} in ArrayAdd()
1348 Terminator(const SExpr &E) : SExpr(E) {} in Terminator()
1813 IfThenElse(SExpr *C, SExpr *T, SExpr *E) in IfThenElse()
1815 IfThenElse(const IfThenElse &I, SExpr *C, SExpr *T, SExpr *E) in IfThenElse()
[all …]
H A DThreadSafetyCommon.h64 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()
274 const til::SExpr* CapExpr;
383 til::SExpr *lookupStmt(const Stmt *S);
466 void insertStmt(const Stmt *S, til::SExpr *E) { in insertStmt()
472 til::SExpr *addStatement(til::SExpr *E, const Stmt *S,
475 til::SExpr *addVarDecl(const ValueDecl *VD, til::SExpr *E);
476 til::SExpr *updateVarDecl(const ValueDecl *VD, til::SExpr *E);
[all …]
H A DThreadSafetyTraverse.h143 using R_SExpr = SExpr *;
300 static bool visit(SExpr *E) { in visit()
316 bool compareByCase(const SExpr *E1, const SExpr* E2) { in compareByCase()
342 bool compare(const SExpr *E1, const SExpr* E2) { in compare()
356 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
376 bool compare(const SExpr *E1, const SExpr *E2) { in compare()
394 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
653 const SExpr *B = E->body();
684 const SExpr *F = E->fun();
733 const SExpr *T = E->target(); in printCall()
[all …]
H A DThreadSafetyLogical.h44 til::SExpr *Expr;
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {} in Terminal()
49 const til::SExpr *expr() const { return Expr; } in expr()
50 til::SExpr *expr() { return Expr; } in expr()
/freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/
H A DThreadSafetyCommon.cpp205 if (til::SExpr *E = lookupStmt(S)) in translate()
383 return const_cast<til::SExpr *>( in translateCallExpr()
492 til::SExpr *E0 = translate(LHS, Ctx); in translateBinAssign()
493 til::SExpr *E1 = translate(RHS, Ctx); in translateBinAssign()
496 til::SExpr *CV = nullptr; in translateBinAssign()
591 til::SExpr *
599 til::SExpr *
608 til::SExpr *
632 til::SExpr *SExprBuilder::addStatement(til::SExpr* E, const Stmt *S, in addStatement()
665 til::SExpr *SExprBuilder::addVarDecl(const ValueDecl *VD, til::SExpr *E) { in addVarDecl()
[all …]
H A DThreadSafetyTIL.cpp52 SExpr* Future::force() { in force()
83 const SExpr *til::getCanonicalVal(const SExpr *E) { in getCanonicalVal()
105 SExpr *til::simplifyToCanonicalVal(SExpr *E) { in simplifyToCanonicalVal()
140 SExpr *E0 = simplifyToCanonicalVal(Ph->values()[0]); in simplifyIncompleteArg()
142 SExpr *Ei = simplifyToCanonicalVal(Ph->values()[i]); in simplifyIncompleteArg()
H A DThreadSafety.cpp901 llvm::PointerIntPair<const til::SExpr *, 2, UnderlyingCapabilityKind>;
/freebsd-12.1/contrib/llvm/lib/Target/Sparc/MCTargetDesc/
H A DSparcMCCodeEmitter.cpp135 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getMachineOpValue() local
136 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()
162 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr()); in getCallTargetOpValue() local
163 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef && in getCallTargetOpValue()
165 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); in getCallTargetOpValue()
174 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) { in getCallTargetOpValue() local
175 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30) in getCallTargetOpValue()
H A DSparcELFObjectWriter.cpp47 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) { in getRelocType() local
48 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32) in getRelocType()