HomeSort by: relevance | last modified time | path
    Searched refs:implies (Results 1 - 25 of 33) sorted by relevancy

1 2

  /src/external/apache2/llvm/dist/clang/lib/Analysis/
ThreadSafetyLogical.cpp 19 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { function
24 return implies(A->left(), LNeg, RHS, RNeg) &&
25 implies(A->right(), LNeg, RHS, RNeg);
28 return implies(LHS, LNeg, A->left(), RNeg) &&
29 implies(LHS, LNeg, A->right(), RNeg);
34 return implies(A->left(), LNeg, RHS, RNeg) ||
35 implies(A->right(), LNeg, RHS, RNeg);
38 return implies(LHS, LNeg, A->left(), RNeg) ||
39 implies(LHS, LNeg, A->right(), RNeg);
60 // to return !implies(LHS, RHS)
105 bool implies(const LExpr *LHS, const LExpr *RHS) { function in namespace:clang::threadSafety::lexpr
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/Analyses/
ThreadSafetyLogical.h 31 /// Logical implication. Returns true if the LExpr implies RHS, i.e. if
32 /// the LExpr holds, then RHS must hold. For example, (A & B) implies A.
33 inline bool implies(const LExpr *RHS) const;
94 /// Logical implication. Returns true if LHS implies RHS, i.e. if LHS
95 /// holds, then RHS must hold. For example, (A & B) implies A.
96 bool implies(const LExpr *LHS, const LExpr *RHS);
98 bool LExpr::implies(const LExpr *RHS) const { function in class:clang::threadSafety::lexpr::LExpr
99 return lexpr::implies(this, RHS);
  /src/bin/sh/
option.list 73 Xflag xlock X #ifndef SMALL # sticky stderr for -x (implies -x)
  /src/crypto/external/bsd/openssl.old/dist/util/
find-doc-nits 34 -d Detailed list of undocumented (implies -u)
37 -p Warn if non-public name documented (implies -n)
mkerr.pl 67 implies -nowrite.
  /src/external/gpl3/gcc/dist/libgfortran/intrinsics/
trigd.inc 78 Value such that x <= COSD_SMALL_LITERAL implies COSD(x) = 1 to within the
82 Value such that x <= SIND_SMALL_LITERAL implies SIND(x) = D2R(x) to within
  /src/external/gpl3/gcc.old/dist/libgfortran/intrinsics/
trigd.inc 78 Value such that x <= COSD_SMALL_LITERAL implies COSD(x) = 1 to within the
82 Value such that x <= SIND_SMALL_LITERAL implies SIND(x) = D2R(x) to within
  /src/crypto/external/apache2/openssl/dist/util/
find-doc-nits 51 -d Detailed list of undocumented (implies -u)
52 -e Detailed list of new undocumented (implies -v)
57 -o Causes -e/-v to count symbols added since 1.1.1 as new (implies -v)
mkerr.pl 70 implies -nowrite.
  /src/crypto/external/bsd/openssl/dist/util/
find-doc-nits 50 -d Detailed list of undocumented (implies -u)
51 -e Detailed list of new undocumented (implies -v)
56 -o Causes -e/-v to count symbols added since 1.1.1 as new (implies -v)
mkerr.pl 70 implies -nowrite.
  /src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
ScalarEvolution.h 113 /// either implies NW. For convenience, NW will be set for a recurrence
229 /// Returns true if this predicate implies \p N.
230 virtual bool implies(const SCEVPredicate *N) const = 0;
277 bool implies(const SCEVPredicate *N) const override;
383 bool implies(const SCEVPredicate *N) const override;
426 bool implies(const SCEVPredicate *N) const override;
1031 /// specified loop. This property being true implies that the value is
  /src/usr.bin/make/unit-tests/
escape.mk 28 # this implies that <backslash> should be taken literally everywhere
  /src/external/bsd/kyua-cli/dist/store/
schema_v1.sql 48 -- Rows in this table are immutable: modifying the metadata implies writing
schema_v2.sql 48 -- Rows in this table are immutable: modifying the metadata implies writing
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2dvi 158 implies --tidy;
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2dvi 158 implies --tidy;
  /src/crypto/external/bsd/openssl.old/dist/crypto/bn/asm/
armv8-mont.pl 226 // if it is, subtract the modulus. But comparison implies
908 // if it is, subtract the modulus. But comparison implies
1396 // if it is, subtract the modulus. But comparison implies
  /src/crypto/external/apache2/openssl/dist/crypto/bn/asm/
armv8-mont.pl 250 // if it is, subtract the modulus. But comparison implies
1300 // if it is, subtract the modulus. But comparison implies
1790 // if it is, subtract the modulus. But comparison implies
  /src/crypto/external/bsd/openssl/dist/crypto/bn/asm/
armv8-mont.pl 249 // if it is, subtract the modulus. But comparison implies
1294 // if it is, subtract the modulus. But comparison implies
1782 // if it is, subtract the modulus. But comparison implies
  /src/sys/arch/luna68k/luna68k/
locore.s 262 jpl Lenab3 | 68851 implies no d-cache
  /src/sys/arch/news68k/news68k/
locore.s 360 jpl Lenab3 | 68851 implies no d-cache
  /src/sys/arch/x68k/x68k/
locore.s 359 jpl Lenab3 | 68851 implies no d-cache
  /src/crypto/external/apache2/openssl/dist/crypto/ec/asm/
ecp_nistz256-armv4.pl 239 @ But since comparison implies subtraction, we subtract
1228 @ But since comparison implies subtraction, we subtract
  /src/crypto/external/bsd/openssl/dist/crypto/ec/asm/
ecp_nistz256-armv4.pl 239 @ But since comparison implies subtraction, we subtract
1228 @ But since comparison implies subtraction, we subtract

Completed in 51 milliseconds

1 2