Lines Matching refs:DCHECK
73 DCHECK(B.len() > 0);
97 DCHECK((B.len() & 1) == 0);
99 DCHECK(A1A2.len() == 2 * n);
101 DCHECK(Compare(A1A2, B) < 0);
102 DCHECK(A3.len() == n);
103 DCHECK(Q.len() == n);
104 DCHECK(R.len() == 2 * n);
129 DCHECK(temp.len() <= 1);
151 DCHECK(borrow == r1_high);
152 DCHECK(Compare(R, B) < 0);
161 DCHECK(A.len() <= 2 * n);
163 DCHECK(Compare(Digits(A, n, n), B) < 0);
164 DCHECK(Q.len() == n);
165 DCHECK(R.len() == n);
199 DCHECK(A.len() >= B.len());
200 DCHECK(R.len() == 0 || R.len() >= B.len());
201 DCHECK(Q.len() > A.len() - B.len());
250 DCHECK(Qi.len() <= target.len());
267 DCHECK(Ri[i] == 0);
273 DCHECK(Ri_part.len() <= R.len());