Lines Matching defs:left
195 bool CanOverflowSigned32(const Operator* op, Type left, Type right,
200 if (left.Maybe(Type::MinusZero())) {
201 left = Type::Union(left, type_cache->kSingletonZero, type_zone);
206 left = Type::Intersect(left, Type::Signed32(), type_zone);
208 if (left.IsNone() || right.IsNone()) return false;
211 return (left.Max() + right.Max() > kMaxInt) ||
212 (left.Min() + right.Min() < kMinInt);
215 return (left.Max() - right.Min() > kMaxInt) ||
216 (left.Min() - right.Max() < kMinInt);
1644 // know that the left hand side is a proper Signed32 value,
1736 // For the left hand side we just propagate the identify zeros
1789 // For the left hand side we just propagate the identify zeros
2598 // For the left hand side we just propagate the identify zeros
2786 // It is safe to use the feedback types for left and right hand side
2827 // If the right hand side is not NaN, and the left hand side
2844 // It is safe to use the feedback types for left and right hand side
2885 // If the left hand side is not NaN, and the right hand side
2978 // sign. This is done by shifting the value left and then back
2981 // after left shift by 61 bits, {unshifted} is 1..1'1111'1101
4634 Node* const lhs = m.left().node();
4707 Node* const lhs = m.left().node();
4820 Node* const lhs = m.left().node();
4839 Node* const lhs = m.left().node();