200       auto quot{a.DivideUnsigned(b)};  in exhaustiveTesting()  local
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()
213       quot = a.DivideSigned(b);  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()
236             sy, quot.quotient.ToUInt64());  in exhaustiveTesting()
237         MATCH(sx - sy * (sx / sy), quot.remainder.ToInt64())  in exhaustiveTesting()