Home
last modified time | relevance | path

Searched refs:Assume (Results 1 – 25 of 116) 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, Bundles, ABA_WasOn); in fillMapFromAssume()
[all …]
H A DAssumptionCache.cpp102 auto &AVV = getOrInsertAffectedValues(AV.Assume); in updateAffectedValues()
104 return Elem.Assume == CI && Elem.Index == AV.Index; in updateAffectedValues()
115 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption()
121 if (Elem.Assume == CI) { in unregisterAssumption()
123 Elem.Assume = nullptr; in unregisterAssumption()
125 HasNonnull |= !!Elem.Assume; in unregisterAssumption()
H A DTypeMetadataUtils.cpp99 if (auto *Assume = dyn_cast<AssumeInst>(CIU.getUser())) in findDevirtualizableCallsForTypeTest() local
100 Assumes.push_back(Assume); in findDevirtualizableCallsForTypeTest()
H A DLoopAccessAnalysis.cpp798 unsigned ASId, bool Assume);
963 Value *Ptr, Type *AccessTy, const Loop *L, bool Assume, in isNoWrap() argument
993 if (Ptr && Assume) { in isNoWrap()
1220 unsigned &RunningDepId, unsigned ASId, bool Assume) { in createCheckForAccess() argument
1236 if (!AR && Assume) in createCheckForAccess()
1252 TheLoop, Assume)) { in createCheckForAccess()
1568 bool Assume, bool ShouldCheckWrap) { in getPtrStride() argument
1581 if (Assume && !AR) in getPtrStride()
1595 if (isNoWrap(PSE, AR, Ptr, AccessTy, Lp, Assume, Stride)) in getPtrStride()
H A DDependenceAnalysis.cpp3606 SmallVector<const SCEVPredicate *, 4> Assume; in depends() local
3619 SCEVUnionPredicate(Assume, *SE)); in depends()
3631 SCEVUnionPredicate(Assume, *SE)); in depends()
3646 SCEVUnionPredicate(Assume, *SE)); in depends()
3666 SCEVUnionPredicate(Assume, *SE)); in depends()
3675 if (!SE->isKnownMultipleOf(SrcEv, EltSize, Assume) || in depends()
3676 !SE->isKnownMultipleOf(DstEv, EltSize, Assume)) { in depends()
3679 SCEVUnionPredicate(Assume, *SE)); in depends()
3683 if (!Assume.empty()) { in depends()
3686 SCEVUnionPredicate(Assume, *SE)); in depends()
[all …]
H A DBasicAliasAnalysis.cpp1661 AssumeInst *Assume = cast<AssumeInst>(Elem); in aliasCheck() local
1662 OperandBundleUse OBU = Assume->getOperandBundleAt(Elem.Index); in aliasCheck()
1675 return isValidAssumeForContext(Assume, PtrI, DT, in aliasCheck()
1681 return isValidAssumeForContext(Assume, FirstI, DT, in aliasCheck()
1691 if ((CtxI && isValidAssumeForContext(Assume, CtxI, DT, in aliasCheck()
/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.cpp124 [&](RetainedKnowledge RKOther, Instruction *Assume, in tryToPreserveWithoutAddingAssume()
126 if (!isValidAssumeForContext(Assume, InstBeingModified, DT)) in tryToPreserveWithoutAddingAssume()
131 } else if (isValidAssumeForContext(InstBeingModified, Assume, DT)) { in tryToPreserveWithoutAddingAssume()
133 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 LLVM_ABI bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
45 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
48 return hasAttributeInAssume(Assume, IsOn,
91 LLVM_ABI void fillMapFromAssume(AssumeInst &Assume,
130 LLVM_ABI RetainedKnowledge getKnowledgeFromOperandInAssume(AssumeInst &Assume,
151 LLVM_ABI bool isAssumeWithEmptyBundle(const AssumeInst &Assume);
178 getKnowledgeFromBundle(AssumeInst &Assume, const CallBase::BundleOpInfo &BOI);
H A DAssumptionCache.h50 WeakVH Assume; member
55 operator Value *() const { return Assume; }
/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.h72 LLVM_ABI RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
/freebsd/contrib/llvm-project/clang/include/clang/Basic/
H A DLangOptions.def94 LANGOPT(ConvergentFunctions, 1, 1, NotCompatible, "Assume convergent functions")
104 LANGOPT(ExternCNoUnwind , 1, 0, NotCompatible, "Assume extern C functions don't unwind")
105 LANGOPT(AssumeNothrowExceptionDtor , 1, 0, NotCompatible, "Assume exception object's destructor is …
237 LANGOPT(OpenMPThreadSubscription , 1, 0, NotCompatible, "Assume work-shared loops do not have more…
238 LANGOPT(OpenMPTeamSubscription , 1, 0, NotCompatible, "Assume distributed loops do not have more i…
239 LANGOPT(OpenMPNoThreadState , 1, 0, NotCompatible, "Assume that no thread in a parallel region wil…
240 LANGOPT(OpenMPNoNestedParallelism , 1, 0, NotCompatible, "Assume that no thread in a parallel regi…
268 LANGOPT(OffloadUniformBlock, 1, 0, NotCompatible, "Assume that kernels are launched with uniform bl…
H A DCodeGenOptions.def36 CODEGENOPT(AssumeUniqueVTables , 1, 1, Benign) ///< Assume a class has only one vtable.
187 CODEGENOPT(NullPointerIsValid , 1, 0, Benign) ///< Assume Null pointer deference is defined.
436 /// Assume that by-value parameters do not alias any other values.
475 /// Assume that UAVs/SRVs may alias
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/IPO/
H A DLowerTypeTests.h202 Assume, /// Drop only llvm.assumes using type test value. enumerator
/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/contrib/llvm-project/llvm/lib/Target/LoongArch/
H A DLoongArch.td141 // Assume div.w[u] and mod.w[u] can handle inputs that are not sign-extended.
144 … "Assume div.w[u] and mod.w[u] can handle inputs that are not sign-extended">;
/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.
/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.cpp227 if (auto *Assume = dyn_cast<AssumeInst>(U.getUser())) { in dropDroppableUse() local
230 U.set(ConstantInt::getTrue(Assume->getContext())); in dropDroppableUse()
233 CallInst::BundleOpInfo &BOI = Assume->getBundleOpInfoForOperand(OpNo); in dropDroppableUse()
234 BOI.Tag = Assume->getContext().pImpl->getOrInsertBundleTag("ignore"); in dropDroppableUse()
/freebsd/contrib/libcbor/
H A DCMakeLists.txt59 "[TEST] Assume that malloc will not allocate multi-GB blocks.\
97 # Assume that if we have [[nodiscard]], we have some C23 support. May fail.
/freebsd/contrib/llvm-project/llvm/lib/Passes/
H A DPassBuilderPipelines.cpp1161 lowertypetests::DropTestKind::Assume)); in buildModuleSimplificationPipeline()
1818 lowertypetests::DropTestKind::Assume)); in buildThinLTODefaultPipeline()
1870 lowertypetests::DropTestKind::Assume)); in buildLTODefaultPipeline()
1956 lowertypetests::DropTestKind::Assume)); in buildLTODefaultPipeline()
2152 lowertypetests::DropTestKind::Assume)); in buildLTODefaultPipeline()

12345