Home
last modified time | relevance | path

Searched refs:SExpr (Results 1 – 10 of 10) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyTIL.h276 class SExpr {
278 SExpr() = delete;
320 SExpr(TIL_Opcode Op) : Opcode(Op) {} in SExpr() function
321 SExpr(const SExpr &E) : Opcode(E.Opcode), Flags(E.Flags) {} in SExpr() function
322 SExpr &operator=(const SExpr &) = delete;
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)
[all …]
H A DThreadSafetyCommon.h65 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) { in equals()
69 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) { in matches()
81 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) { in partiallyMatches()
91 inline std::string toString(const til::SExpr *E) { in toString()
275 llvm::PointerIntPair<const til::SExpr *, 1, bool> CapExpr;
282 CapabilityExpr(const til::SExpr *E, StringRef Kind, bool Neg) in CapabilityExpr()
286 template <typename T> CapabilityExpr(const til::SExpr *, T, bool) = delete;
288 const til::SExpr *sexpr() const { return CapExpr.getPointer(); } in sexpr()
358 llvm::PointerUnion<const Expr *, til::SExpr *> SelfArg = nullptr;
364 llvm::PointerUnion<const Expr *const *, til::SExpr *> FunArgs = nullptr;
[all …]
H A 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 …]
H A 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()
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DThreadSafetyCommon.cpp64 static bool isIncompletePhi(const til::SExpr *E) { in isIncompletePhi()
72 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) { return SMap.lookup(S); } in lookupStmt()
118 til::SExpr *Self) { in translateAttrExpr()
204 til::SExpr *E = translate(AttrExp, Ctx); in translateAttrExpr()
234 til::SExpr *SExprBuilder::translate(const Stmt *S, CallingContext *Ctx) { in translate()
240 if (til::SExpr *E = lookupStmt(S)) in translate()
308 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE, in translateDeclRefExpr()
329 return Ctx->FunArgs.get<til::SExpr *>(); in translateDeclRefExpr()
343 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE, in translateCXXThisExpr()
350 return cast<til::SExpr *>(Ctx->SelfArg); in translateCXXThisExpr()
[all …]
H A 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()
/freebsd/contrib/llvm-project/llvm/lib/Target/Sparc/MCTargetDesc/
H A DSparcMCCodeEmitter.cpp133 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getMachineOpValue() local
134 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()
166 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getSImm13OpValue() local
167 Kind = MCFixupKind(SExpr->getFixupKind()); in getSImm13OpValue()
184 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr); in getCallTargetOpValue() local
191 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef && in getCallTargetOpValue()
193 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); in getCallTargetOpValue()
200 MCFixupKind Kind = MCFixupKind(SExpr->getFixupKind()); in getCallTargetOpValue()
H A DSparcELFObjectWriter.cpp50 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) { in getRelocType() local
51 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32) in getRelocType()
/freebsd/contrib/llvm-project/llvm/lib/Target/VE/MCTargetDesc/
H A DVEELFObjectWriter.cpp42 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Fixup.getValue())) { in getRelocType() local
43 if (SExpr->getKind() == VEMCExpr::VK_VE_PC_LO32) in getRelocType()
H A DVEMCCodeEmitter.cpp102 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Expr)) { in getMachineOpValue() local
103 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()