| /freebsd/contrib/llvm-project/llvm/lib/IR/ |
| H A D | Assumptions.cpp | 1 //===- Assumptions.cpp ------ Collection of helpers for assumptions -------===//
14 #include "llvm/IR/Assumptions.h"
41 DenseSet<StringRef> Assumptions; in getAssumptions() local
46 Assumptions.insert(Str); in getAssumptions()
47 return Assumptions; in getAssumptions()
52 const DenseSet<StringRef> &Assumptions) { in addAssumptionsImpl() argument
53 if (Assumptions.empty()) in addAssumptionsImpl()
58 if (!set_union(CurAssumptions, Assumptions)) in addAssumptionsImpl()
96 bool llvm::addAssumptions(Function &F, const DenseSet<StringRef> &Assumptions) { in addAssumptions() argument
97 return ::addAssumptionsImpl(F, Assumptions); in addAssumptions()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/IR/ |
| H A D | Assumptions.h | 1 //===--- Assumptions.h - Assumption handling and organization ---*- C++ -*-===//
9 // String assumptions that are known to optimization passes should be placed in
60 /// Return the set of all assumptions for the function \p F.
63 /// Return the set of all assumptions for the call \p CB.
66 /// Appends the set of assumptions \p Assumptions to \F.
67 bool addAssumptions(Function &F, const DenseSet<StringRef> &Assumptions);
69 /// Appends the set of assumptions \p Assumptions to \CB.
70 bool addAssumptions(CallBase &CB, const DenseSet<StringRef> &Assumptions);
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | AssumptionCache.h | 10 // the functions of a module (allowing assumptions within any function to be
37 /// This cache provides fast lookup of assumptions within a function by caching
39 /// that create new assumptions are required to call registerAssumption() to
58 /// The function for which this cache is handling assumptions.
60 /// We track this to lazily populate our assumptions.
85 /// information to the relevant set of assumptions.
91 /// Get the vector of assumptions which affect a value from the cache.
103 /// Scan the function for assumptions and add them to the cache.
150 MutableArrayRef<ResultElem> assumptions() { in assumptions() function
156 /// Access the list of assumptions whic
[all...] |
| /freebsd/sys/dev/qat/qat_api/include/ |
| H A D | icp_sal_user.h | 26 * @assumptions
63 * @assumptions
97 * @assumptions
121 * @assumptions
145 * @assumptions
169 * @assumptions
196 * @assumptions
223 * @assumptions
252 * @assumptions
281 * @assumptions
[all …]
|
| H A D | icp_sal_poll.h | 33 * @assumptions
66 * @assumptions
99 * @assumptions
132 * @assumptions
182 * @assumptions
215 * @assumptions
265 * @assumptions
298 * @assumptions
338 * @assumptions
|
| H A D | icp_sal_iommu.h | 21 * @assumptions
42 * @assumptions
66 * @assumptions
|
| /freebsd/sys/dev/qat/qat_api/common/include/ |
| H A D | lac_sal.h | 33 * @assumptions
75 * @assumptions
130 * @assumptions
170 * @assumptions
196 * @assumptions
221 * @assumptions
246 * @assumptions
271 * @assumptions
297 * @assumptions
322 * @assumptions
[all …]
|
| H A D | lac_sal_ctrl.h | 25 * @assumptions
47 * @assumptions
67 * @assumptions
87 * @assumptions
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | AlignmentFromAssumptions.cpp | 2 // Set Load/Store Alignments From Assumptions
13 // complex alignment assumptions that apply to vector loads and stores that
34 #define DEBUG_TYPE "alignment-from-assumptions"
38 "Number of loads changed by alignment assumptions");
40 "Number of stores changed by alignment assumptions");
42 "Number of memory intrinsics changed by alignment assumptions");
196 // Skip ConstantPointerNull and UndefValue. Assumptions on these shouldn't in processAssumption()
289 for (auto &AssumeVH : AC.assumptions()) in runImpl()
|
| /freebsd/sys/dev/qat/qat_api/common/ctrl/ |
| H A D | sal_ctrl_services.c | 78 * @assumptions
158 * @assumptions
185 * @assumptions
261 * @assumptions
349 * @assumptions
397 * @assumptions
502 * @assumptions
622 * @assumptions
681 * @assumptions
753 * @assumptions
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | AssumptionCache.cpp | 160 // Any assumptions that affected this value now affect the new value. in allUsesReplacedWith()
201 // We expect the number of assumptions to be small, so in an asserts build in registerAssumption()
202 // check that we don't accumulate duplicates and that all assumptions point in registerAssumption()
233 OS << "Cached assumptions for function: " << F.getName() << "\n"; in run()
234 for (auto &VH : AC.assumptions()) in run()
285 for (auto &VH : I.second->assumptions()) in verifyAnalysis()
|
| /freebsd/sys/dev/qat/qat_api/include/lac/ |
| H A D | cpa_cy_common.h | 169 * @assumptions
216 * @assumptions
267 * @assumptions
322 * @assumptions
381 * @assumptions
434 * @assumptions
488 * @assumptions
539 * @assumptions
594 * @assumptions
640 * @assumptions
|
| H A D | cpa_cy_im.h | 81 * @assumptions
133 * @assumptions
260 * @assumptions
306 * @assumptions
|
| H A D | cpa_cy_ecdsa.h | 371 * @assumptions
422 * @assumptions
472 * @assumptions
520 * @assumptions
591 * @assumptions
662 * @assumptions
736 * @assumptions
811 * @assumptions
|
| H A D | cpa_cy_dsa.h | 577 * @assumptions
630 * @assumptions
681 * @assumptions
747 * @assumptions
838 * @assumptions
913 * @assumptions
999 * @assumptions
1090 * @assumptions
1182 * @assumptions
1267 * @assumptions
[all …]
|
| H A D | cpa_cy_ecsm2.h | 688 * @assumptions
739 * @assumptions
786 * @assumptions
861 * @assumptions
936 * @assumptions
1005 * @assumptions
1078 * @assumptions
1147 * @assumptions
1215 * @assumptions
1283 * @assumptions
[all …]
|
| /freebsd/sys/dev/qat/qat_api/common/utils/ |
| H A D | sal_user_process.c | 31 * @assumptions
69 * @assumptions
|
| /freebsd/contrib/llvm-project/llvm/tools/llvm-diff/lib/ |
| H A D | DifferenceEngine.cpp | 134 // Equivalence Assumptions
142 // stored assumptions using the Values map that stores proven equivalences
153 // assumptions were made, this is not entirely clear, because in principle we
157 // To see that assumptions do not add false negatives, note that if we do not
159 // and new values that is consistent with all assumptions made. The circular
170 // proven to differ, or pairs whose equivalence depends on assumptions to be
208 // assumptions in BlockDiffCandidates. Its presence controls whether
209 // assumptions are generated.
284 // Check assumptions in checkAndReportDiffCandidates()
318 // immediately or via invalid assumptions. in diff()
[all …]
|
| /freebsd/usr.bin/top/ |
| H A D | display.c | 19 * ASSUMPTIONS:
337 * Assumptions: cursor is at the beginning of the line on entry
552 * Assumptions: cursor is on "lastline"
586 * Assumptions: cursor is on "lastline"
626 * Assumptions: cursor is on "lastline"
665 * Assumptions: cursor is on "lastline"
708 * Assumptions: lastline is consistent
778 * Assumptions: cursor is on the previous line and lastline is consistent
819 * Assumptions: lastline is consistent
|
| /freebsd/sys/dev/qat/qat_api/include/dc/ |
| H A D | cpa_dc_dp.h | 275 * @assumptions
316 * @assumptions
387 * @assumptions
467 * @assumptions
522 * @assumptions
574 * @assumptions
865 * @assumptions
963 * @assumptions
964 * See @ref cpaDcDpEnqueueOpBatch assumptions.
1052 * @assumptions
[all …]
|
| H A D | cpa_dc.h | 585 * @assumptions
1096 * @assumptions
1156 * @assumptions
1246 * @assumptions
1298 * @assumptions
1353 * @assumptions
1409 * @assumptions
1461 * @assumptions
1516 * @assumptions
1566 * @assumptions
[all …]
|
| /freebsd/crypto/openssl/crypto/property/ |
| H A D | README.md | 7 This implementation is based on a number of assumptions:
30 Some consequences of these assumptions are:
|
| /freebsd/share/man/man9/ |
| H A D | KASSERT.9 | 48 kernel to verify programmatic assumptions.
49 For violations of run-time assumptions and invariants, it is desirable to fail
|
| /freebsd/crypto/openssl/doc/man3/ |
| H A D | OSSL_STORE_open.pod | 133 The loaders may make assumptions, however.
134 For example, the B<file:> scheme loader inherits the assumptions made by
|
| /freebsd/lib/geom/virstor/ |
| H A D | gvirstor.8 | 272 .Sh ASSUMPTIONS AND INTERACTION WITH FILE SYSTEMS
273 There are several assumptions that
|