Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/include/clang/Analysis/Analyses/
H A 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 …]
H A 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 …]
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()
/netbsd-src/external/apache2/llvm/dist/clang/lib/Analysis/
H A 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 …]
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()
H A DThreadSafety.cpp901 llvm::PointerIntPair<const til::SExpr *, 2, UnderlyingCapabilityKind>;
1268 const threadSafety::til::SExpr *SExp = CapE.sexpr(); in inCurrentScope()
/netbsd-src/external/apache2/llvm/dist/llvm/lib/Target/Sparc/MCTargetDesc/
H A DSparcMCCodeEmitter.cpp138 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getMachineOpValue() local
139 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()
171 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) { in getSImm13OpValue() local
172 Kind = MCFixupKind(SExpr->getFixupKind()); in getSImm13OpValue()
189 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr); in getCallTargetOpValue() local
196 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef && in getCallTargetOpValue()
198 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); in getCallTargetOpValue()
205 MCFixupKind Kind = MCFixupKind(SExpr->getFixupKind()); in getCallTargetOpValue()
H A 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()
/netbsd-src/external/apache2/llvm/dist/llvm/lib/Target/VE/MCTargetDesc/
H A 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()
H A DVEMCCodeEmitter.cpp111 if (const VEMCExpr *SExpr = dyn_cast<VEMCExpr>(Expr)) { in getMachineOpValue() local
112 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind(); in getMachineOpValue()