Lines Matching refs:RHSKnownZero
723 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
724 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
725 KnownZero |= RHSKnownZero; in computeKnownBitsFromAssume()
731 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
732 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
738 KnownZero |= RHSKnownZero & MaskKnownOne; in computeKnownBitsFromAssume()
744 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
745 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
752 KnownOne |= RHSKnownZero & MaskKnownOne; in computeKnownBitsFromAssume()
757 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
758 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
764 KnownZero |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
770 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
771 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
778 KnownOne |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
783 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
784 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
791 KnownZero |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
794 KnownOne |= RHSKnownZero & BKnownOne; in computeKnownBitsFromAssume()
799 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
800 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
808 KnownOne |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
809 KnownZero |= RHSKnownZero & BKnownOne; in computeKnownBitsFromAssume()
815 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
816 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
819 KnownZero |= RHSKnownZero.lshr(C->getZExtValue()); in computeKnownBitsFromAssume()
825 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
826 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
830 KnownOne |= RHSKnownZero.lshr(C->getZExtValue()); in computeKnownBitsFromAssume()
837 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
838 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
841 KnownZero |= RHSKnownZero << C->getZExtValue(); in computeKnownBitsFromAssume()
849 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
850 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
854 KnownOne |= RHSKnownZero << C->getZExtValue(); in computeKnownBitsFromAssume()
858 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
859 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
861 if (RHSKnownZero.isNegative()) { 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()
871 if (RHSKnownOne.isAllOnesValue() || RHSKnownZero.isNegative()) { 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()
888 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
889 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
891 if (RHSKnownZero.isAllOnesValue() || RHSKnownOne.isNegative()) { in computeKnownBitsFromAssume()
898 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
899 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
903 APInt::getHighBitsSet(BitWidth, RHSKnownZero.countLeadingOnes()); in computeKnownBitsFromAssume()
907 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
908 computeKnownBits(A, RHSKnownZero, RHSKnownOne, DL, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
914 APInt::getHighBitsSet(BitWidth, RHSKnownZero.countLeadingOnes()+1); in computeKnownBitsFromAssume()
917 APInt::getHighBitsSet(BitWidth, RHSKnownZero.countLeadingOnes()); in computeKnownBitsFromAssume()
2962 APInt RHSKnownZero(BitWidth, 0); in computeOverflowForUnsignedMul() local
2966 computeKnownBits(RHS, RHSKnownZero, RHSKnownOne, DL, /*Depth=*/0, AC, CxtI, in computeOverflowForUnsignedMul()
2971 RHSKnownZero.countLeadingOnes(); in computeOverflowForUnsignedMul()
2979 APInt RHSMax = ~RHSKnownZero; in computeOverflowForUnsignedMul()