Home
last modified time | relevance | path

Searched refs:Assumptions (Results 1 – 19 of 19) sorted by relevance

/freebsd/contrib/llvm-project/llvm/lib/IR/
H A DAssumptions.cpp41 DenseSet<StringRef> Assumptions; in getAssumptions() local
45 Assumptions.insert_range(Strings); in getAssumptions()
46 return Assumptions; in getAssumptions()
51 const DenseSet<StringRef> &Assumptions) { in addAssumptionsImpl() argument
52 if (Assumptions.empty()) in addAssumptionsImpl()
57 if (!set_union(CurAssumptions, Assumptions)) in addAssumptionsImpl()
95 bool llvm::addAssumptions(Function &F, const DenseSet<StringRef> &Assumptions) { in addAssumptions() argument
96 return ::addAssumptionsImpl(F, Assumptions); in addAssumptions()
100 const DenseSet<StringRef> &Assumptions) { in addAssumptions() argument
101 return ::addAssumptionsImpl(CB, Assumptions); in addAssumptions()
/freebsd/contrib/llvm-project/llvm/include/llvm/IR/
H A DAssumptions.h69 const DenseSet<StringRef> &Assumptions);
73 const DenseSet<StringRef> &Assumptions);
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DDependenceAnalysis.h79 : Src(Source), Dst(Destination), Assumptions(A) {} in Dependence()
209 SCEVUnionPredicate getRuntimeAssumptions() const { return Assumptions; } in getRuntimeAssumptions()
219 SCEVUnionPredicate Assumptions;
375 SmallVector<const SCEVPredicate *, 4> Assumptions; variable
H A DScalarEvolution.h1069 SmallVectorImpl<const SCEVPredicate *> &Assumptions);
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DDependenceAnalysis.cpp221 SCEVUnionPredicate Assumptions = DA->getRuntimeAssumptions(); in dumpExampleDependence() local
222 if (!Assumptions.isAlwaysTrue()) { in dumpExampleDependence()
224 Assumptions.print(OS, 0); in dumpExampleDependence()
728 SCEVUnionPredicate Assumptions = getRuntimeAssumptions(); in dump() local
729 if (!Assumptions.isAlwaysTrue()) { in dump()
731 Assumptions.print(OS, 2); in dump()
3589 return SCEVUnionPredicate(Assumptions, *SE); in getRuntimeAssumptions()
3688 unsigned N = Assumptions.size(); in depends()
3692 if (Assumptions[I]->implies(P, *SE)) in depends()
3695 Assumptions.push_back(P); in depends()
[all …]
H A DScalarEvolution.cpp10976 SmallVectorImpl<const SCEVPredicate *> &Assumptions) { in isKnownMultipleOf() argument
10986 return isKnownMultipleOf(AddRec->getStart(), M, Assumptions) && in isKnownMultipleOf()
10987 isKnownMultipleOf(AddRec->getStepRecurrence(*this), M, Assumptions); in isKnownMultipleOf()
11015 for (auto *A : Assumptions) in isKnownMultipleOf()
11020 Assumptions.push_back(P); in isKnownMultipleOf()
/freebsd/crypto/openssl/doc/designs/quic-design/
H A Derror-handling.md35 Assumptions section in Error handling in QUIC code
/freebsd/crypto/openssl/
H A DFREEBSD-upgrade.md3 ## Assumptions section in FreeBSD maintainer's guide to OpenSSL
/freebsd/crypto/krb5/src/lib/krb5/unicode/ucdata/
H A Dformat.txt79 Assumptions: unsigned short is at least 16-bits in size and unsigned long
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/IPO/
H A DAttributor.h3088 SetContents(const DenseSet<BaseTy> &Assumptions)
3089 : Universal(false), Set(Assumptions) {}
3091 SetContents(bool Universal, const DenseSet<BaseTy> &Assumptions)
3092 : Universal(Universal), Set(Assumptions) {}
/freebsd/contrib/llvm-project/compiler-rt/lib/builtins/
H A DREADME.txt355 Assumptions are listed in "int_lib.h", and in individual files. Where possible
/freebsd/sys/dev/isp/
H A DDriverManual.txt198 5.1 Driver Assumptions
422 5.7 Locking Assumptions
/freebsd/contrib/llvm-project/clang/include/clang/Sema/
H A DSemaOpenMP.h239 ArrayRef<std::string> Assumptions,
/freebsd/contrib/llvm-project/clang/lib/Parse/
H A DParseOpenMP.cpp1621 SmallVector<std::string, 4> Assumptions; in ParseOpenMPAssumesDirective() local
1694 Assumptions.push_back(Assumption); in ParseOpenMPAssumesDirective()
1697 Actions.OpenMP().ActOnOpenMPAssumesDirective(Loc, DKind, Assumptions, in ParseOpenMPAssumesDirective()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DAttributorAttributes.cpp11905 auto Assumptions = getAssumptions(CB); in getInitialAssumptions() local
11907 set_union(Assumptions, getAssumptions(*F)); in getInitialAssumptions()
11909 set_union(Assumptions, getAssumptions(*F)); in getInitialAssumptions()
11910 return Assumptions; in getInitialAssumptions()
/freebsd/lib/clang/libllvm/
H A DMakefile886 SRCS_MIN+= IR/Assumptions.cpp
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaOpenMP.cpp3517 ArrayRef<std::string> Assumptions, in ActOnOpenMPAssumesDirective() argument
3519 if (!SkippedClauses && Assumptions.empty()) { in ActOnOpenMPAssumesDirective()
3527 OMPAssumeAttr::Create(getASTContext(), llvm::join(Assumptions, ","), Loc); in ActOnOpenMPAssumesDirective()
3534 if (Assumptions.empty()) in ActOnOpenMPAssumesDirective()
/freebsd/contrib/one-true-awk/testdir/
H A Dfunstack.ok479 Robert A. Wagner Finiteness Assumptions and Intellectual
H A Dfunstack.in3366 title = "Finiteness Assumptions and Intellectual Isolation of Computer Scientists",