Lines Matching refs:assert
40 assert(ieee754dp_isnan(x)); in ieee754dp_issnan()
51 assert(ieee754dp_issnan(r)); in ieee754dp_nanxcpt()
90 assert(xm); /* we don't gen exact zeros (probably should) */ in ieee754dp_format()
92 assert((xm >> (DP_FBITS + 1 + 3)) == 0); /* no execess */ in ieee754dp_format()
93 assert(xm & (DP_HIDDEN_BIT << 3)); in ieee754dp_format()
136 assert((xm & (DP_HIDDEN_BIT << 3)) == 0); in ieee754dp_format()
137 assert(xe == DP_EMIN); in ieee754dp_format()
160 assert((xm >> (DP_FBITS + 1)) == 0); /* no execess */ in ieee754dp_format()
161 assert(xe >= DP_EMIN); in ieee754dp_format()
188 assert(xe == DP_EMIN); in ieee754dp_format()
193 assert((xm >> (DP_FBITS + 1)) == 0); /* no execess */ in ieee754dp_format()
194 assert(xm & DP_HIDDEN_BIT); in ieee754dp_format()