t_cdefs.c revision 313498
1279377Simp/* $NetBSD: t_cdefs.c,v 1.4 2016/03/16 07:21:36 mrg Exp $ */ 2279377Simp 3279377Simp/*- 4279377Simp * Copyright (c) 2012 The NetBSD Foundation, Inc. 5279377Simp * All rights reserved. 6279377Simp * 7279377Simp * This code is derived from software contributed to The NetBSD Foundation 8279377Simp * by Christos Zoulas. 9279377Simp * 10279377Simp * Redistribution and use in source and binary forms, with or without 11279377Simp * modification, are permitted provided that the following conditions 12279377Simp * are met: 13279377Simp * 1. Redistributions of source code must retain the above copyright 14279377Simp * notice, this list of conditions and the following disclaimer. 15279377Simp * 2. Redistributions in binary form must reproduce the above copyright 16279377Simp * notice, this list of conditions and the following disclaimer in the 17279377Simp * documentation and/or other materials provided with the distribution. 18279377Simp * 19279377Simp * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20279377Simp * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21279377Simp * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22279377Simp * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23279377Simp * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24279377Simp * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25279377Simp * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26279377Simp * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27279377Simp * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28279377Simp * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29279377Simp * POSSIBILITY OF SUCH DAMAGE. 30279377Simp */ 31279377Simp 32279377Simp#include <sys/cdefs.h> 33279377Simp__COPYRIGHT("@(#) Copyright (c) 2008\ 34279377Simp The NetBSD Foundation, inc. All rights reserved."); 35279377Simp__RCSID("$NetBSD: t_cdefs.c,v 1.4 2016/03/16 07:21:36 mrg Exp $"); 36279377Simp 37279377Simp#include <atf-c.h> 38279377Simp#include <sys/types.h> 39279377Simp#include <limits.h> 40279377Simp#include <stdint.h> 41279377Simp 42279377Simpstatic const struct { 43279377Simp const char *name; 44279377Simp intmax_t min; 45279377Simp intmax_t max; 46279377Simp} s[] = { 47279377Simp { "signed char", SCHAR_MIN, SCHAR_MAX }, 48279377Simp { "signed short", SHRT_MIN, SHRT_MAX }, 49279377Simp { "signed int", INT_MIN, INT_MAX }, 50279377Simp { "signed long", LONG_MIN, LONG_MAX }, 51279377Simp { "signed long long", LLONG_MIN, LLONG_MAX }, 52279377Simp}; 53279377Simp 54279377Simpstatic const struct { 55279377Simp const char *name; 56279377Simp uintmax_t min; 57279377Simp uintmax_t max; 58279377Simp} u[] = { 59279377Simp { "unsigned char", 0, UCHAR_MAX }, 60279377Simp { "unsigned short", 0, USHRT_MAX }, 61279377Simp { "unsigned int", 0, UINT_MAX }, 62279377Simp { "unsigned long", 0, ULONG_MAX }, 63279377Simp { "unsigned long long", 0, ULLONG_MAX }, 64279377Simp}; 65279377Simp 66279377SimpATF_TC(stypeminmax); 67279377SimpATF_TC_HEAD(stypeminmax, tc) 68279377Simp{ 69279377Simp atf_tc_set_md_var(tc, "descr", "Checks signed type min/max macros"); 70279377Simp} 71279377Simp 72279377Simp 73279377SimpATF_TC_BODY(stypeminmax, tc) 74279377Simp{ 75279377Simp#define CHECK(a, b) ATF_REQUIRE(__type_min(a) == s[b].min); \ 76279377Simp ATF_REQUIRE(__type_max(a) == s[b].max) 77279377Simp 78279377Simp CHECK(signed char, 0); 79279377Simp CHECK(signed short, 1); 80279377Simp CHECK(signed int, 2); 81279377Simp CHECK(signed long, 3); 82279377Simp CHECK(signed long long, 4); 83279377Simp#undef CHECK 84279377Simp} 85279377Simp 86279377SimpATF_TC(utypeminmax); 87279377SimpATF_TC_HEAD(utypeminmax, tc) 88279377Simp{ 89279377Simp atf_tc_set_md_var(tc, "descr", "Checks unsigned type min/max macros"); 90279377Simp} 91279377Simp 92279377SimpATF_TC_BODY(utypeminmax, tc) 93279377Simp{ 94279377Simp#define CHECK(a, b) ATF_REQUIRE(__type_min(a) == u[b].min); \ 95279377Simp ATF_REQUIRE(__type_max(a) == u[b].max) 96279377Simp 97279377Simp CHECK(unsigned char, 0); 98279377Simp CHECK(unsigned short, 1); 99279377Simp CHECK(unsigned int, 2); 100279377Simp CHECK(unsigned long, 3); 101279377Simp CHECK(unsigned long long, 4); 102279377Simp#undef CHECK 103279377Simp} 104279377Simp 105279377SimpATF_TC(sissigned); 106279377SimpATF_TC_HEAD(sissigned, tc) 107279377Simp{ 108279377Simp atf_tc_set_md_var(tc, "descr", "Checks issigned macro for signed"); 109279377Simp} 110279377Simp 111279377SimpATF_TC_BODY(sissigned, tc) 112279377Simp{ 113279377Simp#define CHECK(a) ATF_REQUIRE(__type_is_signed(a) == 1) 114279377Simp 115279377Simp CHECK(signed char); 116279377Simp CHECK(signed short); 117279377Simp CHECK(signed int); 118279377Simp CHECK(signed long); 119279377Simp CHECK(signed long long); 120279377Simp#undef CHECK 121279377Simp} 122279377Simp 123279377SimpATF_TC(uissigned); 124279377SimpATF_TC_HEAD(uissigned, tc) 125{ 126 atf_tc_set_md_var(tc, "descr", "Checks issigned macro for unsigned"); 127} 128 129ATF_TC_BODY(uissigned, tc) 130{ 131#define CHECK(a) ATF_REQUIRE(__type_is_signed(a) == 0) 132 133 CHECK(unsigned char); 134 CHECK(unsigned short); 135 CHECK(unsigned int); 136 CHECK(unsigned long); 137 CHECK(unsigned long long); 138#undef CHECK 139} 140 141ATF_TC(utypemask); 142ATF_TC_HEAD(utypemask, tc) 143{ 144 atf_tc_set_md_var(tc, "descr", "Checks type mask macro for unsigned"); 145} 146 147ATF_TC_BODY(utypemask, tc) 148{ 149#define CHECK(a, b) ATF_REQUIRE(__type_mask(a) == b) 150 151 CHECK(unsigned char, 0xffffffffffffff00ULL); 152 CHECK(unsigned short, 0xffffffffffff0000ULL); 153 CHECK(unsigned int, 0xffffffff00000000ULL); 154 CHECK(unsigned long long, 0x0000000000000000ULL); 155#undef CHECK 156} 157 158ATF_TC(stypemask); 159ATF_TC_HEAD(stypemask, tc) 160{ 161 atf_tc_set_md_var(tc, "descr", "Checks type mask macro for signed"); 162} 163 164ATF_TC_BODY(stypemask, tc) 165{ 166#define CHECK(a, b) ATF_REQUIRE(__type_mask(a) == b) 167 168 CHECK(signed char, 0xffffffffffffff00LL); 169 CHECK(signed short, 0xffffffffffff0000LL); 170 CHECK(signed int, 0xffffffff00000000LL); 171 CHECK(signed long long, 0x0000000000000000LL); 172#undef CHECK 173} 174 175ATF_TC(stypefit); 176ATF_TC_HEAD(stypefit, tc) 177{ 178 atf_tc_set_md_var(tc, "descr", "Checks typefit macro for signed"); 179} 180 181ATF_TC_BODY(stypefit, tc) 182{ 183#define CHECK(a, b, c) ATF_REQUIRE(__type_fit(a, b) == c) 184 185 CHECK(signed char, -1, 1); 186 CHECK(signed char, 1, 1); 187 CHECK(signed char, 0x7f, 1); 188 CHECK(signed char, 0x80, 0); 189 CHECK(signed char, 0xff, 0); 190 CHECK(signed char, 0x1ff, 0); 191 192 CHECK(signed short, -1, 1); 193 CHECK(signed short, 1, 1); 194 CHECK(signed short, 0x7fff, 1); 195 CHECK(signed short, 0x8000, 0); 196 CHECK(signed short, 0xffff, 0); 197 CHECK(signed short, 0x1ffff, 0); 198 199 CHECK(signed int, -1, 1); 200 CHECK(signed int, 1, 1); 201 CHECK(signed int, 0x7fffffff, 1); 202 CHECK(signed int, 0x80000000, 0); 203 CHECK(signed int, 0xffffffff, 0); 204 CHECK(signed int, 0x1ffffffffLL, 0); 205 206 CHECK(signed long long, -1, 1); 207 CHECK(signed long long, 1, 1); 208 CHECK(signed long long, 0x7fffffffffffffffLL, 1); 209 CHECK(signed long long, 0x8000000000000000LL, 0); 210 CHECK(signed long long, 0xffffffffffffffffLL, 0); 211 212#undef CHECK 213} 214 215ATF_TC(utypefit); 216ATF_TC_HEAD(utypefit, tc) 217{ 218 atf_tc_set_md_var(tc, "descr", "Checks typefit macro for unsigned"); 219} 220 221ATF_TC_BODY(utypefit, tc) 222{ 223#define CHECK(a, b, c) ATF_REQUIRE(__type_fit(a, b) == c) 224 225 CHECK(unsigned char, -1, 0); 226 CHECK(unsigned char, 1, 1); 227 CHECK(unsigned char, 0x7f, 1); 228 CHECK(unsigned char, 0x80, 1); 229 CHECK(unsigned char, 0xff, 1); 230 CHECK(unsigned char, 0x1ff, 0); 231 232 CHECK(unsigned short, -1, 0); 233 CHECK(unsigned short, 1, 1); 234 CHECK(unsigned short, 0x7fff, 1); 235 CHECK(unsigned short, 0x8000, 1); 236 CHECK(unsigned short, 0xffff, 1); 237 CHECK(unsigned short, 0x1ffff, 0); 238 239 CHECK(unsigned int, -1, 0); 240 CHECK(unsigned int, 1, 1); 241 CHECK(unsigned int, 0x7fffffff, 1); 242 CHECK(unsigned int, 0x80000000, 1); 243 CHECK(unsigned int, 0xffffffff, 1); 244 CHECK(unsigned int, 0x1ffffffffLL, 0); 245 246 CHECK(unsigned long long, -1, 0); 247 CHECK(unsigned long long, 1, 1); 248 CHECK(unsigned long long, 0x7fffffffffffffffULL, 1); 249 CHECK(unsigned long long, 0x8000000000000000ULL, 1); 250 CHECK(unsigned long long, 0xffffffffffffffffULL, 1); 251 252#undef CHECK 253} 254 255ATF_TP_ADD_TCS(tp) 256{ 257 ATF_TP_ADD_TC(tp, stypeminmax); 258 ATF_TP_ADD_TC(tp, utypeminmax); 259 ATF_TP_ADD_TC(tp, sissigned); 260 ATF_TP_ADD_TC(tp, uissigned); 261 ATF_TP_ADD_TC(tp, stypemask); 262 ATF_TP_ADD_TC(tp, utypemask); 263 ATF_TP_ADD_TC(tp, stypefit); 264 ATF_TP_ADD_TC(tp, utypefit); 265 266 return atf_no_error(); 267} 268