Lines Matching full:lattice

32 /// 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
110 /// The custom lattice function used by the generic sparse propagation solver.
111 /// It handles merging lattice values and computing new lattice values for
113 /// located in trackable global variables. It also computes the lattice values
148   /// Merge the two given lattice values. The interesting cases are merging two
167   /// Compute the lattice values that change as a result of executing the given
227   /// Compute a new lattice value for the given constant. The constant, after
371   // Our custom lattice function and generic sparse propagation solver.  in runCVP()
372   CVPLatticeFunc Lattice;  in runCVP()  local
373   SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice);  in runCVP()
381   // Solver our custom lattice. In doing so, we will also build a set of  in runCVP()
389   for (CallBase *C : Lattice.getIndirectCalls()) {  in runCVP()