Lines Matching full:know

84         // If we have NSW as well, we also know we can't overflow the signbit so
95         // If we have NSW as well, we also know we can't overflow the signbit so
229   // If we know which argument is larger, return (sub LHS, RHS) or
248   // If we know which argument is larger, return (sub LHS, RHS) or
551   // If the source's MSB is zero then we know the rest of the bits already.
561     // Special case for IntMinIsPoison. We know the sign bit is set and we know
572     // One more special case for IntMinIsPoison. If we don't know any ones other
573     // than the signbit, we know for certain that all the unknowns can't be
574     // zero. So if we know high zero bits, but have unknown low bits, we know
577     // to the high bits. If we know a known INT_MIN input skip this. The result
592     // If we know the lowest set 1, then preserve it.
596     // We only know that the absolute values's MSB will be zero if INT_MIN is
707     // We know whether or not we overflowed.
718              "We somehow know overflow without knowing input sign");
734   // We don't know if we overflowed.
806   // result. But if we know a value is a power-of-2 for example, then this
829   // We know the bottom 3 bits are zero since the first can be divided by