8  * 1. Redistributions of source code must retain the above copyright
63 	test(4, 4, 0, 1);  in ATF_TC_BODY()
65 	testd(0x1p-1074, 1, 0x1p-1074, 0);  in ATF_TC_BODY()
66 	testf(0x1p-149, 1, 0x1p-149, 0);  in ATF_TC_BODY()
67 	test(3.0, 4, -1, 1);  in ATF_TC_BODY()
68 	test(3.0, -4, -1, -1);  in ATF_TC_BODY()
71 	testf(0x1.9044f6p-1, 0x1.ce662ep-1, -0x1.f109cp-4, 1);  in ATF_TC_BODY()
74 	    0x1.b72ea61d950c862p-2001L, -1);  in ATF_TC_BODY()
99 	testd(-0x1.0000000000003p+0, 0x1.0000000000003p+0, -0.0, -1);  in ATF_TC_BODY()
100 	testl(-0x1.0000000000003p+0, 0x1.0000000000003p+0, -0.0, -1);  in ATF_TC_BODY()
108 	int q;  in test_invalid()  local
110 	q = 0xdeadbeef;  in test_invalid()
113 	ATF_CHECK(isnan(remquo(x, y, &q)));  in test_invalid()
115 	ATF_CHECK(q == 0xdeadbeef);  in test_invalid()
119 	ATF_CHECK(isnan(remquof(x, y, &q)));  in test_invalid()
121 	ATF_CHECK(q == 0xdeadbeef);  in test_invalid()
125 	ATF_CHECK(isnan(remquol(x, y, &q)));  in test_invalid()
127 	ATF_CHECK(q == 0xdeadbeef);  in test_invalid()
141 	int q;  in testl()  local
144 	q = random();  in testl()
148 	rem = remquol(x, y, &q);  in testl()
151 	ATF_CHECK((q ^ expected_quo) >= 0); /* sign(q) == sign(expected_quo) */  in testl()
152 	ATF_CHECK((q & 0x7) == (expected_quo & 0x7));  in testl()
153 	if (q != 0) {  in testl()
154 		ATF_CHECK((q > 0) ^ !(expected_quo > 0));  in testl()
155 		q = abs(q);  in testl()
156 		ATF_CHECK(q == (abs(expected_quo) & mask(q)));  in testl()
163 	int q;  in testd()  local
166 	q = random();  in testd()
170 	rem = remquo(x, y, &q);  in testd()
173 	ATF_CHECK((q ^ expected_quo) >= 0); /* sign(q) == sign(expected_quo) */  in testd()
174 	ATF_CHECK((q & 0x7) == (expected_quo & 0x7));  in testd()
175 	if (q != 0) {  in testd()
176 		ATF_CHECK((q > 0) ^ !(expected_quo > 0));  in testd()
177 		q = abs(q);  in testd()
178 		ATF_CHECK(q == (abs(expected_quo) & mask(q)));  in testd()
185 	int q;  in testf()  local
188 	q = random();  in testf()
192 	rem = remquof(x, y, &q);  in testf()
195 	ATF_CHECK((q ^ expected_quo) >= 0); /* sign(q) == sign(expected_quo) */  in testf()
196 	ATF_CHECK((q & 0x7) == (expected_quo & 0x7));  in testf()
197 	if (q != 0) {  in testf()
198 		ATF_CHECK((q > 0) ^ !(expected_quo > 0));  in testf()
199 		q = abs(q);  in testf()
200 		ATF_CHECK((q & mask(q)) == (abs(expected_quo) & mask(q)));  in testf()