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

1 2

  /src/external/apache2/llvm/dist/llvm/lib/Analysis/
AssumeBundleQueries.cpp 1 //===- AssumeBundleQueries.cpp - tool to query assume bundles ---*- C++ -*-===//
9 #define DEBUG_TYPE "assume-queries"
24 STATISTIC(NumAssumeQueries, "Number of Queries into an assume assume bundles");
27 "Number of Queries into an assume assume bundles that were satisfied");
29 DEBUG_COUNTER(AssumeQueryCounter, "assume-queries-counter",
36 static Value *getValueFromBundleOpInfo(AssumeInst &Assume,
40 return (Assume.op_begin() + BOI.Begin + Idx)->get();
43 bool llvm::hasAttributeInAssume(AssumeInst &Assume, Value *IsOn
    [all...]
AssumptionCache.cpp 1 //===- AssumptionCache.cpp - Cache finding @llvm.assume calls -------------===//
9 // This file contains a pass that keeps track of @llvm.assume intrinsics in
134 auto &AVV = getOrInsertAffectedValues(AV.Assume);
136 return Elem.Assume == CI && Elem.Index == AV.Index;
147 auto AVI = AffectedValues.find_as(AV.Assume);
153 if (Elem.Assume == CI) {
155 Elem.Assume = nullptr;
157 HasNonnull |= !!Elem.Assume;
202 // Go through all instructions in all blocks, add all calls to @llvm.assume
227 "Cannot register @llvm.assume call not in a basic block")
    [all...]
TypeMetadataUtils.cpp 83 // Find llvm.assume intrinsics for this llvm.type.test call.
85 if (auto *Assume = dyn_cast<AssumeInst>(CIU.getUser()))
86 Assumes.push_back(Assume);
LoopAccessAnalysis.cpp 179 /// Let's assume A is the first access and B is a memory access on N-th loop
534 /// adds a run-time to check for it to \p RtCheck. If \p Assume is true,
543 bool Assume);
621 /// If \p Assume, try harder to prove that we can compute the bounds of \p Ptr
625 Loop *L, bool Assume) {
634 if (!AR && Assume)
663 bool Assume) {
666 if (!hasComputableBounds(PSE, StridesMap, Ptr, TheLoop, Assume))
673 if (!Assume || !isa<SCEVAddRecExpr>(Expr))
787 ShouldCheckWrap, /*Assume=*/true))
    [all...]
Loads.cpp 98 /// be provent by an assume
103 [&](RetainedKnowledge RK, Instruction *Assume, auto) {
104 if (!isValidAssumeForContext(Assume, CtxI))
190 // If we don't know, assume the worst.
IVDescriptors.cpp 1142 InductionDescriptor &D, bool Assume) {
1160 if (Assume && !AR)
1171 // only after enabling Assume with PSCEV, this means we may have encountered
  /src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
AssumeBundleQueries.h 1 //===- AssumeBundleQueries.h - utilities to query assume bundles *- C++ -*-===//
9 // This file contain tools to query into assume bundles. assume bundles can be
35 /// Query the operand bundle of an llvm.assume to find a single attribute of
43 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
45 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
48 return hasAttributeInAssume(Assume, IsOn,
77 /// A mapping from intrinsics (=`llvm.assume` calls) to a value range
87 /// the llvm.assume. This should be used instead of hasAttributeInAssume when
88 /// many queries are going to be made on the same llvm.assume
    [all...]
AssumptionCache.h 1 //===- llvm/Analysis/AssumptionCache.h - Track @llvm.assume -----*- C++ -*-===//
9 // This file contains a pass that keeps track of @llvm.assume intrinsics in
34 /// A cache of \@llvm.assume calls within a function.
39 /// register any new \@llvm.assume calls that they create. Deletions of
40 /// \@llvm.assume calls do not require special handling.
44 /// llvm.assume.
48 WeakVH Assume;
53 operator Value *() const { return Assume; }
62 /// Vector of weak value handles to calls of the \@llvm.assume
115 /// Add an \@llvm.assume intrinsic to this function's cache
    [all...]
IVDescriptors.h 306 /// with the run-time predicate of PSE. If \p Assume is true, this can add
313 InductionDescriptor &D, bool Assume = false);
LoopAccessAnalysis.h 266 /// example we might assume a unit stride for a pointer in order to prove
676 /// The \p Assume parameter indicates if we are allowed to make additional
680 bool Assume = false, bool ShouldCheckWrap = true);
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/Utils/
AssumeBundleBuilder.cpp 30 "assume-preserve-all", cl::init(false), cl::Hidden,
40 #define DEBUG_TYPE "assume-builder"
42 STATISTIC(NumAssumeBuilt, "Number of assume built by the assume builder");
43 STATISTIC(NumBundlesInAssumes, "Total number of Bundles in the assume built");
45 "Number of assume merged by the assume simplify pass");
47 "Number of assume removed by the assume simplify pass");
49 DEBUG_COUNTER(BuildAssumeCounter, "assume-builder-counter"
    [all...]
PredicateInfo.cpp 54 // Maximum number of conditions considered for renaming for each branch/assume.
208 // assume. So for the purpose of ordering, we pretend the def is right
209 // after the assume, because that is where we will insert the info.
399 // Process an assume instruction and place relevant operations we want to rename
516 // as assume statements.
531 for (auto &Assume : AC.assumptions()) {
532 if (auto *II = dyn_cast_or_null<IntrinsicInst>(Assume))
553 // right now is 4, depending on if we had an assume, a branch, and both used
565 // the terminator. For assume, we have to place it right before the assume
    [all...]
  /src/external/apache2/llvm/dist/llvm/include/llvm/Transforms/Utils/
AssumeBundleBuilder.h 1 //===- AssumeBundleBuilder.h - utils to build assume bundles ----*- C++ -*-===//
29 /// Build a call to llvm.assume to preserve informations that can be derived
35 /// Calls BuildAssumeFromInst and if the resulting llvm.assume is valid insert
45 /// Build and return a new assume created from the provided knowledge
46 /// if the knowledge in the assume is fully redundant this will return nullptr
52 /// This pass attempts to minimize the number of assume without loosing any
60 /// This pass will try to build an llvm.assume for every instruction in the
67 /// Assume. This will return an empty RetainedKnowledge if the knowledge is
69 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
  /src/sys/external/bsd/compiler_rt/dist/lib/xray/
xray_trampoline_arm.S 14 @ Assume that "q" part of the floating-point registers is not used
43 @ Assume that d1-d7 are not used for the return value.
44 @ Assume that "q" part of the floating-point registers is not used for the
75 @ Assume that "q" part of the floating-point registers is not used
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp 53 eval::Assume,
238 /// eval::Assume
TrustNonnullChecker.cpp 48 eval::Assume> {
90 State = State->assume(*L, /*assumption=*/true);
109 State = State->assume(*L, /*assumption=*/true);
231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);
MacOSKeychainAPIChecker.cpp 33 eval::Assume> {
206 /// Given the address expression, retrieve the value it's pointing to. Assume
377 // In all other cases, assume the user supplied a correct deallocator
  /src/external/apache2/llvm/dist/llvm/lib/IR/
Value.cpp 209 if (auto *Assume = dyn_cast<AssumeInst>(U.getUser())) {
212 U.set(ConstantInt::getTrue(Assume->getContext()));
215 CallInst::BundleOpInfo &BOI = Assume->getBundleOpInfoForOperand(OpNo);
216 BOI.Tag = Assume->getContext().pImpl->getOrInsertBundleTag("ignore");
898 // it the preferred alignment. Otherwise, we have to assume that it
  /src/external/gpl3/gcc/dist/libgcc/config/rs6000/
morestack.S 250 # Assume those calls don't use vector or floating point regs.
  /src/external/gpl3/gcc.old/dist/libgcc/config/rs6000/
morestack.S 250 # Assume those calls don't use vector or floating point regs.
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountChecker.h 251 eval::Assume,
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
Checker.h 458 class Assume {
  /src/sys/arch/atari/atari/
locore.s 475 movl #MMU_68851,_C_LABEL(mmutype) | Assume 68851 with 68020
  /src/sys/arch/mvme68k/mvme68k/
locore.s 382 jeq Lmemcquery | Assume a MEMC chip if this is zero.
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/Scalar/
EarlyCSE.cpp 1181 // so assume that the stores match if neither is an intrinsic.
1239 // Skip assume intrinsics, they don't really have side effects (although
1243 if (auto *Assume = dyn_cast<AssumeInst>(&Inst)) {
1244 auto *CondI = dyn_cast<Instruction>(Assume->getArgOperand(0));
1262 // Skip sideeffect intrinsics, for the same reason as assume intrinsics.
1405 // we can assume the current load loads the same value as the dominating

Completed in 33 milliseconds

1 2