Home
last modified time | relevance | path

Searched full:invariant (Results 1 – 25 of 440) sorted by relevance

12345678910>>...18

/freebsd/contrib/diff/doc/
H A Dfdl.texi69 The ``Invariant Sections'' are certain Secondary Sections whose titles
70 are designated, as being those of Invariant Sections, in the notice
73 allowed to be designated as Invariant. The Document may contain zero
74 Invariant Sections. If the Document does not identify any Invariant
226 Preserve in that license notice the full lists of Invariant Sections
257 Preserve all the Invariant Sections of the Document,
267 to conflict in title with any Invariant Section.
276 of these sections as invariant. To do this, add their titles to the
277 list of Invariant Sections in the Modified Version's license notice.
306 Invariant Sections of all of the original documents, unmodified, and
[all …]
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/Scalar/
H A DLICM.h1 //===- LICM.h - Loop Invariant Code Motion Pass -------*- C++ -*-===//
9 // This pass performs loop invariant code motion, attempting to remove as much
13 // live in registers, thus hoisting and sinking "invariant" loads and stores.
17 // 1. Moving loop invariant loads and calls out of loops. If we can determine
23 // A. The pointer stored through is loop invariant
65 /// Performs Loop Invariant Code Motion Pass.
83 /// Performs LoopNest Invariant Code Motion Pass.
H A DSimpleLoopUnswitch.h1 //===- SimpleLoopUnswitch.h - Hoist loop-invariant control flow -*- C++ -*-===//
59 /// invariant conditions to have multiple loops. For example, it turns the left
73 /// This pass expects LICM to be run before it to hoist invariant conditions out
88 /// invariant input to the switch to be sufficient to collapse to a single
H A DLoopSink.h26 /// is loop invariant but only required within the loop body when doing so
31 /// invariant operations can be held outside the loop body to simplify
/freebsd/contrib/kyua/utils/
H A Dsanity.hpp85 /// Ensures that an invariant holds.
87 /// If the invariant does not hold, execution is immediately terminated. The
94 /// \param expr A boolean expression describing the invariant.
95 #define INV(expr) _UTILS_ASSERT(utils::invariant, expr, #expr)
98 /// Ensures that an invariant holds using a custom error message.
100 /// If the invariant does not hold, execution is immediately terminated. The
103 /// \param expr A boolean expression describing the invariant.
105 #define INV_MSG(expr, msg) _UTILS_ASSERT(utils::invariant, expr, msg)
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DLoopVersioningLICM.cpp97 /// invariant instructions in a loop.
99 LVInvarThreshold("licm-versioning-invariant-threshold",
101 "of possible invariant instructions per loop"),
149 // Minimum invariant threshold
155 // Counter to track num of invariant
204 // Parallel loops must not have aliasing loop-invariant memory accesses. in legalLoopStructure()
244 // aliasing domains we may not be able to hoist potential loop invariant in legalLoopMemoryAccesses()
335 // Check loop invariant. in instructionSafeForVersioning()
349 // Check loop invariant. in instructionSafeForVersioning()
402 // Loop should have at least one invariant load or store instruction. in legalLoopInstructions()
[all …]
H A DSimpleLoopUnswitch.cpp1 ///===- SimpleLoopUnswitch.cpp - Hoist loop-invariant control flow ---------===//
83 "Number of invariant conditions injected and unswitched");
125 "simple-loop-unswitch-inject-invariant-conditions", cl::Hidden,
127 "eliminate some existing (non-invariant) conditions."),
131 "simple-loop-unswitch-inject-invariant-condition-hotness-threshold",
132 cl::Hidden, cl::desc("Only try to inject loop invariant conditions and "
141 Value *Invariant; member
144 CompareDesc(BranchInst *Term, Value *Invariant, BasicBlock *InLoopSucc) in CompareDesc()
145 : Term(Term), Invariant(Invariant), InLoopSuc in CompareDesc()
235 replaceLoopInvariantUses(const Loop & L,Value * Invariant,Constant & Replacement) replaceLoopInvariantUses() argument
[all...]
H A DLICM.cpp1 //===-- LICM.cpp - Loop Invariant Code Motion Pass ------------------------===//
9 // This pass performs loop invariant code motion, attempting to remove as much
13 // live in registers, thus hoisting and sinking "invariant" loads and stores.
24 // 1. Moving loop invariant loads and calls out of loops. If we can determine
30 // A. The pointer stored through is loop invariant
111 STATISTIC(NumFPAssociationsHoisted, "Number of invariant FP expressions "
114 "Number of invariant int expressions "
133 "invariance in loop using invariant start (default = 8)"));
369 INITIALIZE_PASS_BEGIN(LegacyLICMPass, "licm", "Loop Invariant Code Motion",
376 INITIALIZE_PASS_END(LegacyLICMPass, "licm", "Loop Invariant Code Motion", false, in INITIALIZE_PASS_DEPENDENCY()
[all …]
H A DLoopDeletion.cpp67 // Make sure that all PHI entries coming from the loop are loop invariant. in isLoopDead()
396 /// loop, but leaves the (now trivially loop invariant) control flow and
434 /// is unable to delete it due to hoisting trivially loop invariant
484 // in the loop are invariant. in deleteLoopIfDead()
491 // invariant manner. in deleteLoopIfDead()
500 LLVM_DEBUG(dbgs() << "Loop is not invariant, cannot delete.\n"); in deleteLoopIfDead()
505 LLVM_DEBUG(dbgs() << "Loop is invariant, delete it!\n"); in deleteLoopIfDead()
507 return OptimizationRemark(DEBUG_TYPE, "Invariant", L->getStartLoc(), in deleteLoopIfDead()
509 << "Loop deleted because it is invariant"; in deleteLoopIfDead()
532 // to the right exit based on whatever loop invariant structure remains. in run()
H A DLoopPredication.cpp10 // invariant by widening checks across loop iterations. For example, it will
25 // After this transformation the condition of the guard is loop invariant, so
64 // loop invariant expression M such the following program has the same semantics
247 /// icmp Pred, <induction variable>, <loop invariant limit>
281 /// loop invariant location if possible.
283 /// Same as above, *except* that this uses the SCEV definition of invariant
284 /// which is that an expression *can be made* invariant via SCEVExpander.
361 // Canonicalize RHS to be loop invariant bound, LHS - a loop computable IV
493 // Subtlety: SCEV considers things to be invariant if the value produced is in generateLoopLatchCheck()
504 // Handling expressions which produce invariant result in generateLoopLatchCheck()
[all...]
/freebsd/sys/contrib/openzfs/module/lua/
H A Dlgc.h19 ** The main invariant of the garbage collector, while marking objects,
23 ** the collection cycle. These lists have no meaning when the invariant
53 ** macros to tell when main invariant (white objects cannot point to black
55 ** phase may break the invariant, as objects turned white may point to
56 ** still-black objects. The invariant is restored when sweep ends and
58 ** invariant must be kept all times.
/freebsd/sys/opencrypto/
H A Dxform_poly1305.c34 panic("%s: Invariant violated: %d", __func__, rc); in xform_Poly1305_Setkey()
45 panic("%s: Invariant violated: %d", __func__, rc); in xform_Poly1305_Update()
57 panic("%s: Invariant violated: %d", __func__, rc); in xform_Poly1305_Final()
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/
H A DMachineCycleAnalysis.cpp101 // The instruction is cycle invariant if all of its operands are. in isCycleInvariant()
111 // hoisted, so mark this as not invariant. in isCycleInvariant()
144 // isn't cycle invariant. in isCycleInvariant()
149 // If we got this far, the instruction is cycle invariant! in isCycleInvariant()
H A DMachineLICM.cpp1 //===- MachineLICM.cpp - Machine Loop Invariant Code Motion Pass ----------===//
9 // This pass performs loop invariant code motion on machine instructions. We
73 cl::desc("Hoist invariant stores"),
77 cl::desc("Hoist invariant loads"),
325 "Machine Loop Invariant Code Motion", false, false)
331 "Machine Loop Invariant Code Motion", false, false) in INITIALIZE_PASS_DEPENDENCY()
334 "Early Machine Loop Invariant Code Motion", false, false) in INITIALIZE_PASS_DEPENDENCY()
340 "Early Machine Loop Invariant Code Motion", false, false) in INITIALIZE_PASS_DEPENDENCY()
518 // If it's using a non-loop-invariant register, then it's obviously in ProcessMI()
660 // If it's using a non-loop-invariant register, then it's obviously in HoistRegionPostRA()
[all …]
/freebsd/contrib/lua/src/
H A Dlgc.h18 ** object and all its references are marked. The main invariant of the
24 ** when the invariant is not being enforced (e.g., sweep phase).
47 ** macro to tell when main invariant (white objects cannot point to black
49 ** phase may break the invariant, as objects turned white may point to
50 ** still-black objects. The invariant is restored when sweep ends and
/freebsd/contrib/ntp/include/
H A Dntp_assert.h20 * open question: when would we use INVARIANT()?
84 #define INVARIANT(x) ALWAYS_INVARIANT(x) macro
95 #define DEBUG_INVARIANT(x) INVARIANT(x)
/freebsd/sys/x86/x86/
H A Ddelay.c78 * Only use the TSC if it is P-state invariant. If the TSC is in delay_tc()
79 * not P-state invariant and the CPU is not running at the in delay_tc()
132 * is not P-state invariant. For this function it is ok to in cpu_lock_delay()
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DLoopInfo.h65 /// Return true if the specified value is loop invariant.
69 /// invariant.
73 /// hoisted, do so to make it trivially loop-invariant.
74 /// Return true if \c V is already loop-invariant, and false if \c V can't
75 /// be made loop-invariant. If \c V is made loop-invariant, \c Changed is
88 /// so to make it trivially loop-invariant.
89 /// Return true if \c I is already loop-invariant, and false if \c I can't
90 /// be made loop-invariant. If \c I is made loop-invariant, \c Changed is
270 /// - incremented by a loop invariant step for each loop iteration
H A DLoopCacheAnalysis.h90 /// - equal to one if the reference is loop invariant, or
106 /// Return true if the index reference is invariant with respect to loop \p L.
127 /// loop \p L in the given \p Subscript is zero or is loop invariant in \p L.
182 /// - one if it is loop invariant w.r.t the innermost loop,
244 /// - equal to one if the reference is loop invariant, or
H A DIVDescriptors.h53 ///< loop invariant, and both x and y are integer type.
55 ///< loop invariant, and both x and y are integer type.
149 /// where one of (X, Y) is a loop invariant integer and the other is a PHI
178 /// computed. If \p SE is non-null, store instructions to loop invariant
238 /// select(cmp(),x,y) where one of (x,y) is loop invariant.
273 /// Reductions may store temporary or final result to an invariant address.
/freebsd/sys/compat/linuxkpi/common/include/linux/
H A Dmath64.h122 * INVARIANT: x * y = res * z + rem + (y1 + y1z * z) * x1 in mul_u64_u64_div_u64()
123 * INVARIANT: y1 < z in mul_u64_u64_div_u64()
124 * INVARIANT: rem < z in mul_u64_u64_div_u64()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp137 if (Invariant == nullptr) in addInvariant()
138 Invariant = &Constraint; in addInvariant()
140 Invariant = &arena().makeAnd(*Invariant, Constraint); in addInvariant()
217 if (Invariant) in addTransitiveFlowConditionConstraints()
218 Constraints.insert(Invariant); in addTransitiveFlowConditionConstraints()
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DLoopUtils.h211 /// loop invariant. It takes a set of must-alias values, Loop exit blocks
335 /// Check inner loop (L) backedge count is known to be invariant on all
545 /// Struct to hold information about a partially invariant condition.
551 /// Constant to indicate for which value the condition is invariant.
554 /// True if the partially invariant path is no-op (=does not have any
558 /// If the partially invariant path reaches a single exit block, ExitForPath
564 /// loop-invariant, because it involves load instructions. If all paths from
569 /// unswitched version for the 'invariant' path through the original loop.
571 /// If the branch condition of the header is partially invariant, return a pair
/freebsd/contrib/llvm-project/llvm/include/llvm/IR/
H A DFixedMetadataKinds.def19 LLVM_FIXED_MD_KIND(MD_invariant_load, "invariant.load", 6)
30 LLVM_FIXED_MD_KIND(MD_invariant_group, "invariant.group", 16)
/freebsd/share/man/man4/
H A Dcpufreq.475 hardware does not support invariant TSC.
78 (On invariant TSC hardware, the TSC runs at the P0 rate regardless of the
80 Modern hardware mostly has invariant TSC.

12345678910>>...18