Searched refs:SExpr (Results 1 - 9 of 9) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ |
H A D | ThreadSafetyTIL.h | 77 /// Enum for the different distinct classes of SExpr 277 class SExpr { class in namespace:clang::threadSafety 279 SExpr() = delete; 283 // Subclasses of SExpr must define the following: 301 /// SExpr objects must be created in an arena. 304 /// SExpr objects cannot be deleted. 321 SExpr(TIL_Opcode Op) : Opcode(Op) {} function in class:clang::threadSafety::SExpr 322 SExpr(const SExpr &E) : Opcode(E.Opcode), Flags(E.Flags) {} function in class:clang::threadSafety::SExpr 334 inline bool isTrivial(const SExpr * [all...] |
H A D | ThreadSafetyCommon.h | 60 // Various helper functions on til::SExpr 63 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) { 67 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) { 79 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) { 89 inline std::string toString(const til::SExpr *E) { 273 const til::SExpr* CapExpr; 279 CapabilityExpr(const til::SExpr * [all...] |
H A D | ThreadSafetyLogical.h | 8 // This file defines a representation for logical expressions with SExpr leaves 43 til::SExpr *Expr; 46 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {} 48 const til::SExpr *expr() const { return Expr; } 49 til::SExpr *expr() { return Expr; }
|
H A D | ThreadSafetyTraverse.h | 38 // Each SExpr class provides a traverse method, which does the following: 66 // The type T must be a subclass of SExpr. 74 typename R::R_SExpr traverseSExpr(SExpr *E, typename R::R_Ctx Ctx) { 79 typename R::R_SExpr traverseByCase(SExpr *E, typename R::R_Ctx Ctx) { 137 // Base class for traversals that rewrite an SExpr to another SExpr. 142 using R_SExpr = SExpr *; 294 bool traverse(SExpr *E, TraversalKind K = TRV_Normal) { 299 static bool visit(SExpr *E) { 315 bool compareByCase(const SExpr *E [all...] |
/freebsd-11-stable/contrib/llvm-project/clang/lib/Analysis/ |
H A D | ThreadSafetyCommon.cpp | 63 static bool isIncompletePhi(const til::SExpr *E) { 71 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) { 88 /// Translate a clang expression in an attribute to a til::SExpr. 149 /// Translate a clang expression in an attribute to a til::SExpr. 180 til::SExpr *E = translate(AttrExp, Ctx); 198 til::SExpr *SExprBuilder::translate(const Stmt *S, CallingContext *Ctx) { 204 if (til::SExpr *E = lookupStmt(S)) 272 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE, 301 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE, 310 static const ValueDecl *getValueDeclFromSExpr(const til::SExpr * [all...] |
H A D | ThreadSafetyTIL.cpp | 51 SExpr* Future::force() { 82 const SExpr *til::getCanonicalVal(const SExpr *E) { 104 SExpr *til::simplifyToCanonicalVal(SExpr *E) { 139 SExpr *E0 = simplifyToCanonicalVal(Ph->values()[0]); 141 SExpr *Ei = simplifyToCanonicalVal(Ph->values()[i]);
|
H A D | ThreadSafety.cpp | 900 llvm::PointerIntPair<const til::SExpr *, 2, UnderlyingCapabilityKind>;
|
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Target/Sparc/MCTargetDesc/ |
H A D | SparcMCCodeEmitter.cpp | 135 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { 136 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); 162 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr()); local 163 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef && 165 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); 174 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) { 175 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30)
|
H A D | SparcELFObjectWriter.cpp | 46 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) { 47 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32)
|
Completed in 103 milliseconds