Lines Matching refs:RHSKnownOne
142 APInt RHSKnownZero(IT->getBitWidth(), 0), RHSKnownOne(IT->getBitWidth(), 0); in haveNoCommonBitsSet() local
144 computeKnownBits(RHS, RHSKnownZero, RHSKnownOne, DL, 0, AC, CxtI, DT); in haveNoCommonBitsSet()
568 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
569 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
571 KnownOne |= RHSKnownOne; in computeKnownBitsFromAssume()
577 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
578 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
585 KnownOne |= RHSKnownOne & MaskKnownOne; in computeKnownBitsFromAssume()
591 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
592 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
598 KnownZero |= RHSKnownOne & MaskKnownOne; in computeKnownBitsFromAssume()
605 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
606 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
613 KnownOne |= RHSKnownOne & BKnownZero; in computeKnownBitsFromAssume()
619 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
620 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
626 KnownZero |= RHSKnownOne & BKnownZero; in computeKnownBitsFromAssume()
633 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
634 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
642 KnownOne |= RHSKnownOne & BKnownZero; in computeKnownBitsFromAssume()
643 KnownZero |= RHSKnownOne & BKnownOne; in computeKnownBitsFromAssume()
650 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
651 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
658 KnownZero |= RHSKnownOne & BKnownZero; in computeKnownBitsFromAssume()
661 KnownOne |= RHSKnownOne & BKnownOne; in computeKnownBitsFromAssume()
667 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
668 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
672 KnownOne |= RHSKnownOne.lshr(C->getZExtValue()); in computeKnownBitsFromAssume()
678 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
679 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
682 KnownZero |= RHSKnownOne.lshr(C->getZExtValue()); in computeKnownBitsFromAssume()
691 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
692 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
696 KnownOne |= RHSKnownOne << C->getZExtValue(); in computeKnownBitsFromAssume()
704 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
705 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
708 KnownZero |= RHSKnownOne << C->getZExtValue(); in computeKnownBitsFromAssume()
714 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
715 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
725 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
726 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
728 if (RHSKnownOne.isAllOnesValue() || RHSKnownZero.isNegative()) { in computeKnownBitsFromAssume()
736 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
737 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
739 if (RHSKnownOne.isNegative()) { in computeKnownBitsFromAssume()
747 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
748 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
750 if (RHSKnownZero.isAllOnesValue() || RHSKnownOne.isNegative()) { in computeKnownBitsFromAssume()
758 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
759 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
768 APInt RHSKnownZero(BitWidth, 0), RHSKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
769 computeKnownBits(A, RHSKnownZero, RHSKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
3290 APInt RHSKnownOne(BitWidth, 0); in computeOverflowForUnsignedMul() local
3293 computeKnownBits(RHS, RHSKnownZero, RHSKnownOne, DL, /*Depth=*/0, AC, CxtI, in computeOverflowForUnsignedMul()
3318 LHSKnownOne.umul_ov(RHSKnownOne, MinOverflow); in computeOverflowForUnsignedMul()