Home
last modified time | relevance | path

Searched full:lattice (Results 1 – 25 of 57) sorted by relevance

123

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysis.h40 /// Base class template for dataflow analyses built on a single lattice type.
46 /// * `LatticeT initialElement()` - returns a lattice element that models the
49 /// the analysis transfer function for a given CFG element and lattice
73 /// lattice element with an approximation that can reach a fixed point more
83 using Lattice = LatticeT;
100 Lattice L1 = llvm::any_cast<const Lattice &>(E1.Value); in joinTypeErased()
101 const Lattice &L2 = llvm::any_cast<const Lattice &>(E2.Value); in joinTypeErased()
108 Lattice &C = llvm::any_cast<Lattice &>(Current.Value); in widenTypeErased()
109 const Lattice &P = llvm::any_cast<const Lattice &>(Previous.Value); in widenTypeErased()
115 const Lattice &L1 = llvm::any_cast<const Lattice &>(E1.Value); in isEqualTypeErased()
[all …]
H A DTypeErasedDataflowAnalysis.h43 /// Type-erased lattice element container.
53 /// Type-erased base class for dataflow analyses built on a single lattice type.
68 /// Returns a type-erased lattice element that models the initial state of a
72 /// Joins two type-erased lattice elements by computing their least upper
78 /// Chooses a lattice element that approximates the current element at a
92 /// Returns true if and only if the two given type-erased lattice elements are
98 /// element and type-erased lattice element.
122 TypeErasedLattice Lattice; member
127 TypeErasedDataflowAnalysisState(TypeErasedLattice Lattice, Environment Env) in TypeErasedDataflowAnalysisState()
128 : Lattice(std::move(Lattice)), Env(std::move(Env)) {} in TypeErasedDataflowAnalysisState()
[all …]
H A DMapLattice.h9 // This file defines a parameterized lattice that maps keys to individual
10 // lattice elements (of the parameter lattice type). A typical usage is lifting
11 // a particular lattice to all variables in a lexical scope.
31 /// A lattice that maps keys to individual lattice elements. When instantiated
32 /// with an `ElementLattice` that is a bounded semi-lattice, `MapLattice` is
33 /// itself a bounded semi-lattice, so long as the user limits themselves to a
38 /// * Provides standard declarations of a bounded semi-lattice.
H A DNoopLattice.h9 // This file defines the lattice with exactly one element.
22 /// Trivial lattice for dataflow analysis with exactly one element.
H A DDataflowLattice.h20 /// Effect indicating whether a lattice operation resulted in a new value.
/freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DCalledValuePropagation.cpp32 /// The maximum number of functions to track per lattice value. Once the number
34 /// lattice value becomes overdefined. The number of possible lattice values is
41 cl::desc("The maximum number of functions to track per lattice value"));
55 /// The lattice value type used by our custom lattice function. It holds the
56 /// lattice state, and a set of functions.
59 /// The states of the lattice values. Only the FunctionSet state is
79 /// Get a reference to the functions held by this lattice value. The number
85 /// Returns true if the lattice value is in the FunctionSet state.
97 /// Holds the state this lattice value is in.
101 /// is empty for lattice values in the undefined, overdefined, and untracked
[all …]
/freebsd/sys/contrib/device-tree/Bindings/fpga/
H A Dlattice,sysconfig.yaml4 $id: http://devicetree.org/schemas/fpga/lattice,sysconfig.yaml#
7 title: Lattice Slave SPI sysCONFIG FPGA manager
13 Lattice sysCONFIG port, which is used for FPGA configuration, among others,
23 - lattice,sysconfig-ecp5
57 const: lattice,sysconfig-ecp5
74 compatible = "lattice,sysconfig-ecp5";
H A Dlattice-machxo2-spi.txt1 Lattice MachXO2 Slave SPI FPGA Manager
3 Lattice MachXO2 FPGAs support a method of loading the bitstream over
9 - compatible: should contain "lattice,machxo2-slave-spi"
25 compatible = "lattice,machxo2-slave-spi";
H A Dlattice-ice40-fpga-mgr.txt1 Lattice iCE40 FPGA Manager
4 - compatible: Should contain "lattice,ice40-fpga-mgr"
16 compatible = "lattice,ice40-fpga-mgr";
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DSparsePropagation.h10 // modeled after SCCP, but with a customizable lattice function.
39 /// to specify what the lattice values are and how they handle merges etc. This
40 /// gives the client the power to compute lattice values from instructions,
41 /// constants, etc. The current requirement is that lattice values must be
43 /// lattice keys must be able to be used as keys of a mapping data structure.
44 /// Internally, the generic solver currently uses a DenseMap to map lattice keys
45 /// to lattice values. If the lattice key is a non-standard type, a
80 /// MergeValues - Compute and return the merge of the two specified lattice
81 /// values. Merging should only move one direction down the lattice to
111 /// Propagation with a programmable lattice function.
[all …]
H A DValueLattice.h24 /// This class represents lattice values for constants.
86 /// associated to the lattice element. We have to ensure that Range is
93 /// Destroy contents of lattice value, without destructing the object.
H A DAliasSetTracker.h71 /// the memory, or whether it does both. The lattice goes from "NoAccess" to
85 /// results in order to pack it into a single bit. Lattice goes from
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DSCCPSolver.h133 /// Invalidate the Lattice Value of \p Call and its users after specializing
158 // isStructLatticeConstant - Return true if all the lattice values
173 /// Set the Lattice Value for the arguments of a specialization \p F.
174 /// If an argument is Constant then its lattice value is marked with the
175 /// corresponding actual argument in \p Args. Otherwise, its lattice value
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp167 return {AC.Analysis.joinTypeErased(L.Lattice, R.Lattice), in join()
194 return {All[0]->Lattice, Environment::join(All[0]->Env, All[0]->Env, in take()
304 AC.Analysis.transferBranchTypeErased(BranchVal, Cond, Copy.Lattice, in computeBlockInputState()
436 AC.Analysis.transferTypeErased(Element, State.Lattice, State.Env);
527 NewBlockState.Lattice, OldBlockState->Lattice); in runTypeErasedDataflowAnalysis()
537 } else if (Analysis.isEqualTypeErased(OldBlockState->Lattice, in runTypeErasedDataflowAnalysis()
538 NewBlockState.Lattice) && in runTypeErasedDataflowAnalysis()
H A DLogger.cpp96 // FIXME: dump the user-defined lattice, too. in recordState()
H A DHTMLLogger.html103 <h2>Built-in lattice</h2>
/freebsd/sys/contrib/device-tree/Bindings/gpio/
H A Ddelta,tn48m-gpio.yaml16 Delta TN48M has an onboard Lattice CPLD that is used as an GPIO expander.
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DLazyValueInfo.cpp71 /// Returns true if this lattice value represents at most one possible value.
72 /// This is as precise as any lattice value can get while still representing
91 /// * This method does not promise to return the most precise possible lattice
92 /// value implied by A and B. It is allowed to return any lattice element
95 /// * Due to unreachable code, the intersection of two lattice values could be
96 /// contradictory. If this happens, we return some valid lattice value so as
163 /// the per-value lattice elements, as well as a separate set for
464 /// This is the query interface to determine the lattice value for the
470 /// This is the query interface to determine the lattice value for the
476 /// This is the query interface to determine the lattice
[all …]
H A DAliasAnalysis.cpp164 // Early-exit the moment we reach the bottom of the lattice. in getModRefInfoMask()
178 // Early-exit the moment we reach the bottom of the lattice. in getArgModRefInfo()
221 // Early-exit the moment we reach the bottom of the lattice. in getModRefInfo()
274 // Early-exit the moment we reach the bottom of the lattice. in getModRefInfo()
381 // Early-exit the moment we reach the bottom of the lattice. in getMemoryEffects()
400 // Early-exit the moment we reach the bottom of the lattice. in getMemoryEffects()
/freebsd/contrib/llvm-project/llvm/include/llvm/Support/
H A DAtomicOrdering.h51 /// C++ defines ordering as a lattice. LLVM supplements this with NotAtomic and
90 /// lattice, which is based on C++'s definition.
/freebsd/sys/contrib/device-tree/Bindings/mfd/
H A Ddelta,tn48m-cpld.yaml13 Lattice CPLD onboard the TN48M switches is used for system
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DDynamicTypeInfo.h27 /// the only type in the lattice), true otherwise.
/freebsd/sys/contrib/device-tree/src/arm64/qcom/
H A Dmsm8994-msft-lumia-octagon.dtsi443 * This device is a Lattice UC120 USB-C PD PHY.
444 * It is actually a Lattice iCE40 FPGA pre-programmed by
452 compatible = "lattice,ice40-fpga-mgr";
/freebsd/contrib/llvm-project/llvm/include/llvm/TableGen/
H A DAutomaton.td35 // are defined as a lattice (meaning every transitioned-to state is more
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp385 /// The set of values whose lattice has been invalidated.
402 /// on the lattice, and moving things to overdefined as fast as possible
539 // Anything else has its lattice in the value map. in invalidate()
565 LLVM_DEBUG(dbgs() << "Invalidated lattice for " << *V << "\n"); in invalidate()
772 /// Invalidate the Lattice Value of \p Call and its users after specializing
1001 // or copy the lattice state over from the old function. in setLatticeValueForSpecializationArguments()
1511 // the existing lattice value for I, as different constants might be found in visitBinaryOperator()
2010 /// lattice value once merged with the previous result. Not computing the

123