proxmark3/client/reveng/preset.c

/* preset.c
 * Greg Cook, 19/Jun/2017
 */

/* CRC RevEng: arbitrary-precision CRC calculator and algorithm finder
 * Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017
 * Gregory Cook
 *
 * This file is part of CRC RevEng.
 *
 * CRC RevEng is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * CRC RevEng 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 General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with CRC RevEng.  If not, see <https://www.gnu.org/licenses/>.
 */

/* 2017-06-19: added CRC-8/BLUETOOTH, CRC-17/CAN-FD, CRC-21/CAN-FD
 * 2017-02-18: added 8 new GSM algorithms
 * 2017-02-06: munpack() produces canonical models
 * 2017-02-05: added magic field
 * 2017-02-01: added CRC-64/GO-ISO, 2 new aliases
 * 2016-07-26: added array order checking code
 * 2016-07-25: added 5 new algorithms
 * 2016-07-14: added CRC-16/CMS
 * 2016-07-08: added CRC-16/PROFIBUS
 * 2016-02-23: added 11 new algorithms, 4 new aliases
 * 2016-02-22: split off from model.c
 * 2016-02-22: preset points to primary alias, eliminated strcmp()
 * 2016-02-22: eliminated bogus calls to bsearch()
 * 2015-07-29: eliminated struct malias.isprimry
 * 2014-01-14: added CRC-8/DVB-S2
 * 2014-01-11: corrected CRC-40/GSM, added alias CRC-8/AES
 * 2013-10-14: added CRC-13/BBC and six cdma2000 algorithms
 * 2013-06-11: ensure BMP_BIT is an integer constant to compile presets
 * 2013-01-20: big polynomials autogenerated, corrected CRC-82/DARC
 * 2012-07-19: added CRC-8/EBU
 * 2012-07-16: added CRC-15/MPT1327
 * 2012-05-25: removed CRC-1/PARITY-EVEN, CRC-1/PARITY-ODD
 * 2012-04-12: added model CRC-31/PHILIPS
 * 2012-02-20: corrected model CRC-6/DARC
 * 2011-08-28: added model CRC-64/XZ
 * 2011-04-30: added models CRC-16/TMS37157 and CRC-A, and alias CRC-B
 * 2011-02-10: made preset models ANSI C compliant
 * 2011-01-17: fixed ANSI C warnings (except preset models)
 * 2011-01-01: added mbynum(), mcount()
 * 2010-12-26: renamed CRC RevEng
 * 2010-12-18: minor change to mtostr() output format
 * 2010-12-15: added mcmp(), mmatch()
 * 2010-12-14: finished mbynam(), mnames()
 * 2010-12-13: restarted with PCONST macros
 * 2010-12-12: was having so much fun I didn't think to try compiling. :(
 * 2010-12-12: started models.c
 */

#include <ctype.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "reveng.h"

/* Private declarations */

/* incomplete type declaration to permit cross-reference */
struct malias;

struct mpreset {
	const unsigned long width;		/* width of CRC algorithm */
	const bmp_t *const bspoly;		/* polynomial with highest-order term removed. length determines CRC width */
	const bmp_t *const binit;		/* initial register value. length == poly.length */
	const int flags;			/* P_REFIN and P_REFOUT indicate reflected input/output */
	const bmp_t *const bxorout;		/* final register XOR mask. length == poly.length */
	const bmp_t *const bcheck;		/* optional check value, the CRC of the UTF-8 string "123456789" */
	const bmp_t *const bmagic;		/* optional magic check value, the residue of a valid codeword */
	const struct malias *const alias;	/* optional canonical name of the model */
};

struct malias {
	const char *name;			/* name of alias */
	const struct mpreset *const model;	/* corresponding model */
};

#ifdef PRESETS
#  if BMP_BIT < 32
#    error config.h: BMP_BIT must be an integer constant macro to compile presets
#  else /* BMP_BIT */

/* Big polynomial constants. */

/* Directives for relink.pl */
/* CONSTANT b40  = (40, 0x0004820009) */
/* CONSTANT b40a = (40, 0xffffffffff) */
/* CONSTANT b40b = (40, 0xd4164fc646) */
/* CONSTANT b40c = (40, 0xc4ff8071ff) */
/* CONSTANT b64  = (64, 0x000000000000001b) */
/* CONSTANT b64a = (64, 0xffffffffffffffff) */
/* CONSTANT b64b = (64, 0xb90956c775a41001) */
/* CONSTANT b64c = (64, 0x5300000000000000) */
/* CONSTANT b64d = (64, 0x42f0e1eba9ea3693) */
/* CONSTANT b64e = (64, 0x6c40df5f0b497347) */
/* CONSTANT b64f = (64, 0x62ec59e3f1a4f00a) */
/* CONSTANT b64g = (64, 0xfcacbebd5931a992) */
/* CONSTANT b64h = (64, 0x995dc9bbdf1939fa) */
/* CONSTANT b64i = (64, 0x49958c9abd7d353f) */
/* CONSTANT b82  = (82, 0x0308c0111011401440411) */
/* CONSTANT b82a = (82, 0x09ea83f625023801fd612) */

/* The next section was generated by relink.pl from the directives above. */

/* DO NOT EDIT the section below, INCLUDING the next comment. */
/* BEGIN AUTO-GENERATED CONSTANTS */
#    if BMP_BIT >= 40
static const bmp_t b40[] = {
	BMP_C(0x0004820009) << (BMP_BIT - 40),
};
static const bmp_t b40a[] = {
	BMP_C(0xffffffffff) << (BMP_BIT - 40),
};
static const bmp_t b40b[] = {
	BMP_C(0xd4164fc646) << (BMP_BIT - 40),
};
static const bmp_t b40c[] = {
	BMP_C(0xc4ff8071ff) << (BMP_BIT - 40),
};
#    else /* BMP_BIT */
static const bmp_t b40[] = {
	BMP_C(0x00048200) << (BMP_BIT - 32) | BMP_C(0x04) >> (39 - BMP_BIT),
	BMP_C(0x09) << (BMP_BIT * 2 - 40),
};
static const bmp_t b40a[] = {
	BMP_C(0xffffffff) << (BMP_BIT - 32) | BMP_C(0x7f) >> (39 - BMP_BIT),
	BMP_C(0xff) << (BMP_BIT * 2 - 40),
};
static const bmp_t b40b[] = {
	BMP_C(0xd4164fc6) << (BMP_BIT - 32) | BMP_C(0x23) >> (39 - BMP_BIT),
	BMP_C(0x46) << (BMP_BIT * 2 - 40),
};
static const bmp_t b40c[] = {
	BMP_C(0xc4ff8071) << (BMP_BIT - 32) | BMP_C(0x7f) >> (39 - BMP_BIT),
	BMP_C(0xff) << (BMP_BIT * 2 - 40),
};
#    endif /* BMP_BIT */

#    if BMP_BIT >= 64
static const bmp_t b64[] = {
	BMP_C(0x000000000000001b) << (BMP_BIT - 64),
};
static const bmp_t b64a[] = {
	BMP_C(0xffffffffffffffff) << (BMP_BIT - 64),
};
static const bmp_t b64b[] = {
	BMP_C(0xb90956c775a41001) << (BMP_BIT - 64),
};
static const bmp_t b64c[] = {
	BMP_C(0x5300000000000000) << (BMP_BIT - 64),
};
static const bmp_t b64d[] = {
	BMP_C(0x42f0e1eba9ea3693) << (BMP_BIT - 64),
};
static const bmp_t b64e[] = {
	BMP_C(0x6c40df5f0b497347) << (BMP_BIT - 64),
};
static const bmp_t b64f[] = {
	BMP_C(0x62ec59e3f1a4f00a) << (BMP_BIT - 64),
};
static const bmp_t b64g[] = {
	BMP_C(0xfcacbebd5931a992) << (BMP_BIT - 64),
};
static const bmp_t b64h[] = {
	BMP_C(0x995dc9bbdf1939fa) << (BMP_BIT - 64),
};
static const bmp_t b64i[] = {
	BMP_C(0x49958c9abd7d353f) << (BMP_BIT - 64),
};
#    else /* BMP_BIT */
static const bmp_t b64[] = {
	BMP_C(0x00000000) << (BMP_BIT - 32) | BMP_C(0x0000000d) >> (63 - BMP_BIT),
	BMP_C(0x0000001b) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64a[] = {
	BMP_C(0xffffffff) << (BMP_BIT - 32) | BMP_C(0x7fffffff) >> (63 - BMP_BIT),
	BMP_C(0xffffffff) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64b[] = {
	BMP_C(0xb90956c7) << (BMP_BIT - 32) | BMP_C(0x3ad20800) >> (63 - BMP_BIT),
	BMP_C(0x75a41001) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64c[] = {
	BMP_C(0x53000000) << (BMP_BIT - 32) | BMP_C(0x00000000) >> (63 - BMP_BIT),
	BMP_C(0x00000000) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64d[] = {
	BMP_C(0x42f0e1eb) << (BMP_BIT - 32) | BMP_C(0x54f51b49) >> (63 - BMP_BIT),
	BMP_C(0xa9ea3693) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64e[] = {
	BMP_C(0x6c40df5f) << (BMP_BIT - 32) | BMP_C(0x05a4b9a3) >> (63 - BMP_BIT),
	BMP_C(0x0b497347) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64f[] = {
	BMP_C(0x62ec59e3) << (BMP_BIT - 32) | BMP_C(0x78d27805) >> (63 - BMP_BIT),
	BMP_C(0xf1a4f00a) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64g[] = {
	BMP_C(0xfcacbebd) << (BMP_BIT - 32) | BMP_C(0x2c98d4c9) >> (63 - BMP_BIT),
	BMP_C(0x5931a992) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64h[] = {
	BMP_C(0x995dc9bb) << (BMP_BIT - 32) | BMP_C(0x6f8c9cfd) >> (63 - BMP_BIT),
	BMP_C(0xdf1939fa) << (BMP_BIT * 2 - 64),
};
static const bmp_t b64i[] = {
	BMP_C(0x49958c9a) << (BMP_BIT - 32) | BMP_C(0x5ebe9a9f) >> (63 - BMP_BIT),
	BMP_C(0xbd7d353f) << (BMP_BIT * 2 - 64),
};
#    endif /* BMP_BIT */

#    if BMP_BIT >= 82
static const bmp_t b82[] = {
	BMP_C(0x0308c0111011401440411) << (BMP_BIT - 82),
};
static const bmp_t b82a[] = {
	BMP_C(0x09ea83f625023801fd612) << (BMP_BIT - 82),
};
#    elif BMP_BIT >= 41
static const bmp_t b82[] = {
	BMP_C(0x01846008880) << (BMP_BIT - 41) | BMP_C(0x08a00a20208) >> (81 - BMP_BIT),
	BMP_C(0x11401440411) << (BMP_BIT * 2 - 82),
};
static const bmp_t b82a[] = {
	BMP_C(0x04f541fb128) << (BMP_BIT - 41) | BMP_C(0x011c00feb09) >> (81 - BMP_BIT),
	BMP_C(0x023801fd612) << (BMP_BIT * 2 - 82),
};
#    else /* BMP_BIT */
static const bmp_t b82[] = {
	BMP_C(0x0c230044) << (BMP_BIT - 32) | BMP_C(0x040) >> (40 - BMP_BIT),
	BMP_C(0x40450051) << (BMP_BIT * 2 - 64) | BMP_C(0x00104) >> (80 - BMP_BIT * 2),
	BMP_C(0x00411) << (BMP_BIT * 3 - 82),
};
static const bmp_t b82a[] = {
	BMP_C(0x27aa0fd8) << (BMP_BIT - 32) | BMP_C(0x094) >> (40 - BMP_BIT),
	BMP_C(0x9408e007) << (BMP_BIT * 2 - 64) | BMP_C(0x0f584) >> (80 - BMP_BIT * 2),
	BMP_C(0x3d612) << (BMP_BIT * 3 - 82),
};
#    endif /* BMP_BIT */

/* END AUTO-GENERATED CONSTANTS */
/* DO NOT EDIT the section above, INCLUDING the previous comment. */

/* Array of the polynomial bitmaps used in the model table. */
static const bmp_t b32[] = {
	BMP_C(0x000000af) << (BMP_BIT - 32),	/*   0 -- 32,000000af */
	BMP_C(0x00010000) << (BMP_BIT - 32),	/*   1 -- 16,    0001 */
	BMP_C(0x00020000) << (BMP_BIT - 32),	/*   2 -- 15,    0001 */
	BMP_C(0x00065b00) << (BMP_BIT - 32),	/*   3 -- 24,  00065b */
	BMP_C(0x007e0000) << (BMP_BIT - 32),	/*   4 -- 16,    007e */
	BMP_C(0x007f0000) << (BMP_BIT - 32),	/*   5 -- 16,    007f */
	BMP_C(0x03400000) << (BMP_BIT - 32),	/*   6 -- 11,     01a */
	BMP_C(0x0376e6e7) << (BMP_BIT - 32),	/*   7 -- 32,0376e6e7 */
	BMP_C(0x04c11db7) << (BMP_BIT - 32),	/*   8 -- 32,04c11db7 */
	BMP_C(0x05890000) << (BMP_BIT - 32),	/*   9 -- 16,    0589 */
	BMP_C(0x07000000) << (BMP_BIT - 32),	/*  10 --  8,      07 */
	BMP_C(0x09823b6e) << (BMP_BIT - 32),	/*  11 -- 31,04c11db7 */
	BMP_C(0x0b3c0000) << (BMP_BIT - 32),	/*  12 -- 15,    059e */
	BMP_C(0x0c000000) << (BMP_BIT - 32),	/*  13 --  6,      03 */
	BMP_C(0x0c200000) << (BMP_BIT - 32),	/*  14 -- 11,     061 */
	BMP_C(0x0c780000) << (BMP_BIT - 32),	/*  15 -- 14,    031e */
	BMP_C(0x0fb30000) << (BMP_BIT - 32),	/*  16 -- 16,    0fb3 */
	BMP_C(0x10210000) << (BMP_BIT - 32),	/*  17 -- 16,    1021 */
	BMP_C(0x12000000) << (BMP_BIT - 32),	/*  18 --  7,      09 */
	BMP_C(0x130d2afc) << (BMP_BIT - 32),	/*  19 -- 30,04c34abf */
	BMP_C(0x144e6300) << (BMP_BIT - 32),	/*  20 -- 24,  144e63 */
	BMP_C(0x15000000) << (BMP_BIT - 32),	/*  21 --  8,      15 */
	BMP_C(0x1697d06a) << (BMP_BIT - 32),	/*  22 -- 32,1697d06a */
	BMP_C(0x17800000) << (BMP_BIT - 32),	/*  23 -- 12,     178 */
	BMP_C(0x18000000) << (BMP_BIT - 32),	/*  24 --  6,      06 */
	BMP_C(0x19d3c8d8) << (BMP_BIT - 32),	/*  25 -- 31,0ce9e46c */
	BMP_C(0x1c000000) << (BMP_BIT - 32),	/*  26 --  6,      07 */
	BMP_C(0x1d000000) << (BMP_BIT - 32),	/*  27 --  8,      1d */
	BMP_C(0x1d0f0000) << (BMP_BIT - 32),	/*  28 -- 16,    1d0f */
	BMP_C(0x1dcf0000) << (BMP_BIT - 32),	/*  29 -- 16,    1dcf */
	BMP_C(0x1edc6f41) << (BMP_BIT - 32),	/*  30 -- 32,1edc6f41 */
	BMP_C(0x1f23b800) << (BMP_BIT - 32),	/*  31 -- 24,  1f23b8 */
	BMP_C(0x20000000) << (BMP_BIT - 32),	/*  32 --  4,       2 */
	BMP_C(0x20140000) << (BMP_BIT - 32),	/*  33 -- 14,    0805 */
	BMP_C(0x20b40000) << (BMP_BIT - 32),	/*  34 -- 14,    082d */
	BMP_C(0x20fe0000) << (BMP_BIT - 32),	/*  35 -- 16,    20fe */
	BMP_C(0x21890000) << (BMP_BIT - 32),	/*  36 -- 16,    2189 */
	BMP_C(0x21cf0200) << (BMP_BIT - 32),	/*  37 -- 24,  21cf02 */
	BMP_C(0x23ef5200) << (BMP_BIT - 32),	/*  38 -- 24,  23ef52 */
	BMP_C(0x25000000) << (BMP_BIT - 32),	/*  39 --  8,      25 */
	BMP_C(0x26000000) << (BMP_BIT - 32),	/*  40 --  8,      26 */
	BMP_C(0x26b10000) << (BMP_BIT - 32),	/*  41 -- 16,    26b1 */
	BMP_C(0x27818000) << (BMP_BIT - 32),	/*  42 -- 17,   04f03 */
	BMP_C(0x27d00000) << (BMP_BIT - 32),	/*  43 -- 13,    04fa */
	BMP_C(0x28000000) << (BMP_BIT - 32),	/*  44 --  5,      05 */
	BMP_C(0x29b10000) << (BMP_BIT - 32),	/*  45 -- 16,    29b1 */
	BMP_C(0x2f000000) << (BMP_BIT - 32),	/*  46 --  8,      2f */
	BMP_C(0x30000000) << (BMP_BIT - 32),	/*  47 --  4, 3/ 5, 6 */
	BMP_C(0x3010bf7f) << (BMP_BIT - 32),	/*  48 -- 32,3010bf7f */
	BMP_C(0x31000000) << (BMP_BIT - 32),	/*  49 --  8,      31 */
	BMP_C(0x31800000) << (BMP_BIT - 32),	/*  50 -- 10,     0c6 */
	BMP_C(0x31c30000) << (BMP_BIT - 32),	/*  51 -- 16,    31c3 */
	BMP_C(0x328b6300) << (BMP_BIT - 32),	/*  52 -- 24,  328b63 */
	BMP_C(0x34000000) << (BMP_BIT - 32),	/*  53 --  6,      0d */
	BMP_C(0x340bc6d9) << (BMP_BIT - 32),	/*  54 -- 32,340bc6d9 */
	BMP_C(0x37000000) << (BMP_BIT - 32),	/*  55 --  8,      37 */
	BMP_C(0x38000000) << (BMP_BIT - 32),	/*  56 --  5,      07 */
	BMP_C(0x39000000) << (BMP_BIT - 32),	/*  57 --  8,      39 */
	BMP_C(0x3d650000) << (BMP_BIT - 32),	/*  58 -- 16,    3d65 */
	BMP_C(0x3e000000) << (BMP_BIT - 32),	/*  59 --  8,      3e */
	BMP_C(0x40000000) << (BMP_BIT - 32),	/*  60 --  3,       2 */
	BMP_C(0x42000000) << (BMP_BIT - 32),	/*  61 --  8,      42 */
	BMP_C(0x44c20000) << (BMP_BIT - 32),	/*  62 -- 16,    44c2 */
	BMP_C(0x45270551) << (BMP_BIT - 32),	/*  63 -- 32,45270551 */
	BMP_C(0x48000000) << (BMP_BIT - 32),	/*  64 --  5,      09 */
	BMP_C(0x49000000) << (BMP_BIT - 32),	/*  65 --  8,      49 */
	BMP_C(0x4a800000) << (BMP_BIT - 32),	/*  66 -- 10,     12a */
	BMP_C(0x4acc0000) << (BMP_BIT - 32),	/*  67 -- 15,    2566 */
	BMP_C(0x4b000000) << (BMP_BIT - 32),	/*  68 --  8,      4b */
	BMP_C(0x4b370000) << (BMP_BIT - 32),	/*  69 -- 16,    4b37 */
	BMP_C(0x4c000000) << (BMP_BIT - 32),	/*  70 --  6,      13 */
	BMP_C(0x4c060000) << (BMP_BIT - 32),	/*  71 -- 16,    4c06 */
	BMP_C(0x53000000) << (BMP_BIT - 32),	/*  72 --  8,      53 */
	BMP_C(0x55000000) << (BMP_BIT - 32),	/*  73 --  8,      55 */
	BMP_C(0x55555500) << (BMP_BIT - 32),	/*  74 -- 24,  555555 */
	BMP_C(0x59350000) << (BMP_BIT - 32),	/*  75 -- 16,    5935 */
	BMP_C(0x5d380000) << (BMP_BIT - 32),	/*  76 -- 16,    5d38 */
	BMP_C(0x5d400000) << (BMP_BIT - 32),	/*  77 -- 10,     175 */
	BMP_C(0x5d6dcb00) << (BMP_BIT - 32),	/*  78 -- 24,  5d6dcb */
	BMP_C(0x60000000) << (BMP_BIT - 32),	/*  79 --  3,       3 */
	BMP_C(0x60e00000) << (BMP_BIT - 32),	/*  80 -- 11,     307 */
	BMP_C(0x63d00000) << (BMP_BIT - 32),	/*  81 -- 16,    63d0 */
	BMP_C(0x64000000) << (BMP_BIT - 32),	/*  82 --  6,      19 */
	BMP_C(0x66400000) << (BMP_BIT - 32),	/*  83 -- 10,     199 */
	BMP_C(0x66c50000) << (BMP_BIT - 32),	/*  84 -- 16,    66c5 */
	BMP_C(0x6f630000) << (BMP_BIT - 32),	/*  85 -- 16,    6f63 */
	BMP_C(0x6f910000) << (BMP_BIT - 32),	/*  86 -- 16,    6f91 */
	BMP_C(0x70000000) << (BMP_BIT - 32),	/*  87 --  4,       7 */
	BMP_C(0x70a00000) << (BMP_BIT - 32),	/*  88 -- 11,     385 */
	BMP_C(0x755b0000) << (BMP_BIT - 32),	/*  89 -- 16,    755b */
	BMP_C(0x765e7680) << (BMP_BIT - 32),	/*  90 -- 32,765e7680 */
	BMP_C(0x76c20800) << (BMP_BIT - 32),	/*  91 -- 32,  0ed841 */
	BMP_C(0x7979bd00) << (BMP_BIT - 32),	/*  92 -- 24,  7979bd */
	BMP_C(0x7e000000) << (BMP_BIT - 32),	/*  93 --  8,      7e */
	BMP_C(0x80000000) << (BMP_BIT - 32),	/*  94 --  3,       4 */
	BMP_C(0x80006300) << (BMP_BIT - 32),	/*  95 -- 24,  800063 */
	BMP_C(0x80050000) << (BMP_BIT - 32),	/*  96 -- 16,    8005 */
	BMP_C(0x800d0000) << (BMP_BIT - 32),	/*  97 -- 16,    800d */
	BMP_C(0x80b40000) << (BMP_BIT - 32),	/*  98 -- 14,    202d */
	BMP_C(0x80c2e71c) << (BMP_BIT - 32),	/*  99 -- 30,2030b9c7 */
	BMP_C(0x80f00000) << (BMP_BIT - 32),	/* 100 -- 12,     80f */
	BMP_C(0x814141ab) << (BMP_BIT - 32),	/* 101 -- 32,814141ab */
	BMP_C(0x8144c800) << (BMP_BIT - 32),	/* 102 -- 21,  102899 */
	BMP_C(0x864cfb00) << (BMP_BIT - 32),	/* 103 -- 24,  864cfb */
	BMP_C(0x87315576) << (BMP_BIT - 32),	/* 104 -- 32,87315576 */
	BMP_C(0x89ec0000) << (BMP_BIT - 32),	/* 105 -- 16,    89ec */
	BMP_C(0x8a000000) << (BMP_BIT - 32),	/* 106 --  7,      45 */
	BMP_C(0x8b320000) << (BMP_BIT - 32),	/* 107 -- 15,    4599 */
	BMP_C(0x8bb70000) << (BMP_BIT - 32),	/* 108 -- 16,    8bb7 */
	BMP_C(0x8cc00000) << (BMP_BIT - 32),	/* 109 -- 10,     233 */
	BMP_C(0x904cddbf) << (BMP_BIT - 32),	/* 110 -- 32,904cddbf */
	BMP_C(0x906e0000) << (BMP_BIT - 32),	/* 111 -- 16,    906e */
	BMP_C(0x94000000) << (BMP_BIT - 32),	/* 112 --  8,      94 */
	BMP_C(0x97000000) << (BMP_BIT - 32),	/* 113 --  8,      97 */
	BMP_C(0x98000000) << (BMP_BIT - 32),	/* 114 --  6,      26 */
	BMP_C(0x9b000000) << (BMP_BIT - 32),	/* 115 --  8,      9b */
	BMP_C(0x9c000000) << (BMP_BIT - 32),	/* 116 --  6,      27 */
	BMP_C(0x9d5e4de2) << (BMP_BIT - 32),	/* 117 -- 31,4eaf26f1 */
	BMP_C(0x9e000000) << (BMP_BIT - 32),	/* 118 --  7,      4f */
	BMP_C(0x9ecf0000) << (BMP_BIT - 32),	/* 119 -- 16,    9ecf */
	BMP_C(0xa0970000) << (BMP_BIT - 32),	/* 120 -- 16,    a097 */
	BMP_C(0xa1000000) << (BMP_BIT - 32),	/* 121 --  8,      a1 */
	BMP_C(0xa3660000) << (BMP_BIT - 32),	/* 122 -- 16,    a366 */
	BMP_C(0xa6000000) << (BMP_BIT - 32),	/* 123 --  7,      53 */
	BMP_C(0xa7000000) << (BMP_BIT - 32),	/* 124 --  8,      a7 */
	BMP_C(0xa8000000) << (BMP_BIT - 32),	/* 125 --  5,      15 */
	BMP_C(0xa8190000) << (BMP_BIT - 32),	/* 126 -- 16,    a819 */
	BMP_C(0xa833982b) << (BMP_BIT - 32),	/* 127 -- 32,a833982b */
	BMP_C(0xabcdef00) << (BMP_BIT - 32),	/* 128 -- 24,  abcdef */
	BMP_C(0xac000000) << (BMP_BIT - 32),	/* 129 --  8,      ac */
	BMP_C(0xaee70000) << (BMP_BIT - 32),	/* 130 -- 16,    aee7 */
	BMP_C(0xb0000000) << (BMP_BIT - 32),	/* 131 --  4,       b */
	BMP_C(0xb0010000) << (BMP_BIT - 32),	/* 132 -- 16,    b001 */
	BMP_C(0xb2aa0000) << (BMP_BIT - 32),	/* 133 -- 16,    b2aa */
	BMP_C(0xb3400000) << (BMP_BIT - 32),	/* 134 -- 12,     b34 */
	BMP_C(0xb42d8000) << (BMP_BIT - 32),	/* 135 -- 17,   1685b */
	BMP_C(0xb4600000) << (BMP_BIT - 32),	/* 136 -- 11,     5a3 */
	BMP_C(0xb4c80000) << (BMP_BIT - 32),	/* 137 -- 16,    b4c8 */
	BMP_C(0xb4f3e600) << (BMP_BIT - 32),	/* 138 -- 24,  b4f3e6 */
	BMP_C(0xb704ce00) << (BMP_BIT - 32),	/* 139 -- 24,  b704ce */
	BMP_C(0xb798b438) << (BMP_BIT - 32),	/* 140 -- 32,b798b438 */
	BMP_C(0xbb3d0000) << (BMP_BIT - 32),	/* 141 -- 16,    bb3d */
	BMP_C(0xbc000000) << (BMP_BIT - 32),	/* 142 --  6,2f/ 8,bc */
	BMP_C(0xbd0be338) << (BMP_BIT - 32),	/* 143 -- 32,bd0be338 */
	BMP_C(0xbdf40000) << (BMP_BIT - 32),	/* 144 -- 16,    bdf4 */
	BMP_C(0xbf050000) << (BMP_BIT - 32),	/* 145 -- 16,    bf05 */
	BMP_C(0xc0000000) << (BMP_BIT - 32),	/* 146 --  3,       6 */
	BMP_C(0xc2000000) << (BMP_BIT - 32),	/* 147 --  7,      61 */
	BMP_C(0xc25a5600) << (BMP_BIT - 32),	/* 148 -- 24,  c25a56 */
	BMP_C(0xc2b70000) << (BMP_BIT - 32),	/* 149 -- 16,    c2b7 */
	BMP_C(0xc2b80000) << (BMP_BIT - 32),	/* 150 -- 14,    30ae */
	BMP_C(0xc4000000) << (BMP_BIT - 32),	/* 151 --  8,      c4 */
	BMP_C(0xc6c60000) << (BMP_BIT - 32),	/* 152 -- 16,    c6c6 */
	BMP_C(0xc704dd7b) << (BMP_BIT - 32),	/* 153 -- 32,c704dd7b */
	BMP_C(0xc8000000) << (BMP_BIT - 32),	/* 154 --  5,      19 */
	BMP_C(0xc8670000) << (BMP_BIT - 32),	/* 155 -- 16,    c867 */
	BMP_C(0xcbf43926) << (BMP_BIT - 32),	/* 156 -- 32,cbf43926 */
	BMP_C(0xcde70300) << (BMP_BIT - 32),	/* 157 -- 24,  cde703 */
	BMP_C(0xce3c0000) << (BMP_BIT - 32),	/* 158 -- 16,    ce3c */
	BMP_C(0xd0000000) << (BMP_BIT - 32),	/* 159 --  8,      d0 */
	BMP_C(0xd02a0000) << (BMP_BIT - 32),	/* 160 -- 15,    6815 */
	BMP_C(0xd0db0000) << (BMP_BIT - 32),	/* 161 -- 16,    d0db */
	BMP_C(0xd3100000) << (BMP_BIT - 32),	/* 162 -- 12,     d31 */
	BMP_C(0xd3be9568) << (BMP_BIT - 32),	/* 163 -- 30,34efa55a */
	BMP_C(0xd4d00000) << (BMP_BIT - 32),	/* 164 -- 12,     d4d */
	BMP_C(0xd5000000) << (BMP_BIT - 32),	/* 165 --  8,      d5 */
	BMP_C(0xd64e0000) << (BMP_BIT - 32),	/* 166 -- 16,    d64e */
	BMP_C(0xda000000) << (BMP_BIT - 32),	/* 167 --  8,      da */
	BMP_C(0xdaf00000) << (BMP_BIT - 32),	/* 168 -- 12,     daf */
	BMP_C(0xdebb20e3) << (BMP_BIT - 32),	/* 169 -- 32,debb20e3 */
	BMP_C(0xdf000000) << (BMP_BIT - 32),	/* 170 --  8,      df */
	BMP_C(0xe0000000) << (BMP_BIT - 32),	/* 171 --  3,       7 */
	BMP_C(0xe3069283) << (BMP_BIT - 32),	/* 172 -- 32,e3069283 */
	BMP_C(0xe3940000) << (BMP_BIT - 32),	/* 173 -- 16,    e394 */
	BMP_C(0xe5cc0000) << (BMP_BIT - 32),	/* 174 -- 16,    e5cc */
	BMP_C(0xe7a80000) << (BMP_BIT - 32),	/* 175 -- 13,    1cf5 */
	BMP_C(0xe8000000) << (BMP_BIT - 32),	/* 176 --  6,      3a */
	BMP_C(0xea000000) << (BMP_BIT - 32),	/* 177 --  7,      75 */
	BMP_C(0xea820000) << (BMP_BIT - 32),	/* 178 -- 16,    ea82 */
	BMP_C(0xec000000) << (BMP_BIT - 32),	/* 179 --  6,      3b */
	BMP_C(0xf0000000) << (BMP_BIT - 32),	/* 180 --  4,       f */
	BMP_C(0xf0b80000) << (BMP_BIT - 32),	/* 181 -- 16,    f0b8 */
	BMP_C(0xf1300000) << (BMP_BIT - 32),	/* 182 -- 12,     f13 */
	BMP_C(0xf4000000) << (BMP_BIT - 32),	/* 183 --  8,      f4 */
	BMP_C(0xf4acfb13) << (BMP_BIT - 32),	/* 184 -- 32,f4acfb13 */
	BMP_C(0xf5b00000) << (BMP_BIT - 32),	/* 185 -- 12,     f5b */
	BMP_C(0xf6400000) << (BMP_BIT - 32),	/* 186 -- 10,     3d9 */
	BMP_C(0xf8000000) << (BMP_BIT - 32),	/* 187 --  5,      1f */
	BMP_C(0xfc000000) << (BMP_BIT - 32),	/* 188 --  6,      3f */
	BMP_C(0xfc891918) << (BMP_BIT - 32),	/* 189 -- 32,fc891918 */
	BMP_C(0xfd000000) << (BMP_BIT - 32),	/* 190 --  8,      fd */
	BMP_C(0xfe000000) << (BMP_BIT - 32),	/* 191 --  7,      7f */
	BMP_C(0xfedcba00) << (BMP_BIT - 32),	/* 192 -- 24,  fedcba */
	BMP_C(0xfee80000) << (BMP_BIT - 32),	/* 193 -- 16,    fee8 */
	BMP_C(0xff000000) << (BMP_BIT - 32),	/* 194 --  8,      ff */
	BMP_C(0xffc00000) << (BMP_BIT - 32),	/* 195 -- 10,     3ff */
	BMP_C(0xfff00000) << (BMP_BIT - 32),	/* 196 -- 12,     fff */
	BMP_C(0xfffc0000) << (BMP_BIT - 32),	/* 197 -- 14,    3fff */
	BMP_C(0xffff0000) << (BMP_BIT - 32),	/* 198 -- 16,    ffff */
	BMP_C(0xffffff00) << (BMP_BIT - 32),	/* 199 -- 24,  ffffff */
	BMP_C(0xfffffffc) << (BMP_BIT - 32),	/* 200 -- 30,3fffffff */
	BMP_C(0xfffffffe) << (BMP_BIT - 32),	/* 201 -- 31,7fffffff */
	BMP_C(0xffffffff) << (BMP_BIT - 32),	/* 202 -- 32,ffffffff */
};

static const struct malias aliases[];

/* Table of preset CRC models.
 * Sorted by left-justified polynomial for bsearch().
 */
static const struct mpreset models[] = {
	{64UL, b64,     b64a,    P_LE,   b64a,    b64b,    b64c,    aliases+ 99},	/*   0 */
	{32UL, b32+  0, 0,       P_BE,   0,       b32+143, 0,       aliases+137},	/*   1 */
	{40UL, b40,     0,       P_BE,   b40a,    b40b,    b40c,    aliases+ 87},	/*   2 */
	{24UL, b32+  3, b32+ 74, P_LE,   0,       b32+148, 0,       aliases+ 60},	/*   3 */
	{32UL, b32+  8, 0,       P_BE,   b32+202, b32+ 90, b32+153, aliases+ 81},	/*   4 */
	{32UL, b32+  8, b32+202, P_BE,   0,       b32+  7, 0,       aliases+ 80},	/*   5 */
	{32UL, b32+  8, b32+202, P_BE,   b32+202, b32+189, b32+153, aliases+ 75},	/*   6 */
	{32UL, b32+  8, b32+202, P_LE,   0,       b32+ 54, 0,       aliases+129},	/*   7 */
	{32UL, b32+  8, b32+202, P_LE,   b32+202, b32+156, b32+169, aliases+ 71},	/*   8 */
	{16UL, b32+  9, 0,       P_BE,   0,       b32+  5, 0,       aliases+ 31},	/*   9 */
	{16UL, b32+  9, 0,       P_BE,   b32+  1, b32+  4, b32+  9, aliases+ 30},	/*  10 */
	{ 8UL, b32+ 10, 0,       P_BE,   0,       b32+183, 0,       aliases+105},	/*  11 */
	{ 8UL, b32+ 10, 0,       P_BE,   b32+ 73, b32+121, b32+129, aliases+116},	/*  12 */
	{ 8UL, b32+ 10, b32+194, P_LE,   0,       b32+159, 0,       aliases+120},	/*  13 */
	{31UL, b32+ 11, b32+201, P_BE,   b32+201, b32+ 25, b32+117, aliases+ 70},	/*  14 */
	{ 6UL, b32+ 13, 0,       P_LE,   0,       b32+ 24, 0,       aliases+ 95},	/*  15 */
	{82UL, b82,     0,       P_LE,   0,       b82a,    0,       aliases+123},	/*  16 */
	{16UL, b32+ 17, 0,       P_BE,   0,       b32+ 51, 0,       aliases+138},	/*  17 */
	{16UL, b32+ 17, 0,       P_BE,   b32+198, b32+158, b32+ 28, aliases+ 36},	/*  18 */
	{16UL, b32+ 17, 0,       P_LE,   0,       b32+ 36, 0,       aliases+130},	/*  19 */
	{16UL, b32+ 17, b32+ 28, P_BE,   0,       b32+174, 0,       aliases+ 21},	/*  20 */
	{16UL, b32+ 17, b32+105, P_LE,   0,       b32+ 41, 0,       aliases+ 53},	/*  21 */
	{16UL, b32+ 17, b32+133, P_LE,   0,       b32+ 81, 0,       aliases+ 49},	/*  22 */
	{16UL, b32+ 17, b32+152, P_LE,   0,       b32+145, 0,       aliases+124},	/*  23 */
	{16UL, b32+ 17, b32+198, P_BE,   0,       b32+ 45, 0,       aliases+ 24},	/*  24 */
	{16UL, b32+ 17, b32+198, P_BE,   b32+198, b32+166, b32+ 28, aliases+ 35},	/*  25 */
	{16UL, b32+ 17, b32+198, P_LE,   0,       b32+ 86, 0,       aliases+ 45},	/*  26 */
	{16UL, b32+ 17, b32+198, P_LE,   b32+198, b32+111, b32+181, aliases+134},	/*  27 */
	{ 7UL, b32+ 18, 0,       P_BE,   0,       b32+177, 0,       aliases+102},	/*  28 */
	{ 6UL, b32+ 26, b32+188, P_BE,   0,       b32+179, 0,       aliases+ 92},	/*  29 */
	{ 8UL, b32+ 27, 0,       P_BE,   0,       b32+ 55, 0,       aliases+113},	/*  30 */
	{ 8UL, b32+ 27, b32+190, P_BE,   0,       b32+ 93, 0,       aliases+115},	/*  31 */
	{ 8UL, b32+ 27, b32+194, P_BE,   b32+194, b32+ 68, b32+151, aliases+121},	/*  32 */
	{ 8UL, b32+ 27, b32+194, P_LE,   0,       b32+113, 0,       aliases+112},	/*  33 */
	{16UL, b32+ 29, b32+198, P_BE,   b32+198, b32+126, b32+173, aliases+ 48},	/*  34 */
	{32UL, b32+ 30, b32+202, P_LE,   b32+202, b32+172, b32+140, aliases+ 82},	/*  35 */
	{14UL, b32+ 33, 0,       P_LE,   0,       b32+ 34, 0,       aliases+ 14},	/*  36 */
	{ 5UL, b32+ 44, b32+187, P_LE,   b32+187, b32+154, b32+ 47, aliases+ 90},	/*  37 */
	{ 8UL, b32+ 46, 0,       P_BE,   0,       b32+ 59, 0,       aliases+119},	/*  38 */
	{ 8UL, b32+ 46, b32+194, P_BE,   b32+194, b32+170, b32+ 61, aliases+107},	/*  39 */
	{ 4UL, b32+ 47, 0,       P_LE,   0,       b32+ 87, 0,       aliases+ 86},	/*  40 */
	{ 4UL, b32+ 47, b32+180, P_BE,   b32+180, b32+131, b32+ 32, aliases+ 85},	/*  41 */
	{ 8UL, b32+ 49, 0,       P_LE,   0,       b32+121, 0,       aliases+118},	/*  42 */
	{24UL, b32+ 52, b32+199, P_BE,   b32+199, b32+138, b32+ 20, aliases+ 63},	/*  43 */
	{ 8UL, b32+ 57, 0,       P_LE,   0,       b32+ 21, 0,       aliases+110},	/*  44 */
	{16UL, b32+ 58, 0,       P_BE,   b32+198, b32+149, b32+122, aliases+ 33},	/*  45 */
	{16UL, b32+ 58, 0,       P_LE,   b32+198, b32+178, b32+ 84, aliases+ 32},	/*  46 */
	{64UL, b64d,    0,       P_BE,   0,       b64e,    0,       aliases+ 96},	/*  47 */
	{64UL, b64d,    b64a,    P_BE,   b64a,    b64f,    b64g,    aliases+100},	/*  48 */
	{64UL, b64d,    b64a,    P_LE,   b64a,    b64h,    b64i,    aliases+101},	/*  49 */
	{ 5UL, b32+ 64, b32+ 64, P_BE,   0,       0,       0,       aliases+ 88},	/*  50 */
	{ 8UL, b32+ 65, 0,       P_BE,   b32+194, b32+112, b32+ 72, aliases+114},	/*  51 */
	{16UL, b32+ 75, 0,       P_BE,   0,       b32+ 76, 0,       aliases+ 46},	/*  52 */
	{10UL, b32+ 77, 0,       P_BE,   b32+195, b32+ 66, b32+ 50, aliases+  5},	/*  53 */
	{24UL, b32+ 78, b32+128, P_BE,   0,       b32+ 31, 0,       aliases+ 62},	/*  54 */
	{24UL, b32+ 78, b32+192, P_BE,   0,       b32+ 92, 0,       aliases+ 61},	/*  55 */
	{ 3UL, b32+ 79, 0,       P_BE,   b32+171, b32+ 94, b32+ 60, aliases+ 67},	/*  56 */
	{ 3UL, b32+ 79, b32+171, P_LE,   0,       b32+146, 0,       aliases+ 68},	/*  57 */
	{11UL, b32+ 80, 0,       P_BE,   0,       b32+ 14, 0,       aliases+  7},	/*  58 */
	{ 6UL, b32+ 82, 0,       P_LE,   0,       b32+114, 0,       aliases+ 93},	/*  59 */
	{16UL, b32+ 85, 0,       P_BE,   0,       b32+144, 0,       aliases+ 42},	/*  60 */
	{11UL, b32+ 88, b32+  6, P_BE,   0,       b32+136, 0,       aliases+  6},	/*  61 */
	{16UL, b32+ 89, 0,       P_BE,   0,       b32+ 35, 0,       aliases+ 47},	/*  62 */
	{24UL, b32+ 95, 0,       P_BE,   0,       b32+ 38, 0,       aliases+ 65},	/*  63 */
	{16UL, b32+ 96, 0,       P_BE,   0,       b32+193, 0,       aliases+ 22},	/*  64 */
	{16UL, b32+ 96, 0,       P_LE,   0,       b32+141, 0,       aliases+  0},	/*  65 */
	{16UL, b32+ 96, 0,       P_LE,   b32+198, b32+ 62, b32+132, aliases+ 44},	/*  66 */
	{16UL, b32+ 96, b32+ 97, P_BE,   0,       b32+119, 0,       aliases+ 29},	/*  67 */
	{16UL, b32+ 96, b32+198, P_BE,   0,       b32+130, 0,       aliases+ 27},	/*  68 */
	{16UL, b32+ 96, b32+198, P_LE,   0,       b32+ 69, 0,       aliases+131},	/*  69 */
	{16UL, b32+ 96, b32+198, P_LE,   b32+198, b32+137, b32+132, aliases+ 55},	/*  70 */
	{14UL, b32+ 98, 0,       P_BE,   b32+197, b32+150, b32+ 15, aliases+ 15},	/*  71 */
	{30UL, b32+ 99, b32+200, P_BE,   b32+200, b32+ 19, b32+163, aliases+ 69},	/*  72 */
	{12UL, b32+100, 0,       P_BE,   0,       b32+185, 0,       aliases+ 10},	/*  73 */
	{12UL, b32+100, 0,       P_BELE, 0,       b32+168, 0,       aliases+ 12},	/*  74 */
	{32UL, b32+101, 0,       P_BE,   0,       b32+ 48, 0,       aliases+ 84},	/*  75 */
	{21UL, b32+102, 0,       P_BE,   0,       b32+ 91, 0,       aliases+ 58},	/*  76 */
	{24UL, b32+103, 0,       P_BE,   0,       b32+157, 0,       aliases+ 64},	/*  77 */
	{24UL, b32+103, b32+139, P_BE,   0,       b32+ 37, 0,       aliases+ 59},	/*  78 */
	{ 7UL, b32+106, 0,       P_BE,   0,       b32+147, 0,       aliases+104},	/*  79 */
	{15UL, b32+107, 0,       P_BE,   0,       b32+ 12, 0,       aliases+ 16},	/*  80 */
	{16UL, b32+108, 0,       P_BE,   0,       b32+161, 0,       aliases+ 51},	/*  81 */
	{10UL, b32+109, 0,       P_BE,   0,       b32+ 83, 0,       aliases+  3},	/*  82 */
	{ 8UL, b32+115, 0,       P_BE,   0,       b32+177, 0,       aliases+117},	/*  83 */
	{ 8UL, b32+115, 0,       P_LE,   0,       b32+ 39, 0,       aliases+122},	/*  84 */
	{ 8UL, b32+115, b32+194, P_BE,   0,       b32+167, 0,       aliases+109},	/*  85 */
	{ 6UL, b32+116, b32+188, P_BE,   0,       b32+ 53, 0,       aliases+ 91},	/*  86 */
	{ 7UL, b32+118, b32+191, P_LE,   0,       b32+123, 0,       aliases+103},	/*  87 */
	{16UL, b32+120, 0,       P_BE,   0,       b32+ 16, 0,       aliases+ 52},	/*  88 */
	{ 8UL, b32+124, 0,       P_LE,   0,       b32+ 40, 0,       aliases+108},	/*  89 */
	{ 5UL, b32+125, 0,       P_LE,   0,       b32+ 56, 0,       aliases+ 89},	/*  90 */
	{32UL, b32+127, b32+202, P_LE,   b32+202, b32+104, b32+ 63, aliases+ 83},	/*  91 */
	{17UL, b32+135, 0,       P_BE,   0,       b32+ 42, 0,       aliases+ 57},	/*  92 */
	{ 6UL, b32+142, 0,       P_BE,   b32+188, b32+ 70, b32+176, aliases+ 94},	/*  93 */
	{16UL, b32+155, b32+198, P_BE,   0,       b32+ 71, 0,       aliases+ 26},	/*  94 */
	{15UL, b32+160, 0,       P_BE,   b32+  2, b32+ 67, b32+160, aliases+ 17},	/*  95 */
	{12UL, b32+162, 0,       P_BE,   b32+196, b32+134, b32+ 23, aliases+ 11},	/*  96 */
	{ 8UL, b32+165, 0,       P_BE,   0,       b32+142, 0,       aliases+111},	/*  97 */
	{13UL, b32+175, 0,       P_BE,   0,       b32+ 43, 0,       aliases+ 13},	/*  98 */
	{12UL, b32+182, b32+196, P_BE,   0,       b32+164, 0,       aliases+  9},	/*  99 */
	{32UL, b32+184, b32+202, P_LE,   b32+202, b32+ 22, b32+110, aliases+ 74},	/* 100 */
	{10UL, b32+186, b32+195, P_BE,   0,       b32+109, 0,       aliases+  4},	/* 101 */
	{ 0UL, 0,       0,       P_BE,   0,       0,       0,       NULL       },	/* terminating entry */
};
#    define NPRESETS 102

/* List of names with pointers to models, pre-sorted for use with bsearch() */
static const struct malias aliases[] = {
	{"ARC",			models+ 65},	/*   0 */
	{"B-CRC-32",		models+  6},	/*   1 */
	{"CKSUM",		models+  4},	/*   2 */
	{"CRC-10",		models+ 82},	/*   3 */
	{"CRC-10/CDMA2000",	models+101},	/*   4 */
	{"CRC-10/GSM",		models+ 53},	/*   5 */
	{"CRC-11",		models+ 61},	/*   6 */
	{"CRC-11/UMTS",		models+ 58},	/*   7 */
	{"CRC-12/3GPP",		models+ 74},	/*   8 */
	{"CRC-12/CDMA2000",	models+ 99},	/*   9 */
	{"CRC-12/DECT",		models+ 73},	/*  10 */
	{"CRC-12/GSM",		models+ 96},	/*  11 */
	{"CRC-12/UMTS",		models+ 74},	/*  12 */
	{"CRC-13/BBC",		models+ 98},	/*  13 */
	{"CRC-14/DARC",		models+ 36},	/*  14 */
	{"CRC-14/GSM",		models+ 71},	/*  15 */
	{"CRC-15",		models+ 80},	/*  16 */
	{"CRC-15/MPT1327",	models+ 95},	/*  17 */
	{"CRC-16",		models+ 65},	/*  18 */
	{"CRC-16/ACORN",	models+ 17},	/*  19 */
	{"CRC-16/ARC",		models+ 65},	/*  20 */
	{"CRC-16/AUG-CCITT",	models+ 20},	/*  21 */
	{"CRC-16/BUYPASS",	models+ 64},	/*  22 */
	{"CRC-16/CCITT",	models+ 19},	/*  23 */
	{"CRC-16/CCITT-FALSE",	models+ 24},	/*  24 */
	{"CRC-16/CCITT-TRUE",	models+ 19},	/*  25 */
	{"CRC-16/CDMA2000",	models+ 94},	/*  26 */
	{"CRC-16/CMS",		models+ 68},	/*  27 */
	{"CRC-16/DARC",		models+ 25},	/*  28 */
	{"CRC-16/DDS-110",	models+ 67},	/*  29 */
	{"CRC-16/DECT-R",	models+ 10},	/*  30 */
	{"CRC-16/DECT-X",	models+  9},	/*  31 */
	{"CRC-16/DNP",		models+ 46},	/*  32 */
	{"CRC-16/EN-13757",	models+ 45},	/*  33 */
	{"CRC-16/EPC",		models+ 25},	/*  34 */
	{"CRC-16/GENIBUS",	models+ 25},	/*  35 */
	{"CRC-16/GSM",		models+ 18},	/*  36 */
	{"CRC-16/I-CODE",	models+ 25},	/*  37 */
	{"CRC-16/IBM-SDLC",	models+ 27},	/*  38 */
	{"CRC-16/IEC-61158-2",	models+ 34},	/*  39 */
	{"CRC-16/ISO-HDLC",	models+ 27},	/*  40 */
	{"CRC-16/LHA",		models+ 65},	/*  41 */
	{"CRC-16/LJ1200",	models+ 60},	/*  42 */
	{"CRC-16/LTE",		models+ 17},	/*  43 */
	{"CRC-16/MAXIM",	models+ 66},	/*  44 */
	{"CRC-16/MCRF4XX",	models+ 26},	/*  45 */
	{"CRC-16/OPENSAFETY-A",	models+ 52},	/*  46 */
	{"CRC-16/OPENSAFETY-B",	models+ 62},	/*  47 */
	{"CRC-16/PROFIBUS",	models+ 34},	/*  48 */
	{"CRC-16/RIELLO",	models+ 22},	/*  49 */
	{"CRC-16/SPI-FUJITSU",	models+ 20},	/*  50 */
	{"CRC-16/T10-DIF",	models+ 81},	/*  51 */
	{"CRC-16/TELEDISK",	models+ 88},	/*  52 */
	{"CRC-16/TMS37157",	models+ 21},	/*  53 */
	{"CRC-16/UMTS",		models+ 64},	/*  54 */
	{"CRC-16/USB",		models+ 70},	/*  55 */
	{"CRC-16/VERIFONE",	models+ 64},	/*  56 */
	{"CRC-17/CAN-FD",	models+ 92},	/*  57 */
	{"CRC-21/CAN-FD",	models+ 76},	/*  58 */
	{"CRC-24",		models+ 78},	/*  59 */
	{"CRC-24/BLE",		models+  3},	/*  60 */
	{"CRC-24/FLEXRAY-A",	models+ 55},	/*  61 */
	{"CRC-24/FLEXRAY-B",	models+ 54},	/*  62 */
	{"CRC-24/INTERLAKEN",	models+ 43},	/*  63 */
	{"CRC-24/LTE-A",	models+ 77},	/*  64 */
	{"CRC-24/LTE-B",	models+ 63},	/*  65 */
	{"CRC-24/OPENPGP",	models+ 78},	/*  66 */
	{"CRC-3/GSM",		models+ 56},	/*  67 */
	{"CRC-3/ROHC",		models+ 57},	/*  68 */
	{"CRC-30/CDMA",		models+ 72},	/*  69 */
	{"CRC-31/PHILIPS",	models+ 14},	/*  70 */
	{"CRC-32",		models+  8},	/*  71 */
	{"CRC-32/AAL5",		models+  6},	/*  72 */
	{"CRC-32/ADCCP",	models+  8},	/*  73 */
	{"CRC-32/AUTOSAR",	models+100},	/*  74 */
	{"CRC-32/BZIP2",	models+  6},	/*  75 */
	{"CRC-32/CASTAGNOLI",	models+ 35},	/*  76 */
	{"CRC-32/DECT-B",	models+  6},	/*  77 */
	{"CRC-32/INTERLAKEN",	models+ 35},	/*  78 */
	{"CRC-32/ISCSI",	models+ 35},	/*  79 */
	{"CRC-32/MPEG-2",	models+  5},	/*  80 */
	{"CRC-32/POSIX",	models+  4},	/*  81 */
	{"CRC-32C",		models+ 35},	/*  82 */
	{"CRC-32D",		models+ 91},	/*  83 */
	{"CRC-32Q",		models+ 75},	/*  84 */
	{"CRC-4/INTERLAKEN",	models+ 41},	/*  85 */
	{"CRC-4/ITU",		models+ 40},	/*  86 */
	{"CRC-40/GSM",		models+  2},	/*  87 */
	{"CRC-5/EPC",		models+ 50},	/*  88 */
	{"CRC-5/ITU",		models+ 90},	/*  89 */
	{"CRC-5/USB",		models+ 37},	/*  90 */
	{"CRC-6/CDMA2000-A",	models+ 86},	/*  91 */
	{"CRC-6/CDMA2000-B",	models+ 29},	/*  92 */
	{"CRC-6/DARC",		models+ 59},	/*  93 */
	{"CRC-6/GSM",		models+ 93},	/*  94 */
	{"CRC-6/ITU",		models+ 15},	/*  95 */
	{"CRC-64",		models+ 47},	/*  96 */
	{"CRC-64/ECMA-182",	models+ 47},	/*  97 */
	{"CRC-64/GO-ECMA",	models+ 49},	/*  98 */
	{"CRC-64/GO-ISO",	models+  0},	/*  99 */
	{"CRC-64/WE",		models+ 48},	/* 100 */
	{"CRC-64/XZ",		models+ 49},	/* 101 */
	{"CRC-7",		models+ 28},	/* 102 */
	{"CRC-7/ROHC",		models+ 87},	/* 103 */
	{"CRC-7/UMTS",		models+ 79},	/* 104 */
	{"CRC-8",		models+ 11},	/* 105 */
	{"CRC-8/AES",		models+ 33},	/* 106 */
	{"CRC-8/AUTOSAR",	models+ 39},	/* 107 */
	{"CRC-8/BLUETOOTH",	models+ 89},	/* 108 */
	{"CRC-8/CDMA2000",	models+ 85},	/* 109 */
	{"CRC-8/DARC",		models+ 44},	/* 110 */
	{"CRC-8/DVB-S2",	models+ 97},	/* 111 */
	{"CRC-8/EBU",		models+ 33},	/* 112 */
	{"CRC-8/GSM-A",		models+ 30},	/* 113 */
	{"CRC-8/GSM-B",		models+ 51},	/* 114 */
	{"CRC-8/I-CODE",	models+ 31},	/* 115 */
	{"CRC-8/ITU",		models+ 12},	/* 116 */
	{"CRC-8/LTE",		models+ 83},	/* 117 */
	{"CRC-8/MAXIM",		models+ 42},	/* 118 */
	{"CRC-8/OPENSAFETY",	models+ 38},	/* 119 */
	{"CRC-8/ROHC",		models+ 13},	/* 120 */
	{"CRC-8/SAE-J1850",	models+ 32},	/* 121 */
	{"CRC-8/WCDMA",		models+ 84},	/* 122 */
	{"CRC-82/DARC",		models+ 16},	/* 123 */
	{"CRC-A",		models+ 23},	/* 124 */
	{"CRC-B",		models+ 27},	/* 125 */
	{"CRC-CCITT",		models+ 19},	/* 126 */
	{"CRC-IBM",		models+ 65},	/* 127 */
	{"DOW-CRC",		models+ 42},	/* 128 */
	{"JAMCRC",		models+  7},	/* 129 */
	{"KERMIT",		models+ 19},	/* 130 */
	{"MODBUS",		models+ 69},	/* 131 */
	{"PKZIP",		models+  8},	/* 132 */
	{"R-CRC-16",		models+ 10},	/* 133 */
	{"X-25",		models+ 27},	/* 134 */
	{"X-CRC-12",		models+ 73},	/* 135 */
	{"X-CRC-16",		models+  9},	/* 136 */
	{"XFER",		models+  1},	/* 137 */
	{"XMODEM",		models+ 17},	/* 138 */
	{"ZMODEM",		models+ 17},	/* 139 */
	{NULL,			NULL     },	/* terminating entry */
};
#    define NALIASES 140

#  endif /* BMP_BIT */
#else /* PRESETS */

static const struct mpreset models[] = {
	{ 0UL, 0,       0,       P_BE,   0,       0,       0,       NULL       },	/* terminating entry */
};
#  define NPRESETS 0

static const struct malias aliases[] = {
	{NULL,			NULL     },	/* terminating entry */
};
#  define NALIASES 0

#endif /* PRESETS */

static void munpack(model_t *, const struct mpreset *);

/* copy a parameter of a preset to a poly */

#define PUNPACK(poly, preset, field) {\
	unsigned long iter, idx; \
	palloc((poly), (preset)->width); \
	if((preset)->field) \
		for(iter=0UL, idx=0UL; \
			iter < (poly)->length; \
			iter += BMP_BIT, ++idx) \
		(poly)->bitmap[idx] = (preset)->field[idx]; \
}

/* copy a parameter of a preset into a model */
#define MUNPACK(parm) PUNPACK(&dest->parm, src, b##parm)

/* Definitions */

int mbynam(model_t *dest, const char *key) {
	/* Sets parameters in dest according to the model named by key.
	 */
	size_t left = 0, right = NALIASES, middle = 0;
	int cmp = 1;
	char *ukey, *uptr;

	if(!aliases->name)
		return(-1);
	if(!(ukey = malloc((size_t) 1 + strlen(key)))) {
		uerror("cannot allocate memory for comparison string");
		return(0);
	}
	uptr = ukey;
	do
		*uptr++ = toupper(*key);
	while(*key++);

	while(left < right && cmp) {
		middle = (left >> 1) + (right >> 1);
		cmp = strcmp(ukey, aliases[middle].name);
		if(cmp < 0) right = middle;
		else if(cmp > 0) left = middle + 1;
	}
	free(ukey);

	if(cmp)
		return(0);
	munpack(dest, aliases[middle].model);
	return(1);
}

void mbynum(model_t *dest, int num) {
	/* Sets parameters in dest according to the model indexed by num. */
	if(num > NPRESETS)
		num = NPRESETS;
	munpack(dest, num+models);
}

int mcount(void) {
	/* Returns the number of preset models. */
	return (NPRESETS);
}

char * mnames(void) {
	/* Returns a malloc()-ed string of the names of all preset
	 * models, separated by newlines and terminated by NULL.
	 * Aliases are not listed.
	 */
	size_t size = 0;
	char *string, *sptr;
	const struct malias *aptr = aliases;

	while(aptr->name) {
		if(aptr == aptr->model->alias)
			size += strlen(aptr->name) + 1;
		++aptr;
	}
	if(!size) return(NULL);
	if((string = malloc(size))) {
		aptr = aliases;
		sptr = string;
		while(aptr->name) {
			if(aptr == aptr->model->alias) {
				strcpy(sptr, aptr->name);
				sptr += strlen(aptr->name);
				*sptr++ = '\n';
			}
			++aptr;
		}
		*--sptr = '\0';
	} else
		uerror("cannot allocate memory for list of models");

	return(string);
}

void mmatch(model_t *model, int flags) {
	/* searches models[] for a model matching the argument, and links a name if found
	 * if flags & M_OVERWR, copies the found model onto the argument. */
	size_t left = 0, right = NPRESETS, middle = 0;
	poly_t poly = PZERO;
	int cmp = 1;
	if(!model) return;

	while(left < right && cmp) {
		middle = (left >> 1) + (right >> 1);
		PUNPACK(&poly, models+middle, bspoly);
		cmp = psncmp(&model->spoly, &poly);
		if(!cmp) {
			PUNPACK(&poly, models+middle, binit);
			cmp = psncmp(&model->init, &poly);
		}
		if(!cmp) {
			if((model->flags & P_REFIN) && (~models[middle].flags & P_REFIN))
				cmp = 1;
			else if((~model->flags & P_REFIN) && (models[middle].flags & P_REFIN))
				cmp = -1;
			else if((model->flags & P_REFOUT) && (~models[middle].flags & P_REFOUT))
				cmp = 1;
			else if((~model->flags & P_REFOUT) && (models[middle].flags & P_REFOUT))
				cmp = -1;
			else {
				PUNPACK(&poly, models+middle, bxorout);
				cmp = psncmp(&model->xorout, &poly);
			}
		}
		if(cmp < 0) right = middle;
		else if(cmp > 0) left = middle + 1;
	}
	pfree(&poly);

	if(!cmp) {
		model->name = models[middle].alias->name;
		if(flags & M_OVERWR)
			munpack(model, models+middle);
	}
}

/* Private functions */

static void munpack(model_t *dest, const struct mpreset *src) {
	/* Copies the parameters of src to dest.
	 * dest must be an initialised model.
	 */
	if(!dest || !src) return;
	MUNPACK(spoly);
	MUNPACK(init);
	MUNPACK(xorout);
	MUNPACK(check);
	MUNPACK(magic);
	dest->flags = src->flags;
	/* link to the name as it is static */
	dest->name = (src->alias) ? src->alias->name : NULL;
}