21 static KnownBits computeForAddCarry(const KnownBits &LHS, const KnownBits &RHS,  in computeForAddCarry()
45     const KnownBits &LHS, const KnownBits &RHS, const KnownBits &Carry) {  in computeForAddCarry()
53                                       const KnownBits &RHS) {  in computeForAddSub()
137 KnownBits KnownBits::computeForSubBorrow(const KnownBits &LHS, KnownBits RHS,  in computeForSubBorrow()
178 KnownBits KnownBits::umax(const KnownBits &LHS, const KnownBits &RHS) {  in umax()
196 KnownBits KnownBits::umin(const KnownBits &LHS, const KnownBits &RHS) {  in umin()
202 KnownBits KnownBits::smax(const KnownBits &LHS, const KnownBits &RHS) {  in smax()
215 KnownBits KnownBits::smin(const KnownBits &LHS, const KnownBits &RHS) {  in smin()
228 KnownBits KnownBits::abdu(const KnownBits &LHS, const KnownBits &RHS) {  in abdu()
247 KnownBits KnownBits::abds(KnownBits LHS, KnownBits RHS) {  in abds()
285 KnownBits KnownBits::shl(const KnownBits &LHS, const KnownBits &RHS, bool NUW,  in shl()
370 KnownBits KnownBits::lshr(const KnownBits &LHS, const KnownBits &RHS,  in lshr()
428 KnownBits KnownBits::ashr(const KnownBits &LHS, const KnownBits &RHS,  in ashr()
488 std::optional<bool> KnownBits::eq(const KnownBits &LHS, const KnownBits &RHS) {  in eq()
496 std::optional<bool> KnownBits::ne(const KnownBits &LHS, const KnownBits &RHS) {  in ne()
502 std::optional<bool> KnownBits::ugt(const KnownBits &LHS, const KnownBits &RHS) {  in ugt()
512 std::optional<bool> KnownBits::uge(const KnownBits &LHS, const KnownBits &RHS) {  in uge()
518 std::optional<bool> KnownBits::ult(const KnownBits &LHS, const KnownBits &RHS) {  in ult()
522 std::optional<bool> KnownBits::ule(const KnownBits &LHS, const KnownBits &RHS) {  in ule()
526 std::optional<bool> KnownBits::sgt(const KnownBits &LHS, const KnownBits &RHS) {  in sgt()
536 std::optional<bool> KnownBits::sge(const KnownBits &LHS, const KnownBits &RHS) {  in sge()
542 std::optional<bool> KnownBits::slt(const KnownBits &LHS, const KnownBits &RHS) {  in slt()
546 std::optional<bool> KnownBits::sle(const KnownBits &LHS, const KnownBits &RHS) {  in sle()
610                                      const KnownBits &RHS) {  in computeForSatAddSub()
753 KnownBits KnownBits::sadd_sat(const KnownBits &LHS, const KnownBits &RHS) {  in sadd_sat()
756 KnownBits KnownBits::ssub_sat(const KnownBits &LHS, const KnownBits &RHS) {  in ssub_sat()
759 KnownBits KnownBits::uadd_sat(const KnownBits &LHS, const KnownBits &RHS) {  in uadd_sat()
762 KnownBits KnownBits::usub_sat(const KnownBits &LHS, const KnownBits &RHS) {  in usub_sat()
766 static KnownBits avgCompute(KnownBits LHS, KnownBits RHS, bool IsCeil,  in avgCompute()
777 KnownBits KnownBits::avgFloorS(const KnownBits &LHS, const KnownBits &RHS) {  in avgFloorS()
782 KnownBits KnownBits::avgFloorU(const KnownBits &LHS, const KnownBits &RHS) {  in avgFloorU()
787 KnownBits KnownBits::avgCeilS(const KnownBits &LHS, const KnownBits &RHS) {  in avgCeilS()
792 KnownBits KnownBits::avgCeilU(const KnownBits &LHS, const KnownBits &RHS) {  in avgCeilU()
797 KnownBits KnownBits::mul(const KnownBits &LHS, const KnownBits &RHS,  in mul()
894 KnownBits KnownBits::mulhs(const KnownBits &LHS, const KnownBits &RHS) {  in mulhs()
902 KnownBits KnownBits::mulhu(const KnownBits &LHS, const KnownBits &RHS) {  in mulhu()
911                                   const KnownBits &RHS, bool Exact) {  in divComputeLowBit()
946 KnownBits KnownBits::sdiv(const KnownBits &LHS, const KnownBits &RHS,  in sdiv()
1002 KnownBits KnownBits::udiv(const KnownBits &LHS, const KnownBits &RHS,  in udiv()
1029 KnownBits KnownBits::remGetLowBits(const KnownBits &LHS, const KnownBits &RHS) {  in remGetLowBits()
1042 KnownBits KnownBits::urem(const KnownBits &LHS, const KnownBits &RHS) {  in urem()
1059 KnownBits KnownBits::srem(const KnownBits &LHS, const KnownBits &RHS) {  in srem()
1084 KnownBits &KnownBits::operator&=(const KnownBits &RHS) {  in operator &=()
1092 KnownBits &KnownBits::operator|=(const KnownBits &RHS) {  in operator |=()
1100 KnownBits &KnownBits::operator^=(const KnownBits &RHS) {  in operator ^=()