60 	float d0, d1, d2, f, ip;  in ATF_TC_BODY()  local
68 	d1 = d0;  in ATF_TC_BODY()
72 		d1 /= 2;  in ATF_TC_BODY()
73 		ATF_REQUIRE_EQ(fpclassify(d1), FP_SUBNORMAL);  in ATF_TC_BODY()
74 		ATF_REQUIRE(d1 > 0 && d1 < d0);  in ATF_TC_BODY()
77 		ATF_REQUIRE_EQ(d2, d1);  in ATF_TC_BODY()
79 		d2 = modff(d1, &ip);  in ATF_TC_BODY()
80 		ATF_REQUIRE_EQ(d2, d1);  in ATF_TC_BODY()
83 		f = frexpf(d1, &e);  in ATF_TC_BODY()
88 	d1 /= 2;  in ATF_TC_BODY()
89 	ATF_REQUIRE_EQ(fpclassify(d1), FP_ZERO);  in ATF_TC_BODY()
90 	f = frexpf(d1, &e);  in ATF_TC_BODY()
104 	double d0, d1, d2, f, ip;  in ATF_TC_BODY()  local
112 	d1 = d0;  in ATF_TC_BODY()
116 		d1 /= 2;  in ATF_TC_BODY()
117 		ATF_REQUIRE_EQ(fpclassify(d1), FP_SUBNORMAL);  in ATF_TC_BODY()
118 		ATF_REQUIRE(d1 > 0 && d1 < d0);  in ATF_TC_BODY()
121 		ATF_REQUIRE_EQ(d2, d1);  in ATF_TC_BODY()
123 		d2 = modf(d1, &ip);  in ATF_TC_BODY()
124 		ATF_REQUIRE_EQ(d2, d1);  in ATF_TC_BODY()
127 		f = frexp(d1, &e);  in ATF_TC_BODY()
132 	d1 /= 2;  in ATF_TC_BODY()
133 	ATF_REQUIRE_EQ(fpclassify(d1), FP_ZERO);  in ATF_TC_BODY()
134 	f = frexp(d1, &e);  in ATF_TC_BODY()
155 	long double d0, d1, d2, f, ip;  in ATF_TC_BODY()  local
163 	d1 = d0;  in ATF_TC_BODY()
167 		d1 /= 2;  in ATF_TC_BODY()
168 		ATF_REQUIRE_EQ(fpclassify(d1), FP_SUBNORMAL);  in ATF_TC_BODY()
169 		ATF_REQUIRE(d1 > 0 && d1 < d0);  in ATF_TC_BODY()
172 		ATF_REQUIRE_EQ(d2, d1);  in ATF_TC_BODY()
174 		d2 = modfl(d1, &ip);  in ATF_TC_BODY()
175 		ATF_REQUIRE_EQ(d2, d1);  in ATF_TC_BODY()
178 		f = frexpl(d1, &e);  in ATF_TC_BODY()
183 	d1 /= 2;  in ATF_TC_BODY()
184 	ATF_REQUIRE_EQ(fpclassify(d1), FP_ZERO);  in ATF_TC_BODY()
185 	f = frexpl(d1, &e);  in ATF_TC_BODY()