| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyTIL.h | 277 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
323 SExpr &operator=(const SExpr &) = delete;
335 inline bool isTrivial(const SExpr *E) { in isTrivial()
356 class Variable : public SExpr {
369 Variable(StringRef s, SExpr *D = nullptr)
370 : SExpr(COP_Variable), Name(s), Definition(D) { in SExpr() function
374 Variable(SExpr *D, const ValueDecl *Cvd = nullptr)
[all …]
|
| H A D | ThreadSafetyCommon.h | 66 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) { in equals()
70 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) { in matches()
82 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) { in partiallyMatches()
92 inline std::string toString(const til::SExpr *E) { in toString()
279 llvm::PointerIntPair<const til::SExpr *, 2, unsigned> CapExpr;
286 CapabilityExpr(const til::SExpr *E, StringRef Kind, bool Neg, bool Reentrant) in CapabilityExpr()
290 CapabilityExpr(const til::SExpr *E, QualType QT, bool Neg);
294 CapabilityExpr(const til::SExpr *, T, bool, bool) = delete;
296 const til::SExpr *sexpr() const { return CapExpr.getPointer(); } in sexpr()
368 llvm::PointerUnion<const Expr *, til::SExpr *> SelfArg = nullptr;
[all …]
|
| H A D | ThreadSafetyTraverse.h | 74 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 compare(const SExpr *E1, const SExpr *E2) { in compare()
351 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
371 bool compare(const SExpr *E1, const SExpr *E2) { in compare()
387 static bool compareExprs(const SExpr *E1, const SExpr* E2) { in compareExprs()
414 static void print(const SExpr *E, StreamType &SS) { in print()
[all …]
|
| H A D | ThreadSafetyLogical.h | 43 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()
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ThreadSafetyCommon.cpp | 63 static bool isIncompletePhi(const til::SExpr *E) { in isIncompletePhi()
98 CapabilityExpr::CapabilityExpr(const til::SExpr *E, QualType QT, bool Neg) { in CapabilityExpr()
105 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) { return SMap.lookup(S); } in lookupStmt()
129 til::SExpr *Self) { in translateAttrExpr()
229 const til::SExpr *E = translate(AttrExp, Ctx); in translateAttrExpr()
251 til::SExpr *SExprBuilder::translate(const Stmt *S, CallingContext *Ctx) { in translate()
257 if (til::SExpr *E = lookupStmt(S)) in translate()
325 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE, in translateDeclRefExpr()
346 return cast<til::SExpr *>(Ctx->FunArgs); in translateDeclRefExpr()
360 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE, in translateCXXThisExpr()
[all …]
|
| H A D | ThreadSafetyTIL.cpp | 50 SExpr* Future::force() { in force()
81 const SExpr *til::getCanonicalVal(const SExpr *E) { in getCanonicalVal()
103 SExpr *til::simplifyToCanonicalVal(SExpr *E) { in simplifyToCanonicalVal()
138 SExpr *E0 = simplifyToCanonicalVal(Ph->values()[0]); in simplifyIncompleteArg()
140 SExpr *Ei = simplifyToCanonicalVal(Ph->values()[i]); in simplifyIncompleteArg()
|
| H A D | ThreadSafety.cpp | 1113 const NamedDecl *D, til::SExpr *Self = nullptr);
1292 const threadSafety::til::SExpr *SExp = CapE.sexpr(); in inCurrentScope()
1388 til::SExpr *Self) { in getMutexIDs()
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/Sparc/MCTargetDesc/ |
| H A D | SparcMCCodeEmitter.cpp | 152 if (auto *SExpr = dyn_cast<MCSpecifierExpr>(Expr)) { in getMachineOpValue() local
153 addFixup(Fixups, 0, Expr, SExpr->getSpecifier()); in getMachineOpValue()
182 if (auto *SExpr = dyn_cast<MCSpecifierExpr>(Expr)) { in getSImm5OpValue() local
183 addFixup(Fixups, 0, Expr, SExpr->getSpecifier()); in getSImm5OpValue()
208 if (auto *SExpr = dyn_cast<MCSpecifierExpr>(Expr)) { in getSImm13OpValue() local
209 addFixup(Fixups, 0, Expr, SExpr->getSpecifier()); in getSImm13OpValue()
|
| H A D | SparcELFObjectWriter.cpp | 75 if (const auto *SExpr = dyn_cast<MCSpecifierExpr>(Fixup.getValue())) { in getRelocType() local
76 if (SExpr->getSpecifier() == ELF::R_SPARC_DISP32) in getRelocType()
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/VE/MCTargetDesc/ |
| H A D | VEELFObjectWriter.cpp | 53 if (auto *SExpr = dyn_cast<MCSpecifierExpr>(Fixup.getValue())) { in getRelocType() local
54 if (SExpr->getSpecifier() == VE::S_PC_LO32) in getRelocType()
|
| H A D | VEMCCodeEmitter.cpp | 113 if (const auto *SExpr = dyn_cast<MCSpecifierExpr>(Expr)) { in getMachineOpValue() local
114 auto Kind = VE::getFixupKind(SExpr->getSpecifier()); in getMachineOpValue()
|