Lines Matching full:lattice

71 /// 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
1332 // lattice value range with a single element or otherwise return an overdefined
1333 // lattice value.
1868   // LVI as a whole tries to compute a lattice value which is conservatively  in getPredicateAt()
1882   // We can't tell from the lattice value for '%phi' that '%pred' is false  in getPredicateAt()