Home
last modified time | relevance | path

Searched full:assume (Results 1 – 25 of 3507) sorted by relevance

12345678910>>...141

/freebsd-src/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp1 //===- AssumeBundleQueries.cpp - tool to query assume bundles ---*- C++ -*-===//
19 #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, 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()
[all …]
H A DAssumptionCache.cpp1 //===- AssumptionCache.cpp - Cache finding @llvm.assume calls -------------===//
9 // This file contains a pass that keeps track of @llvm.assume intrinsics in
104 auto &AVV = getOrInsertAffectedValues(AV.Assume); in findAffectedValues()
106 return Elem.Assume == CI && Elem.Index == AV.Index; in findAffectedValues()
117 auto AVI = AffectedValues.find_as(AV.Assume); in findAffectedValues()
123 if (Elem.Assume == CI) { in findAffectedValues()
125 Elem.Assume = nullptr; in findAffectedValues()
127 HasNonnull |= !!Elem.Assume; in findAffectedValues()
172 // Go through all instructions in all blocks, add all calls to @llvm.assume in unregisterAssumption()
197 "Cannot register @llvm.assume cal in transferAffectedValuesInCache()
[all...]
/freebsd-src/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp30 "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
124 __anon1424ef4f0302(RetainedKnowledge RKOther, Instruction *Assume, const CallInst::BundleOpInfo *Bundle) tryToPreserveWithoutAddingAssume() argument
318 simplifyRetainedKnowledge(AssumeInst * Assume,RetainedKnowledge RK,AssumptionCache * AC,DominatorTree * DT) simplifyRetainedKnowledge() argument
355 IntrinsicInst *Assume = cast<IntrinsicInst>(V); buildMapping() local
396 IntrinsicInst *Assume; dropRedundantKnowledge() member
408 IntrinsicInst *Assume = cast<IntrinsicInst>(V); dropRedundantKnowledge() local
[all...]
H A DPredicateInfo.cpp41 // Maximum number of conditions considered for renaming for each branch/assume.
195 // assume. So for the purpose of ordering, we pretend the def is right in getMiddleDef()
196 // after the assume, because that is where we will insert the info. in getMiddleDef()
386 // Process an assume instruction and place relevant operations we want to rename
501 // as assume statements. in buildPredicateInfo()
516 for (auto &Assume : AC.assumptions()) { in buildPredicateInfo()
517 if (auto *II = dyn_cast_or_null<IntrinsicInst>(Assume)) in buildPredicateInfo()
538 // right now is 4, depending on if we had an assume, a branch, and both used in materializeStack()
550 // the terminator. For assume, we have to place it right before the assume in materializeStack()
518 for (auto &Assume : AC.assumptions()) { buildPredicateInfo() local
[all...]
/freebsd-src/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 tha
[all...]
/freebsd-src/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h1 //===- AssumeBundleQueries.h - utilis to query assume bundles ---*- C++ -*-===//
9 // This file contain tools to query into assume bundles. assume bundles can be
34 /// Query the operand bundle of an llvm.assume to find a single attribute of
42 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
44 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
47 return hasAttributeInAssume(Assume, IsOn,
76 /// A mapping from intrinsics (=`llvm.assume` calls) to a value range
86 /// the llvm.assume. This should be used instead of hasAttributeInAssume when
87 /// many queries are going to be made on the same llvm.assume.
90 void fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result);
[all …]
H A DAssumptionCache.h1 //===- llvm/Analysis/AssumptionCache.h - Track @llvm.assume -----*- C++ -*-===//
9 // This file contains a pass that keeps track of @llvm.assume intrinsics in
35 /// A cache of \@llvm.assume calls within a function.
40 /// register any new \@llvm.assume calls that they create. Deletions of
41 /// \@llvm.assume calls do not require special handling.
45 /// llvm.assume.
49 WeakVH Assume; member
54 operator Value *() const { return Assume; }
65 /// Vector of weak value handles to calls of the \@llvm.assume
119 /// Add an \@llvm.assume intrinsic to this function's cache.
[all …]
/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp49 AssumeFunction &Assume) { in assumeDualImpl() argument
53 // Assume functions might recurse (see `reAssume` or `tryRearrange`). During in assumeDualImpl()
56 // We avoid infinite recursion of assume calls by checking already visited in assumeDualImpl()
57 // States on the stack of assume function calls. in assumeDualImpl()
65 ProgramStateRef StTrue = Assume(true); in assumeDualImpl()
68 ProgramStateRef StFalse = Assume(false); in assumeDualImpl()
76 // adjacent `assume(true)` and `assume(false)` calls. By implementing in assumeDualImpl()
77 // assume in therms of assumeDual, we can keep our API contract there as in assumeDualImpl()
84 ProgramStateRef StFalse = Assume(false); in assumeDualImpl()
110 ProgramStateRef ConstraintManager::assume(ProgramStateRef State, in assume() function in ConstraintManager
/freebsd-src/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DAssumeBundleBuilder.h1 //===- AssumeBundleBuilder.h - utils to build assume bundles ----*- C++ -*-===//
32 /// Build a call to llvm.assume to preserve informations that can be derived
38 /// Calls BuildAssumeFromInst and if the resulting llvm.assume is valid insert
49 /// Build and return a new assume created from the provided knowledge
50 /// if the knowledge in the assume is fully redundant this will return nullptr
56 /// This pass attempts to minimize the number of assume without loosing any
62 /// This pass will try to build an llvm.assume for every instruction in the
69 /// Assume. This will return an empty RetainedKnowledge if the knowledge is
71 RetainedKnowledge simplifyRetainedKnowledge(AssumeInst *Assume,
/freebsd-src/contrib/llvm-project/llvm/lib/Target/AArch64/
H A DAArch64MacroFusion.cpp27 // Assume the 1st instr to be a wildcard if it is unspecified. in isArithmeticBccPair()
79 // Assume the 1st instr to be a wildcard if it is unspecified. in isArithmeticCbzPair()
123 // Assume the 1st instr to be a wildcard if it is unspecified. in isAESPair()
144 // Assume the 1st instr to be a wildcard if it is unspecified. in isCryptoEORPair()
163 // Assume the 1st instr to be a wildcard if it is unspecified. in isAdrpAddPair()
173 // Assume the 1st instr to be a wildcard if it is unspecified. in isLiteralsPair()
224 // Assume the 1st instr to be a wildcard if it is unspecified. in isAddressLdStPair()
244 // Assume the 1st instr to be a wildcard if it is unspecified. in isCCSelectPair()
262 // Assume the 1st instr to be a wildcard if it is unspecified. in isCCSelectPair()
323 // Assume th in isArithmeticLogicPair()
[all...]
/freebsd-src/sys/contrib/device-tree/Bindings/regulator/
H A Dtps62360-regulator.txt15 If this property is missing, then assume that there is no GPIO
18 If this property is missing, then assume that there is no GPIO
21 If this property is missing, then assume the state as low (0).
23 If this property is missing, then assume the state as low (0).
H A Dti,tps62360.yaml38 is missing, then assume that there is no GPIO for
45 is missing, then assume that there is no GPIO for
60 is missing, then assume the state as low.
66 is missing, then assume the state as low.
/freebsd-src/contrib/wpa/src/tls/
H A Dpkcs8.c57 "beginning of private key; not found; assume " in pkcs8_key_import()
68 "PKCS #8: Expected SEQUENCE (AlgorithmIdentifier); assume PKCS #8 not used"); in pkcs8_key_import()
74 "(algorithm); assume PKCS #8 not used"); in pkcs8_key_import()
133 "PKCS #8: Does not start with PKCS #8 header (SEQUENCE); assume encrypted PKCS #8 not used"); in pkcs8_enc_key_import()
143 "PKCS #8: Expected SEQUENCE (AlgorithmIdentifier); assume encrypted PKCS #8 not used"); in pkcs8_enc_key_import()
/freebsd-src/contrib/libpcap/pcap/
H A Dpcap-inttypes.h80 * If the compiler is MinGW, we assume we have <inttypes.h> - and
83 * If the target is UN*X, we assume we have a C99-or-later development
87 * If the target is MS-DOS, we assume we have <inttypes.h> - and support
90 * I.e., assume we have <inttypes.h> and that it suffices.
/freebsd-src/contrib/tcpdump/
H A Dnetdissect-stdinc.h95 * If the compiler is MinGW, we assume we have <inttypes.h> - and
98 * If the target is UN*X, we assume we have a C99-or-later development
102 * If the target is MS-DOS, we assume we have <inttypes.h> - and support
156 * Assume LL works.
251 * Assume all UN*Xes have strtoll(), and use it for strtoint64_t().
256 * Assume LL works.
283 * defined if the OS doesn't provide them. These assume no more than
/freebsd-src/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-src/share/man/man9/
H A DDEVICE_PROBE.961 not assume that it will be the same driver which is attached to the
63 In particular, it must not assume that any values stored in
73 returned, the driver can assume that it will be the one attached, but
75 A driver may assume that the softc is preserved when it returns
/freebsd-src/contrib/llvm-project/llvm/include/llvm/Frontend/OpenMP/
H A DOMPAssume.h11 /// assumptions, e.g., as used by `[begin/end] assumes` and `assume`.
24 /// Helper to describe assume clauses.
36 /// All known assume clauses.
/freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h42 /// Given a symbolic expression that can be reasoned about, assume that it is
47 /// Given a symbolic expression within the range [From, To], assume that it is
57 /// Given a symbolic expression that cannot be reasoned about, assume that
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
/freebsd-src/contrib/llvm-project/compiler-rt/lib/sanitizer_common/
H A Dsanitizer_atomic_clang_other.h
/freebsd-src/contrib/ntp/util/
H A Dprecision.c41 * SO: if it exits on the first loop, assume "full accuracy" (1us)
57 /*We assume no system actually *ANSWERS* in this time*/
60 #define MAXLOOPS HUSECS /* Assume precision < .1s ! */
95 " (The resolution is less than the time to read the clock -- Assume 1us)\n"); in default_get_resolution()
/freebsd-src/contrib/sendmail/libsm/
H A Dindex.html153 I assume that a shared library can export global variables;
155 I do not assume that if an application redefines a function defined
165 So I assume that
169 I assume that locking must be used to guard updates and accesses to
/freebsd-src/contrib/opencsd/decoder/source/i_dec/
H A Dtrc_i_decode.cpp79 instr_info->next_isa = instr_info->isa; // assume same ISA in DecodeA32()
133 instr_info->next_isa = instr_info->isa; // assume same ISA in DecodeA64()
183 // 32 bit word - T2 routines assume 16 bit in top 16 bit of 32 bit opcode. in DecodeT32()
191 instr_info->next_isa = instr_info->isa; // assume same ISA in DecodeT32()
/freebsd-src/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 than participating threads.")
274 LANGOPT(OpenMPTeamSubscription , 1, 0, "Assume distributed loops do not have more iterations than participating teams.")
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 encounter a parallel region")
292 LANGOPT(OffloadImplicitHostDeviceTemplates, 1, 0, "assume template functions to be implicitly host device by default for CUDA/HIP")
304 LANGOPT(OffloadUniformBlock, 1, 0, "Assume that kernels are launched with uniform block sizes (default true for CUDA/HIP and false otherwise)")
347 BENIGN_LANGOPT(RoundingMath, 1, false, "Do not assume defaul
[all...]
/freebsd-src/contrib/ntp/libntp/
H A Dnetof.c38 * We live in a modern classless IPv4 world. Assume /24. in netof()
43 /* assume the typical /64 subnet size */ in netof()

12345678910>>...141