HomeSort by relevance Sort by last modified time
    Searched refs:SExpr (Results 1 - 11 of 11) sorted by null

  /external/clang/include/clang/Analysis/Analyses/
ThreadSafetyTIL.h 65 /// Enum for the different distinct classes of SExpr
260 class SExpr {
264 // Subclasses of SExpr must define the following:
282 /// SExpr objects cannot be deleted.
299 SExpr(TIL_Opcode Op)
301 SExpr(const SExpr &E)
312 SExpr() = delete;
314 /// SExpr objects must be created in an arena.
321 inline bool isTrivial(const SExpr *E)
    [all...]
ThreadSafetyCommon.h 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
    [all...]
ThreadSafetyLogical.h 9 // This file defines a representation for logical expressions with SExpr leaves
44 til::SExpr *Expr;
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
49 const til::SExpr *expr() const { return Expr; }
50 til::SExpr *expr() { return Expr; }
ThreadSafetyTraverse.h 33 // Each SExpr class provides a traverse method, which does the following:
61 // The type T must be a subclass of SExpr.
69 typename R::R_SExpr traverseSExpr(SExpr *E, typename R::R_Ctx Ctx) {
74 typename R::R_SExpr traverseByCase(SExpr *E, typename R::R_Ctx Ctx) {
127 // Base class for traversals that rewrite an SExpr to another SExpr.
132 typedef SExpr *R_SExpr;
267 bool traverse(SExpr *E, TraversalKind K = TRV_Normal) {
272 static bool visit(SExpr *E) {
289 bool compareByCase(const SExpr *E1, const SExpr* E2)
    [all...]
  /external/clang/lib/Analysis/
ThreadSafetyCommon.cpp 62 static bool isIncompletePhi(const til::SExpr *E) {
70 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) {
87 /// \brief Translate a clang expression in an attribute to a til::SExpr.
149 /// \brief 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))
266 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE,
290 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE,
299 static const ValueDecl *getValueDeclFromSExpr(const til::SExpr *E)
    [all...]
ThreadSafetyTIL.cpp 48 SExpr* Future::force() {
60 for (SExpr *E : Args) {
72 for (SExpr *E : Args) {
82 const SExpr *til::getCanonicalVal(const SExpr *E) {
105 SExpr *til::simplifyToCanonicalVal(SExpr *E) {
141 SExpr *E0 = simplifyToCanonicalVal(Ph->values()[0]);
143 SExpr *Ei = simplifyToCanonicalVal(Ph->values()[i]);
ThreadSafety.cpp 846 SmallVector<const til::SExpr *, 4> UnderlyingMutexes;
853 UnderlyingMutexes.push_back(M.sexpr());
855 UnderlyingMutexes.push_back(M.sexpr());
862 for (const til::SExpr *UnderlyingMutex : UnderlyingMutexes) {
877 for (const til::SExpr *UnderlyingMutex : UnderlyingMutexes) {
    [all...]
  /external/llvm/lib/Target/Sparc/MCTargetDesc/
SparcMCCodeEmitter.cpp 128 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) {
129 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind();
155 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr());
156 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef &&
158 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr());
167 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) {
168 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30)
SparcELFObjectWriter.cpp 46 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) {
47 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32)
  /external/swiftshader/third_party/llvm-7.0/llvm/lib/Target/Sparc/MCTargetDesc/
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());
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)
SparcELFObjectWriter.cpp 47 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) {
48 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32)

Completed in 139 milliseconds