60 	{0, 1, 1, U8_MAX, 0, false, true, false},
62 	{0, U8_MAX, U8_MAX, 1, 0, false, true, false},
64 	{1, U8_MAX, 0, 2, U8_MAX, true, true, false},
65 	{U8_MAX, 1, 0, U8_MAX-1, U8_MAX, true, false, false},
66 	{U8_MAX, U8_MAX, U8_MAX-1, 0, 1, true, false, true},
68 	{U8_MAX, U8_MAX-1, U8_MAX-2, 1, 2, true, false, true},
69 	{U8_MAX-1, U8_MAX, U8_MAX-2, U8_MAX, 2, true, true, true},
72 	{1U << 4, 1U << 4, 1U << 5, 0, 0, false, false, true},
74 	{1U << 7, 1U << 7, 0, 0, 0, true, false, true},
76 	{48, 32, 80, 16, 0, false, false, true},
77 	{128, 128, 0, 0, 0, true, false, true},
78 	{123, 234, 101, 145, 110, true, true, true},
83 	{0, 1, 1, U16_MAX, 0, false, true, false},
85 	{0, U16_MAX, U16_MAX, 1, 0, false, true, false},
87 	{1, U16_MAX, 0, 2, U16_MAX, true, true, false},
88 	{U16_MAX, 1, 0, U16_MAX-1, U16_MAX, true, false, false},
89 	{U16_MAX, U16_MAX, U16_MAX-1, 0, 1, true, false, true},
91 	{U16_MAX, U16_MAX-1, U16_MAX-2, 1, 2, true, false, true},
92 	{U16_MAX-1, U16_MAX, U16_MAX-2, U16_MAX, 2, true, true, true},
95 	{1U << 8, 1U << 8, 1U << 9, 0, 0, false, false, true},
97 	{1U << 15, 1U << 15, 0, 0, 0, true, false, true},
99 	{123, 234, 357, 65425, 28782, false, true, false},
100 	{1234, 2345, 3579, 64425, 10146, false, true, true},
105 	{0, 1, 1, U32_MAX, 0, false, true, false},
107 	{0, U32_MAX, U32_MAX, 1, 0, false, true, false},
109 	{1, U32_MAX, 0, 2, U32_MAX, true, true, false},
110 	{U32_MAX, 1, 0, U32_MAX-1, U32_MAX, true, false, false},
111 	{U32_MAX, U32_MAX, U32_MAX-1, 0, 1, true, false, true},
113 	{U32_MAX, U32_MAX-1, U32_MAX-2, 1, 2, true, false, true},
114 	{U32_MAX-1, U32_MAX, U32_MAX-2, U32_MAX, 2, true, true, true},
117 	{1U << 16, 1U << 16, 1U << 17, 0, 0, false, false, true},
119 	{1U << 31, 1U << 31, 0, 0, 0, true, false, true},
122 	{-4U, 5U, 1U, -9U, -20U, true, false, true},
128 	{0, 1, 1, U64_MAX, 0, false, true, false},
130 	{0, U64_MAX, U64_MAX, 1, 0, false, true, false},
132 	{1, U64_MAX, 0, 2, U64_MAX, true, true, false},
133 	{U64_MAX, 1, 0, U64_MAX-1, U64_MAX, true, false, false},
134 	{U64_MAX, U64_MAX, U64_MAX-1, 0, 1, true, false, true},
136 	{U64_MAX, U64_MAX-1, U64_MAX-2, 1, 2, true, false, true},
137 	{U64_MAX-1, U64_MAX, U64_MAX-2, U64_MAX, 2, true, true, true},
140 	{1ULL << 32, 1ULL << 32, 1ULL << 33, 0, 0, false, false, true},
142 	{1ULL << 63, 1ULL << 63, 0, 0, 0, true, false, true},
145 	 false, true, false},
146 	{-15ULL, 10ULL, -5ULL, -25ULL, -150ULL, false, false, true},
154 	{0, S8_MIN, S8_MIN, S8_MIN, 0, false, true, false},
157 	{-1, S8_MIN, S8_MAX, S8_MAX, S8_MIN, true, false, true},
158 	{S8_MIN, -1, S8_MAX, -S8_MAX, S8_MIN, true, false, true},
160 	{S8_MAX, -1, S8_MAX-1, S8_MIN, -S8_MAX, false, true, false},
164 	{1, S8_MIN, -S8_MAX, -S8_MAX, S8_MIN, false, true, false},
165 	{S8_MIN, 1, -S8_MAX, S8_MAX, S8_MIN, false, true, false},
166 	{1, S8_MAX, S8_MIN, S8_MIN+2, S8_MAX, true, false, false},
167 	{S8_MAX, 1, S8_MIN, S8_MAX-1, S8_MAX, true, false, false},
169 	{S8_MIN, S8_MIN, 0, 0, 0, true, false, true},
170 	{S8_MAX, S8_MAX, -2, 0, 1, true, false, true},
172 	{-4, -32, -36, 28, -128, false, false, true},
181 	{0, S16_MIN, S16_MIN, S16_MIN, 0, false, true, false},
184 	{-1, S16_MIN, S16_MAX, S16_MAX, S16_MIN, true, false, true},
185 	{S16_MIN, -1, S16_MAX, -S16_MAX, S16_MIN, true, false, true},
187 	{S16_MAX, -1, S16_MAX-1, S16_MIN, -S16_MAX, false, true, false},
191 	{1, S16_MIN, -S16_MAX, -S16_MAX, S16_MIN, false, true, false},
192 	{S16_MIN, 1, -S16_MAX, S16_MAX, S16_MIN, false, true, false},
193 	{1, S16_MAX, S16_MIN, S16_MIN+2, S16_MAX, true, false, false},
194 	{S16_MAX, 1, S16_MIN, S16_MAX-1, S16_MAX, true, false, false},
196 	{S16_MIN, S16_MIN, 0, 0, 0, true, false, true},
197 	{S16_MAX, S16_MAX, -2, 0, 1, true, false, true},
204 	{0, S32_MIN, S32_MIN, S32_MIN, 0, false, true, false},
207 	{-1, S32_MIN, S32_MAX, S32_MAX, S32_MIN, true, false, true},
208 	{S32_MIN, -1, S32_MAX, -S32_MAX, S32_MIN, true, false, true},
210 	{S32_MAX, -1, S32_MAX-1, S32_MIN, -S32_MAX, false, true, false},
214 	{1, S32_MIN, -S32_MAX, -S32_MAX, S32_MIN, false, true, false},
215 	{S32_MIN, 1, -S32_MAX, S32_MAX, S32_MIN, false, true, false},
216 	{1, S32_MAX, S32_MIN, S32_MIN+2, S32_MAX, true, false, false},
217 	{S32_MAX, 1, S32_MIN, S32_MAX-1, S32_MAX, true, false, false},
219 	{S32_MIN, S32_MIN, 0, 0, 0, true, false, true},
220 	{S32_MAX, S32_MAX, -2, 0, 1, true, false, true},
228 	{0, S64_MIN, S64_MIN, S64_MIN, 0, false, true, false},
231 	{-1, S64_MIN, S64_MAX, S64_MAX, S64_MIN, true, false, true},
232 	{S64_MIN, -1, S64_MAX, -S64_MAX, S64_MIN, true, false, true},
234 	{S64_MAX, -1, S64_MAX-1, S64_MIN, -S64_MAX, false, true, false},
238 	{1, S64_MIN, -S64_MAX, -S64_MAX, S64_MIN, false, true, false},
239 	{S64_MIN, 1, -S64_MAX, S64_MAX, S64_MIN, false, true, false},
240 	{1, S64_MAX, S64_MIN, S64_MIN+2, S64_MAX, true, false, false},
241 	{S64_MAX, 1, S64_MIN, S64_MAX-1, S64_MAX, true, false, false},
243 	{S64_MIN, S64_MIN, 0, 0, 0, true, false, true},
244 	{S64_MAX, S64_MAX, -2, 0, 1, true, false, true},
310 	{U8_MAX, 2, 1, U8_MAX - 2, U8_MAX - 1, true, false, true},
311 	{U8_MAX + 1, 0, 0, 0, 0, true, true, false},
317 	{U32_MAX, 0, -1, -1, 0, true, true, false},
330 	{1, 2, 3, U8_MAX, 2, false, true, false},
331 	{-1, 0, U8_MAX, U8_MAX, 0, true, true, false},
412 	TEST_ONE_SHIFT(1, 8, u8, 0, true);  in shift_overflow_test()
413 	TEST_ONE_SHIFT(1, 16, u16, 0, true);  in shift_overflow_test()
414 	TEST_ONE_SHIFT(1, 32, unsigned int, 0, true);  in shift_overflow_test()
415 	TEST_ONE_SHIFT(1, 32, u32, 0, true);  in shift_overflow_test()
416 	TEST_ONE_SHIFT(1, 64, u64, 0, true);  in shift_overflow_test()
419 	TEST_ONE_SHIFT(1, 7, s8, 0, true);  in shift_overflow_test()
420 	TEST_ONE_SHIFT(1, 15, s16, 0, true);  in shift_overflow_test()
421 	TEST_ONE_SHIFT(1, 31, int, 0, true);  in shift_overflow_test()
422 	TEST_ONE_SHIFT(1, 31, s32, 0, true);  in shift_overflow_test()
423 	TEST_ONE_SHIFT(1, 63, s64, 0, true);  in shift_overflow_test()
427 	TEST_ONE_SHIFT(150, 1, u8, 0, true);  in shift_overflow_test()
429 	TEST_ONE_SHIFT(34966, 1, u16, 0, true);  in shift_overflow_test()
431 	TEST_ONE_SHIFT(2215151766U, 1, u32, 0, true);  in shift_overflow_test()
432 	TEST_ONE_SHIFT(2215151766U, 1, unsigned int, 0, true);  in shift_overflow_test()
434 	TEST_ONE_SHIFT(9372061470395238550ULL, 1, u64, 0, true);  in shift_overflow_test()
438 	TEST_ONE_SHIFT(75, 1, s8, 0, true);  in shift_overflow_test()
440 	TEST_ONE_SHIFT(17483, 1, s16, 0, true);  in shift_overflow_test()
442 	TEST_ONE_SHIFT(1107575883, 1, s32, 0, true);  in shift_overflow_test()
443 	TEST_ONE_SHIFT(1107575883, 1, int, 0, true);  in shift_overflow_test()
445 	TEST_ONE_SHIFT(4686030735197619275LL, 1, s64, 0, true);  in shift_overflow_test()
449 	TEST_ONE_SHIFT(75, 2, s8, 0, true);  in shift_overflow_test()
451 	TEST_ONE_SHIFT(17483, 2, s16, 0, true);  in shift_overflow_test()
453 	TEST_ONE_SHIFT(1107575883, 2, s32, 0, true);  in shift_overflow_test()
454 	TEST_ONE_SHIFT(1107575883, 2, int, 0, true);  in shift_overflow_test()
456 	TEST_ONE_SHIFT(4686030735197619275LL, 2, s64, 0, true);  in shift_overflow_test()
466 	TEST_ONE_SHIFT(0x100, 0, u8, 0, true);  in shift_truncate_test()
467 	TEST_ONE_SHIFT(0xFF, 0, s8, 0, true);  in shift_truncate_test()
468 	TEST_ONE_SHIFT(0x10000U, 0, u16, 0, true);  in shift_truncate_test()
469 	TEST_ONE_SHIFT(0xFFFFU, 0, s16, 0, true);  in shift_truncate_test()
470 	TEST_ONE_SHIFT(0x100000000ULL, 0, u32, 0, true);  in shift_truncate_test()
471 	TEST_ONE_SHIFT(0x100000000ULL, 0, unsigned int, 0, true);  in shift_truncate_test()
472 	TEST_ONE_SHIFT(0xFFFFFFFFUL, 0, s32, 0, true);  in shift_truncate_test()
473 	TEST_ONE_SHIFT(0xFFFFFFFFUL, 0, int, 0, true);  in shift_truncate_test()
474 	TEST_ONE_SHIFT(0xFFFFFFFFFFFFFFFFULL, 0, s64, 0, true);  in shift_truncate_test()
477 	TEST_ONE_SHIFT(0, 8, u8, 0, true);  in shift_truncate_test()
478 	TEST_ONE_SHIFT(0, 9, u8, 0, true);  in shift_truncate_test()
479 	TEST_ONE_SHIFT(0, 8, s8, 0, true);  in shift_truncate_test()
480 	TEST_ONE_SHIFT(0, 9, s8, 0, true);  in shift_truncate_test()
481 	TEST_ONE_SHIFT(0, 16, u16, 0, true);  in shift_truncate_test()
482 	TEST_ONE_SHIFT(0, 17, u16, 0, true);  in shift_truncate_test()
483 	TEST_ONE_SHIFT(0, 16, s16, 0, true);  in shift_truncate_test()
484 	TEST_ONE_SHIFT(0, 17, s16, 0, true);  in shift_truncate_test()
485 	TEST_ONE_SHIFT(0, 32, u32, 0, true);  in shift_truncate_test()
486 	TEST_ONE_SHIFT(0, 33, u32, 0, true);  in shift_truncate_test()
487 	TEST_ONE_SHIFT(0, 32, int, 0, true);  in shift_truncate_test()
488 	TEST_ONE_SHIFT(0, 33, int, 0, true);  in shift_truncate_test()
489 	TEST_ONE_SHIFT(0, 32, s32, 0, true);  in shift_truncate_test()
490 	TEST_ONE_SHIFT(0, 33, s32, 0, true);  in shift_truncate_test()
491 	TEST_ONE_SHIFT(0, 64, u64, 0, true);  in shift_truncate_test()
492 	TEST_ONE_SHIFT(0, 65, u64, 0, true);  in shift_truncate_test()
493 	TEST_ONE_SHIFT(0, 64, s64, 0, true);  in shift_truncate_test()
494 	TEST_ONE_SHIFT(0, 65, s64, 0, true);  in shift_truncate_test()
504 	TEST_ONE_SHIFT(-1, 0, s8, 0, true);  in shift_nonsense_test()
505 	TEST_ONE_SHIFT(-1, 0, u8, 0, true);  in shift_nonsense_test()
506 	TEST_ONE_SHIFT(-5, 0, s16, 0, true);  in shift_nonsense_test()
507 	TEST_ONE_SHIFT(-5, 0, u16, 0, true);  in shift_nonsense_test()
508 	TEST_ONE_SHIFT(-10, 0, int, 0, true);  in shift_nonsense_test()
509 	TEST_ONE_SHIFT(-10, 0, unsigned int, 0, true);  in shift_nonsense_test()
510 	TEST_ONE_SHIFT(-100, 0, s32, 0, true);  in shift_nonsense_test()
511 	TEST_ONE_SHIFT(-100, 0, u32, 0, true);  in shift_nonsense_test()
512 	TEST_ONE_SHIFT(-10000, 0, s64, 0, true);  in shift_nonsense_test()
513 	TEST_ONE_SHIFT(-10000, 0, u64, 0, true);  in shift_nonsense_test()
516 	TEST_ONE_SHIFT(0, -5, s8, 0, true);  in shift_nonsense_test()
517 	TEST_ONE_SHIFT(0, -5, u8, 0, true);  in shift_nonsense_test()
518 	TEST_ONE_SHIFT(0, -10, s16, 0, true);  in shift_nonsense_test()
519 	TEST_ONE_SHIFT(0, -10, u16, 0, true);  in shift_nonsense_test()
520 	TEST_ONE_SHIFT(0, -15, int, 0, true);  in shift_nonsense_test()
521 	TEST_ONE_SHIFT(0, -15, unsigned int, 0, true);  in shift_nonsense_test()
522 	TEST_ONE_SHIFT(0, -20, s32, 0, true);  in shift_nonsense_test()
523 	TEST_ONE_SHIFT(0, -20, u32, 0, true);  in shift_nonsense_test()
524 	TEST_ONE_SHIFT(0, -30, s64, 0, true);  in shift_nonsense_test()
525 	TEST_ONE_SHIFT(0, -30, u64, 0, true);  in shift_nonsense_test()