Lines Matching refs:DCHECK
29 DCHECK(integer_part >= min);
30 DCHECK(integer_part <= max);
43 DCHECK(Z.len() > V.len());
44 DCHECK(V.len() > 0);
45 DCHECK(scratch.len() >= 2 * V.len());
52 DCHECK(borrow == 1);
72 DCHECK(Z.len() >= vn);
73 DCHECK(scratch.len() >= InvertNewtonScratchSpace(vn));
79 DCHECK(V.len() >= 3);
83 DCHECK(V.len() > kBasecasePrecision);
84 DCHECK(IsBitNormalized(V));
129 DCHECK(U.len() > fraction_digits);
137 DCHECK(U.len() >= Z.len());
150 DCHECK(iteration > 0);
153 DCHECK(borrow == 0);
160 DCHECK(iteration == 0);
166 DCHECK(integer_part == 1 || integer_part == 2);
188 DCHECK(Z.len() > V.len());
189 DCHECK(V.len() >= 1);
190 DCHECK(IsBitNormalized(V));
191 DCHECK(scratch.len() >= InvertScratchSpace(V.len()));
217 DCHECK(Q.len() > A.len() - B.len());
218 DCHECK(R.len() >= B.len());
219 DCHECK(A.len() > B.len()); // Careful: This is *not* '>=' !
220 DCHECK(A.len() <= 2 * B.len());
221 DCHECK(B.len() > 0);
222 DCHECK(IsBitNormalized(B));
223 DCHECK(I.len() == A.len() - B.len());
224 DCHECK(scratch.len() >= DivideBarrettScratchSpace(A.len()));
230 DCHECK(A1.len() == I.len());
260 DCHECK(q_sub <= 5);
269 DCHECK(q_add <= 5);
281 DCHECK(Q.len() > A.len() - B.len());
282 DCHECK(R.len() >= B.len());
283 DCHECK(A.len() > B.len()); // Careful: This is *not* '>=' !
284 DCHECK(B.len() > 0);
308 DCHECK(I.len() == i_len);
315 DCHECK(t >= 3);
337 DCHECK(Qi[j] == 0);
349 DCHECK(Qi[qi_len - 1] == 0);
355 DCHECK(Ri.len() <= R.len());