Lines Matching refs:assert
44 assert(ieee754dp_isnan(x)); in ieee754dp_issnan()
67 assert(ieee754dp_isnan(r)); in ieee754dp_nanxcpt()
91 assert(ieee754dp_isnan(x)); in ieee754dp_bestnan()
92 assert(ieee754dp_isnan(y)); in ieee754dp_bestnan()
134 assert(xm); /* we dont gen exact zeros (probably should) */ in ieee754dp_format()
136 assert((xm >> (DP_MBITS + 1 + 3)) == 0); /* no execess */ in ieee754dp_format()
137 assert(xm & (DP_HIDDEN_BIT << 3)); in ieee754dp_format()
181 assert((xm & (DP_HIDDEN_BIT << 3)) == 0); in ieee754dp_format()
182 assert(xe == DP_EMIN); in ieee754dp_format()
205 assert((xm >> (DP_MBITS + 1)) == 0); /* no execess */ in ieee754dp_format()
206 assert(xe >= DP_EMIN); in ieee754dp_format()
233 assert(xe == DP_EMIN); in ieee754dp_format()
238 assert((xm >> (DP_MBITS + 1)) == 0); /* no execess */ in ieee754dp_format()
239 assert(xm & DP_HIDDEN_BIT); in ieee754dp_format()