Searched refs:SExpr (Results 1 - 9 of 9) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyTIL.h77 /// Enum for the different distinct classes of SExpr
277 class SExpr { class in namespace:clang::threadSafety
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) {} function in class:clang::threadSafety::SExpr
322 SExpr(const SExpr &E) : Opcode(E.Opcode), Flags(E.Flags) {} function in class:clang::threadSafety::SExpr
334 inline bool isTrivial(const SExpr *
[all...]
H A DThreadSafetyCommon.h60 // 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 *
[all...]
H A DThreadSafetyLogical.h8 // 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; }
H A DThreadSafetyTraverse.h38 // 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 *E
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/lib/Analysis/
H A DThreadSafetyCommon.cpp63 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 *
[all...]
H A DThreadSafetyTIL.cpp51 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]);
H A DThreadSafety.cpp900 llvm::PointerIntPair<const til::SExpr *, 2, UnderlyingCapabilityKind>;
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Target/Sparc/MCTargetDesc/
H A DSparcMCCodeEmitter.cpp135 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) {
136 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind();
162 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr()); local
163 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef &&
165 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr());
174 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) {
175 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30)
H A DSparcELFObjectWriter.cpp46 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) {
47 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32)

Completed in 103 milliseconds