Home
last modified time | relevance | path

Searched refs:SExpr (Results 1 – 22 of 22) 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/llvm-project/clang/include/clang/Analysis/Analyses/
DThreadSafetyTIL.h277 class SExpr {
279 SExpr() = delete;
321 SExpr(TIL_Opcode Op) : Opcode(Op) {} in SExpr() function
322 SExpr(const SExpr &E) : Opcode(E.Opcode), Flags(E.Flags) {} in SExpr() function
334 inline bool isTrivial(const SExpr *E) { in isTrivial()
355 class Variable : public SExpr {
368 Variable(StringRef s, SExpr *D = nullptr)
369 : SExpr(COP_Variable), Name(s), Definition(D) { in SExpr() function
373 Variable(SExpr *D, const ValueDecl *Cvd = nullptr)
374 : SExpr(COP_Variable), Name(Cvd ? Cvd->getName() : "_x"), in SExpr() function
[all …]
DThreadSafetyCommon.h63 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) { in equals()
67 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) { in matches()
79 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) { in partiallyMatches()
89 inline std::string toString(const til::SExpr *E) { in toString()
273 const til::SExpr* CapExpr;
279 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {} in CapabilityExpr()
281 const til::SExpr* sexpr() const { return CapExpr; } in sexpr()
379 til::SExpr *translate(const Stmt *S, CallingContext *Ctx);
382 til::SExpr *lookupStmt(const Stmt *S);
395 til::SExpr *translateDeclRefExpr(const DeclRefExpr *DRE,
[all …]
DThreadSafetyTraverse.h74 typename R::R_SExpr traverseSExpr(SExpr *E, typename R::R_Ctx Ctx) { in traverseSExpr()
79 typename R::R_SExpr traverseByCase(SExpr *E, typename R::R_Ctx Ctx) { in traverseByCase()
142 using R_SExpr = SExpr *;
294 bool traverse(SExpr *E, TraversalKind K = TRV_Normal) {
299 static bool visit(SExpr *E) { in visit()
315 bool compareByCase(const SExpr *E1, const SExpr* E2) { in compareByCase()
341 bool compare(const SExpr *E1, const SExpr* E2) { in compare()
355 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
375 bool compare(const SExpr *E1, const SExpr *E2) { in compare()
393 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
[all …]
DThreadSafetyLogical.h43 til::SExpr *Expr;
46 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {} in Terminal()
48 const til::SExpr *expr() const { return Expr; } in expr()
49 til::SExpr *expr() { return Expr; } in expr()
/external/llvm-project/clang/lib/Analysis/
DThreadSafetyCommon.cpp63 static bool isIncompletePhi(const til::SExpr *E) { in isIncompletePhi()
71 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()
272 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE, in translateDeclRefExpr()
301 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE, in translateCXXThisExpr()
310 static const ValueDecl *getValueDeclFromSExpr(const til::SExpr *E) { in getValueDeclFromSExpr()
322 static bool hasAnyPointerType(const til::SExpr *E) { in hasAnyPointerType()
345 til::SExpr *SExprBuilder::translateMemberExpr(const MemberExpr *ME, in translateMemberExpr()
[all …]
DThreadSafetyTIL.cpp51 SExpr* Future::force() { in force()
82 const SExpr *til::getCanonicalVal(const SExpr *E) { in getCanonicalVal()
104 SExpr *til::simplifyToCanonicalVal(SExpr *E) { in simplifyToCanonicalVal()
139 SExpr *E0 = simplifyToCanonicalVal(Ph->values()[0]); in simplifyIncompleteArg()
141 SExpr *Ei = simplifyToCanonicalVal(Ph->values()[i]); in simplifyIncompleteArg()
DThreadSafety.cpp900 llvm::PointerIntPair<const til::SExpr *, 2, UnderlyingCapabilityKind>;
1269 const threadSafety::til::SExpr *SExp = CapE.sexpr(); in inCurrentScope()
/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.cpp128 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getMachineOpValue() local
129 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()
155 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr()); in getCallTargetOpValue() local
156 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef && in getCallTargetOpValue()
158 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); in getCallTargetOpValue()
167 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) { in getCallTargetOpValue() local
168 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30) in getCallTargetOpValue()
DSparcELFObjectWriter.cpp46 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) { in getRelocType() local
47 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32) in getRelocType()
/external/llvm-project/llvm/lib/Target/Sparc/MCTargetDesc/
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()
DSparcELFObjectWriter.cpp46 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) { in getRelocType() local
47 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32) in getRelocType()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Target/Sparc/MCTargetDesc/
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()
DSparcELFObjectWriter.cpp46 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) { in getRelocType() local
47 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32) in getRelocType()
/external/llvm-project/llvm/lib/Target/VE/MCTargetDesc/
DVEELFObjectWriter.cpp41 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Fixup.getValue())) { in getRelocType() local
42 if (SExpr->getKind() == VEMCExpr::VK_VE_PC_LO32) in getRelocType()
DVEMCCodeEmitter.cpp111 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Expr)) { in getMachineOpValue() local
112 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()