Home
last modified time | relevance | path

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

12345

/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp36 static Value *getValueFromBundleOpInfo(AssumeInst &Assume, in getValueFromBundleOpInfo() argument
40 return (Assume.op_begin() + BOI.Begin + Idx)->get(); in getValueFromBundleOpInfo()
43 bool llvm::hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, in hasAttributeInAssume() argument
50 if (Assume.bundle_op_infos().empty()) in hasAttributeInAssume()
53 for (auto &BOI : Assume.bundle_op_infos()) { in hasAttributeInAssume()
57 IsOn != getValueFromBundleOpInfo(Assume, BOI, ABA_WasOn))) in hasAttributeInAssume()
62 cast<ConstantInt>(getValueFromBundleOpInfo(Assume, BOI, ABA_Argument)) in hasAttributeInAssume()
70 void llvm::fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result) { in fillMapFromAssume() argument
71 for (auto &Bundles : Assume.bundle_op_infos()) { in fillMapFromAssume()
75 Key.first = getValueFromBundleOpInfo(Assume, Bundle in fillMapFromAssume()
99 getKnowledgeFromBundle(AssumeInst & Assume,const CallBase::BundleOpInfo & BOI) getKnowledgeFromBundle() argument
119 getKnowledgeFromOperandInAssume(AssumeInst & Assume,unsigned Idx) getKnowledgeFromOperandInAssume() argument
125 isAssumeWithEmptyBundle(AssumeInst & Assume) isAssumeWithEmptyBundle() argument
[all...]
H A DAssumptionCache.cpp104 auto &AVV = getOrInsertAffectedValues(AV.Assume); in updateAffectedValues()
106 return Elem.Assume == CI && Elem.Index == AV.Index; in updateAffectedValues()
117 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption()
123 if (Elem.Assume == CI) { in unregisterAssumption()
125 Elem.Assume = nullptr; in unregisterAssumption()
127 HasNonnull |= !!Elem.Assume; in unregisterAssumption()
H A DTypeMetadataUtils.cpp94 if (auto *Assume = dyn_cast<AssumeInst>(CIU.getUser())) in findDevirtualizableCallsForTypeTest() local
95 Assumes.push_back(Assume); in findDevirtualizableCallsForTypeTest()
H A DLoopAccessAnalysis.cpp699 unsigned ASId, bool ShouldCheckStride, bool Assume);
816 const SCEV *PtrScev, Loop *L, bool Assume) { in hasComputableBounds() argument
823 if (!AR && Assume) in hasComputableBounds()
1072 bool Assume) { in createCheckForAccess() argument
1080 if (!hasComputableBounds(PSE, Ptr, PtrExpr, TheLoop, Assume)) in createCheckForAccess()
1092 if (!Assume || !isa<SCEVAddRecExpr>(Expr)) in createCheckForAccess()
1461 bool Assume, bool ShouldCheckWrap) { in getPtrStride() argument
1475 if (Assume && !AR) in getPtrStride()
1543 if (Assume) { in getPtrStride()
H A DBasicAliasAnalysis.cpp1622 AssumeInst *Assume = cast<AssumeInst>(Elem); in aliasCheck() local
1623 OperandBundleUse OBU = Assume->getOperandBundleAt(Elem.Index); in aliasCheck()
1636 return isValidAssumeForContext(Assume, PtrI, DT, in aliasCheck()
1642 return isValidAssumeForContext(Assume, FirstI, DT, in aliasCheck()
1652 if ((CtxI && isValidAssumeForContext(Assume, CtxI, DT, in aliasCheck()
H A DLoads.cpp167 [&](RetainedKnowledge RK, Instruction *Assume, auto) { in isDereferenceableAndAlignedPointer() argument
168 if (!isValidAssumeForContext(Assume, CtxI, DT)) in isDereferenceableAndAlignedPointer()
/freebsd/contrib/llvm-project/llvm/lib/Target/SystemZ/
H A DSystemZFeatures.td53 "Assume that the distinct-operands facility is installed"
58 "Assume that the fast-serialization facility is installed"
63 "Assume that the floating-point extension facility is installed"
68 "Assume that the high-word facility is installed"
73 "Assume that interlocked-access facility 1 is installed"
79 "Assume that the load/store-on-condition facility is installed"
85 "Assume that the population-count facility is installed"
90 "Assume that the message-security-assist extension facility 3 is installed"
95 "Assume that the message-security-assist extension facility 4 is installed"
100 "Assume that the reset-reference-bits-multiple facility is installed"
[all …]
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp123 [&](RetainedKnowledge RKOther, Instruction *Assume, in tryToPreserveWithoutAddingAssume()
125 if (!isValidAssumeForContext(Assume, InstBeingModified, DT)) in tryToPreserveWithoutAddingAssume()
130 } else if (isValidAssumeForContext(InstBeingModified, Assume, DT)) { in tryToPreserveWithoutAddingAssume()
132 IntrinsicInst *Intr = cast<IntrinsicInst>(Assume); in tryToPreserveWithoutAddingAssume()
318 RetainedKnowledge llvm::simplifyRetainedKnowledge(AssumeInst *Assume, in simplifyRetainedKnowledge() argument
322 AssumeBuilderState Builder(Assume->getModule(), Assume, AC, DT); in simplifyRetainedKnowledge()
323 RK = canonicalizedKnowledge(RK, Assume->getDataLayout()); in simplifyRetainedKnowledge()
355 IntrinsicInst *Assume = cast<IntrinsicInst>(V); in buildMapping() local
357 auto *Arg = dyn_cast<ConstantInt>(Assume->getOperand(0)); in buildMapping()
361 BBToAssume[Assume->getParent()].push_back(Assume); in buildMapping()
[all …]
/freebsd/contrib/llvm-project/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);
122 /// Retreive the information help by Assume on the operand at index Idx.
123 /// Assume should be an llvm.assume and Idx should be in the operand bundle.
124 RetainedKnowledge getKnowledgeFromOperandInAssume(AssumeInst &Assume,
145 bool isAssumeWithEmptyBundle(const AssumeInst &Assume);
171 RetainedKnowledge getKnowledgeFromBundle(AssumeInst &Assume,
H A DAssumptionCache.h49 WeakVH Assume; member
54 operator Value *() const { return Assume; }
H A DIVDescriptors.h347 /// with the run-time predicate of PSE. If \p Assume is true, this can add
354 InductionDescriptor &D, bool Assume = false);
/freebsd/contrib/llvm-project/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
/freebsd/tools/test/stress2/misc/
H A Dvm_reserv_populate.sh121 // Assume that aligned loads are atomic.
125 // Assume that processor respects data dependencies
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h69 /// Assume. This will return an empty RetainedKnowledge if the knowledge is
71 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
/freebsd/contrib/llvm-project/clang/include/clang/Basic/
H A DLangOptions.def138 LANGOPT(ConvergentFunctions, 1, 1, "Assume convergent functions")
148 LANGOPT(ExternCNoUnwind , 1, 0, "Assume extern C functions don't unwind")
149 LANGOPT(AssumeNothrowExceptionDtor , 1, 0, "Assume exception object's destructor is nothrow")
273 LANGOPT(OpenMPThreadSubscription , 1, 0, "Assume work-shared loops do not have more iterations tha…
274 LANGOPT(OpenMPTeamSubscription , 1, 0, "Assume distributed loops do not have more iterations than …
275 LANGOPT(OpenMPNoThreadState , 1, 0, "Assume that no thread in a parallel region will modify an ICV…
276 LANGOPT(OpenMPNoNestedParallelism , 1, 0, "Assume that no thread in a parallel region will encount…
304 LANGOPT(OffloadUniformBlock, 1, 0, "Assume that kernels are launched with uniform block sizes (defa…
H A DCodeGenOptions.def45 CODEGENOPT(AssumeUniqueVTables , 1, 1) ///< Assume a class has only one vtable.
189 CODEGENOPT(NullPointerIsValid , 1, 0) ///< Assume Null pointer deference is defined.
429 /// Assume that by-value parameters do not alias any other values.
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp62 eval::Assume,
H A DSetgidSetuidOrderChecker.cpp31 class SetgidSetuidOrderChecker : public Checker<check::PostCall, eval::Assume> {
H A DTrustNonnullChecker.cpp48 eval::Assume> {
/freebsd/sys/contrib/device-tree/Bindings/net/
H A Dnixge.txt20 - fixed-link : Assume a fixed link. See fixed-link.txt in the same directory.
H A Dfsl-fec.txt12 - fixed-link : Assume a fixed link. See fixed-link.txt in the same directory.
/freebsd/contrib/llvm-project/llvm/include/llvm/IR/
H A DIntrinsicsSPIRV.td41 // Expect, Assume Intrinsics
/freebsd/contrib/llvm-project/llvm/lib/Target/ARM/
H A DARMScheduleSwift.td831 // Assume one Q register.
834 // Assume three D registers.
837 // Assume two Q registers.
840 // Assume 5 D registers.
843 // Assume three Q registers.
846 // Assume 7 D registers.
849 // Assume four Q registers.
/freebsd/contrib/llvm-project/llvm/lib/IR/
H A DValue.cpp219 if (auto *Assume = dyn_cast<AssumeInst>(U.getUser())) { in dropDroppableUse() local
222 U.set(ConstantInt::getTrue(Assume->getContext())); in dropDroppableUse()
225 CallInst::BundleOpInfo &BOI = Assume->getBundleOpInfoForOperand(OpNo); in dropDroppableUse()
226 BOI.Tag = Assume->getContext().pImpl->getOrInsertBundleTag("ignore"); in dropDroppableUse()
/freebsd/usr.sbin/bsdconfig/include/
H A Doptions.hlp43 Yes To All: Assume "Yes" answers to all non-critical dialogs

12345