38                          UINT16_C(0x7e00)))  in main()
42                          UINT16_C(0x7e00)))  in main()
46                          UINT16_C(0x7c00)))  in main()
49                          UINT16_C(0xfc00)))  in main()
52     if (test__truncdfhf2(0.0, UINT16_C(0x0)))  in main()
54     if (test__truncdfhf2(-0.0, UINT16_C(0x8000)))  in main()
58                          UINT16_C(0x4248)))  in main()
61                          UINT16_C(0xc248)))  in main()
64                          UINT16_C(0x7c00)))  in main()
67                          UINT16_C(0x6e62)))  in main()
70                          UINT16_C(0x3c00)))  in main()
73                          UINT16_C(0x0400)))  in main()
77                          UINT16_C(0x0010)))  in main()
80                          UINT16_C(0x0001)))  in main()
83                          UINT16_C(0x8001)))  in main()
86                          UINT16_C(0x0001)))  in main()
90                          UINT16_C(0x0000)))  in main()
93                          UINT16_C(0x8000)))  in main()
97                          UINT16_C(0x7bff)))  in main()
101                          UINT16_C(0x7bff)))  in main()
105                          UINT16_C(0x7c00)))  in main()
108                          UINT16_C(0xfc00)))  in main()
111                          UINT16_C(0x7c00)))  in main()