HomeSort by: relevance | last modified time | path
    Searched refs:SExpr (Results 1 - 11 of 11) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/Analyses/
ThreadSafetyTIL.h 77 /// Enum for the different distinct classes of SExpr
277 class SExpr {
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) {}
322 SExpr(const SExpr &E) : Opcode(E.Opcode), Flags(E.Flags) {}
334 inline bool isTrivial(const SExpr *E)
    [all...]
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 *E, bool Neg) : CapExpr(E), Negated(Neg) {
281 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
    [all...]
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; }
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 *E1, const SExpr* E2)
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/Analysis/
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 *E)
    [all...]
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]);
ThreadSafety.cpp 901 llvm::PointerIntPair<const til::SExpr *, 2, UnderlyingCapabilityKind>;
910 UnderlyingMutexes.emplace_back(M.sexpr(), UCK_Acquired);
914 UnderlyingMutexes.emplace_back(M.sexpr(), UCK_ReleasedExclusive);
918 UnderlyingMutexes.emplace_back(M.sexpr(), UCK_ReleasedShared);
1268 const threadSafety::til::SExpr *SExp = CapE.sexpr();
  /src/external/apache2/llvm/dist/llvm/lib/Target/Sparc/MCTargetDesc/
SparcMCCodeEmitter.cpp 138 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) {
139 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind();
171 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) {
172 Kind = MCFixupKind(SExpr->getFixupKind());
189 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr);
196 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef &&
198 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr());
205 MCFixupKind Kind = MCFixupKind(SExpr->getFixupKind());
SparcELFObjectWriter.cpp 46 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) {
47 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32)
  /src/external/apache2/llvm/dist/llvm/lib/Target/VE/MCTargetDesc/
VEELFObjectWriter.cpp 41 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Fixup.getValue())) {
42 if (SExpr->getKind() == VEMCExpr::VK_VE_PC_LO32)
VEMCCodeEmitter.cpp 111 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Expr)) {
112 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind();

Completed in 30 milliseconds