Lines Matching refs:assert
30 assert(ieee754dp_isnan(x)); in ieee754dp_issnan()
42 assert(ieee754dp_issnan(r)); in ieee754dp_nanxcpt()
89 assert(xm); /* we don't gen exact zeros (probably should) */ in ieee754dp_format()
91 assert((xm >> (DP_FBITS + 1 + 3)) == 0); /* no excess */ in ieee754dp_format()
92 assert(xm & (DP_HIDDEN_BIT << 3)); in ieee754dp_format()
135 assert((xm & (DP_HIDDEN_BIT << 3)) == 0); in ieee754dp_format()
136 assert(xe == DP_EMIN); in ieee754dp_format()
159 assert((xm >> (DP_FBITS + 1)) == 0); /* no excess */ in ieee754dp_format()
160 assert(xe >= DP_EMIN); in ieee754dp_format()
187 assert(xe == DP_EMIN); in ieee754dp_format()
192 assert((xm >> (DP_FBITS + 1)) == 0); /* no excess */ in ieee754dp_format()
193 assert(xm & DP_HIDDEN_BIT); in ieee754dp_format()