... 268435455/2147483648 (6242685 vec/s)
  ... 536870911/2147483648 (6316128 vec/s)
  ... 805306367/2147483648 (6291456 vec/s)
  ... 1073741823/2147483648 (6316128 vec/s)
  ... 1342177279/2147483648 (6271856 vec/s)
  ... 1610612735/2147483648 (6316128 vec/s)
  ... 1879048191/2147483648 (6284442 vec/s)
  ... 2147483647/2147483648 (6316128 vec/s)
DF-5580 differential: kernel __udivti3.c vs native __int128
E edge cross-product: 539 x 539 operands
X exhaustive [0,2048)^2
R random vectors: 2147483648 (seeds 243f6a8885a308d3:13198a2e03707344)
TOTAL checked=2151999419 mismatches=0
PASS: all vectors match hardware division
      345.11 real       345.03 user         0.00 sys