18   MATCH(BITS, INT::bits)(desc);  in exhaustiveTesting()
19   MATCH(maxPositiveSignedValue, INT::HUGE().ToUInt64())(desc);  in exhaustiveTesting()
22   MATCH(0, zero.ToUInt64())(desc);  in exhaustiveTesting()
23   MATCH(0, zero.ToInt64())(desc);  in exhaustiveTesting()
28     MATCH(x, a.ToUInt64())(desc);  in exhaustiveTesting()
30     MATCH(x, copy.ToUInt64())(desc);  in exhaustiveTesting()
32     MATCH(x, copy.ToUInt64())(desc);  in exhaustiveTesting()
33     MATCH(x == 0, a.IsZero())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
39     MATCH(x, readcheck.value.ToUInt64())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
45     MATCH(x, readcheck.value.ToUInt64())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
51     MATCH(x, readcheck.value.ToUInt64())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
57     MATCH(x, readcheck.value.ToUInt64())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
60     MATCH(x ^ maxUnsignedValue, t.ToUInt64())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
62     MATCH(x == std::uint64_t{1} << (BITS - 1), negated.overflow)  in exhaustiveTesting()
64     MATCH(-x & maxUnsignedValue, negated.value.ToUInt64())  in exhaustiveTesting()
67     MATCH(x == std::uint64_t{1} << (BITS - 1), abs.overflow)  in exhaustiveTesting()
69     MATCH(x >> (BITS - 1) ? -x & maxUnsignedValue : x, abs.value.ToUInt64())  in exhaustiveTesting()
74     MATCH(x == 0, lzbc == BITS)("%s, x=0x%llx, lzbc=%d", desc, x, lzbc);  in exhaustiveTesting()
82     MATCH(popcheck, a.POPCNT())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
83     MATCH(popcheck & 1, a.POPPAR())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
90     MATCH(trailcheck, a.TRAILZ())("%s, x=0x%llx", desc, x);  in exhaustiveTesting()
92       MATCH((x >> j) & 1, a.BTEST(j))  in exhaustiveTesting()
119       MATCH((x << count) & maxUnsignedValue, t.ToUInt64())  in exhaustiveTesting()
122       MATCH((x << count) & maxUnsignedValue, t.ToUInt64())  in exhaustiveTesting()
125       MATCH(x >> count, t.ToUInt64())  in exhaustiveTesting()
128       MATCH(x >> count, t.ToUInt64())("%s, x=0x%llx, count=%d", desc, x, count);  in exhaustiveTesting()
133       MATCH(sra, t.ToInt64())  in exhaustiveTesting()
151       MATCH(x >= y, a.BGE(b))("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
152       MATCH(x > y, a.BGT(b))("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
153       MATCH(x <= y, a.BLE(b))("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
154       MATCH(x < y, a.BLT(b))("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
167       MATCH(x & y, t.ToUInt64())("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
169       MATCH(x | y, t.ToUInt64())("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
171       MATCH(x ^ y, t.ToUInt64())("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
177       MATCH((sx + sy) & maxUnsignedValue, ssum.value.ToUInt64())  in exhaustiveTesting()
179       MATCH(  in exhaustiveTesting()
184       MATCH((sx - sy) & maxUnsignedValue, diff.value.ToUInt64())  in exhaustiveTesting()
186       MATCH(  in exhaustiveTesting()
191       MATCH(  in exhaustiveTesting()
196       MATCH((sx * sy) & maxUnsignedValue, product.lower.ToUInt64())  in exhaustiveTesting()
198       MATCH(((sx * sy) >> BITS) & maxUnsignedValue, product.upper.ToUInt64())  in exhaustiveTesting()
201       MATCH(y == 0, quot.divisionByZero)("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
203         MATCH(maxUnsignedValue, quot.quotient.ToUInt64())  in exhaustiveTesting()
205         MATCH(0, quot.remainder.ToUInt64())  in exhaustiveTesting()
208         MATCH(x / y, quot.quotient.ToUInt64())  in exhaustiveTesting()
210         MATCH(x % y, quot.remainder.ToUInt64())  in exhaustiveTesting()
216       MATCH(y == 0, quot.divisionByZero)("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
217       MATCH(badCase, quot.overflow)("%s, x=0x%llx, y=0x%llx", desc, x, y);  in exhaustiveTesting()
220           MATCH(maxPositiveSignedValue, quot.quotient.ToInt64())  in exhaustiveTesting()
223           MATCH(mostNegativeSignedValue, quot.quotient.ToInt64())  in exhaustiveTesting()
226         MATCH(0, quot.remainder.ToUInt64())  in exhaustiveTesting()
229         MATCH(x, quot.quotient.ToUInt64())  in exhaustiveTesting()
231         MATCH(0, quot.remainder.ToUInt64())  in exhaustiveTesting()
234         MATCH(sx / sy, quot.quotient.ToInt64())  in exhaustiveTesting()
237         MATCH(sx - sy * (sx / sy), quot.remainder.ToInt64())  in exhaustiveTesting()