Lines Matching defs:d0
45 float d0, d1, f;
48 d0 = FLT_MIN;
49 ATF_CHECK_EQ_MSG(fpclassify(d0), FP_NORMAL,
51 d0, fpclassify(d0), FP_NORMAL);
52 f = frexpf(d0, &e);
56 d0, f, e, 0.5, FLT_MIN_EXP);
60 d0, f, e, 0.5, FLT_MIN_EXP);
61 d1 = d0;
72 ATF_CHECK_MSG(d1 > 0 && d1 < d0,
73 "[%d] d1=%a d0=%a", i, d1, d0);
75 d2 = ldexpf(d0, -i);
77 i, d0, i, d2, d1);
125 double d0, d1, f;
128 d0 = DBL_MIN;
129 ATF_CHECK_EQ_MSG(fpclassify(d0), FP_NORMAL,
131 d0, fpclassify(d0), FP_NORMAL);
132 f = frexp(d0, &e);
136 d0, f, e, 0.5, DBL_MIN_EXP);
140 d0, f, e, 0.5, DBL_MIN_EXP);
141 d1 = d0;
152 ATF_CHECK_MSG(d1 > 0 && d1 < d0,
153 "[%d] d1=%a d0=%a", i, d1, d0);
155 d2 = ldexp(d0, -i);
157 i, d0, i, d2, d1);
205 long double d0, d1, f;
208 d0 = LDBL_MIN;
209 ATF_CHECK_EQ_MSG(fpclassify(d0), FP_NORMAL,
211 d0, fpclassify(d0), FP_NORMAL);
212 f = frexpl(d0, &e);
216 d0, f, e, 0.5L, LDBL_MIN_EXP);
220 d0, f, e, 0.5L, LDBL_MIN_EXP);
221 d1 = d0;
232 ATF_CHECK_MSG(d1 > 0 && d1 < d0,
233 "[%d] d1=%La d0=%La", i, d1, d0);
235 d2 = ldexpl(d0, -i);
237 i, d0, i, d2, d1);
Indexes created Sat Sep 20 22:09:52 GMT 2025