t_cdefs.c revision 1.2.2.2
1 1.2.2.2 yamt /* $NetBSD: t_cdefs.c,v 1.2.2.2 2012/04/17 00:09:04 yamt Exp $ */ 2 1.2.2.2 yamt 3 1.2.2.2 yamt /*- 4 1.2.2.2 yamt * Copyright (c) 2012 The NetBSD Foundation, Inc. 5 1.2.2.2 yamt * All rights reserved. 6 1.2.2.2 yamt * 7 1.2.2.2 yamt * This code is derived from software contributed to The NetBSD Foundation 8 1.2.2.2 yamt * by Christos Zoulas. 9 1.2.2.2 yamt * 10 1.2.2.2 yamt * Redistribution and use in source and binary forms, with or without 11 1.2.2.2 yamt * modification, are permitted provided that the following conditions 12 1.2.2.2 yamt * are met: 13 1.2.2.2 yamt * 1. Redistributions of source code must retain the above copyright 14 1.2.2.2 yamt * notice, this list of conditions and the following disclaimer. 15 1.2.2.2 yamt * 2. Redistributions in binary form must reproduce the above copyright 16 1.2.2.2 yamt * notice, this list of conditions and the following disclaimer in the 17 1.2.2.2 yamt * documentation and/or other materials provided with the distribution. 18 1.2.2.2 yamt * 19 1.2.2.2 yamt * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20 1.2.2.2 yamt * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21 1.2.2.2 yamt * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22 1.2.2.2 yamt * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23 1.2.2.2 yamt * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24 1.2.2.2 yamt * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25 1.2.2.2 yamt * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26 1.2.2.2 yamt * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27 1.2.2.2 yamt * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28 1.2.2.2 yamt * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29 1.2.2.2 yamt * POSSIBILITY OF SUCH DAMAGE. 30 1.2.2.2 yamt */ 31 1.2.2.2 yamt 32 1.2.2.2 yamt #include <sys/cdefs.h> 33 1.2.2.2 yamt __COPYRIGHT("@(#) Copyright (c) 2008\ 34 1.2.2.2 yamt The NetBSD Foundation, inc. All rights reserved."); 35 1.2.2.2 yamt __RCSID("$NetBSD: t_cdefs.c,v 1.2.2.2 2012/04/17 00:09:04 yamt Exp $"); 36 1.2.2.2 yamt 37 1.2.2.2 yamt #include <atf-c.h> 38 1.2.2.2 yamt #include <sys/types.h> 39 1.2.2.2 yamt #include <limits.h> 40 1.2.2.2 yamt #include <stdint.h> 41 1.2.2.2 yamt 42 1.2.2.2 yamt static const struct { 43 1.2.2.2 yamt const char *name; 44 1.2.2.2 yamt intmax_t min; 45 1.2.2.2 yamt intmax_t max; 46 1.2.2.2 yamt } s[] = { 47 1.2.2.2 yamt { "signed char", SCHAR_MIN, SCHAR_MAX }, 48 1.2.2.2 yamt { "signed short", SHRT_MIN, SHRT_MAX }, 49 1.2.2.2 yamt { "signed int", INT_MIN, INT_MAX }, 50 1.2.2.2 yamt { "signed long", LONG_MIN, LONG_MAX }, 51 1.2.2.2 yamt { "signed long long", LLONG_MIN, LLONG_MAX }, 52 1.2.2.2 yamt }; 53 1.2.2.2 yamt 54 1.2.2.2 yamt static const struct { 55 1.2.2.2 yamt const char *name; 56 1.2.2.2 yamt uintmax_t min; 57 1.2.2.2 yamt uintmax_t max; 58 1.2.2.2 yamt } u[] = { 59 1.2.2.2 yamt { "unsigned char", 0, UCHAR_MAX }, 60 1.2.2.2 yamt { "unsigned short", 0, USHRT_MAX }, 61 1.2.2.2 yamt { "unsigned int", 0, UINT_MAX }, 62 1.2.2.2 yamt { "unsigned long", 0, ULONG_MAX }, 63 1.2.2.2 yamt { "unsigned long long", 0, ULLONG_MAX }, 64 1.2.2.2 yamt }; 65 1.2.2.2 yamt 66 1.2.2.2 yamt ATF_TC(stypeminmax); 67 1.2.2.2 yamt ATF_TC_HEAD(stypeminmax, tc) 68 1.2.2.2 yamt { 69 1.2.2.2 yamt atf_tc_set_md_var(tc, "descr", "Checks signed type min/max macros"); 70 1.2.2.2 yamt } 71 1.2.2.2 yamt 72 1.2.2.2 yamt 73 1.2.2.2 yamt ATF_TC_BODY(stypeminmax, tc) 74 1.2.2.2 yamt { 75 1.2.2.2 yamt #define CHECK(a, b) ATF_REQUIRE(__type_min(a) == s[b].min); \ 76 1.2.2.2 yamt ATF_REQUIRE(__type_max(a) == s[b].max) 77 1.2.2.2 yamt 78 1.2.2.2 yamt CHECK(signed char, 0); 79 1.2.2.2 yamt CHECK(signed short, 1); 80 1.2.2.2 yamt CHECK(signed int, 2); 81 1.2.2.2 yamt CHECK(signed long, 3); 82 1.2.2.2 yamt CHECK(signed long long, 4); 83 1.2.2.2 yamt #undef CHECK 84 1.2.2.2 yamt } 85 1.2.2.2 yamt 86 1.2.2.2 yamt ATF_TC(utypeminmax); 87 1.2.2.2 yamt ATF_TC_HEAD(utypeminmax, tc) 88 1.2.2.2 yamt { 89 1.2.2.2 yamt atf_tc_set_md_var(tc, "descr", "Checks unsigned type min/max macros"); 90 1.2.2.2 yamt } 91 1.2.2.2 yamt 92 1.2.2.2 yamt ATF_TC_BODY(utypeminmax, tc) 93 1.2.2.2 yamt { 94 1.2.2.2 yamt #define CHECK(a, b) ATF_REQUIRE(__type_min(a) == u[b].min); \ 95 1.2.2.2 yamt ATF_REQUIRE(__type_max(a) == u[b].max) 96 1.2.2.2 yamt 97 1.2.2.2 yamt CHECK(unsigned char, 0); 98 1.2.2.2 yamt CHECK(unsigned short, 1); 99 1.2.2.2 yamt CHECK(unsigned int, 2); 100 1.2.2.2 yamt CHECK(unsigned long, 3); 101 1.2.2.2 yamt CHECK(unsigned long long, 4); 102 1.2.2.2 yamt #undef CHECK 103 1.2.2.2 yamt } 104 1.2.2.2 yamt 105 1.2.2.2 yamt ATF_TC(sissigned); 106 1.2.2.2 yamt ATF_TC_HEAD(sissigned, tc) 107 1.2.2.2 yamt { 108 1.2.2.2 yamt atf_tc_set_md_var(tc, "descr", "Checks issigned macro for signed"); 109 1.2.2.2 yamt } 110 1.2.2.2 yamt 111 1.2.2.2 yamt ATF_TC_BODY(sissigned, tc) 112 1.2.2.2 yamt { 113 1.2.2.2 yamt #define CHECK(a) ATF_REQUIRE(__type_is_signed(a) == 1) 114 1.2.2.2 yamt 115 1.2.2.2 yamt CHECK(signed char); 116 1.2.2.2 yamt CHECK(signed short); 117 1.2.2.2 yamt CHECK(signed int); 118 1.2.2.2 yamt CHECK(signed long); 119 1.2.2.2 yamt CHECK(signed long long); 120 1.2.2.2 yamt #undef CHECK 121 1.2.2.2 yamt } 122 1.2.2.2 yamt 123 1.2.2.2 yamt ATF_TC(uissigned); 124 1.2.2.2 yamt ATF_TC_HEAD(uissigned, tc) 125 1.2.2.2 yamt { 126 1.2.2.2 yamt atf_tc_set_md_var(tc, "descr", "Checks issigned macro for unsigned"); 127 1.2.2.2 yamt } 128 1.2.2.2 yamt 129 1.2.2.2 yamt ATF_TC_BODY(uissigned, tc) 130 1.2.2.2 yamt { 131 1.2.2.2 yamt #define CHECK(a) ATF_REQUIRE(__type_is_signed(a) == 0) 132 1.2.2.2 yamt 133 1.2.2.2 yamt CHECK(unsigned char); 134 1.2.2.2 yamt CHECK(unsigned short); 135 1.2.2.2 yamt CHECK(unsigned int); 136 1.2.2.2 yamt CHECK(unsigned long); 137 1.2.2.2 yamt CHECK(unsigned long long); 138 1.2.2.2 yamt #undef CHECK 139 1.2.2.2 yamt } 140 1.2.2.2 yamt 141 1.2.2.2 yamt ATF_TC(utypemask); 142 1.2.2.2 yamt ATF_TC_HEAD(utypemask, tc) 143 1.2.2.2 yamt { 144 1.2.2.2 yamt atf_tc_set_md_var(tc, "descr", "Checks type mask macro for unsigned"); 145 1.2.2.2 yamt } 146 1.2.2.2 yamt 147 1.2.2.2 yamt ATF_TC_BODY(utypemask, tc) 148 1.2.2.2 yamt { 149 1.2.2.2 yamt #define CHECK(a, b) ATF_REQUIRE(__type_mask(a) == b) 150 1.2.2.2 yamt 151 1.2.2.2 yamt CHECK(unsigned char, 0xffffffffffffff00ULL); 152 1.2.2.2 yamt CHECK(unsigned short, 0xffffffffffff0000ULL); 153 1.2.2.2 yamt CHECK(unsigned int, 0xffffffff00000000ULL); 154 1.2.2.2 yamt CHECK(unsigned long long, 0x0000000000000000ULL); 155 1.2.2.2 yamt #undef CHECK 156 1.2.2.2 yamt } 157 1.2.2.2 yamt 158 1.2.2.2 yamt ATF_TC(stypemask); 159 1.2.2.2 yamt ATF_TC_HEAD(stypemask, tc) 160 1.2.2.2 yamt { 161 1.2.2.2 yamt atf_tc_set_md_var(tc, "descr", "Checks type mask macro for signed"); 162 1.2.2.2 yamt } 163 1.2.2.2 yamt 164 1.2.2.2 yamt ATF_TC_BODY(stypemask, tc) 165 1.2.2.2 yamt { 166 1.2.2.2 yamt #define CHECK(a, b) ATF_REQUIRE(__type_mask(a) == b) 167 1.2.2.2 yamt 168 1.2.2.2 yamt CHECK(signed char, 0xffffffffffffff00LL); 169 1.2.2.2 yamt CHECK(signed short, 0xffffffffffff0000LL); 170 1.2.2.2 yamt CHECK(signed int, 0xffffffff00000000LL); 171 1.2.2.2 yamt CHECK(signed long long, 0x0000000000000000LL); 172 1.2.2.2 yamt #undef CHECK 173 1.2.2.2 yamt } 174 1.2.2.2 yamt 175 1.2.2.2 yamt ATF_TC(stypefit); 176 1.2.2.2 yamt ATF_TC_HEAD(stypefit, tc) 177 1.2.2.2 yamt { 178 1.2.2.2 yamt atf_tc_set_md_var(tc, "descr", "Checks typefit macro for signed"); 179 1.2.2.2 yamt } 180 1.2.2.2 yamt 181 1.2.2.2 yamt ATF_TC_BODY(stypefit, tc) 182 1.2.2.2 yamt { 183 1.2.2.2 yamt #define CHECK(a, b, c) ATF_REQUIRE(!__type_fit(a, b) == c) 184 1.2.2.2 yamt 185 1.2.2.2 yamt CHECK(signed char, -1, 0); 186 1.2.2.2 yamt CHECK(signed char, 1, 0); 187 1.2.2.2 yamt CHECK(signed char, 0x7f, 0); 188 1.2.2.2 yamt CHECK(signed char, 0x80, 1); 189 1.2.2.2 yamt CHECK(signed char, 0xff, 1); 190 1.2.2.2 yamt CHECK(signed char, 0x1ff, 1); 191 1.2.2.2 yamt 192 1.2.2.2 yamt CHECK(signed short, -1, 0); 193 1.2.2.2 yamt CHECK(signed short, 1, 0); 194 1.2.2.2 yamt CHECK(signed short, 0x7fff, 0); 195 1.2.2.2 yamt CHECK(signed short, 0x8000, 1); 196 1.2.2.2 yamt CHECK(signed short, 0xffff, 1); 197 1.2.2.2 yamt CHECK(signed short, 0x1ffff, 1); 198 1.2.2.2 yamt 199 1.2.2.2 yamt CHECK(signed int, -1, 0); 200 1.2.2.2 yamt CHECK(signed int, 1, 0); 201 1.2.2.2 yamt CHECK(signed int, 0x7fffffff, 0); 202 1.2.2.2 yamt CHECK(signed int, 0x80000000, 1); 203 1.2.2.2 yamt CHECK(signed int, 0xffffffff, 1); 204 1.2.2.2 yamt CHECK(signed int, 0x1ffffffffLL, 1); 205 1.2.2.2 yamt 206 1.2.2.2 yamt CHECK(signed long long, -1, 0); 207 1.2.2.2 yamt CHECK(signed long long, 1, 0); 208 1.2.2.2 yamt CHECK(signed long long, 0x7fffffffffffffffLL, 0); 209 1.2.2.2 yamt CHECK(signed long long, 0x8000000000000000LL, 0); 210 1.2.2.2 yamt CHECK(signed long long, 0xffffffffffffffffLL, 0); 211 1.2.2.2 yamt 212 1.2.2.2 yamt #undef CHECK 213 1.2.2.2 yamt } 214 1.2.2.2 yamt 215 1.2.2.2 yamt ATF_TC(utypefit); 216 1.2.2.2 yamt ATF_TC_HEAD(utypefit, tc) 217 1.2.2.2 yamt { 218 1.2.2.2 yamt atf_tc_set_md_var(tc, "descr", "Checks typefit macro for unsigned"); 219 1.2.2.2 yamt } 220 1.2.2.2 yamt 221 1.2.2.2 yamt ATF_TC_BODY(utypefit, tc) 222 1.2.2.2 yamt { 223 1.2.2.2 yamt #define CHECK(a, b, c) ATF_REQUIRE(!__type_fit(a, b) == c) 224 1.2.2.2 yamt 225 1.2.2.2 yamt CHECK(unsigned char, -1, 1); 226 1.2.2.2 yamt CHECK(unsigned char, 1, 0); 227 1.2.2.2 yamt CHECK(unsigned char, 0x7f, 0); 228 1.2.2.2 yamt CHECK(unsigned char, 0x80, 0); 229 1.2.2.2 yamt CHECK(unsigned char, 0xff, 0); 230 1.2.2.2 yamt CHECK(unsigned char, 0x1ff, 1); 231 1.2.2.2 yamt 232 1.2.2.2 yamt CHECK(unsigned short, -1, 1); 233 1.2.2.2 yamt CHECK(unsigned short, 1, 0); 234 1.2.2.2 yamt CHECK(unsigned short, 0x7fff, 0); 235 1.2.2.2 yamt CHECK(unsigned short, 0x8000, 0); 236 1.2.2.2 yamt CHECK(unsigned short, 0xffff, 0); 237 1.2.2.2 yamt CHECK(unsigned short, 0x1ffff, 1); 238 1.2.2.2 yamt 239 1.2.2.2 yamt CHECK(unsigned int, -1, 1); 240 1.2.2.2 yamt CHECK(unsigned int, 1, 0); 241 1.2.2.2 yamt CHECK(unsigned int, 0x7fffffff, 0); 242 1.2.2.2 yamt CHECK(unsigned int, 0x80000000, 0); 243 1.2.2.2 yamt CHECK(unsigned int, 0xffffffff, 0); 244 1.2.2.2 yamt CHECK(unsigned int, 0x1ffffffffLL, 1); 245 1.2.2.2 yamt 246 1.2.2.2 yamt CHECK(unsigned long long, -1, 1); 247 1.2.2.2 yamt CHECK(unsigned long long, 1, 0); 248 1.2.2.2 yamt CHECK(unsigned long long, 0x7fffffffffffffffULL, 0); 249 1.2.2.2 yamt CHECK(unsigned long long, 0x8000000000000000ULL, 0); 250 1.2.2.2 yamt CHECK(unsigned long long, 0xffffffffffffffffULL, 0); 251 1.2.2.2 yamt 252 1.2.2.2 yamt #undef CHECK 253 1.2.2.2 yamt } 254 1.2.2.2 yamt 255 1.2.2.2 yamt ATF_TP_ADD_TCS(tp) 256 1.2.2.2 yamt { 257 1.2.2.2 yamt ATF_TP_ADD_TC(tp, stypeminmax); 258 1.2.2.2 yamt ATF_TP_ADD_TC(tp, utypeminmax); 259 1.2.2.2 yamt ATF_TP_ADD_TC(tp, sissigned); 260 1.2.2.2 yamt ATF_TP_ADD_TC(tp, uissigned); 261 1.2.2.2 yamt ATF_TP_ADD_TC(tp, stypemask); 262 1.2.2.2 yamt ATF_TP_ADD_TC(tp, utypemask); 263 1.2.2.2 yamt ATF_TP_ADD_TC(tp, stypefit); 264 1.2.2.2 yamt ATF_TP_ADD_TC(tp, utypefit); 265 1.2.2.2 yamt 266 1.2.2.2 yamt return atf_no_error(); 267 1.2.2.2 yamt } 268
Indexes created Sun Oct 19 02:09:48 GMT 2025