... 268435455/2147483648 (6882960 vec/s)
  ... 536870911/2147483648 (6972349 vec/s)
  ... 805306367/2147483648 (6942296 vec/s)
  ... 1073741823/2147483648 (7017920 vec/s)
  ... 1342177279/2147483648 (6954286 vec/s)
  ... 1610612735/2147483648 (7002664 vec/s)
  ... 1879048191/2147483648 (6985309 vec/s)
  ... 2147483647/2147483648 (6972350 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
      313.42 real       313.39 user         0.00 sys