Lines Matching refs:ASSERT
82 ASSERT (dh == HIGH32(d)); \
83 ASSERT (dl == LOW32(d)); \
84 ASSERT (q*d == l); \
120 ASSERT (q*d == l); \
121 ASSERT (HIGH32(d) == 0); \
135 ASSERT (h == want_h); \
168 ASSERT ((x) != 0); \
169 ASSERT ((x) <= CNST_LIMB(0xFFFFFFFF)); \
182 ASSERT ((d) <= 0xFFFFFFFF); \
183 ASSERT ((d) & 0x80000000); \
197 ASSERT (d_limb <= 0xFFFFFFFF); \
198 ASSERT (dinv_limb <= 0xFFFFFFFF); \
199 ASSERT (d_limb & 0x80000000); \
200 ASSERT (nh < d_limb); \
210 ASSERT (_xh == 0 || _xh == ~0); \
213 ASSERT (_r < d_limb); \
214 ASSERT (d_limb * _q + _r == _n); \
Indexes created Sat Aug 01 00:24:56 UTC 2026