Lines Matching refs:Lattice
11 // modeled after SCCP, but with a customizable lattice function.
39 /// to specify what the lattice values are and how they handle merges etc.
40 /// This gives the client the power to compute lattice values from instructions,
41 /// constants, etc. The requirement is that lattice values must all fit into
70 /// ComputeConstant - Given a constant value, compute and return a lattice
80 /// GetConstant - If the specified lattice value is representable as an LLVM
88 /// lattice value corresponding to the specified argument.
93 /// MergeValues - Compute and return the merge of the two specified lattice
94 /// values. Merging should only move one direction down the lattice to
106 /// PrintValue - Render the specified lattice value to the specified stream.
111 /// Propagation with a programmable lattice function.
116 /// LatticeFunc - This is the object that knows the lattice and how to do
136 explicit SparseSolver(AbstractLatticeFunction *Lattice)
137 : LatticeFunc(Lattice) {}
164 /// AggressiveUndef is true, then this treats values with unknown lattice
166 /// lattice, not when querying it.
172 /// querying the lattice.
