19   MATCH(maxPositiveSignedValue, INT::HUGE().ToUInt64())(desc);  in exhaustiveTesting()
22   MATCH(0, zero.ToUInt64())(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()
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()
64     MATCH(-x & maxUnsignedValue, negated.value.ToUInt64())  in exhaustiveTesting()
69     MATCH(x >> (BITS - 1) ? -x & maxUnsignedValue : x, abs.value.ToUInt64())  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()
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()
174           x + y, ==, sum.value.ToUInt64() + (std::uint64_t{sum.carry} << BITS))  in exhaustiveTesting()
177       MATCH((sx + sy) & maxUnsignedValue, ssum.value.ToUInt64())  in exhaustiveTesting()
184       MATCH((sx - sy) & maxUnsignedValue, diff.value.ToUInt64())  in exhaustiveTesting()
192           x * y, (product.upper.ToUInt64() << BITS) ^ product.lower.ToUInt64())  in exhaustiveTesting()
194           product.lower.ToUInt64(), product.upper.ToUInt64());  in exhaustiveTesting()
196       MATCH((sx * sy) & maxUnsignedValue, product.lower.ToUInt64())  in exhaustiveTesting()
198       MATCH(((sx * sy) >> BITS) & maxUnsignedValue, product.upper.ToUInt64())  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()
226         MATCH(0, quot.remainder.ToUInt64())  in exhaustiveTesting()
229         MATCH(x, quot.quotient.ToUInt64())  in exhaustiveTesting()
231         MATCH(0, quot.remainder.ToUInt64())  in exhaustiveTesting()
236             sy, quot.quotient.ToUInt64());  in exhaustiveTesting()