X-Git-Url: https://git.distorted.org.uk/~mdw/catacomb/blobdiff_plain/d2d54c98e2d65c46c5fe6519812aa4c6ea55ea02..7eaaecf58694345b4e40db9981c0c2ac0f728378:/genlimits.c diff --git a/genlimits.c b/genlimits.c new file mode 100644 index 00000000..fc2d319f --- /dev/null +++ b/genlimits.c @@ -0,0 +1,282 @@ +/* -*-c-*- + * + * $Id$ + * + * Generate limit MPs for C types + * + * (c) 2006 Straylight/Edgeware + */ + +/*----- Licensing notice --------------------------------------------------* + * + * This file is part of Catacomb. + * + * Catacomb is free software; you can redistribute it and/or modify + * it under the terms of the GNU Library General Public License as + * published by the Free Software Foundation; either version 2 of the + * License, or (at your option) any later version. + * + * Catacomb is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU Library General Public License for more details. + * + * You should have received a copy of the GNU Library General Public + * License along with Catacomb; if not, write to the Free + * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + */ + +/*----- Header files ------------------------------------------------------*/ + +#define _GNU_SOURCE +#include +#include +#include +#include + +#if __STDC_VERSION__ >= 199900l +# include +# include +#endif + +#include "mp.h" +#include "mpint.h" + +/*----- Data types --------------------------------------------------------*/ + +/* --- Hack for GCC --- * + * + * WG14 in their infinite wisdom decided not to use the GCC constant name. + */ + +#if __GNUC__ > 2 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 91) +# define EXT __extension__ +#else +# define EXT +#endif + +#if defined(LONG_LONG_MIN) && !defined(LLONG_MIN) +# define LLONG_MIN EXT LONG_LONG_MIN +#endif + +#if defined(LONG_LONG_MAX) && !defined(LLONG_MAX) +# define LLONG_MAX EXT LONG_LONG_MAX +#endif + +#if defined(ULONG_LONG_MAX) && !defined(ULLONG_MAX) +# define ULLONG_MAX EXT ULONG_LONG_MAX +#endif + +/* --- Choose the largest integer type --- */ + +#if defined(INTMAX_MAX) + typedef intmax_t imax; +#elif defined(LLONG_MAX) + EXT typedef long long imax; +#else + typedef long imax; +#endif + +#if defined(UINTMAX_MAX) + typedef uintmax_t umax; +#elif defined(ULLONG_MAX) + EXT typedef unsigned long long umax; +#else + typedef unsigned long umax; +#endif + +/*----- Main code ---------------------------------------------------------*/ + +#define TABSZ 64 + +enum { NEG, POS, NSIGN }; + +umax cmap[TABSZ]; +int gmap[TABSZ][NSIGN]; +struct { int g, s; } qmap[TABSZ]; +int dumpp = 0; + +static int n, q; + +static void dump(mp *x) +{ + int i, w, n; + + fputs(" ", stdout); + w = (MPW_BITS + 3)/4; + n = 1; + while (2 + 2 * n * (4 + w) < 72) n <<= 1; + i = 0; + for (;;) { + printf("0x%0*x", w, x->v[i]); + i++; + if (i >= MP_LEN(x)) break; + fputs(",", stdout); + if (i % n) fputs(" ", stdout); else fputs("\n ", stdout); + } + fputs("\n", stdout); +} + +static void doemit(umax c, int s, int *gg, int *qq) +{ + int i; + mp *x = MP_NEW; + + for (i = 0; i < n; i++) { + if (cmap[i] == c) + goto found; + } + + assert(i < TABSZ); + n = i + 1; + cmap[i] = c; + gmap[i][POS] = gmap[i][NEG] = -1; + if (dumpp) { + MP_FROMINT(x, umax, c); + printf("static mpw guts_%d[] = {\n", q); + dump(x); + fputs("};\n\n", stdout); + MP_DROP(x); + } + +found: + *gg = i; + if (gmap[i][s] < 0) { + assert(q < TABSZ); + gmap[i][s] = q; + qmap[q].g = i; + qmap[q].s = s; + q++; + } + *qq = gmap[i][s]; +} + +static void emit(imax c, int *gg, int *qq) +{ + umax uc; + int s; + + if (c >= 0) { uc = c; s = POS; } + else { uc = -c; s = NEG; } + doemit(uc, s, gg, qq); +} + +static void uemit(umax c, int *gg, int *qq) { doemit(c, POS, gg, qq); } + +struct { + const char *name; + imax min; + umax max; + int gmin, gmax; + int qmin, qmax; +} tab[] = { + { "SCHAR", SCHAR_MIN, SCHAR_MAX }, + { "CHAR", CHAR_MIN, CHAR_MAX }, + { "UCHAR", 0, UCHAR_MAX }, + { "UINT8", 0, 0xff }, + { "SHRT", SHRT_MIN, SHRT_MAX }, + { "USHRT", 0, USHRT_MAX }, + { "UINT16", 0, 0xffff }, + { "INT", INT_MIN, INT_MAX }, + { "UINT", 0, UINT_MAX }, + { "LONG", LONG_MIN, LONG_MAX }, + { "ULONG", 0, ULONG_MAX }, + { "UINT32", 0, 0xffffffff }, +#ifdef LLONG_MAX + { "LLONG", LLONG_MIN, LLONG_MAX }, + { "ULLONG", 0, ULLONG_MAX }, +#endif + { "SIZET", 0, ~(size_t)0 }, + { 0 } +}; + +static void dogen(void) +{ + int i; + + for (i = 0; tab[i].name; i++) { + if (tab[i].min) + emit(tab[i].min, &tab[i].gmin, &tab[i].qmin); + uemit(tab[i].max, &tab[i].gmax, &tab[i].qmax); + } +} + +static void cgen(void) +{ + int i; + + fputs("\ +/* -*-c-*-\n\ + *\n\ + * C integer limits [generated]\n\ + */\n\ +\n\ +#include \"mplimits.h\"\n\ +\n\ +#define N(x) (sizeof(x)/sizeof(*x))\n\ +#define MPpos(x) { x, x + N(x), N(x), 0, MP_CONST, 0 }\n\ +#define MPneg(x) { x, x + N(x), N(x), 0, MP_CONST|MP_NEG, 0 }\n\ +\n", + stdout); + dumpp = 1; + dogen(); + + fputs("mp mp_limits[] = {\n", stdout); + for (i = 0; i < q; i++) + printf(" MP%s(guts_%d),\n", qmap[i].s ? "pos" : "neg", qmap[i].g); + fputs("};\n", stdout); +} + +static void hgen(void) +{ + int i; + + fputs("\ +/* -*-c-*-\n\ + *\n\ + * C integer limits [generated]\n\ + */\n\ +\n\ +#ifndef CATACOMB_MPLIMITS_H\n\ +#define CATACOMB_MPLIMITS_H\n\ +\n\ +#ifndef CATACOMB_MP_H\n\ +# include \"mp.h\"\n\ +#endif\n\ +\n\ +extern mp mp_limits[];\n\ +\n", + stdout); + dogen(); + + for (i = 0; tab[i].name; i++) { + if (tab[i].min) { + printf("#define MP_%s_MIN (&mp_limits[%d])\n", + tab[i].name, gmap[tab[i].qmin][NEG]); + } + printf("#define MP_%s_MAX (&mp_limits[%d])\n", + tab[i].name, gmap[tab[i].qmax][POS]); + } + fputs("\n#endif\n", stdout); +} + +int main(int argc, char *argv[]) +{ + const char *what = argc == 2 ? argv[1] : ""; + + switch (what[0]) { + case 'c': cgen(); break; + case 'h': hgen(); break; + default: + fprintf(stderr, "unknown action `%s'\n", what); + exit(1); + } + if (fflush(stdout) || fclose(stdout)) { + fprintf(stderr, "error writing output: %s\n", strerror(errno)); + exit(1); + } + return (0); +} + +/*----- That's all, folks -------------------------------------------------*/