48                      UINT64_C(0x7fff800000000000),  in main()
49                      UINT64_C(0x0)))  in main()
52     if (test__divtf3(makeNaN128(UINT64_C(0x800030000000)),  in main()
54                      UINT64_C(0x7fff800000000000),  in main()
55                      UINT64_C(0x0)))  in main()
60                      UINT64_C(0x7fff000000000000),  in main()
61                      UINT64_C(0x0)))  in main()
66                      UINT64_C(0x4004b0b72924d407),  in main()
67                      UINT64_C(0x0717e84356c6eba2)))  in main()
71                      UINT64_C(0x3fd5b2af3f828c9b),  in main()
72                      UINT64_C(0x40e51f64cde8b1f2)))  in main()
76                      UINT64_C(0x28c62e15dc464466),  in main()
77                      UINT64_C(0xb5a07586348557ac)))  in main()
81                      UINT64_C(0x507b38442b539266),  in main()
82                      UINT64_C(0x22ce0f1d024e1252)))  in main()
86                      UINT64_C(0x50bf2e02f0798d36),  in main()
87                      UINT64_C(0x5e6fcb6b60044078)))  in main()