Lines Matching refs:RHSKnownZero
151 APInt RHSKnownZero(IT->getBitWidth(), 0), RHSKnownOne(IT->getBitWidth(), 0); in haveNoCommonBitsSet() local
153 computeKnownBits(RHS, RHSKnownZero, RHSKnownOne, DL, 0, AC, CxtI, DT); in haveNoCommonBitsSet()
154 return (LHSKnownZero | RHSKnownZero).isAllOnesValue(); in haveNoCommonBitsSet()
776 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
777 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
778 KnownZero |= RHSKnownZero; in computeKnownBitsFromAssume()
784 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
785 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
791 KnownZero |= RHSKnownZero & MaskKnownOne; in computeKnownBitsFromAssume()
797 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
798 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
805 KnownOne |= RHSKnownZero & MaskKnownOne; in computeKnownBitsFromAssume()
810 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
811 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
817 KnownZero |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
823 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
824 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
831 KnownOne |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
836 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
837 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
844 KnownZero |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
847 KnownOne |= RHSKnownZero & BKnownOne; in computeKnownBitsFromAssume()
852 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
853 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
861 KnownOne |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
862 KnownZero |= RHSKnownZero & BKnownOne; in computeKnownBitsFromAssume()
868 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
869 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
872 KnownZero |= RHSKnownZero.lshr(C->getZExtValue()); in computeKnownBitsFromAssume()
878 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
879 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
883 KnownOne |= RHSKnownZero.lshr(C->getZExtValue()); in computeKnownBitsFromAssume()
890 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
891 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
894 KnownZero |= RHSKnownZero << C->getZExtValue(); in computeKnownBitsFromAssume()
902 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
903 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
907 KnownOne |= RHSKnownZero << C->getZExtValue(); in computeKnownBitsFromAssume()
911 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
912 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
914 if (RHSKnownZero.isNegative()) { in computeKnownBitsFromAssume()
921 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
922 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
924 if (RHSKnownOne.isAllOnesValue() || RHSKnownZero.isNegative()) { in computeKnownBitsFromAssume()
931 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
932 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
941 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
942 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
944 if (RHSKnownZero.isAllOnesValue() || RHSKnownOne.isNegative()) { in computeKnownBitsFromAssume()
951 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
952 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
956 APInt::getHighBitsSet(BitWidth, RHSKnownZero.countLeadingOnes()); in computeKnownBitsFromAssume()
960 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
961 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
967 APInt::getHighBitsSet(BitWidth, RHSKnownZero.countLeadingOnes()+1); in computeKnownBitsFromAssume()
970 APInt::getHighBitsSet(BitWidth, RHSKnownZero.countLeadingOnes()); in computeKnownBitsFromAssume()
3554 APInt RHSKnownZero(BitWidth, 0); in computeOverflowForUnsignedMul() local
3558 computeKnownBits(RHS, RHSKnownZero, RHSKnownOne, DL, /*Depth=*/0, AC, CxtI, in computeOverflowForUnsignedMul()
3563 RHSKnownZero.countLeadingOnes(); in computeOverflowForUnsignedMul()
3571 APInt RHSMax = ~RHSKnownZero; in computeOverflowForUnsignedMul()