Lines Matching refs:LHSKnownZero
897 APInt LHSKnownZero(BitWidth, 0); in WillNotOverflowSignedAdd() local
899 computeKnownBits(LHS, LHSKnownZero, LHSKnownOne, 0, &CxtI); in WillNotOverflowSignedAdd()
908 (LHSKnownZero[BitWidth - 1] && RHSKnownOne[BitWidth - 1])) in WillNotOverflowSignedAdd()
912 if (checkRippleForAdd(LHSKnownZero, RHSKnownZero)) in WillNotOverflowSignedAdd()
914 if (checkRippleForAdd(RHSKnownZero, LHSKnownZero)) in WillNotOverflowSignedAdd()
934 APInt LHSKnownZero(BitWidth, 0); in WillNotOverflowSignedSub() local
936 computeKnownBits(LHS, LHSKnownZero, LHSKnownOne, 0, &CxtI); in WillNotOverflowSignedSub()
945 (LHSKnownZero[BitWidth - 1] && RHSKnownZero[BitWidth - 1])) in WillNotOverflowSignedSub()
1092 APInt LHSKnownZero(IT->getBitWidth(), 0); in visitAdd() local
1093 computeKnownBits(XorLHS, LHSKnownZero, LHSKnownOne, 0, &I); in visitAdd()
1094 if ((XorRHS->getValue() | LHSKnownZero).isAllOnesValue()) in visitAdd()