Lines Matching full:meet
54 // Implement the lattice meet operation. The result of this Phi instruction is in VisitPhi()
55 // interesting only if the meet operation over arguments coming through in VisitPhi()
65 // We found an argument with a constant value. Apply the meet operation in VisitPhi()
81 // from the previous computed meet value. This Phi will never be in VisitPhi()
93 // If there are no incoming executable edges, the meet ID will still be 0. In in VisitPhi()
106 // Given two values val1 and val2, the meet operation in the constant in ComputeLatticeMeet()
109 // meet(val1, UNDEFINED) = val1 in ComputeLatticeMeet()
110 // meet(val1, VARYING) = VARYING in ComputeLatticeMeet()
111 // meet(val1, val2) = val1 if val1 == val2 in ComputeLatticeMeet()
112 // meet(val1, val2) = VARYING if val1 != val2 in ComputeLatticeMeet()
114 // When two different values meet, the result is always varying because CCP in ComputeLatticeMeet()