Home
last modified time | relevance | path

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

/external/clang/include/clang/Analysis/Analyses/
DThreadSafetyTIL.h260 class SExpr {
299 SExpr(TIL_Opcode Op) in SExpr() function
301 SExpr(const SExpr &E) in SExpr() function
312 SExpr() = delete;
321 inline bool isTrivial(const SExpr *E) { in isTrivial()
345 class Variable : public SExpr {
347 static bool classof(const SExpr *E) { return E->opcode() == COP_Variable; } in classof()
355 Variable(StringRef s, SExpr *D = nullptr)
356 : SExpr(COP_Variable), Name(s), Definition(D), Cvdecl(nullptr) { in SExpr() function
359 Variable(SExpr *D, const clang::ValueDecl *Cvd = nullptr)
[all …]
DThreadSafetyCommon.h43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) { in equals()
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) { in matches()
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) { in partiallyMatches()
69 inline std::string toString(const til::SExpr *E) { in toString()
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {} in CapabilityExpr()
265 const til::SExpr* sexpr() const { return CapExpr; } in sexpr()
358 til::SExpr *translate(const Stmt *S, CallingContext *Ctx);
361 til::SExpr *lookupStmt(const Stmt *S);
371 til::SExpr *translateDeclRefExpr(const DeclRefExpr *DRE,
[all …]
DThreadSafetyTraverse.h69 typename R::R_SExpr traverseSExpr(SExpr *E, typename R::R_Ctx Ctx) { in traverseSExpr()
74 typename R::R_SExpr traverseByCase(SExpr *E, typename R::R_Ctx Ctx) { in traverseByCase()
132 typedef SExpr *R_SExpr;
267 bool traverse(SExpr *E, TraversalKind K = TRV_Normal) {
272 static bool visit(SExpr *E) { in visit()
289 bool compareByCase(const SExpr *E1, const SExpr* E2) { in compareByCase()
316 bool compare(const SExpr *E1, const SExpr* E2) { in compare()
330 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
352 bool compare(const SExpr *E1, const SExpr* E2) { in compare()
370 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
[all …]
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()
/external/clang/lib/Analysis/
DThreadSafetyCommon.cpp62 static bool isIncompletePhi(const til::SExpr *E) { in isIncompletePhi()
70 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) { in lookupStmt()
180 til::SExpr *E = translate(AttrExp, Ctx); in translateAttrExpr()
198 til::SExpr *SExprBuilder::translate(const Stmt *S, CallingContext *Ctx) { in translate()
204 if (til::SExpr *E = lookupStmt(S)) in translate()
266 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE, in translateDeclRefExpr()
290 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE, in translateCXXThisExpr()
299 static const ValueDecl *getValueDeclFromSExpr(const til::SExpr *E) { in getValueDeclFromSExpr()
311 static bool hasCppPointerType(const til::SExpr *E) { in hasCppPointerType()
334 til::SExpr *SExprBuilder::translateMemberExpr(const MemberExpr *ME, in translateMemberExpr()
[all …]
DThreadSafetyTIL.cpp48 SExpr* Future::force() { in force()
60 for (SExpr *E : Args) { in addPredecessor()
72 for (SExpr *E : Args) { in reservePredecessors()
82 const SExpr *til::getCanonicalVal(const SExpr *E) { in getCanonicalVal()
105 SExpr *til::simplifyToCanonicalVal(SExpr *E) { in simplifyToCanonicalVal()
141 SExpr *E0 = simplifyToCanonicalVal(Ph->values()[0]); in simplifyIncompleteArg()
143 SExpr *Ei = simplifyToCanonicalVal(Ph->values()[i]); in simplifyIncompleteArg()
DThreadSafety.cpp846 SmallVector<const til::SExpr *, 4> UnderlyingMutexes;
862 for (const til::SExpr *UnderlyingMutex : UnderlyingMutexes) { in handleRemovalFromIntersection()
877 for (const til::SExpr *UnderlyingMutex : UnderlyingMutexes) { in handleUnlock()
/external/llvm/lib/Target/Sparc/MCTargetDesc/
DSparcMCCodeEmitter.cpp127 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getMachineOpValue() local
128 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()
154 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr()); in getCallTargetOpValue() local
155 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef && in getCallTargetOpValue()
157 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); in getCallTargetOpValue()
166 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) { in getCallTargetOpValue() local
167 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30) in getCallTargetOpValue()
DSparcELFObjectWriter.cpp45 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) { in GetRelocType() local
46 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32) in GetRelocType()