Lines Matching refs:RHS
192 bool mergeIn(const LVILatticeVal &RHS) {
193 if (RHS.isUndefined() || isOverdefined()) return false;
194 if (RHS.isOverdefined()) return markOverdefined();
197 Tag = RHS.Tag;
198 Val = RHS.Val;
199 Range = RHS.Range;
204 if (RHS.isConstant()) {
205 if (Val == RHS.Val)
210 if (RHS.isNotConstant()) {
211 if (Val == RHS.Val)
220 RHS.getNotConstant())))
222 return markNotConstant(RHS.getNotConstant());
227 // RHS is a ConstantRange, LHS is a non-integer Constant.
229 // FIXME: consider the case where RHS is a range [1, 0) and LHS is
230 // a function. The correct result is to pick up RHS.
236 if (RHS.isConstant()) {
237 if (Val == RHS.Val)
246 RHS.getConstant())))
253 if (RHS.isNotConstant()) {
254 if (Val == RHS.Val)
263 if (!RHS.isConstantRange())
266 ConstantRange NewR = Range.unionWith(RHS.getConstantRange());
544 // FIXME: We're currently limited to binops with a constant RHS. This should
716 if (ConstantInt *RHS = dyn_cast<ConstantInt>(BBI->getOperand(1))) {
717 RHSRange = ConstantRange(RHS->getValue());
806 // We know that V has the RHS constant if this is a true SETEQ or
