| /src/external/apache2/llvm/dist/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyCommon.h | 15 // * Translation of clang Exprs to TIL SExprs
60 // Various helper functions on til::SExpr
63 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
64 return til::EqualsComparator::compareExprs(E1, E2);
67 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
71 if (isa<til::Wildcard>(E1))
72 return isa<til::Wildcard>(E2);
73 if (isa<til::Wildcard>(E2)
[all...] |
| ThreadSafetyLogical.h | 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; }
|
| ThreadSafetyUtil.h | 34 namespace til { namespace in namespace:clang::threadSafety
65 } // namespace til
71 clang::threadSafety::til::MemRegionRef &R) {
80 namespace til { namespace in namespace:clang::threadSafety
226 } // namespace til
|
| ThreadSafetyTraverse.h | 10 // operations over the Thread Safety TIL.
30 namespace til { namespace in namespace:clang::threadSafety
403 // Pretty printer for TIL expressions
927 } // namespace til
|
| ThreadSafetyTIL.h | 9 // This file defines a simple Typed Intermediate Language, or TIL, that is used
10 // by the thread safety analysis (See ThreadSafety.cpp). The TIL is intended
37 // The TIL is currently very experimental, is intended only for use within
73 namespace til { namespace in namespace:clang::threadSafety
426 // The TIL type or definition.
486 /// Placeholder for expressions that cannot be represented in the TIL.
1905 void simplifyIncompleteArg(til::Phi *Ph);
1907 } // namespace til
|
| /src/external/apache2/llvm/dist/clang/lib/Analysis/ |
| ThreadSafetyCommon.cpp | 63 static bool isIncompletePhi(const til::SExpr *E) {
64 if (const auto *Ph = dyn_cast<til::Phi>(E))
65 return Ph->status() == til::Phi::PH_Incomplete;
71 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) {
78 til::SCFG *SExprBuilder::buildCFG(CFGWalker &Walker) {
88 /// Translate a clang expression in an attribute to a til::SExpr.
149 /// Translate a clang expression in an attribute to a til::SExpr.
160 return CapabilityExpr(new (Arena) til::Wildcard(), false);
180 til::SExpr *E = translate(AttrExp, Ctx);
184 if (!E || isa<til::Literal>(E)
[all...] |
| ThreadSafetyTIL.cpp | 17 using namespace til;
19 StringRef til::getUnaryOpcodeString(TIL_UnaryOpcode Op) {
28 StringRef til::getBinaryOpcodeString(TIL_BinaryOpcode Op) {
82 const SExpr *til::getCanonicalVal(const SExpr *E) {
104 SExpr *til::simplifyToCanonicalVal(SExpr *E) {
111 if (til::ThreadSafetyTIL::isTrivial(V->definition())) {
133 void til::simplifyIncompleteArg(til::Phi *Ph) {
|
| ThreadSafety.cpp | 901 llvm::PointerIntPair<const til::SExpr *, 2, UnderlyingCapabilityKind>;
1013 threadSafety::til::MemRegionRef Arena;
1268 const threadSafety::til::SExpr *SExp = CapE.sexpr();
1271 if (const auto *LP = dyn_cast<til::LiteralPtr>(SExp)) {
1284 if (const auto *P = dyn_cast<til::Project>(SExp)) {
|
| /src/sys/lib/libkern/arch/m68k/ |
| skpc.S | 57 jne Lskdone | keep going til no more or zero
61 dbne %d0,Lskloop | keep going til no more or zero
|
| scanc.S | 64 jne Lscloop | keep going til no more
67 dbne %d0,Lscloop | keep going til no more or non-zero
|
| /src/common/lib/libc/arch/m68k/string/ |
| bcopy.S | 161 jcc .Lbcflloop | til done
163 dbf %d0,.Lbcflloop | til done
174 jcc .Lbcfbloop | til done
256 jcc .Lbcblloop | til done
258 dbf %d0,.Lbcblloop | til done
269 jcc .Lbcbbloop | til done
|
| /src/sys/arch/mac68k/mac68k/ |
| pramasm.s | 310 dbf %d1,fivebit | til we've done bit 4-0
|
