1 // Copyright 2017 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4
5 #include "components/zucchini/algorithm.h"
6
7 #include <stddef.h>
8 #include <stdint.h>
9
10 #include "testing/gtest/include/gtest/gtest.h"
11
12 namespace zucchini {
13
14 namespace {
15
16 // Casting functions to specify signed 8-bit and 16-bit integer constants.
17 // For example, signed8(0xFF) == int8_t(-1).
signed8(uint8_t v)18 inline int8_t signed8(uint8_t v) {
19 return *reinterpret_cast<const int8_t*>(&v);
20 }
21
signed16(uint16_t v)22 inline int32_t signed16(uint16_t v) {
23 return *reinterpret_cast<const int16_t*>(&v);
24 }
25
26 } // namespace
27
TEST(AlgorithmTest,RangeIsBounded)28 TEST(AlgorithmTest, RangeIsBounded) {
29 // Basic tests.
30 EXPECT_TRUE(RangeIsBounded<uint8_t>(0U, +0U, 10U));
31 EXPECT_TRUE(RangeIsBounded<uint8_t>(0U, +10U, 10U));
32 EXPECT_TRUE(RangeIsBounded<uint8_t>(1U, +9U, 10U));
33 EXPECT_FALSE(RangeIsBounded<uint8_t>(1U, +10U, 10U));
34 EXPECT_TRUE(RangeIsBounded<uint8_t>(8U, +1U, 10U));
35 EXPECT_TRUE(RangeIsBounded<uint8_t>(8U, +2U, 10U));
36 EXPECT_TRUE(RangeIsBounded<uint8_t>(9U, +0U, 10U));
37 EXPECT_FALSE(RangeIsBounded<uint8_t>(10U, +0U, 10U)); // !
38 EXPECT_FALSE(RangeIsBounded<uint8_t>(100U, +0U, 10U));
39 EXPECT_FALSE(RangeIsBounded<uint8_t>(100U, +1U, 10U));
40
41 // Test at boundary of overflow.
42 EXPECT_TRUE(RangeIsBounded<uint8_t>(42U, +137U, 255U));
43 EXPECT_TRUE(RangeIsBounded<uint8_t>(0U, +255U, 255U));
44 EXPECT_TRUE(RangeIsBounded<uint8_t>(1U, +254U, 255U));
45 EXPECT_FALSE(RangeIsBounded<uint8_t>(1U, +255U, 255U));
46 EXPECT_TRUE(RangeIsBounded<uint8_t>(254U, +0U, 255U));
47 EXPECT_TRUE(RangeIsBounded<uint8_t>(254U, +1U, 255U));
48 EXPECT_FALSE(RangeIsBounded<uint8_t>(255U, +0U, 255U));
49 EXPECT_FALSE(RangeIsBounded<uint8_t>(255U, +3U, 255U));
50
51 // Test with uint32_t.
52 EXPECT_TRUE(RangeIsBounded<uint32_t>(0U, +0x1000U, 0x2000U));
53 EXPECT_TRUE(RangeIsBounded<uint32_t>(0x0FFFU, +0x1000U, 0x2000U));
54 EXPECT_TRUE(RangeIsBounded<uint32_t>(0x1000U, +0x1000U, 0x2000U));
55 EXPECT_FALSE(RangeIsBounded<uint32_t>(0x1000U, +0x1001U, 0x2000U));
56 EXPECT_TRUE(RangeIsBounded<uint32_t>(0x1FFFU, +1U, 0x2000U));
57 EXPECT_FALSE(RangeIsBounded<uint32_t>(0x2000U, +0U, 0x2000U)); // !
58 EXPECT_FALSE(RangeIsBounded<uint32_t>(0x3000U, +0U, 0x2000U));
59 EXPECT_FALSE(RangeIsBounded<uint32_t>(0x3000U, +1U, 0x2000U));
60 EXPECT_TRUE(RangeIsBounded<uint32_t>(0U, +0xFFFFFFFEU, 0xFFFFFFFFU));
61 EXPECT_TRUE(RangeIsBounded<uint32_t>(0U, +0xFFFFFFFFU, 0xFFFFFFFFU));
62 EXPECT_TRUE(RangeIsBounded<uint32_t>(1U, +0xFFFFFFFEU, 0xFFFFFFFFU));
63 EXPECT_FALSE(RangeIsBounded<uint32_t>(1U, +0xFFFFFFFFU, 0xFFFFFFFFU));
64 EXPECT_TRUE(RangeIsBounded<uint32_t>(0x80000000U, +0x7FFFFFFFU, 0xFFFFFFFFU));
65 EXPECT_FALSE(
66 RangeIsBounded<uint32_t>(0x80000000U, +0x80000000U, 0xFFFFFFFFU));
67 EXPECT_TRUE(RangeIsBounded<uint32_t>(0xFFFFFFFEU, +1U, 0xFFFFFFFFU));
68 EXPECT_FALSE(RangeIsBounded<uint32_t>(0xFFFFFFFFU, +0U, 0xFFFFFFFFU)); // !
69 EXPECT_FALSE(
70 RangeIsBounded<uint32_t>(0xFFFFFFFFU, +0xFFFFFFFFU, 0xFFFFFFFFU));
71 }
72
TEST(AlgorithmTest,RangeCovers)73 TEST(AlgorithmTest, RangeCovers) {
74 // Basic tests.
75 EXPECT_TRUE(RangeCovers<uint8_t>(0U, +10U, 0U));
76 EXPECT_TRUE(RangeCovers<uint8_t>(0U, +10U, 5U));
77 EXPECT_TRUE(RangeCovers<uint8_t>(0U, +10U, 9U));
78 EXPECT_FALSE(RangeCovers<uint8_t>(0U, +10U, 10U));
79 EXPECT_FALSE(RangeCovers<uint8_t>(0U, +10U, 100U));
80 EXPECT_FALSE(RangeCovers<uint8_t>(0U, +10U, 255U));
81
82 EXPECT_FALSE(RangeCovers<uint8_t>(42U, +137U, 0U));
83 EXPECT_FALSE(RangeCovers<uint8_t>(42U, +137U, 41U));
84 EXPECT_TRUE(RangeCovers<uint8_t>(42U, +137U, 42U));
85 EXPECT_TRUE(RangeCovers<uint8_t>(42U, +137U, 100U));
86 EXPECT_TRUE(RangeCovers<uint8_t>(42U, +137U, 178U));
87 EXPECT_FALSE(RangeCovers<uint8_t>(42U, +137U, 179U));
88 EXPECT_FALSE(RangeCovers<uint8_t>(42U, +137U, 255U));
89
90 // 0-size ranges.
91 EXPECT_FALSE(RangeCovers<uint8_t>(42U, +0U, 41U));
92 EXPECT_FALSE(RangeCovers<uint8_t>(42U, +0U, 42U));
93 EXPECT_FALSE(RangeCovers<uint8_t>(42U, +0U, 43U));
94
95 // Test at boundary of overflow.
96 EXPECT_TRUE(RangeCovers<uint8_t>(254U, +1U, 254U));
97 EXPECT_FALSE(RangeCovers<uint8_t>(254U, +1U, 255U));
98 EXPECT_FALSE(RangeCovers<uint8_t>(255U, +0U, 255U));
99 EXPECT_TRUE(RangeCovers<uint8_t>(255U, +1U, 255U));
100 EXPECT_FALSE(RangeCovers<uint8_t>(255U, +5U, 0U));
101
102 // Test with unit32_t.
103 EXPECT_FALSE(RangeCovers<uint32_t>(1234567U, +7654321U, 0U));
104 EXPECT_FALSE(RangeCovers<uint32_t>(1234567U, +7654321U, 1234566U));
105 EXPECT_TRUE(RangeCovers<uint32_t>(1234567U, +7654321U, 1234567U));
106 EXPECT_TRUE(RangeCovers<uint32_t>(1234567U, +7654321U, 4444444U));
107 EXPECT_TRUE(RangeCovers<uint32_t>(1234567U, +7654321U, 8888887U));
108 EXPECT_FALSE(RangeCovers<uint32_t>(1234567U, +7654321U, 8888888U));
109 EXPECT_FALSE(RangeCovers<uint32_t>(1234567U, +7654321U, 0x80000000U));
110 EXPECT_FALSE(RangeCovers<uint32_t>(1234567U, +7654321U, 0xFFFFFFFFU));
111 EXPECT_FALSE(RangeCovers<uint32_t>(0xFFFFFFFFU, +0, 0xFFFFFFFFU));
112 EXPECT_TRUE(RangeCovers<uint32_t>(0xFFFFFFFFU, +1, 0xFFFFFFFFU));
113 EXPECT_FALSE(RangeCovers<uint32_t>(0xFFFFFFFFU, +2, 0));
114 }
115
TEST(AlgorithmTest,InclusiveClamp)116 TEST(AlgorithmTest, InclusiveClamp) {
117 EXPECT_EQ(1U, InclusiveClamp<uint32_t>(0U, 1U, 9U));
118 EXPECT_EQ(1U, InclusiveClamp<uint32_t>(1U, 1U, 9U));
119 EXPECT_EQ(5U, InclusiveClamp<uint32_t>(5U, 1U, 9U));
120 EXPECT_EQ(8U, InclusiveClamp<uint32_t>(8U, 1U, 9U));
121 EXPECT_EQ(9U, InclusiveClamp<uint32_t>(9U, 1U, 9U));
122 EXPECT_EQ(9U, InclusiveClamp<uint32_t>(10U, 1U, 9U));
123 EXPECT_EQ(9U, InclusiveClamp<uint32_t>(0xFFFFFFFFU, 1U, 9U));
124 EXPECT_EQ(42U, InclusiveClamp<uint32_t>(0U, 42U, 42U));
125 EXPECT_EQ(42U, InclusiveClamp<uint32_t>(41U, 42U, 42U));
126 EXPECT_EQ(42U, InclusiveClamp<uint32_t>(42U, 42U, 42U));
127 EXPECT_EQ(42U, InclusiveClamp<uint32_t>(43U, 42U, 42U));
128 EXPECT_EQ(0U, InclusiveClamp<uint32_t>(0U, 0U, 0U));
129 EXPECT_EQ(0xFFFFFFFF,
130 InclusiveClamp<uint32_t>(0xFFFFFFFF, 0xFFFFFFFF, 0xFFFFFFFF));
131 }
132
TEST(AlgorithmTest,AlignCeil)133 TEST(AlgorithmTest, AlignCeil) {
134 EXPECT_EQ(0U, AlignCeil<uint32_t>(0U, 2U));
135 EXPECT_EQ(2U, AlignCeil<uint32_t>(1U, 2U));
136 EXPECT_EQ(2U, AlignCeil<uint32_t>(2U, 2U));
137 EXPECT_EQ(4U, AlignCeil<uint32_t>(3U, 2U));
138 EXPECT_EQ(4U, AlignCeil<uint32_t>(4U, 2U));
139 EXPECT_EQ(11U, AlignCeil<uint32_t>(10U, 11U));
140 EXPECT_EQ(11U, AlignCeil<uint32_t>(11U, 11U));
141 EXPECT_EQ(22U, AlignCeil<uint32_t>(12U, 11U));
142 EXPECT_EQ(22U, AlignCeil<uint32_t>(21U, 11U));
143 EXPECT_EQ(22U, AlignCeil<uint32_t>(22U, 11U));
144 EXPECT_EQ(33U, AlignCeil<uint32_t>(23U, 11U));
145 }
146
TEST(AlgorithmTest,IncrementForAlignCeil)147 TEST(AlgorithmTest, IncrementForAlignCeil) {
148 struct TestCase {
149 int exp; // Increment to |pos| to get the next nearest aligned value.
150 int pos;
151 };
152 TestCase kTestCases2[] = {
153 {0, 0}, {1, 1}, {0, 2}, {1, 3}, {0, 4}, {1, 5},
154 {1, 97}, {0, 98}, {1, 99}, {0, 100}, {1, -1}, {0, -2},
155 {1, -101}, {0, -100}, {1, -99}, {0, -98}, {1, -97}, {0, -96},
156 };
157 for (const auto& test_case : kTestCases2) {
158 EXPECT_EQ(test_case.exp, IncrementForAlignCeil2<int32_t>(test_case.pos));
159 if (test_case.pos >= 0)
160 EXPECT_EQ(test_case.exp, IncrementForAlignCeil2<uint32_t>(test_case.pos));
161 }
162 TestCase kTestCases4[] = {
163 {0, 0}, {3, 1}, {2, 2}, {1, 3}, {0, 4}, {3, 5},
164 {3, 97}, {2, 98}, {1, 99}, {0, 100}, {1, -1}, {2, -2},
165 {1, -101}, {0, -100}, {3, -99}, {2, -98}, {1, -97}, {0, -96},
166 };
167 for (const auto& test_case : kTestCases4) {
168 EXPECT_EQ(test_case.exp, IncrementForAlignCeil4<int32_t>(test_case.pos));
169 if (test_case.pos >= 0)
170 EXPECT_EQ(test_case.exp, IncrementForAlignCeil4<uint32_t>(test_case.pos));
171 }
172 }
173
TEST(AlgorithmTest,GetBit)174 TEST(AlgorithmTest, GetBit) {
175 // 0xC5 = 0b1100'0101.
176 constexpr uint8_t v = 0xC5;
177 EXPECT_EQ(uint8_t(1), (GetBit<0>(v)));
178 EXPECT_EQ(int8_t(0), (GetBit<1>(signed8(v))));
179 EXPECT_EQ(uint8_t(1), (GetBit<2>(v)));
180 EXPECT_EQ(int8_t(0), (GetBit<3>(signed8(v))));
181 EXPECT_EQ(uint8_t(0), (GetBit<4>(v)));
182 EXPECT_EQ(int8_t(0), (GetBit<5>(signed8(v))));
183 EXPECT_EQ(uint8_t(1), (GetBit<6>(v)));
184 EXPECT_EQ(int8_t(1), (GetBit<7>(signed8(v))));
185
186 EXPECT_EQ(int16_t(1), (GetBit<3, int16_t>(0x0008)));
187 EXPECT_EQ(uint16_t(0), (GetBit<14, uint16_t>(0xB000)));
188 EXPECT_EQ(uint16_t(1), (GetBit<15, uint16_t>(0xB000)));
189
190 EXPECT_EQ(uint32_t(1), (GetBit<0, uint32_t>(0xFFFFFFFF)));
191 EXPECT_EQ(int32_t(1), (GetBit<31, int32_t>(0xFFFFFFFF)));
192
193 EXPECT_EQ(uint32_t(0), (GetBit<0, uint32_t>(0xFF00A596)));
194 EXPECT_EQ(int32_t(1), (GetBit<1, int32_t>(0xFF00A596)));
195 EXPECT_EQ(uint32_t(1), (GetBit<4, uint32_t>(0xFF00A596)));
196 EXPECT_EQ(int32_t(1), (GetBit<7, int32_t>(0xFF00A596)));
197 EXPECT_EQ(uint32_t(0), (GetBit<9, uint32_t>(0xFF00A596)));
198 EXPECT_EQ(int32_t(0), (GetBit<16, int32_t>(0xFF00A59)));
199 EXPECT_EQ(uint32_t(1), (GetBit<24, uint32_t>(0xFF00A596)));
200 EXPECT_EQ(int32_t(1), (GetBit<31, int32_t>(0xFF00A596)));
201
202 EXPECT_EQ(uint64_t(0), (GetBit<62, uint64_t>(0xB000000000000000ULL)));
203 EXPECT_EQ(int64_t(1), (GetBit<63, int64_t>(0xB000000000000000LL)));
204 }
205
TEST(AlgorithmTest,GetBits)206 TEST(AlgorithmTest, GetBits) {
207 // Zero-extended: Basic cases for various values.
208 uint32_t test_cases[] = {0, 1, 2, 7, 137, 0x10000, 0x69969669, 0xFFFFFFFF};
209 for (uint32_t v : test_cases) {
210 EXPECT_EQ(uint32_t(v & 0xFF), (GetUnsignedBits<0, 7>(v)));
211 EXPECT_EQ(uint32_t((v >> 8) & 0xFF), (GetUnsignedBits<8, 15>(v)));
212 EXPECT_EQ(uint32_t((v >> 16) & 0xFF), (GetUnsignedBits<16, 23>(v)));
213 EXPECT_EQ(uint32_t((v >> 24) & 0xFF), (GetUnsignedBits<24, 31>(v)));
214 EXPECT_EQ(uint32_t(v & 0xFFFF), (GetUnsignedBits<0, 15>(v)));
215 EXPECT_EQ(uint32_t((v >> 1) & 0x3FFFFFFF), (GetUnsignedBits<1, 30>(v)));
216 EXPECT_EQ(uint32_t((v >> 2) & 0x0FFFFFFF), (GetUnsignedBits<2, 29>(v)));
217 EXPECT_EQ(uint32_t(v), (GetUnsignedBits<0, 31>(v)));
218 }
219
220 // Zero-extended: Reading off various nibbles.
221 EXPECT_EQ(uint32_t(0x4), (GetUnsignedBits<20, 23>(0x00432100U)));
222 EXPECT_EQ(uint32_t(0x43), (GetUnsignedBits<16, 23>(0x00432100)));
223 EXPECT_EQ(uint32_t(0x432), (GetUnsignedBits<12, 23>(0x00432100U)));
224 EXPECT_EQ(uint32_t(0x4321), (GetUnsignedBits<8, 23>(0x00432100)));
225 EXPECT_EQ(uint32_t(0x321), (GetUnsignedBits<8, 19>(0x00432100U)));
226 EXPECT_EQ(uint32_t(0x21), (GetUnsignedBits<8, 15>(0x00432100)));
227 EXPECT_EQ(uint32_t(0x1), (GetUnsignedBits<8, 11>(0x00432100U)));
228
229 // Sign-extended: 0x3CA5 = 0b0011'1100'1010'0101.
230 EXPECT_EQ(signed16(0xFFFF), (GetSignedBits<0, 0>(0x3CA5U)));
231 EXPECT_EQ(signed16(0x0001), (GetSignedBits<0, 1>(0x3CA5)));
232 EXPECT_EQ(signed16(0xFFFD), (GetSignedBits<0, 2>(0x3CA5U)));
233 EXPECT_EQ(signed16(0x0005), (GetSignedBits<0, 4>(0x3CA5)));
234 EXPECT_EQ(signed16(0xFFA5), (GetSignedBits<0, 7>(0x3CA5U)));
235 EXPECT_EQ(signed16(0xFCA5), (GetSignedBits<0, 11>(0x3CA5)));
236 EXPECT_EQ(signed16(0x0005), (GetSignedBits<0, 3>(0x3CA5U)));
237 EXPECT_EQ(signed16(0xFFFA), (GetSignedBits<4, 7>(0x3CA5)));
238 EXPECT_EQ(signed16(0xFFFC), (GetSignedBits<8, 11>(0x3CA5U)));
239 EXPECT_EQ(signed16(0x0003), (GetSignedBits<12, 15>(0x3CA5)));
240 EXPECT_EQ(signed16(0x0000), (GetSignedBits<4, 4>(0x3CA5U)));
241 EXPECT_EQ(signed16(0xFFFF), (GetSignedBits<5, 5>(0x3CA5)));
242 EXPECT_EQ(signed16(0x0002), (GetSignedBits<4, 6>(0x3CA5U)));
243 EXPECT_EQ(signed16(0x1E52), (GetSignedBits<1, 14>(0x3CA5)));
244 EXPECT_EQ(signed16(0xFF29), (GetSignedBits<2, 13>(0x3CA5U)));
245 EXPECT_EQ(int32_t(0x00001E52), (GetSignedBits<1, 14>(0x3CA5)));
246 EXPECT_EQ(int32_t(0xFFFFFF29), (GetSignedBits<2, 13>(0x3CA5U)));
247
248 // 64-bits: Extract from middle 0x66 = 0b0110'0110.
249 EXPECT_EQ(uint64_t(0x0000000000000009LL),
250 (GetUnsignedBits<30, 33>(int64_t(0x2222222661111111LL))));
251 EXPECT_EQ(int64_t(0xFFFFFFFFFFFFFFF9LL),
252 (GetSignedBits<30, 33>(uint64_t(0x2222222661111111LL))));
253 }
254
TEST(AlgorithmTest,SignExtend)255 TEST(AlgorithmTest, SignExtend) {
256 // 0x6A = 0b0110'1010.
257 EXPECT_EQ(uint8_t(0x00), (SignExtend<uint8_t>(0, 0x6A)));
258 EXPECT_EQ(signed8(0xFE), (SignExtend<int8_t>(1, signed8(0x6A))));
259 EXPECT_EQ(uint8_t(0x02), (SignExtend<uint8_t>(2, 0x6A)));
260 EXPECT_EQ(signed8(0xFA), (SignExtend<int8_t>(3, signed8(0x6A))));
261 EXPECT_EQ(uint8_t(0x0A), (SignExtend<uint8_t>(4, 0x6A)));
262 EXPECT_EQ(signed8(0xEA), (SignExtend<int8_t>(5, signed8(0x6A))));
263 EXPECT_EQ(uint8_t(0xEA), (SignExtend<uint8_t>(6, 0x6A)));
264 EXPECT_EQ(signed8(0x6A), (SignExtend<int8_t>(7, signed8(0x6A))));
265
266 EXPECT_EQ(signed16(0xFFFA), (SignExtend<int16_t>(3, 0x6A)));
267 EXPECT_EQ(uint16_t(0x000A), (SignExtend<uint16_t>(4, 0x6A)));
268
269 EXPECT_EQ(int32_t(0xFFFF8000), (SignExtend<int32_t>(15, 0x00008000)));
270 EXPECT_EQ(uint32_t(0x00008000U), (SignExtend<uint32_t>(16, 0x00008000)));
271 EXPECT_EQ(int32_t(0xFFFFFC00), (SignExtend<int32_t>(10, 0x00000400)));
272 EXPECT_EQ(uint32_t(0xFFFFFFFFU), (SignExtend<uint32_t>(31, 0xFFFFFFFF)));
273
274 EXPECT_EQ(int64_t(0xFFFFFFFFFFFFFE6ALL),
275 (SignExtend<int64_t>(9, 0x000000000000026ALL)));
276 EXPECT_EQ(int64_t(0x000000000000016ALL),
277 (SignExtend<int64_t>(9, 0xFFFFFFFFFFFFFD6ALL)));
278 EXPECT_EQ(uint64_t(0xFFFFFFFFFFFFFE6AULL),
279 (SignExtend<uint64_t>(9, 0x000000000000026AULL)));
280 EXPECT_EQ(uint64_t(0x000000000000016AULL),
281 (SignExtend<uint64_t>(9, 0xFFFFFFFFFFFFFD6AULL)));
282 }
283
TEST(AlgorithmTest,SignExtendTemplated)284 TEST(AlgorithmTest, SignExtendTemplated) {
285 // 0x6A = 0b0110'1010.
286 EXPECT_EQ(uint8_t(0x00), (SignExtend<0, uint8_t>(0x6A)));
287 EXPECT_EQ(signed8(0xFE), (SignExtend<1, int8_t>(signed8(0x6A))));
288 EXPECT_EQ(uint8_t(0x02), (SignExtend<2, uint8_t>(0x6A)));
289 EXPECT_EQ(signed8(0xFA), (SignExtend<3, int8_t>(signed8(0x6A))));
290 EXPECT_EQ(uint8_t(0x0A), (SignExtend<4, uint8_t>(0x6A)));
291 EXPECT_EQ(signed8(0xEA), (SignExtend<5, int8_t>(signed8(0x6A))));
292 EXPECT_EQ(uint8_t(0xEA), (SignExtend<6, uint8_t>(0x6A)));
293 EXPECT_EQ(signed8(0x6A), (SignExtend<7, int8_t>(signed8(0x6A))));
294
295 EXPECT_EQ(signed16(0xFFFA), (SignExtend<3, int16_t>(0x6A)));
296 EXPECT_EQ(uint16_t(0x000A), (SignExtend<4, uint16_t>(0x6A)));
297
298 EXPECT_EQ(int32_t(0xFFFF8000), (SignExtend<15, int32_t>(0x00008000)));
299 EXPECT_EQ(uint32_t(0x00008000U), (SignExtend<16, uint32_t>(0x00008000)));
300 EXPECT_EQ(int32_t(0xFFFFFC00), (SignExtend<10, int32_t>(0x00000400)));
301 EXPECT_EQ(uint32_t(0xFFFFFFFFU), (SignExtend<31, uint32_t>(0xFFFFFFFF)));
302
303 EXPECT_EQ(int64_t(0xFFFFFFFFFFFFFE6ALL),
304 (SignExtend<9, int64_t>(0x000000000000026ALL)));
305 EXPECT_EQ(int64_t(0x000000000000016ALL),
306 (SignExtend<9, int64_t>(0xFFFFFFFFFFFFFD6ALL)));
307 EXPECT_EQ(uint64_t(0xFFFFFFFFFFFFFE6AULL),
308 (SignExtend<9, uint64_t>(0x000000000000026AULL)));
309 EXPECT_EQ(uint64_t(0x000000000000016AULL),
310 (SignExtend<9, uint64_t>(0xFFFFFFFFFFFFFD6AULL)));
311 }
312
TEST(AlgorithmTest,SignedFit)313 TEST(AlgorithmTest, SignedFit) {
314 for (int v = -0x80; v < 0x80; ++v) {
315 EXPECT_EQ(v >= -1 && v < 1, (SignedFit<1, int8_t>(v)));
316 EXPECT_EQ(v >= -1 && v < 1, (SignedFit<1, uint8_t>(v)));
317 EXPECT_EQ(v >= -2 && v < 2, (SignedFit<2, int8_t>(v)));
318 EXPECT_EQ(v >= -4 && v < 4, (SignedFit<3, uint8_t>(v)));
319 EXPECT_EQ(v >= -8 && v < 8, (SignedFit<4, int16_t>(v)));
320 EXPECT_EQ(v >= -16 && v < 16, (SignedFit<5, uint32_t>(v)));
321 EXPECT_EQ(v >= -32 && v < 32, (SignedFit<6, int32_t>(v)));
322 EXPECT_EQ(v >= -64 && v < 64, (SignedFit<7, uint64_t>(v)));
323 EXPECT_TRUE((SignedFit<8, int8_t>(v)));
324 EXPECT_TRUE((SignedFit<8, uint8_t>(v)));
325 }
326
327 EXPECT_TRUE((SignedFit<16, uint32_t>(0x00000000)));
328 EXPECT_TRUE((SignedFit<16, uint32_t>(0x00007FFF)));
329 EXPECT_TRUE((SignedFit<16, uint32_t>(0xFFFF8000)));
330 EXPECT_TRUE((SignedFit<16, uint32_t>(0xFFFFFFFF)));
331 EXPECT_TRUE((SignedFit<16, int32_t>(0x00007FFF)));
332 EXPECT_TRUE((SignedFit<16, int32_t>(0xFFFF8000)));
333
334 EXPECT_FALSE((SignedFit<16, uint32_t>(0x80000000)));
335 EXPECT_FALSE((SignedFit<16, uint32_t>(0x7FFFFFFF)));
336 EXPECT_FALSE((SignedFit<16, uint32_t>(0x00008000)));
337 EXPECT_FALSE((SignedFit<16, uint32_t>(0xFFFF7FFF)));
338 EXPECT_FALSE((SignedFit<16, int32_t>(0x00008000)));
339 EXPECT_FALSE((SignedFit<16, int32_t>(0xFFFF7FFF)));
340
341 EXPECT_TRUE((SignedFit<48, int64_t>(0x00007FFFFFFFFFFFLL)));
342 EXPECT_TRUE((SignedFit<48, int64_t>(0xFFFF800000000000LL)));
343 EXPECT_FALSE((SignedFit<48, int64_t>(0x0008000000000000LL)));
344 EXPECT_FALSE((SignedFit<48, int64_t>(0xFFFF7FFFFFFFFFFFLL)));
345 }
346
347 } // namespace zucchini
348