Home
last modified time | relevance | path

Searched refs:subsumes (Results 1 – 24 of 24) sorted by relevance

/external/llvm-project/clang/lib/Sema/
DSemaConcept.cpp861 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes() function
893 static bool subsumes(Sema &S, NamedDecl *DP, ArrayRef<const Expr *> P, in subsumes() function
910 Subsumes = subsumes(PDNF, QCNF, E); in subsumes()
934 if (subsumes(*this, D1, AC1, D2, AC2, Result, in IsAtLeastAsConstrained()
936 return A.subsumes(Context, B); in IsAtLeastAsConstrained()
954 return A.subsumes(Context, B); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
994 bool Is1AtLeastAs2Normally = subsumes(DNF1, CNF2, NormalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
995 bool Is2AtLeastAs1Normally = subsumes(DNF2, CNF1, NormalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
996 bool Is1AtLeastAs2 = subsumes(DNF1, CNF2, IdenticalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
997 bool Is2AtLeastAs1 = subsumes(DNF2, CNF1, IdenticalExprEvaluator); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
/external/llvm-project/llvm/test/Instrumentation/DataFlowSanitizer/
Dunion.ll44 ; In this case, we know that the label for %xayax subsumes the label for %xay.
/external/llvm/test/Instrumentation/DataFlowSanitizer/
Dunion.ll44 ; In this case, we know that the label for %xayax subsumes the label for %xay.
/external/llvm-project/llvm/test/CodeGen/ARM/
D2013-05-05-IfConvertBug.ll96 ; If-converter was checking for the wrong predicate subsumes pattern when doing
101 ; "permissive" than A.BrToBPredicate, i.e., iff A.BrToBPredicate subsumes
/external/llvm/test/CodeGen/ARM/
D2013-05-05-IfConvertBug.ll97 ; If-converter was checking for the wrong predicate subsumes pattern when doing
102 ; "permissive" than A.BrToBPredicate, i.e., iff A.BrToBPredicate subsumes
/external/llvm-project/clang/include/clang/Sema/
DSemaConcept.h58 bool subsumes(ASTContext &C, const AtomicConstraint &Other) const { in subsumes() function
/external/libjpeg-turbo/
DNOTICE126 License, and since the IJG License effectively subsumes the distribution
DLICENSE.md126 License, and since the IJG License effectively subsumes the distribution
/external/llvm-project/clang/docs/
DDataFlowSanitizerDesign.rst92 subsumes the other. If so, it returns the previously allocated union
DDriverInternals.rst86 Darwin, this implies that the Clang driver also subsumes the gcc
/external/clang/docs/
DDataFlowSanitizerDesign.rst92 subsumes the other. If so, it returns the previously allocated union
DDriverInternals.rst86 Darwin, this implies that the Clang driver also subsumes the gcc
/external/llvm-project/mlir/test/Conversion/StandardToLLVM/
Dcalling-convention.mlir6 // version subsumes the calling convention and only adds new functions, that we
/external/tensorflow/tensorflow/lite/g3doc/convert/
Doperation_fusion.md27 A fused operation corresponds to a single operation that subsumes all the
/external/python/cpython2/Doc/library/
Demail.rst15 MIME and other :rfc:`2822`\ -based message documents. It subsumes most of the
/external/llvm-project/libcxx/docs/
DCxx2aStatusPaperStatus.csv192 "`P2101 <https://wg21.link/P2101>`__","LWG","'Models' subsumes 'satisfies' (Wording for US298 and U…
/external/llvm/docs/
DLibFuzzer.rst483 they will both be saved, even though the latter subsumes the former.)
/external/python/cpython3/Lib/idlelib/
DChangeLog920 called <wink>) class was removed from AutoIndent; PyParse subsumes its
/external/python/cpython2/Lib/idlelib/
DChangeLog920 called <wink>) class was removed from AutoIndent; PyParse subsumes its
/external/jline/src/src/test/resources/jline/example/
Denglish.gz
/external/kotlinx.coroutines/benchmarks/src/jmh/resources/
Dospd.txt.gz
/external/icu/tools/srcgen/currysrc/libs/
Dorg.eclipse.jdt.core_3.14.0.v20180528-0519.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSE_.SF META-INF/ECLIPSE_ ...
/external/python/cpython2/Misc/
DHISTORY11557 - In code.py, add a class that subsumes Fredrik Lundh's
/external/python/cpython3/Misc/
DHISTORY28936 - In code.py, add a class that subsumes Fredrik Lundh's