Lines Matching defs:RHSKnown
203 KnownBits RHSKnown(IT->getBitWidth());
205 computeKnownBits(RHS, RHSKnown, DL, 0, AC, CxtI, DT);
206 return (LHSKnown.Zero | RHSKnown.Zero).isAllOnesValue();
621 KnownBits RHSKnown(BitWidth);
622 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
623 Known.Zero |= RHSKnown.Zero;
624 Known.One |= RHSKnown.One;
630 KnownBits RHSKnown(BitWidth);
631 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
637 Known.Zero |= RHSKnown.Zero & MaskKnown.One;
638 Known.One |= RHSKnown.One & MaskKnown.One;
644 KnownBits RHSKnown(BitWidth);
645 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
651 Known.Zero |= RHSKnown.One & MaskKnown.One;
652 Known.One |= RHSKnown.Zero & MaskKnown.One;
658 KnownBits RHSKnown(BitWidth);
659 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
665 Known.Zero |= RHSKnown.Zero & BKnown.Zero;
666 Known.One |= RHSKnown.One & BKnown.Zero;
672 KnownBits RHSKnown(BitWidth);
673 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
679 Known.Zero |= RHSKnown.One & BKnown.Zero;
680 Known.One |= RHSKnown.Zero & BKnown.Zero;
686 KnownBits RHSKnown(BitWidth);
687 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
694 Known.Zero |= RHSKnown.Zero & BKnown.Zero;
695 Known.One |= RHSKnown.One & BKnown.Zero;
696 Known.Zero |= RHSKnown.One & BKnown.One;
697 Known.One |= RHSKnown.Zero & BKnown.One;
703 KnownBits RHSKnown(BitWidth);
704 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
711 Known.Zero |= RHSKnown.One & BKnown.Zero;
712 Known.One |= RHSKnown.Zero & BKnown.Zero;
713 Known.Zero |= RHSKnown.Zero & BKnown.One;
714 Known.One |= RHSKnown.One & BKnown.One;
721 KnownBits RHSKnown(BitWidth);
722 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
725 RHSKnown.Zero.lshrInPlace(C);
726 Known.Zero |= RHSKnown.Zero;
727 RHSKnown.One.lshrInPlace(C);
728 Known.One |= RHSKnown.One;
735 KnownBits RHSKnown(BitWidth);
736 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
739 RHSKnown.One.lshrInPlace(C);
740 Known.Zero |= RHSKnown.One;
741 RHSKnown.Zero.lshrInPlace(C);
742 Known.One |= RHSKnown.Zero;
750 KnownBits RHSKnown(BitWidth);
751 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
754 Known.Zero |= RHSKnown.Zero << C;
755 Known.One |= RHSKnown.One << C;
762 KnownBits RHSKnown(BitWidth);
763 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
766 Known.Zero |= RHSKnown.One << C;
767 Known.One |= RHSKnown.Zero << C;
772 KnownBits RHSKnown(BitWidth);
773 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
775 if (RHSKnown.isNonNegative()) {
783 KnownBits RHSKnown(BitWidth);
784 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
786 if (RHSKnown.isAllOnes() || RHSKnown.isNonNegative()) {
794 KnownBits RHSKnown(BitWidth);
795 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
797 if (RHSKnown.isNegative()) {
805 KnownBits RHSKnown(BitWidth);
806 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
808 if (RHSKnown.isZero() || RHSKnown.isNegative()) {
816 KnownBits RHSKnown(BitWidth);
817 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
820 Known.Zero.setHighBits(RHSKnown.countMinLeadingZeros());
825 KnownBits RHSKnown(BitWidth);
826 computeKnownBits(A, RHSKnown, Depth+1, Query(Q, I));
830 if (RHSKnown.isZero()) {
839 Known.Zero.setHighBits(RHSKnown.countMinLeadingZeros() + 1);
841 Known.Zero.setHighBits(RHSKnown.countMinLeadingZeros());
3720 KnownBits RHSKnown(BitWidth);
3722 computeKnownBits(RHS, RHSKnown, DL, /*Depth=*/0, AC, CxtI, DT);
3726 RHSKnown.countMinLeadingZeros();
3734 APInt RHSMax = ~RHSKnown.Zero;
3746 (void)LHSKnown.One.umul_ov(RHSKnown.One, MinOverflow);
3788 KnownBits RHSKnown = computeKnownBits(RHS, DL, /*Depth=*/0, AC, CxtI, DT);
3789 if (LHSKnown.isNonNegative() || RHSKnown.isNonNegative())
3803 RHSKnown = computeKnownBits(RHS, DL, /*Depth=*/0, AC, CxtI, DT);
3805 if (LHSKnown.isNegative() && RHSKnown.isNegative()) {
3811 if (LHSKnown.isNonNegative() && RHSKnown.isNonNegative()) {
3825 const KnownBits &RHSKnown) {
3828 if ((LHSKnown.isNegative() && RHSKnown.isNonNegative()) ||
3829 (LHSKnown.isNonNegative() && RHSKnown.isNegative()))
3837 if (LHSKnown.isNonNegative() || RHSKnown.isNonNegative()) {
3840 APInt MaxRHS = ~RHSKnown.Zero;
3851 if (LHSKnown.isNegative() || RHSKnown.isNegative()) {
3854 APInt MinRHS = RHSKnown.One;
3896 KnownBits RHSKnown = computeKnownBits(RHS, DL, /*Depth=*/0, AC, CxtI, DT);
3898 if (checkRippleForSignedAdd(LHSKnown, RHSKnown))
3910 (LHSKnown.isNonNegative() || RHSKnown.isNonNegative());
3912 (LHSKnown.isNegative() || RHSKnown.isNegative());
3932 KnownBits RHSKnown = computeKnownBits(RHS, DL, /*Depth=*/0, AC, CxtI, DT);
3933 if (LHSKnown.isNegative() && RHSKnown.isNonNegative())
3953 KnownBits RHSKnown = computeKnownBits(RHS, DL, 0, AC, CxtI, DT);
3957 if ((LHSKnown.isNegative() && RHSKnown.isNegative()) ||
3958 (LHSKnown.isNonNegative() && RHSKnown.isNonNegative()))