t_cdefs.c revision 272343
1272343Sngie/* $NetBSD: t_cdefs.c,v 1.3 2013/09/05 09:01:27 gsutre Exp $ */ 2272343Sngie 3272343Sngie/*- 4272343Sngie * Copyright (c) 2012 The NetBSD Foundation, Inc. 5272343Sngie * All rights reserved. 6272343Sngie * 7272343Sngie * This code is derived from software contributed to The NetBSD Foundation 8272343Sngie * by Christos Zoulas. 9272343Sngie * 10272343Sngie * Redistribution and use in source and binary forms, with or without 11272343Sngie * modification, are permitted provided that the following conditions 12272343Sngie * are met: 13272343Sngie * 1. Redistributions of source code must retain the above copyright 14272343Sngie * notice, this list of conditions and the following disclaimer. 15272343Sngie * 2. Redistributions in binary form must reproduce the above copyright 16272343Sngie * notice, this list of conditions and the following disclaimer in the 17272343Sngie * documentation and/or other materials provided with the distribution. 18272343Sngie * 19272343Sngie * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20272343Sngie * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21272343Sngie * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22272343Sngie * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23272343Sngie * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24272343Sngie * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25272343Sngie * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26272343Sngie * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27272343Sngie * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28272343Sngie * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29272343Sngie * POSSIBILITY OF SUCH DAMAGE. 30272343Sngie */ 31272343Sngie 32272343Sngie#include <sys/cdefs.h> 33272343Sngie__COPYRIGHT("@(#) Copyright (c) 2008\ 34272343Sngie The NetBSD Foundation, inc. All rights reserved."); 35272343Sngie__RCSID("$NetBSD: t_cdefs.c,v 1.3 2013/09/05 09:01:27 gsutre Exp $"); 36272343Sngie 37272343Sngie#include <atf-c.h> 38272343Sngie#include <sys/types.h> 39272343Sngie#include <limits.h> 40272343Sngie#include <stdint.h> 41272343Sngie 42272343Sngiestatic const struct { 43272343Sngie const char *name; 44272343Sngie intmax_t min; 45272343Sngie intmax_t max; 46272343Sngie} s[] = { 47272343Sngie { "signed char", SCHAR_MIN, SCHAR_MAX }, 48272343Sngie { "signed short", SHRT_MIN, SHRT_MAX }, 49272343Sngie { "signed int", INT_MIN, INT_MAX }, 50272343Sngie { "signed long", LONG_MIN, LONG_MAX }, 51272343Sngie { "signed long long", LLONG_MIN, LLONG_MAX }, 52272343Sngie}; 53272343Sngie 54272343Sngiestatic const struct { 55272343Sngie const char *name; 56272343Sngie uintmax_t min; 57272343Sngie uintmax_t max; 58272343Sngie} u[] = { 59272343Sngie { "unsigned char", 0, UCHAR_MAX }, 60272343Sngie { "unsigned short", 0, USHRT_MAX }, 61272343Sngie { "unsigned int", 0, UINT_MAX }, 62272343Sngie { "unsigned long", 0, ULONG_MAX }, 63272343Sngie { "unsigned long long", 0, ULLONG_MAX }, 64272343Sngie}; 65272343Sngie 66272343SngieATF_TC(stypeminmax); 67272343SngieATF_TC_HEAD(stypeminmax, tc) 68272343Sngie{ 69272343Sngie atf_tc_set_md_var(tc, "descr", "Checks signed type min/max macros"); 70272343Sngie} 71272343Sngie 72272343Sngie 73272343SngieATF_TC_BODY(stypeminmax, tc) 74272343Sngie{ 75272343Sngie#define CHECK(a, b) ATF_REQUIRE(__type_min(a) == s[b].min); \ 76272343Sngie ATF_REQUIRE(__type_max(a) == s[b].max) 77272343Sngie 78272343Sngie CHECK(signed char, 0); 79272343Sngie CHECK(signed short, 1); 80272343Sngie CHECK(signed int, 2); 81272343Sngie CHECK(signed long, 3); 82272343Sngie CHECK(signed long long, 4); 83272343Sngie#undef CHECK 84272343Sngie} 85272343Sngie 86272343SngieATF_TC(utypeminmax); 87272343SngieATF_TC_HEAD(utypeminmax, tc) 88272343Sngie{ 89272343Sngie atf_tc_set_md_var(tc, "descr", "Checks unsigned type min/max macros"); 90272343Sngie} 91272343Sngie 92272343SngieATF_TC_BODY(utypeminmax, tc) 93272343Sngie{ 94272343Sngie#define CHECK(a, b) ATF_REQUIRE(__type_min(a) == u[b].min); \ 95272343Sngie ATF_REQUIRE(__type_max(a) == u[b].max) 96272343Sngie 97272343Sngie CHECK(unsigned char, 0); 98272343Sngie CHECK(unsigned short, 1); 99272343Sngie CHECK(unsigned int, 2); 100272343Sngie CHECK(unsigned long, 3); 101272343Sngie CHECK(unsigned long long, 4); 102272343Sngie#undef CHECK 103272343Sngie} 104272343Sngie 105272343SngieATF_TC(sissigned); 106272343SngieATF_TC_HEAD(sissigned, tc) 107272343Sngie{ 108272343Sngie atf_tc_set_md_var(tc, "descr", "Checks issigned macro for signed"); 109272343Sngie} 110272343Sngie 111272343SngieATF_TC_BODY(sissigned, tc) 112272343Sngie{ 113272343Sngie#define CHECK(a) ATF_REQUIRE(__type_is_signed(a) == 1) 114272343Sngie 115272343Sngie CHECK(signed char); 116272343Sngie CHECK(signed short); 117272343Sngie CHECK(signed int); 118272343Sngie CHECK(signed long); 119272343Sngie CHECK(signed long long); 120272343Sngie#undef CHECK 121272343Sngie} 122272343Sngie 123272343SngieATF_TC(uissigned); 124272343SngieATF_TC_HEAD(uissigned, tc) 125272343Sngie{ 126272343Sngie atf_tc_set_md_var(tc, "descr", "Checks issigned macro for unsigned"); 127272343Sngie} 128272343Sngie 129272343SngieATF_TC_BODY(uissigned, tc) 130272343Sngie{ 131272343Sngie#define CHECK(a) ATF_REQUIRE(__type_is_signed(a) == 0) 132272343Sngie 133272343Sngie CHECK(unsigned char); 134272343Sngie CHECK(unsigned short); 135272343Sngie CHECK(unsigned int); 136272343Sngie CHECK(unsigned long); 137272343Sngie CHECK(unsigned long long); 138272343Sngie#undef CHECK 139272343Sngie} 140272343Sngie 141272343SngieATF_TC(utypemask); 142272343SngieATF_TC_HEAD(utypemask, tc) 143272343Sngie{ 144272343Sngie atf_tc_set_md_var(tc, "descr", "Checks type mask macro for unsigned"); 145272343Sngie} 146272343Sngie 147272343SngieATF_TC_BODY(utypemask, tc) 148272343Sngie{ 149272343Sngie#define CHECK(a, b) ATF_REQUIRE(__type_mask(a) == b) 150272343Sngie 151272343Sngie CHECK(unsigned char, 0xffffffffffffff00ULL); 152272343Sngie CHECK(unsigned short, 0xffffffffffff0000ULL); 153272343Sngie CHECK(unsigned int, 0xffffffff00000000ULL); 154272343Sngie CHECK(unsigned long long, 0x0000000000000000ULL); 155272343Sngie#undef CHECK 156272343Sngie} 157272343Sngie 158272343SngieATF_TC(stypemask); 159272343SngieATF_TC_HEAD(stypemask, tc) 160272343Sngie{ 161272343Sngie atf_tc_set_md_var(tc, "descr", "Checks type mask macro for signed"); 162272343Sngie} 163272343Sngie 164272343SngieATF_TC_BODY(stypemask, tc) 165272343Sngie{ 166272343Sngie#define CHECK(a, b) ATF_REQUIRE(__type_mask(a) == b) 167272343Sngie 168272343Sngie CHECK(signed char, 0xffffffffffffff00LL); 169272343Sngie CHECK(signed short, 0xffffffffffff0000LL); 170272343Sngie CHECK(signed int, 0xffffffff00000000LL); 171272343Sngie CHECK(signed long long, 0x0000000000000000LL); 172272343Sngie#undef CHECK 173272343Sngie} 174272343Sngie 175272343SngieATF_TC(stypefit); 176272343SngieATF_TC_HEAD(stypefit, tc) 177272343Sngie{ 178272343Sngie atf_tc_set_md_var(tc, "descr", "Checks typefit macro for signed"); 179272343Sngie} 180272343Sngie 181272343SngieATF_TC_BODY(stypefit, tc) 182272343Sngie{ 183272343Sngie#define CHECK(a, b, c) ATF_REQUIRE(!__type_fit(a, b) == c) 184272343Sngie 185272343Sngie CHECK(signed char, -1, 0); 186272343Sngie CHECK(signed char, 1, 0); 187272343Sngie CHECK(signed char, 0x7f, 0); 188272343Sngie CHECK(signed char, 0x80, 1); 189272343Sngie CHECK(signed char, 0xff, 1); 190272343Sngie CHECK(signed char, 0x1ff, 1); 191272343Sngie 192272343Sngie CHECK(signed short, -1, 0); 193272343Sngie CHECK(signed short, 1, 0); 194272343Sngie CHECK(signed short, 0x7fff, 0); 195272343Sngie CHECK(signed short, 0x8000, 1); 196272343Sngie CHECK(signed short, 0xffff, 1); 197272343Sngie CHECK(signed short, 0x1ffff, 1); 198272343Sngie 199272343Sngie CHECK(signed int, -1, 0); 200272343Sngie CHECK(signed int, 1, 0); 201272343Sngie CHECK(signed int, 0x7fffffff, 0); 202272343Sngie CHECK(signed int, 0x80000000, 1); 203272343Sngie CHECK(signed int, 0xffffffff, 1); 204272343Sngie CHECK(signed int, 0x1ffffffffLL, 1); 205272343Sngie 206272343Sngie CHECK(signed long long, -1, 0); 207272343Sngie CHECK(signed long long, 1, 0); 208272343Sngie CHECK(signed long long, 0x7fffffffffffffffLL, 0); 209272343Sngie CHECK(signed long long, 0x8000000000000000LL, 1); 210272343Sngie CHECK(signed long long, 0xffffffffffffffffLL, 1); 211272343Sngie 212272343Sngie#undef CHECK 213272343Sngie} 214272343Sngie 215272343SngieATF_TC(utypefit); 216272343SngieATF_TC_HEAD(utypefit, tc) 217272343Sngie{ 218272343Sngie atf_tc_set_md_var(tc, "descr", "Checks typefit macro for unsigned"); 219272343Sngie} 220272343Sngie 221272343SngieATF_TC_BODY(utypefit, tc) 222272343Sngie{ 223272343Sngie#define CHECK(a, b, c) ATF_REQUIRE(!__type_fit(a, b) == c) 224272343Sngie 225272343Sngie CHECK(unsigned char, -1, 1); 226272343Sngie CHECK(unsigned char, 1, 0); 227272343Sngie CHECK(unsigned char, 0x7f, 0); 228272343Sngie CHECK(unsigned char, 0x80, 0); 229272343Sngie CHECK(unsigned char, 0xff, 0); 230272343Sngie CHECK(unsigned char, 0x1ff, 1); 231272343Sngie 232272343Sngie CHECK(unsigned short, -1, 1); 233272343Sngie CHECK(unsigned short, 1, 0); 234272343Sngie CHECK(unsigned short, 0x7fff, 0); 235272343Sngie CHECK(unsigned short, 0x8000, 0); 236272343Sngie CHECK(unsigned short, 0xffff, 0); 237272343Sngie CHECK(unsigned short, 0x1ffff, 1); 238272343Sngie 239272343Sngie CHECK(unsigned int, -1, 1); 240272343Sngie CHECK(unsigned int, 1, 0); 241272343Sngie CHECK(unsigned int, 0x7fffffff, 0); 242272343Sngie CHECK(unsigned int, 0x80000000, 0); 243272343Sngie CHECK(unsigned int, 0xffffffff, 0); 244272343Sngie CHECK(unsigned int, 0x1ffffffffLL, 1); 245272343Sngie 246272343Sngie CHECK(unsigned long long, -1, 1); 247272343Sngie CHECK(unsigned long long, 1, 0); 248272343Sngie CHECK(unsigned long long, 0x7fffffffffffffffULL, 0); 249272343Sngie CHECK(unsigned long long, 0x8000000000000000ULL, 0); 250272343Sngie CHECK(unsigned long long, 0xffffffffffffffffULL, 0); 251272343Sngie 252272343Sngie#undef CHECK 253272343Sngie} 254272343Sngie 255272343SngieATF_TP_ADD_TCS(tp) 256272343Sngie{ 257272343Sngie ATF_TP_ADD_TC(tp, stypeminmax); 258272343Sngie ATF_TP_ADD_TC(tp, utypeminmax); 259272343Sngie ATF_TP_ADD_TC(tp, sissigned); 260272343Sngie ATF_TP_ADD_TC(tp, uissigned); 261272343Sngie ATF_TP_ADD_TC(tp, stypemask); 262272343Sngie ATF_TP_ADD_TC(tp, utypemask); 263272343Sngie ATF_TP_ADD_TC(tp, stypefit); 264272343Sngie ATF_TP_ADD_TC(tp, utypefit); 265272343Sngie 266272343Sngie return atf_no_error(); 267272343Sngie} 268