Lines Matching refs:ErrorMSBs
176 unsigned ErrorMSBs; member in __anondf8cc9cf0111::Polynomial
188 Polynomial(Value *V) : ErrorMSBs((unsigned)-1), V(V), B(), A() { in Polynomial()
191 ErrorMSBs = 0; in Polynomial()
197 Polynomial(const APInt &A, unsigned ErrorMSBs = 0) in Polynomial() argument
198 : ErrorMSBs(ErrorMSBs), V(NULL), B(), A(A) {} in Polynomial()
200 Polynomial(unsigned BitWidth, uint64_t A, unsigned ErrorMSBs = 0) in Polynomial() argument
201 : ErrorMSBs(ErrorMSBs), V(NULL), B(), A(BitWidth, A) {} in Polynomial()
203 Polynomial() : ErrorMSBs((unsigned)-1), V(NULL), B(), A() {} in Polynomial()
207 if (ErrorMSBs == (unsigned)-1) in incErrorMSBs()
210 ErrorMSBs += amt; in incErrorMSBs()
211 if (ErrorMSBs > A.getBitWidth()) in incErrorMSBs()
212 ErrorMSBs = A.getBitWidth(); in incErrorMSBs()
217 if (ErrorMSBs == (unsigned)-1) in decErrorMSBs()
220 if (ErrorMSBs > amt) in decErrorMSBs()
221 ErrorMSBs -= amt; in decErrorMSBs()
223 ErrorMSBs = 0; in decErrorMSBs()
245 ErrorMSBs = (unsigned)-1; in add()
306 ErrorMSBs = (unsigned)-1; in mul()
317 ErrorMSBs = 0; in mul()
463 ErrorMSBs = (unsigned)-1; in lshr()
481 ErrorMSBs = A.getBitWidth(); in lshr()
553 return Polynomial(A - o.A, std::max(ErrorMSBs, o.ErrorMSBs)); in operator -()
574 return (r.ErrorMSBs == 0) && (!r.isFirstOrder()) && (r.A.isNullValue()); in isProvenEqualTo()
579 OS << "[{#ErrBits:" << ErrorMSBs << "} "; in print()