Home
last modified time | relevance | path

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

12345

/freebsd-14-stable/contrib/llvm-project/llvm/lib/Analysis/
HDAssumeBundleQueries.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 …]
HDAssumptionCache.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()
HDTypeMetadataUtils.cpp94 if (auto *Assume = dyn_cast<AssumeInst>(CIU.getUser())) in findDevirtualizableCallsForTypeTest() local
95 Assumes.push_back(Assume); in findDevirtualizableCallsForTypeTest()
HDLoopAccessAnalysis.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()
HDBasicAliasAnalysis.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()
HDLoads.cpp167 [&](RetainedKnowledge RK, Instruction *Assume, auto) { in isDereferenceableAndAlignedPointer() argument
168 if (!isValidAssumeForContext(Assume, CtxI, DT)) in isDereferenceableAndAlignedPointer()
/freebsd-14-stable/contrib/llvm-project/llvm/lib/Target/SystemZ/
HDSystemZFeatures.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-14-stable/contrib/llvm-project/llvm/lib/Transforms/Utils/
HDAssumeBundleBuilder.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-14-stable/contrib/llvm-project/llvm/include/llvm/Analysis/
HDAssumeBundleQueries.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(const AssumeInst &Assume);
171 RetainedKnowledge getKnowledgeFromBundle(AssumeInst &Assume,
HDAssumptionCache.h49 WeakVH Assume; member
54 operator Value *() const { return Assume; }
HDIVDescriptors.h354 InductionDescriptor &D, bool Assume = false);
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDConstraintManager.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()
/freebsd-14-stable/contrib/llvm-project/compiler-rt/lib/xray/
HDxray_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-14-stable/tools/test/stress2/misc/
HDvm_reserv_populate.sh121 // Assume that aligned loads are atomic.
125 // Assume that processor respects data dependencies
/freebsd-14-stable/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
HDAssumeBundleBuilder.h71 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/Basic/
HDLangOptions.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…
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDCheckerDocumentation.cpp62 eval::Assume,
HDSetgidSetuidOrderChecker.cpp31 class SetgidSetuidOrderChecker : public Checker<check::PostCall, eval::Assume> {
HDTrustNonnullChecker.cpp48 eval::Assume> {
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDConstraintManager.h184 AssumeFunction &Assume);
/freebsd-14-stable/contrib/llvm-project/llvm/include/llvm/IR/
HDIntrinsicsSPIRV.td41 // Expect, Assume Intrinsics
/freebsd-14-stable/sys/contrib/device-tree/Bindings/net/
HDnixge.txt20 - fixed-link : Assume a fixed link. See fixed-link.txt in the same directory.
HDfsl-fec.txt12 - fixed-link : Assume a fixed link. See fixed-link.txt in the same directory.
/freebsd-14-stable/contrib/llvm-project/llvm/lib/Target/ARM/
HDARMScheduleSwift.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-14-stable/contrib/llvm-project/llvm/lib/IR/
HDValue.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()

12345