Lines Matching refs:BKnownZero
607 APInt BKnownZero(BitWidth, 0), BKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
608 computeKnownBits(B, BKnownZero, BKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
612 KnownZero |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
613 KnownOne |= RHSKnownOne & BKnownZero; in computeKnownBitsFromAssume()
621 APInt BKnownZero(BitWidth, 0), BKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
622 computeKnownBits(B, BKnownZero, BKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
626 KnownZero |= RHSKnownOne & BKnownZero; in computeKnownBitsFromAssume()
627 KnownOne |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
635 APInt BKnownZero(BitWidth, 0), BKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
636 computeKnownBits(B, BKnownZero, BKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
641 KnownZero |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()
642 KnownOne |= RHSKnownOne & BKnownZero; in computeKnownBitsFromAssume()
652 APInt BKnownZero(BitWidth, 0), BKnownOne(BitWidth, 0); in computeKnownBitsFromAssume() local
653 computeKnownBits(B, BKnownZero, BKnownOne, Depth+1, Query(Q, I)); in computeKnownBitsFromAssume()
658 KnownZero |= RHSKnownOne & BKnownZero; in computeKnownBitsFromAssume()
659 KnownOne |= RHSKnownZero & BKnownZero; in computeKnownBitsFromAssume()