Home
last modified time | relevance | path

Searched refs:Assume (Results 1 – 25 of 80) sorted by relevance

1234

/llvm-project-15.0.7/llvm/unittests/Analysis/
H A DAssumeBundleQueriesTest.cpp90 Assume->insertBefore(I); in TEST()
112 Assume->insertBefore(I); in TEST()
132 Assume->insertBefore(I); in TEST()
134 Assume, nullptr, in TEST()
151 Assume->insertBefore(I); in TEST()
187 Assume->insertBefore(I); in TEST()
210 Assume->insertBefore(I); in TEST()
266 Assume->insertBefore(I); in TEST()
291 Assume->insertBefore(I); in TEST()
314 Assume->insertBefore(I); in TEST()
[all …]
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp40 return (Assume.op_begin() + BOI.Begin + Idx)->get(); in getValueFromBundleOpInfo()
50 if (Assume.bundle_op_infos().empty()) in hasAttributeInAssume()
53 for (auto &BOI : Assume.bundle_op_infos()) { in hasAttributeInAssume()
71 for (auto &Bundles : Assume.bundle_op_infos()) { in fillMapFromAssume()
80 Result[Key][&Assume] = {0, 0}; in fillMapFromAssume()
90 Result[Key][&Assume] = {Val, Val}; in fillMapFromAssume()
93 Lookup->second[&Assume].Min = std::min(Val, Lookup->second[&Assume].Min); in fillMapFromAssume()
94 Lookup->second[&Assume].Max = std::max(Val, Lookup->second[&Assume].Max); in fillMapFromAssume()
99 llvm::getKnowledgeFromBundle(AssumeInst &Assume, in getKnowledgeFromBundle() argument
122 return getKnowledgeFromBundle(Assume, BOI); in getKnowledgeFromOperandInAssume()
[all …]
H A DAssumptionCache.cpp141 auto &AVV = getOrInsertAffectedValues(AV.Assume); in updateAffectedValues()
143 return Elem.Assume == CI && Elem.Index == AV.Index; in updateAffectedValues()
154 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption()
160 if (Elem.Assume == CI) { in unregisterAssumption()
162 Elem.Assume = nullptr; in unregisterAssumption()
164 HasNonnull |= !!Elem.Assume; in unregisterAssumption()
H A DTypeMetadataUtils.cpp86 if (auto *Assume = dyn_cast<AssumeInst>(CIU.getUser())) in findDevirtualizableCallsForTypeTest() local
87 Assumes.push_back(Assume); in findDevirtualizableCallsForTypeTest()
H A DLoopAccessAnalysis.cpp653 unsigned ASId, bool ShouldCheckStride, bool Assume);
735 const SCEV *PtrScev, Loop *L, bool Assume) { in hasComputableBounds() argument
742 if (!AR && Assume) in hasComputableBounds()
929 bool Assume) { in createCheckForAccess() argument
937 if (!hasComputableBounds(PSE, Ptr, PtrExpr, TheLoop, Assume)) in createCheckForAccess()
949 if (!Assume || !isa<SCEVAddRecExpr>(Expr)) in createCheckForAccess()
1319 const ValueToValueMap &StridesMap, bool Assume, in getPtrStride() argument
1333 if (Assume && !AR) in getPtrStride()
1363 if (Assume) { in getPtrStride()
1412 if (Assume) { in getPtrStride()
/llvm-project-15.0.7/llvm/lib/Target/SystemZ/
H A DSystemZFeatures.td43 "Assume that the distinct-operands facility is installed"
48 "Assume that the fast-serialization facility is installed"
58 "Assume that the high-word facility is installed"
63 "Assume that interlocked-access facility 1 is installed"
75 "Assume that the population-count facility is installed"
114 "Assume that the execution-hint facility is installed"
119 "Assume that the load-and-trap facility is installed"
144 "Assume that the enhanced-DAT facility 2 is installed"
185 "Assume that the vectory facility is installed"
277 "Assume that the enhanced-sort facility is installed"
[all …]
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp320 AssumeBuilderState Builder(Assume->getModule(), Assume, AC, DT); in simplifyRetainedKnowledge()
353 IntrinsicInst *Assume = cast<IntrinsicInst>(V); in buildMapping() local
359 BBToAssume[Assume->getParent()].push_back(Assume); in buildMapping()
373 for (IntrinsicInst *Assume : CleanupToDo) { in RunCleanup()
384 Assume->eraseFromParent(); in RunCleanup()
394 IntrinsicInst *Assume; in dropRedundantKnowledge() member
406 IntrinsicInst *Assume = cast<IntrinsicInst>(V); in dropRedundantKnowledge() local
409 CleanupToDo.insert(Assume); in dropRedundantKnowledge()
417 CleanupToDo.insert(Assume); in dropRedundantKnowledge()
444 if (!isValidAssumeForContext(Elem.Assume, Assume, DT)) in dropRedundantKnowledge()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h42 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
44 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
47 return hasAttributeInAssume(Assume, IsOn,
90 void fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result);
124 RetainedKnowledge getKnowledgeFromOperandInAssume(AssumeInst &Assume,
145 bool isAssumeWithEmptyBundle(AssumeInst &Assume);
171 RetainedKnowledge getKnowledgeFromBundle(AssumeInst &Assume,
H A DAssumptionCache.h49 WeakVH Assume; member
54 operator Value *() const { return Assume; }
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp49 AssumeFunction &Assume) { in assumeDualImpl() argument
65 ProgramStateRef StTrue = Assume(true); in assumeDualImpl()
68 ProgramStateRef StFalse = Assume(false); in assumeDualImpl()
84 ProgramStateRef StFalse = Assume(false); in assumeDualImpl()
/llvm-project-15.0.7/compiler-rt/lib/xray/
H A Dxray_trampoline_arm.S15 @ Assume that "q" part of the floating-point registers is not used
45 @ Assume that d1-d7 are not used for the return value.
46 @ Assume that "q" part of the floating-point registers is not used for the
78 @ Assume that "q" part of the floating-point registers is not used
/llvm-project-15.0.7/llvm/test/Transforms/LoopVectorize/
H A Dinterleaved-accesses-3.ll9 ; only when getPtrStride is called with Assume=true. Next, because
11 ; for possible pointer wrapping. Here we currently use Assume=false and as a
15 ; FIXME: This is a missed optimization. Once we use Assume=true here, we will
H A Dinterleaved-accesses-2.ll11 ; runtime checks are needed, but with Assume=false getPtrStride cannot add
14 ; FIXME: This is currently a missed optimization until we can use Assume=true
/llvm-project-15.0.7/llvm/test/Analysis/MemorySSA/
H A Dfunction-mem-attrs.ll26 ; Assume that #N is readonly
50 ; Assume that #N is readonly
/llvm-project-15.0.7/llvm/test/DebugInfo/
H A Ddebugify-bogus-dbg-value.ll15 ; Assume the debugger implicitly uses the lower 256 bits.
19 ; Assume the debugger implicitly zero-extends unsigned values.
/llvm-project-15.0.7/llvm/test/Transforms/PhaseOrdering/
H A Dglobalaa-retained.ll22 ; Assume furthermore that FunctionPass1 uses GlobalsAA info to do an
23 ; optimization, and FunctionPass2 invalidates GlobalsAA. Assume the
/llvm-project-15.0.7/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h70 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
/llvm-project-15.0.7/llvm/test/Transforms/DeadStoreElimination/
H A Dscoped-noalias.ll4 ; Assume that %p1 != %p2 if and only if %c is true. In that case the noalias
/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dsqrt-nofast.ll30 ; Assume it is a user function rather than a libm function,
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h168 AssumeFunction &Assume);
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp53 eval::Assume,
/llvm-project-15.0.7/libclc/cmake/
H A DCMakeTestCLCCompiler.cmake3 # Assume the user has configured all compiler information.
H A DCMakeTestLLAsmCompiler.cmake3 # Assume the user has configured all compiler information.
/llvm-project-15.0.7/clang/include/clang/Basic/
H A DLangOptions.def136 LANGOPT(ConvergentFunctions, 1, 1, "Assume convergent functions")
146 LANGOPT(ExternCNoUnwind , 1, 0, "Assume extern C functions don't unwind")
253 LANGOPT(OpenMPThreadSubscription , 1, 0, "Assume work-shared loops do not have more iterations tha…
254 LANGOPT(OpenMPTeamSubscription , 1, 0, "Assume distributed loops do not have more iterations than …
255 LANGOPT(OpenMPNoThreadState , 1, 0, "Assume that no thread in a parallel region will modify an ICV…
/llvm-project-15.0.7/llvm/lib/IR/
H A DValue.cpp215 if (auto *Assume = dyn_cast<AssumeInst>(U.getUser())) { in dropDroppableUse() local
218 U.set(ConstantInt::getTrue(Assume->getContext())); in dropDroppableUse()
221 CallInst::BundleOpInfo &BOI = Assume->getBundleOpInfoForOperand(OpNo); in dropDroppableUse()
222 BOI.Tag = Assume->getContext().pImpl->getOrInsertBundleTag("ignore"); in dropDroppableUse()

1234