Lines Matching full:lattice
11 // modeled after SCCP, but with a customizable lattice function.
38 /// to specify what the lattice values are and how they handle merges etc.
39 /// This gives the client the power to compute lattice values from instructions,
40 /// constants, etc. The requirement is that lattice values must all fit into
69 /// ComputeConstant - Given a constant value, compute and return a lattice
81 /// GetConstant - If the specified lattice value is representable as an LLVM
89 /// lattice value corresponding to the specified argument.
94 /// MergeValues - Compute and return the merge of the two specified lattice
95 /// values. Merging should only move one direction down the lattice to
107 /// PrintValue - Render the specified lattice value to the specified stream.
113 /// Propagation with a programmable lattice function.
118 /// LatticeFunc - This is the object that knows the lattice and how to do
137 explicit SparseSolver(AbstractLatticeFunction *Lattice)
138 : LatticeFunc(Lattice) {}
167 /// AggressiveUndef is true, then this treats values with unknown lattice
169 /// lattice, not when querying it.
175 /// querying the lattice.
