... 268435455/2147483648 (6100806 vec/s)
  ... 536870911/2147483648 (6316128 vec/s)
  ... 805306367/2147483648 (6340995 vec/s)
  ... 1073741823/2147483648 (6353502 vec/s)
  ... 1342177279/2147483648 (6361030 vec/s)
  ... 1610612735/2147483648 (6340995 vec/s)
  ... 1879048191/2147483648 (6348136 vec/s)
  ... 2147483647/2147483648 (6353502 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 b7e151628aed2a6a:bf7158809cf4f3c7)
TOTAL checked=2151999419 mismatches=0
PASS: all vectors match hardware division
      343.44 real       343.38 user         0.00 sys