Searched refs:assumptions (Results 1 - 16 of 16) sorted by relevance

/freebsd-11.0-release/contrib/llvm/lib/Analysis/
H A DAssumptionCache.cpp59 // We expect the number of assumptions to be small, so in an asserts build
60 // check that we don't accumulate duplicates and that all assumptions point
83 OS << "Cached assumptions for function: " << F.getName() << "\n";
84 for (auto &VH : AC.assumptions())
119 for (auto &VH : I.second->assumptions())
H A DCodeMetrics.cpp69 for (auto &AssumeVH : AC->assumptions()) {
91 for (auto &AssumeVH : AC->assumptions()) {
H A DLazyValueInfo.cpp792 for (auto &AssumeVH : AC->assumptions()) {
H A DScalarEvolution.cpp7468 for (auto &AssumeVH : AC.assumptions()) {
7555 for (auto &AssumeVH : AC.assumptions()) {
H A DValueTracking.cpp730 // Use of assumptions is context-sensitive. If we don't have a context, we
737 for (auto &AssumeVH : Q.AC->assumptions()) {
/freebsd-11.0-release/contrib/llvm/include/llvm/Analysis/
H A DAssumptionCache.h11 // 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
42 /// may allow it to discover new assumptions.
44 /// \brief The function for which this cache is handling assumptions.
46 /// We track this to lazily populate our assumptions.
59 /// \brief Scan the function for assumptions and add them to the cache.
89 MutableArrayRef<WeakVH> assumptions() { function in class:llvm::AssumptionCache
161 /// \brief Get the cached assumptions for a function.
163 /// If no assumptions are cached, this will scan the function. Otherwise, the
/freebsd-11.0-release/contrib/gcc/
H A Dtree-ssa-loop-niter.c134 NITER->assumptions to make sure this is the case). */
187 assumptions for divisibility of c. */
192 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node,
193 niter->assumptions, assumption);
205 of the step. The assumptions necessary to ensure that the computation
266 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node,
267 niter->assumptions,
339 niter->assumptions = fold_build2 (TRUTH_AND_EXPR, boolean_type_node,
340 niter->assumptions, assumption);
398 niter->assumptions
[all...]
H A Dloop-iv.c1810 /* Transforms invariant IV into MODE. Adds assumptions based on the fact
1871 some assumptions to DESC). */
2004 /* The meaning of these assumptions is this:
2005 if !assumptions
2010 desc->assumptions = NULL_RTX;
2072 assumptions) to shape subreg (base + i * step). This function also fills
2126 /* Some more condition normalization. We must record some assumptions
2271 desc->assumptions = alloc_EXPR_LIST (0, may_xform,
2272 desc->assumptions);
2390 desc->assumptions
[all...]
H A Dcfgloop.h330 rtx assumptions; member in struct:niter_desc
H A Dloop-unroll.c365 || desc->assumptions
435 || desc->assumptions
583 if (!desc->simple_p || !desc->const_iter || desc->assumptions)
863 if (!desc->simple_p || desc->assumptions)
1197 if (desc->simple_p && !desc->assumptions && desc->const_iter)
1356 if (desc->simple_p && !desc->assumptions)
1450 /* We indeed may get here provided that there are nontrivial assumptions
H A Dloop-doloop.c165 || desc->assumptions
380 /* Expand the condition testing the assumptions and if it does not pass,
H A Dtree-flow.h767 tree assumptions; /* The boolean expression. If this expression evaluates member in struct:tree_niter_desc
776 a loop (provided that assumptions == true and
/freebsd-11.0-release/sys/boot/i386/kgzldr/
H A Dcrt.s30 # Screen defaults and assumptions.
/freebsd-11.0-release/sys/boot/pc98/kgzldr/
H A Dcrt.s30 # Screen defaults and assumptions.
/freebsd-11.0-release/contrib/llvm/lib/Transforms/Scalar/
H A DAlignmentFromAssumptions.cpp14 // complex alignment assumptions that apply to vector loads and stores that
19 #define AA_NAME "alignment-from-assumptions"
42 "Number of loads changed by alignment assumptions");
44 "Number of stores changed by alignment assumptions");
46 "Number of memory intrinsics changed by alignment assumptions");
86 static const char aip_name[] = "Alignment from assumptions";
422 for (auto &AssumeVH : AC.assumptions())
/freebsd-11.0-release/sys/netpfil/ipfw/
H A Dip_fw2.c591 * can make some assumptions about contiguousness.
618 * can make some assumptions about contiguousness.

Completed in 468 milliseconds