1*0dd5877aSitojun /* $NetBSD: divremtest.c,v 1.4 2002/02/21 07:38:15 itojun Exp $ */
2*0dd5877aSitojun
3a9a98a85Sross /*-
4a9a98a85Sross * Copyright (c) 2002 Ross Harvey
5a9a98a85Sross * All rights reserved.
6a9a98a85Sross *
7a9a98a85Sross * Redistribution and use in source and binary forms, with or without
8a9a98a85Sross * modification, are permitted provided that the following conditions
9a9a98a85Sross * are met:
10a9a98a85Sross * 1. Redistributions of source code must retain the above copyright
11a9a98a85Sross * notice, this list of conditions and the following disclaimer.
12a9a98a85Sross * Redistributions of source code must not add the GNU General Public
13a9a98a85Sross * License or any similar license to this work or to derivative works
14a9a98a85Sross * incorporating this code. No requirement to distribute source may
15a9a98a85Sross * be imposed upon redistributions in binary form of this work or of
16a9a98a85Sross * derivative works.
17a9a98a85Sross * 2. Redistributions in binary form must reproduce the above copyright
18a9a98a85Sross * notice, this list of conditions and the following disclaimer in the
19a9a98a85Sross * documentation and/or other materials provided with the distribution.
20a9a98a85Sross *
21a9a98a85Sross * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
22a9a98a85Sross * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
23a9a98a85Sross * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
24a9a98a85Sross * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
25a9a98a85Sross * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
26a9a98a85Sross * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
27a9a98a85Sross * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
28a9a98a85Sross * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
29a9a98a85Sross * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
30a9a98a85Sross * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
31a9a98a85Sross * POSSIBILITY OF SUCH DAMAGE.
32a9a98a85Sross */
33a9a98a85Sross
34ce4e3aa2Sross #include <stdio.h>
35ce4e3aa2Sross #include <stdlib.h>
36ce4e3aa2Sross #include <unistd.h>
37ce4e3aa2Sross #include <fcntl.h>
38ce4e3aa2Sross #include <stdint.h>
395661f76cSross #include <assert.h>
405661f76cSross #include <time.h>
415661f76cSross
425661f76cSross #define KLE 3 // exponent for k and l salt values
435661f76cSross #define NEARBY 600 // all numbers +-NEARBY 0 and INTxx_MIN will be tried
445661f76cSross #define RANDOMCOUNT 300000 // number of random(3)-based cases to run
45ce4e3aa2Sross
46ce4e3aa2Sross #define IM(x) ((intmax_t)(x))
47ce4e3aa2Sross #define UIM(x) ((uintmax_t)(x))
48ce4e3aa2Sross
49ce4e3aa2Sross #define TEST(id, a, b, c) \
50ce4e3aa2Sross if (b) { \
51ce4e3aa2Sross c = (a) / (b); \
52ce4e3aa2Sross printf(id "%16jx / %16jx => %16jx\n", UIM(a), UIM(b), UIM(c)); \
53ce4e3aa2Sross c = (a) % (b); \
54ce4e3aa2Sross printf(id "%16jx / %16jx => %16jx\n", UIM(a), UIM(b), UIM(c)); \
55ce4e3aa2Sross }
56ce4e3aa2Sross
575661f76cSross #define T64S(a, b, c) TEST("64 ", (a), (b), (c))
585661f76cSross #define T64U(a, b, c) TEST("64U", (a), (b), (c))
595661f76cSross
605661f76cSross union {
615661f76cSross char ranstate[128];
625661f76cSross long alignme;
635661f76cSross } ranalign;
645661f76cSross
655661f76cSross int enable_time_output;
665661f76cSross
mark_time(const int phase)675661f76cSross void mark_time(const int phase)
685661f76cSross {
695661f76cSross static time_t startphase;
705661f76cSross time_t t;
715661f76cSross
725661f76cSross t = time(NULL);
735661f76cSross if (enable_time_output && phase != 0) {
745661f76cSross fprintf(stderr, "phase %d/6: %5d seconds\n", phase,
755661f76cSross (int)(t - startphase));
765661f76cSross fflush(stderr);
775661f76cSross }
785661f76cSross startphase = t;
795661f76cSross }
80ce4e3aa2Sross
main(int ac,char ** av)81ce4e3aa2Sross int main(int ac, char **av)
82ce4e3aa2Sross {
835661f76cSross int32_t a32, b32, sr32;
84ce4e3aa2Sross uint32_t ur32;
855661f76cSross intmax_t a64, b64, sr64;
86ce4e3aa2Sross uintmax_t ur64;
87ce4e3aa2Sross int i, j, k, l;
88ce4e3aa2Sross
895661f76cSross enable_time_output = ac <= 1;
905661f76cSross mark_time(0);
915661f76cSross for(i = KLE; i <= 30; ++i) {
925661f76cSross a32 = 1 << i;
935661f76cSross for(j = KLE; j <= 30; ++j) {
945661f76cSross b32 = 1 << j;
955661f76cSross for(k = -(1 << KLE); k <= 1 << KLE; ++k) {
965661f76cSross for(l = -(1 << KLE); l <= 1 << KLE; ++l) {
975661f76cSross TEST("32 ", a32 + k, b32 + l, sr32);
985661f76cSross TEST("32 ", a32 + k, -(b32 + l), sr32);
995661f76cSross TEST("32 ", -(a32 + k), b32 + l, sr32);
1005661f76cSross TEST("32 ", -(a32 + k), -(b32 + l), sr32);
1015661f76cSross assert((1U << i) + k >= 0);
1025661f76cSross assert((1U << j) + l >= 0);
103ce4e3aa2Sross TEST("32U", (1U << i) + k, (1U << j) + l, ur32);
104ce4e3aa2Sross }
105ce4e3aa2Sross }
106ce4e3aa2Sross }
107ce4e3aa2Sross }
1085661f76cSross
1095661f76cSross mark_time(1);
1105661f76cSross for(a32 = -NEARBY; a32 < NEARBY; ++a32) {
1115661f76cSross for(b32 = -NEARBY; b32 < NEARBY; ++b32) {
1125661f76cSross TEST("32 ", a32, b32, sr32);
1135661f76cSross if (a32 >= 0 && b32 >= 0)
1145661f76cSross TEST("32U", (unsigned)a32, (unsigned)b32, ur32);
1155661f76cSross }
1165661f76cSross }
1175661f76cSross mark_time(2);
1185661f76cSross for(a32 = INT32_MIN; a32 < INT32_MIN + NEARBY; ++a32) {
1195661f76cSross for(b32 = INT32_MIN; b32 < INT32_MIN + NEARBY; ++b32)
1205661f76cSross TEST("32 ", a32, b32, sr32);
1215661f76cSross for(b32 = -NEARBY; b32 < NEARBY; ++b32)
1225661f76cSross if (a32 != INT32_MIN || b32 != -1)
1235661f76cSross TEST("32 ", a32, b32, sr32);
1245661f76cSross }
1255661f76cSross
1265661f76cSross mark_time(3);
127ce4e3aa2Sross if (sizeof(intmax_t) == 4)
128ce4e3aa2Sross exit(0);
1295661f76cSross for(i = KLE; i <= 62; ++i) {
1305661f76cSross a64 = IM(1) << i;
1315661f76cSross for(j = KLE; j <= 62; ++j) {
1325661f76cSross b64 = IM(1) << j;
1335661f76cSross for(k = -(1 << KLE); k <= 1 << KLE; ++k) {
1345661f76cSross for(l = -(1 << KLE); l <= 1 << KLE; ++l) {
1355661f76cSross T64S( a64 + k, b64 + l, sr64);
1365661f76cSross T64S( a64 + k, -b64 + l, sr64);
1375661f76cSross T64S(-a64 + k, b64 + l, sr64);
1385661f76cSross T64S(-a64 + k, -b64 + l, sr64);
1395661f76cSross T64U(UIM(a64) + k, UIM(b64) + l, ur64);
140ce4e3aa2Sross }
141ce4e3aa2Sross }
142ce4e3aa2Sross }
143ce4e3aa2Sross }
1445661f76cSross
1455661f76cSross mark_time(4);
1465661f76cSross for(a64 = -(1 << KLE); a64 < 1 << KLE; ++a64) {
1475661f76cSross for(b64 = -(1 << KLE); b64 < 1 << KLE; ++b64) {
1485661f76cSross TEST("64 ", a64, b64, sr64);
1495661f76cSross if (a64 >= 0 && b64 >= 0)
1505661f76cSross TEST("64U", (unsigned)a64, (unsigned)b64, ur64);
1515661f76cSross }
1525661f76cSross }
1535661f76cSross for(a64 = INT64_MIN; a64 < INT64_MIN + NEARBY; ++a64) {
1545661f76cSross for(b64 = INT64_MIN; b64 < INT64_MIN + NEARBY; ++b64)
1555661f76cSross TEST("64 ", a64, b64, sr64);
1565661f76cSross for(b64 = -NEARBY; b64 < NEARBY; ++b64)
1575661f76cSross if (a64 != INT64_MIN || b64 != -1)
1585661f76cSross TEST("64 ", a64, b64, sr64);
1595661f76cSross }
1605661f76cSross mark_time(5);
1615661f76cSross initstate(1UL, ranalign.ranstate, sizeof ranalign.ranstate);
1625661f76cSross for(i = 0; i < RANDOMCOUNT; ++i) {
1635661f76cSross int32_t low32 = random();
1645661f76cSross int64_t low64 = (intmax_t)random() << 32 | low32;
1655661f76cSross
1665661f76cSross a32 = random();
1675661f76cSross b32 = random();
1685661f76cSross a64 = ((intmax_t)random() << 32) | a32;
1695661f76cSross b64 = ((intmax_t)random() << 32) | b32;
1705661f76cSross TEST("32 ", a32, b32, sr32);
1715661f76cSross TEST("32u", (unsigned)a32 + low32, (unsigned)b32 + low32, ur32);
1725661f76cSross TEST("32 ", -a32 - 1, b32, sr32);
1735661f76cSross TEST("32 ", a32, -b32, sr32);
1745661f76cSross if (a32 != INT32_MAX || b32 != 1)
1755661f76cSross TEST("32 ", -a32 - 1, -b32, sr32);
1765661f76cSross TEST("64 ", a64, b64, sr64);
1775661f76cSross TEST("64u", (unsigned)a64 + low64, (unsigned)b64 + low64, ur64);
1785661f76cSross TEST("64 ", -a64 - 1, b64, sr64);
1795661f76cSross TEST("64 ", a64, -b64, sr64);
1805661f76cSross if (a64 != INT64_MAX || b64 != 1)
1815661f76cSross TEST("64 ", -a64 - 1, -b64, sr64);
1825661f76cSross }
1835661f76cSross mark_time(6);
184ce4e3aa2Sross exit(0);
185ce4e3aa2Sross return 0;
186ce4e3aa2Sross }
187