src/ieee754/fpadd/test/add_data64.py

   1 def regressions():
   2     yield 0, 0
   3     yield 0x3FF0000000000000, 0x4000000000000000
   4     yield 0x4000000000000000, 0x3FF0000000000000
   5     yield 0x4056C00000000000, 0x4042800000000000
   6     yield 0x4056C00000000000, 0x4042EA3D70A3D70A
   7     yield 0x3ff00000000000c5, 0xbd28a404211fb72b
   8     yield 0x7f80000000000000, 0xff80000000000000