273   return Known.isNegative();  in isKnownNegative()
341       bool isKnownNegativeOp1 = Known.isNegative();  in computeKnownBitsMul()
342       bool isKnownNegativeOp0 = Known2.isNegative();  in computeKnownBitsMul()
434   if (isKnownNonNegative && !Known.isNegative())  in computeKnownBitsMul()
806       if (RHSKnown.isNegative()) {  in computeKnownBitsFromAssume()
817       if (RHSKnown.isZero() || RHSKnown.isNegative()) {  in computeKnownBitsFromAssume()
1063       if (Known.isNegative() && Known2.isNegative())  in computeKnownBitsFromOperator()
1079       else if (Known.isNegative() || Known2.isNegative())  in computeKnownBitsFromOperator()
1244         if (Known2.isNegative() && LowBits.intersects(Known2.One))  in computeKnownBitsFromOperator()
1395               else if (Known2.isNegative() && Known3.isNegative())  in computeKnownBitsFromOperator()
1402               if (Known2.isNonNegative() && Known3.isNegative())  in computeKnownBitsFromOperator()
1404               else if (Known2.isNegative() && Known3.isNonNegative())  in computeKnownBitsFromOperator()
2078     if (Known.isNegative())  in isKnownNonZero()
2111     if (XKnown.isNegative() && YKnown.isNegative()) {  in isKnownNonZero()
2156         if (!C->isZero() && !C->isNegative()) {  in isKnownNonZero()
2161               !X->isNegative())  in isKnownNonZero()
2881     return !CFP->getValueAPF().isNegative() ||  in cannotBeOrderedLessThanZeroImpl()
2893         if (CFP->getValueAPF().isNegative() &&  in cannotBeOrderedLessThanZeroImpl()
4025   if (LHSKnown.isNonNegative() || LHSKnown.isNegative()) {  in computeOverflowForUnsignedAdd()
4029     if (LHSKnown.isNegative() && RHSKnown.isNegative()) {  in computeOverflowForUnsignedAdd()
4050   if ((LHSKnown.isNegative() && RHSKnown.isNonNegative()) ||  in checkRippleForSignedAdd()
4051       (LHSKnown.isNonNegative() && RHSKnown.isNegative()))  in checkRippleForSignedAdd()
4073   if (LHSKnown.isNegative() || RHSKnown.isNegative()) {  in checkRippleForSignedAdd()
4134       (LHSKnown.isNegative() || RHSKnown.isNegative());  in computeOverflowForSignedAdd()
4138         (AddKnown.isNegative() && LHSOrRHSKnownNegative)) {  in computeOverflowForSignedAdd()
4153   if (LHSKnown.isNonNegative() || LHSKnown.isNegative()) {  in computeOverflowForUnsignedSub()
4157     if (LHSKnown.isNegative() && RHSKnown.isNonNegative())  in computeOverflowForUnsignedSub()
4161     if (LHSKnown.isNonNegative() && RHSKnown.isNegative())  in computeOverflowForUnsignedSub()
4186   if ((LHSKnown.isNegative() && RHSKnown.isNegative()) ||  in computeOverflowForSignedSub()
5172       return !C->isNegative();  in isTruePredicate()