1 | //===-- Unittests for user defined integer literals -----------------------===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | #include "src/__support/integer_literals.h" |
10 | #include "src/__support/macros/properties/types.h" // LIBC_TYPES_HAS_INT128 |
11 | #include "test/UnitTest/Test.h" |
12 | |
13 | using LIBC_NAMESPACE::operator""_u8 ; |
14 | using LIBC_NAMESPACE::operator""_u16 ; |
15 | using LIBC_NAMESPACE::operator""_u32 ; |
16 | using LIBC_NAMESPACE::operator""_u64 ; |
17 | using LIBC_NAMESPACE::operator""_u128 ; |
18 | using LIBC_NAMESPACE::operator""_u256 ; |
19 | |
20 | TEST(LlvmLibcIntegerLiteralTest, u8) { |
21 | EXPECT_EQ(uint8_t(0), 0_u8); |
22 | EXPECT_EQ(uint8_t(UINT8_MAX), 255_u8); |
23 | EXPECT_EQ(uint8_t(UINT8_MAX), 0xFF_u8); |
24 | EXPECT_EQ(uint8_t(UINT8_MAX), 0b11111111_u8); |
25 | } |
26 | |
27 | TEST(LlvmLibcIntegerLiteralTest, u16) { |
28 | EXPECT_EQ(uint16_t(0), 0_u16); |
29 | EXPECT_EQ(uint16_t(UINT8_MAX), 255_u16); |
30 | EXPECT_EQ(uint16_t(UINT8_MAX), 0xFF_u16); |
31 | EXPECT_EQ(uint16_t(UINT8_MAX), 0b11111111_u16); |
32 | EXPECT_EQ(uint16_t(UINT16_MAX), 65535_u16); |
33 | EXPECT_EQ(uint16_t(UINT16_MAX), 0xFFFF_u16); |
34 | EXPECT_EQ(uint16_t(UINT16_MAX), 0b11111111'11111111_u16); |
35 | } |
36 | |
37 | TEST(LlvmLibcIntegerLiteralTest, u32) { |
38 | EXPECT_EQ(uint32_t(0), 0_u32); |
39 | EXPECT_EQ(uint32_t(UINT8_MAX), 255_u32); |
40 | EXPECT_EQ(uint32_t(UINT8_MAX), 0xFF_u32); |
41 | EXPECT_EQ(uint32_t(UINT8_MAX), 0b11111111_u32); |
42 | EXPECT_EQ(uint32_t(UINT16_MAX), 65535_u32); |
43 | EXPECT_EQ(uint32_t(UINT16_MAX), 0xFFFF_u32); |
44 | EXPECT_EQ(uint32_t(UINT16_MAX), 0b11111111'11111111_u32); |
45 | EXPECT_EQ(uint32_t(UINT32_MAX), 4294967295_u32); |
46 | EXPECT_EQ(uint32_t(UINT32_MAX), 0xFFFFFFFF_u32); |
47 | EXPECT_EQ(uint32_t(UINT32_MAX), 0b1111111111111111'1111111111111111_u32); |
48 | } |
49 | |
50 | TEST(LlvmLibcIntegerLiteralTest, u64) { |
51 | EXPECT_EQ(uint64_t(0), 0_u64); |
52 | EXPECT_EQ(uint64_t(UINT8_MAX), 255_u64); |
53 | EXPECT_EQ(uint64_t(UINT8_MAX), 0xFF_u64); |
54 | EXPECT_EQ(uint64_t(UINT8_MAX), 0b11111111_u64); |
55 | EXPECT_EQ(uint64_t(UINT16_MAX), 65535_u64); |
56 | EXPECT_EQ(uint64_t(UINT16_MAX), 0xFFFF_u64); |
57 | EXPECT_EQ(uint64_t(UINT16_MAX), 0b11111111'11111111_u64); |
58 | EXPECT_EQ(uint64_t(UINT32_MAX), 4294967295_u64); |
59 | EXPECT_EQ(uint64_t(UINT32_MAX), 0xFFFFFFFF_u64); |
60 | EXPECT_EQ(uint64_t(UINT32_MAX), 0b1111111111111111'1111111111111111_u64); |
61 | EXPECT_EQ(uint64_t(UINT64_MAX), 18446744073709551615_u64); |
62 | EXPECT_EQ(uint64_t(UINT64_MAX), 0xFFFFFFFF'FFFFFFFF_u64); |
63 | EXPECT_EQ( |
64 | uint64_t(UINT64_MAX), |
65 | 0b1111111111111111'1111111111111111'1111111111111111'1111111111111111_u64); |
66 | } |
67 | |
68 | TEST(LlvmLibcIntegerLiteralTest, u128) { |
69 | #ifdef LIBC_TYPES_HAS_INT128 |
70 | const __uint128_t ZERO = 0; |
71 | const __uint128_t U8_MAX = UINT8_MAX; |
72 | const __uint128_t U16_MAX = UINT16_MAX; |
73 | const __uint128_t U32_MAX = UINT32_MAX; |
74 | const __uint128_t U64_MAX = UINT64_MAX; |
75 | const __uint128_t U128_MAX = (U64_MAX << 64) | U64_MAX; |
76 | #else |
77 | const UInt128 ZERO = 0; |
78 | const UInt128 U8_MAX = UINT8_MAX; |
79 | const UInt128 U16_MAX = UINT16_MAX; |
80 | const UInt128 U32_MAX = UINT32_MAX; |
81 | const UInt128 U64_MAX = UINT64_MAX; |
82 | const UInt128 U128_MAX = (U64_MAX << 64) | U64_MAX; |
83 | #endif // LIBC_TYPES_HAS_INT128 |
84 | EXPECT_EQ(ZERO, 0_u128); |
85 | EXPECT_EQ(U8_MAX, 255_u128); |
86 | EXPECT_EQ(U8_MAX, 0xFF_u128); |
87 | EXPECT_EQ(U8_MAX, 0b11111111_u128); |
88 | EXPECT_EQ(U16_MAX, 65535_u128); |
89 | EXPECT_EQ(U16_MAX, 0xFFFF_u128); |
90 | EXPECT_EQ(U16_MAX, 0b11111111'11111111_u128); |
91 | EXPECT_EQ(U32_MAX, 4294967295_u128); |
92 | EXPECT_EQ(U32_MAX, 0xFFFFFFFF_u128); |
93 | EXPECT_EQ(U32_MAX, 0b1111111111111111'1111111111111111_u128); |
94 | EXPECT_EQ(U64_MAX, 18446744073709551615_u128); |
95 | EXPECT_EQ(U64_MAX, 0xFFFFFFFF'FFFFFFFF_u128); |
96 | EXPECT_EQ( |
97 | U64_MAX, |
98 | 0b1111111111111111'1111111111111111'1111111111111111'1111111111111111_u128); |
99 | EXPECT_EQ(U128_MAX, 340282366920938463463374607431768211455_u128); |
100 | EXPECT_EQ(U128_MAX, 0xFFFFFFFF'FFFFFFFF'FFFFFFFF'FFFFFFFF_u128); |
101 | EXPECT_EQ( |
102 | U128_MAX, |
103 | 0b1111111111111111'1111111111111111'1111111111111111'1111111111111111'1111111111111111'1111111111111111'1111111111111111'1111111111111111_u128); |
104 | } |
105 | |
106 | TEST(LlvmLibcIntegerLiteralTest, u256) { |
107 | using UInt256 = LIBC_NAMESPACE::UInt<256>; |
108 | const UInt256 ZERO = 0; |
109 | const UInt256 U8_MAX = UINT8_MAX; |
110 | const UInt256 U16_MAX = UINT16_MAX; |
111 | const UInt256 U32_MAX = UINT32_MAX; |
112 | const UInt256 U64_MAX = UINT64_MAX; |
113 | const UInt256 U128_MAX = (U64_MAX << 64) | U64_MAX; |
114 | const UInt256 U256_MAX = (U128_MAX << 128) | U128_MAX; |
115 | EXPECT_EQ(ZERO, 0_u256); |
116 | EXPECT_EQ(U8_MAX, 255_u256); |
117 | EXPECT_EQ(U8_MAX, 0xFF_u256); |
118 | EXPECT_EQ(U8_MAX, 0b11111111_u256); |
119 | EXPECT_EQ(U16_MAX, 65535_u256); |
120 | EXPECT_EQ(U16_MAX, 0xFFFF_u256); |
121 | EXPECT_EQ(U16_MAX, 0b11111111'11111111_u256); |
122 | EXPECT_EQ(U32_MAX, 4294967295_u256); |
123 | EXPECT_EQ(U32_MAX, 0xFFFFFFFF_u256); |
124 | EXPECT_EQ(U32_MAX, 0b1111111111111111'1111111111111111_u256); |
125 | EXPECT_EQ(U64_MAX, 18446744073709551615_u256); |
126 | EXPECT_EQ(U64_MAX, 0xFFFFFFFF'FFFFFFFF_u256); |
127 | EXPECT_EQ( |
128 | U64_MAX, |
129 | 0b1111111111111111'1111111111111111'1111111111111111'1111111111111111_u256); |
130 | EXPECT_EQ(U128_MAX, 0xFFFFFFFF'FFFFFFFF'FFFFFFFF'FFFFFFFF_u256); |
131 | EXPECT_EQ( |
132 | U256_MAX, |
133 | 0xFFFFFFFF'FFFFFFFF'FFFFFFFF'FFFFFFFF'FFFFFFFF'FFFFFFFF'FFFFFFFF'FFFFFFFF_u256); |
134 | } |
135 | |
136 | TEST(LlvmLibcIntegerLiteralTest, parse_bigint) { |
137 | using T = LIBC_NAMESPACE::Int<128>; |
138 | struct { |
139 | const char *str; |
140 | T expected; |
141 | } constexpr TEST_CASES[] = { |
142 | {"0" , 0}, {"-1" , -1}, {"+1" , 1}, {"-0xFF" , -255}, {"-0b11" , -3}, |
143 | }; |
144 | for (auto tc : TEST_CASES) { |
145 | T actual = LIBC_NAMESPACE::parse_bigint<T>(tc.str); |
146 | EXPECT_EQ(actual, tc.expected); |
147 | } |
148 | } |
149 | |
150 | TEST(LlvmLibcIntegerLiteralTest, parse_bigint_invalid) { |
151 | using T = LIBC_NAMESPACE::Int<128>; |
152 | const T expected; // default construction |
153 | EXPECT_EQ(LIBC_NAMESPACE::parse_bigint<T>(nullptr), expected); |
154 | EXPECT_EQ(LIBC_NAMESPACE::parse_bigint<T>("" ), expected); |
155 | } |
156 | |