You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
295 lines
11 KiB
C++
295 lines
11 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// test <stdint.h>
|
|
|
|
#include <stdint.h>
|
|
#include <cstddef>
|
|
#include <csignal>
|
|
#include <cwctype>
|
|
#include <climits>
|
|
#include <type_traits>
|
|
#include <limits>
|
|
#include <cassert>
|
|
|
|
#include "test_macros.h"
|
|
|
|
int main(int, char**)
|
|
{
|
|
// typedef int8_t
|
|
static_assert(sizeof(int8_t)*CHAR_BIT == 8,
|
|
"sizeof(int8_t)*CHAR_BIT == 8");
|
|
static_assert(std::is_signed<int8_t>::value,
|
|
"std::is_signed<int8_t>::value");
|
|
// typedef int16_t
|
|
static_assert(sizeof(int16_t)*CHAR_BIT == 16,
|
|
"sizeof(int16_t)*CHAR_BIT == 16");
|
|
static_assert(std::is_signed<int16_t>::value,
|
|
"std::is_signed<int16_t>::value");
|
|
// typedef int32_t
|
|
static_assert(sizeof(int32_t)*CHAR_BIT == 32,
|
|
"sizeof(int32_t)*CHAR_BIT == 32");
|
|
static_assert(std::is_signed<int32_t>::value,
|
|
"std::is_signed<int32_t>::value");
|
|
// typedef int64_t
|
|
static_assert(sizeof(int64_t)*CHAR_BIT == 64,
|
|
"sizeof(int64_t)*CHAR_BIT == 64");
|
|
static_assert(std::is_signed<int64_t>::value,
|
|
"std::is_signed<int64_t>::value");
|
|
|
|
// typedef uint8_t
|
|
static_assert(sizeof(uint8_t)*CHAR_BIT == 8,
|
|
"sizeof(uint8_t)*CHAR_BIT == 8");
|
|
static_assert(std::is_unsigned<uint8_t>::value,
|
|
"std::is_unsigned<uint8_t>::value");
|
|
// typedef uint16_t
|
|
static_assert(sizeof(uint16_t)*CHAR_BIT == 16,
|
|
"sizeof(uint16_t)*CHAR_BIT == 16");
|
|
static_assert(std::is_unsigned<uint16_t>::value,
|
|
"std::is_unsigned<uint16_t>::value");
|
|
// typedef uint32_t
|
|
static_assert(sizeof(uint32_t)*CHAR_BIT == 32,
|
|
"sizeof(uint32_t)*CHAR_BIT == 32");
|
|
static_assert(std::is_unsigned<uint32_t>::value,
|
|
"std::is_unsigned<uint32_t>::value");
|
|
// typedef uint64_t
|
|
static_assert(sizeof(uint64_t)*CHAR_BIT == 64,
|
|
"sizeof(uint64_t)*CHAR_BIT == 64");
|
|
static_assert(std::is_unsigned<uint64_t>::value,
|
|
"std::is_unsigned<uint64_t>::value");
|
|
|
|
// typedef int_least8_t
|
|
static_assert(sizeof(int_least8_t)*CHAR_BIT >= 8,
|
|
"sizeof(int_least8_t)*CHAR_BIT >= 8");
|
|
static_assert(std::is_signed<int_least8_t>::value,
|
|
"std::is_signed<int_least8_t>::value");
|
|
// typedef int_least16_t
|
|
static_assert(sizeof(int_least16_t)*CHAR_BIT >= 16,
|
|
"sizeof(int_least16_t)*CHAR_BIT >= 16");
|
|
static_assert(std::is_signed<int_least16_t>::value,
|
|
"std::is_signed<int_least16_t>::value");
|
|
// typedef int_least32_t
|
|
static_assert(sizeof(int_least32_t)*CHAR_BIT >= 32,
|
|
"sizeof(int_least32_t)*CHAR_BIT >= 32");
|
|
static_assert(std::is_signed<int_least32_t>::value,
|
|
"std::is_signed<int_least32_t>::value");
|
|
// typedef int_least64_t
|
|
static_assert(sizeof(int_least64_t)*CHAR_BIT >= 64,
|
|
"sizeof(int_least64_t)*CHAR_BIT >= 64");
|
|
static_assert(std::is_signed<int_least64_t>::value,
|
|
"std::is_signed<int_least64_t>::value");
|
|
|
|
// typedef uint_least8_t
|
|
static_assert(sizeof(uint_least8_t)*CHAR_BIT >= 8,
|
|
"sizeof(uint_least8_t)*CHAR_BIT >= 8");
|
|
static_assert(std::is_unsigned<uint_least8_t>::value,
|
|
"std::is_unsigned<uint_least8_t>::value");
|
|
// typedef uint_least16_t
|
|
static_assert(sizeof(uint_least16_t)*CHAR_BIT >= 16,
|
|
"sizeof(uint_least16_t)*CHAR_BIT >= 16");
|
|
static_assert(std::is_unsigned<uint_least16_t>::value,
|
|
"std::is_unsigned<uint_least16_t>::value");
|
|
// typedef uint_least32_t
|
|
static_assert(sizeof(uint_least32_t)*CHAR_BIT >= 32,
|
|
"sizeof(uint_least32_t)*CHAR_BIT >= 32");
|
|
static_assert(std::is_unsigned<uint_least32_t>::value,
|
|
"std::is_unsigned<uint_least32_t>::value");
|
|
// typedef uint_least64_t
|
|
static_assert(sizeof(uint_least64_t)*CHAR_BIT >= 64,
|
|
"sizeof(uint_least64_t)*CHAR_BIT >= 64");
|
|
static_assert(std::is_unsigned<uint_least64_t>::value,
|
|
"std::is_unsigned<uint_least64_t>::value");
|
|
|
|
// typedef int_fast8_t
|
|
static_assert(sizeof(int_fast8_t)*CHAR_BIT >= 8,
|
|
"sizeof(int_fast8_t)*CHAR_BIT >= 8");
|
|
static_assert(std::is_signed<int_fast8_t>::value,
|
|
"std::is_signed<int_fast8_t>::value");
|
|
// typedef int_fast16_t
|
|
static_assert(sizeof(int_fast16_t)*CHAR_BIT >= 16,
|
|
"sizeof(int_fast16_t)*CHAR_BIT >= 16");
|
|
static_assert(std::is_signed<int_fast16_t>::value,
|
|
"std::is_signed<int_fast16_t>::value");
|
|
// typedef int_fast32_t
|
|
static_assert(sizeof(int_fast32_t)*CHAR_BIT >= 32,
|
|
"sizeof(int_fast32_t)*CHAR_BIT >= 32");
|
|
static_assert(std::is_signed<int_fast32_t>::value,
|
|
"std::is_signed<int_fast32_t>::value");
|
|
// typedef int_fast64_t
|
|
static_assert(sizeof(int_fast64_t)*CHAR_BIT >= 64,
|
|
"sizeof(int_fast64_t)*CHAR_BIT >= 64");
|
|
static_assert(std::is_signed<int_fast64_t>::value,
|
|
"std::is_signed<int_fast64_t>::value");
|
|
|
|
// typedef uint_fast8_t
|
|
static_assert(sizeof(uint_fast8_t)*CHAR_BIT >= 8,
|
|
"sizeof(uint_fast8_t)*CHAR_BIT >= 8");
|
|
static_assert(std::is_unsigned<uint_fast8_t>::value,
|
|
"std::is_unsigned<uint_fast8_t>::value");
|
|
// typedef uint_fast16_t
|
|
static_assert(sizeof(uint_fast16_t)*CHAR_BIT >= 16,
|
|
"sizeof(uint_fast16_t)*CHAR_BIT >= 16");
|
|
static_assert(std::is_unsigned<uint_fast16_t>::value,
|
|
"std::is_unsigned<uint_fast16_t>::value");
|
|
// typedef uint_fast32_t
|
|
static_assert(sizeof(uint_fast32_t)*CHAR_BIT >= 32,
|
|
"sizeof(uint_fast32_t)*CHAR_BIT >= 32");
|
|
static_assert(std::is_unsigned<uint_fast32_t>::value,
|
|
"std::is_unsigned<uint_fast32_t>::value");
|
|
// typedef uint_fast64_t
|
|
static_assert(sizeof(uint_fast64_t)*CHAR_BIT >= 64,
|
|
"sizeof(uint_fast64_t)*CHAR_BIT >= 64");
|
|
static_assert(std::is_unsigned<uint_fast64_t>::value,
|
|
"std::is_unsigned<uint_fast64_t>::value");
|
|
|
|
// typedef intptr_t
|
|
static_assert(sizeof(intptr_t) >= sizeof(void*),
|
|
"sizeof(intptr_t) >= sizeof(void*)");
|
|
static_assert(std::is_signed<intptr_t>::value,
|
|
"std::is_signed<intptr_t>::value");
|
|
// typedef uintptr_t
|
|
static_assert(sizeof(uintptr_t) >= sizeof(void*),
|
|
"sizeof(uintptr_t) >= sizeof(void*)");
|
|
static_assert(std::is_unsigned<uintptr_t>::value,
|
|
"std::is_unsigned<uintptr_t>::value");
|
|
|
|
// typedef intmax_t
|
|
static_assert(sizeof(intmax_t) >= sizeof(long long),
|
|
"sizeof(intmax_t) >= sizeof(long long)");
|
|
static_assert(std::is_signed<intmax_t>::value,
|
|
"std::is_signed<intmax_t>::value");
|
|
// typedef uintmax_t
|
|
static_assert(sizeof(uintmax_t) >= sizeof(unsigned long long),
|
|
"sizeof(uintmax_t) >= sizeof(unsigned long long)");
|
|
static_assert(std::is_unsigned<uintmax_t>::value,
|
|
"std::is_unsigned<uintmax_t>::value");
|
|
|
|
// INTN_MIN
|
|
static_assert(INT8_MIN == -128, "INT8_MIN == -128");
|
|
static_assert(INT16_MIN == -32768, "INT16_MIN == -32768");
|
|
static_assert(INT32_MIN == -2147483647 - 1, "INT32_MIN == -2147483648");
|
|
static_assert(INT64_MIN == -9223372036854775807LL - 1, "INT64_MIN == -9223372036854775808LL");
|
|
|
|
// INTN_MAX
|
|
static_assert(INT8_MAX == 127, "INT8_MAX == 127");
|
|
static_assert(INT16_MAX == 32767, "INT16_MAX == 32767");
|
|
static_assert(INT32_MAX == 2147483647, "INT32_MAX == 2147483647");
|
|
static_assert(INT64_MAX == 9223372036854775807LL, "INT64_MAX == 9223372036854775807LL");
|
|
|
|
// UINTN_MAX
|
|
static_assert(UINT8_MAX == 255, "UINT8_MAX == 255");
|
|
static_assert(UINT16_MAX == 65535, "UINT16_MAX == 65535");
|
|
static_assert(UINT32_MAX == 4294967295U, "UINT32_MAX == 4294967295");
|
|
static_assert(UINT64_MAX == 18446744073709551615ULL, "UINT64_MAX == 18446744073709551615ULL");
|
|
|
|
// INT_FASTN_MIN
|
|
static_assert(INT_FAST8_MIN <= -128, "INT_FAST8_MIN <= -128");
|
|
static_assert(INT_FAST16_MIN <= -32768, "INT_FAST16_MIN <= -32768");
|
|
static_assert(INT_FAST32_MIN <= -2147483647 - 1, "INT_FAST32_MIN <= -2147483648");
|
|
static_assert(INT_FAST64_MIN <= -9223372036854775807LL - 1, "INT_FAST64_MIN <= -9223372036854775808LL");
|
|
|
|
// INT_FASTN_MAX
|
|
static_assert(INT_FAST8_MAX >= 127, "INT_FAST8_MAX >= 127");
|
|
static_assert(INT_FAST16_MAX >= 32767, "INT_FAST16_MAX >= 32767");
|
|
static_assert(INT_FAST32_MAX >= 2147483647, "INT_FAST32_MAX >= 2147483647");
|
|
static_assert(INT_FAST64_MAX >= 9223372036854775807LL, "INT_FAST64_MAX >= 9223372036854775807LL");
|
|
|
|
// UINT_FASTN_MAX
|
|
static_assert(UINT_FAST8_MAX >= 255, "UINT_FAST8_MAX >= 255");
|
|
static_assert(UINT_FAST16_MAX >= 65535, "UINT_FAST16_MAX >= 65535");
|
|
static_assert(UINT_FAST32_MAX >= 4294967295U, "UINT_FAST32_MAX >= 4294967295");
|
|
static_assert(UINT_FAST64_MAX >= 18446744073709551615ULL, "UINT_FAST64_MAX >= 18446744073709551615ULL");
|
|
|
|
// INTPTR_MIN
|
|
assert(INTPTR_MIN == std::numeric_limits<intptr_t>::min());
|
|
|
|
// INTPTR_MAX
|
|
assert(INTPTR_MAX == std::numeric_limits<intptr_t>::max());
|
|
|
|
// UINTPTR_MAX
|
|
assert(UINTPTR_MAX == std::numeric_limits<uintptr_t>::max());
|
|
|
|
// INTMAX_MIN
|
|
assert(INTMAX_MIN == std::numeric_limits<intmax_t>::min());
|
|
|
|
// INTMAX_MAX
|
|
assert(INTMAX_MAX == std::numeric_limits<intmax_t>::max());
|
|
|
|
// UINTMAX_MAX
|
|
assert(UINTMAX_MAX == std::numeric_limits<uintmax_t>::max());
|
|
|
|
// PTRDIFF_MIN
|
|
assert(PTRDIFF_MIN == std::numeric_limits<std::ptrdiff_t>::min());
|
|
|
|
// PTRDIFF_MAX
|
|
assert(PTRDIFF_MAX == std::numeric_limits<std::ptrdiff_t>::max());
|
|
|
|
// SIG_ATOMIC_MIN
|
|
assert(SIG_ATOMIC_MIN == std::numeric_limits<sig_atomic_t>::min());
|
|
|
|
// SIG_ATOMIC_MAX
|
|
assert(SIG_ATOMIC_MAX == std::numeric_limits<sig_atomic_t>::max());
|
|
|
|
// SIZE_MAX
|
|
assert(SIZE_MAX == std::numeric_limits<size_t>::max());
|
|
|
|
// WCHAR_MIN
|
|
assert(WCHAR_MIN == std::numeric_limits<wchar_t>::min());
|
|
|
|
// WCHAR_MAX
|
|
assert(WCHAR_MAX == std::numeric_limits<wchar_t>::max());
|
|
|
|
// WINT_MIN
|
|
assert(WINT_MIN == std::numeric_limits<wint_t>::min());
|
|
|
|
// WINT_MAX
|
|
assert(WINT_MAX == std::numeric_limits<wint_t>::max());
|
|
|
|
#ifndef INT8_C
|
|
#error INT8_C not defined
|
|
#endif
|
|
|
|
#ifndef INT16_C
|
|
#error INT16_C not defined
|
|
#endif
|
|
|
|
#ifndef INT32_C
|
|
#error INT32_C not defined
|
|
#endif
|
|
|
|
#ifndef INT64_C
|
|
#error INT64_C not defined
|
|
#endif
|
|
|
|
#ifndef UINT8_C
|
|
#error UINT8_C not defined
|
|
#endif
|
|
|
|
#ifndef UINT16_C
|
|
#error UINT16_C not defined
|
|
#endif
|
|
|
|
#ifndef UINT32_C
|
|
#error UINT32_C not defined
|
|
#endif
|
|
|
|
#ifndef UINT64_C
|
|
#error UINT64_C not defined
|
|
#endif
|
|
|
|
#ifndef INTMAX_C
|
|
#error INTMAX_C not defined
|
|
#endif
|
|
|
|
#ifndef UINTMAX_C
|
|
#error UINTMAX_C not defined
|
|
#endif
|
|
|
|
return 0;
|
|
}
|