# testing u64_to_f16 with TiesToEven BeforeRounding
0x0 TiesToEven BeforeRounding 0x0000 (empty)
0x1 TiesToEven BeforeRounding 0x3C00 (empty)
0x2 TiesToEven BeforeRounding 0x4000 (empty)
0x3 TiesToEven BeforeRounding 0x4200 (empty)
0x4 TiesToEven BeforeRounding 0x4400 (empty)
0x5 TiesToEven BeforeRounding 0x4500 (empty)
0x6 TiesToEven BeforeRounding 0x4600 (empty)
0x7 TiesToEven BeforeRounding 0x4700 (empty)
0x7FF TiesToEven BeforeRounding 0x67FF (empty)
0x800 TiesToEven BeforeRounding 0x6800 (empty)
0x801 TiesToEven BeforeRounding 0x6800 INEXACT
0xFFE0 TiesToEven BeforeRounding 0x7BFF (empty)
0xFFE1 TiesToEven BeforeRounding 0x7BFF INEXACT
0xFFEF TiesToEven BeforeRounding 0x7BFF INEXACT
0xFFF0 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFF1 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFF TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x80000000 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000001 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000000 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000001 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TiesToEven BeforeRounding 0x7C00 INEXACT|OVERFLOW
# testing u64_to_f16 with TiesToEven AfterRounding
0x0 TiesToEven AfterRounding 0x0000 (empty)
0x1 TiesToEven AfterRounding 0x3C00 (empty)
0x2 TiesToEven AfterRounding 0x4000 (empty)
0x3 TiesToEven AfterRounding 0x4200 (empty)
0x4 TiesToEven AfterRounding 0x4400 (empty)
0x5 TiesToEven AfterRounding 0x4500 (empty)
0x6 TiesToEven AfterRounding 0x4600 (empty)
0x7 TiesToEven AfterRounding 0x4700 (empty)
0x7FF TiesToEven AfterRounding 0x67FF (empty)
0x800 TiesToEven AfterRounding 0x6800 (empty)
0x801 TiesToEven AfterRounding 0x6800 INEXACT
0xFFE0 TiesToEven AfterRounding 0x7BFF (empty)
0xFFE1 TiesToEven AfterRounding 0x7BFF INEXACT
0xFFEF TiesToEven AfterRounding 0x7BFF INEXACT
0xFFF0 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFF1 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFF TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0x80000000 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000001 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000000 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000001 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TiesToEven AfterRounding 0x7C00 INEXACT|OVERFLOW
# testing u64_to_f16 with TowardZero BeforeRounding
0x0 TowardZero BeforeRounding 0x0000 (empty)
0x1 TowardZero BeforeRounding 0x3C00 (empty)
0x2 TowardZero BeforeRounding 0x4000 (empty)
0x3 TowardZero BeforeRounding 0x4200 (empty)
0x4 TowardZero BeforeRounding 0x4400 (empty)
0x5 TowardZero BeforeRounding 0x4500 (empty)
0x6 TowardZero BeforeRounding 0x4600 (empty)
0x7 TowardZero BeforeRounding 0x4700 (empty)
0x7FF TowardZero BeforeRounding 0x67FF (empty)
0x800 TowardZero BeforeRounding 0x6800 (empty)
0x801 TowardZero BeforeRounding 0x6800 INEXACT
0xFFE0 TowardZero BeforeRounding 0x7BFF (empty)
0xFFE1 TowardZero BeforeRounding 0x7BFF INEXACT
0xFFEF TowardZero BeforeRounding 0x7BFF INEXACT
0xFFF0 TowardZero BeforeRounding 0x7BFF INEXACT
0xFFF1 TowardZero BeforeRounding 0x7BFF INEXACT
0x7FFFFFFF TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x80000000 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000000 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFF80000001 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFF80000000 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000001 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000000 TowardZero BeforeRounding 0x7BFF INEXACT|OVERFLOW
# testing u64_to_f16 with TowardZero AfterRounding
0x0 TowardZero AfterRounding 0x0000 (empty)
0x1 TowardZero AfterRounding 0x3C00 (empty)
0x2 TowardZero AfterRounding 0x4000 (empty)
0x3 TowardZero AfterRounding 0x4200 (empty)
0x4 TowardZero AfterRounding 0x4400 (empty)
0x5 TowardZero AfterRounding 0x4500 (empty)
0x6 TowardZero AfterRounding 0x4600 (empty)
0x7 TowardZero AfterRounding 0x4700 (empty)
0x7FF TowardZero AfterRounding 0x67FF (empty)
0x800 TowardZero AfterRounding 0x6800 (empty)
0x801 TowardZero AfterRounding 0x6800 INEXACT
0xFFE0 TowardZero AfterRounding 0x7BFF (empty)
0xFFE1 TowardZero AfterRounding 0x7BFF INEXACT
0xFFEF TowardZero AfterRounding 0x7BFF INEXACT
0xFFF0 TowardZero AfterRounding 0x7BFF INEXACT
0xFFF1 TowardZero AfterRounding 0x7BFF INEXACT
0x7FFFFFFF TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0x80000000 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000000 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFF80000001 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFF80000000 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000001 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000000 TowardZero AfterRounding 0x7BFF INEXACT|OVERFLOW
# testing u64_to_f16 with TowardNegative BeforeRounding
0x0 TowardNegative BeforeRounding 0x0000 (empty)
0x1 TowardNegative BeforeRounding 0x3C00 (empty)
0x2 TowardNegative BeforeRounding 0x4000 (empty)
0x3 TowardNegative BeforeRounding 0x4200 (empty)
0x4 TowardNegative BeforeRounding 0x4400 (empty)
0x5 TowardNegative BeforeRounding 0x4500 (empty)
0x6 TowardNegative BeforeRounding 0x4600 (empty)
0x7 TowardNegative BeforeRounding 0x4700 (empty)
0x7FF TowardNegative BeforeRounding 0x67FF (empty)
0x800 TowardNegative BeforeRounding 0x6800 (empty)
0x801 TowardNegative BeforeRounding 0x6800 INEXACT
0xFFE0 TowardNegative BeforeRounding 0x7BFF (empty)
0xFFE1 TowardNegative BeforeRounding 0x7BFF INEXACT
0xFFEF TowardNegative BeforeRounding 0x7BFF INEXACT
0xFFF0 TowardNegative BeforeRounding 0x7BFF INEXACT
0xFFF1 TowardNegative BeforeRounding 0x7BFF INEXACT
0x7FFFFFFF TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x80000000 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000000 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFF80000001 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFF80000000 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000001 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000000 TowardNegative BeforeRounding 0x7BFF INEXACT|OVERFLOW
# testing u64_to_f16 with TowardNegative AfterRounding
0x0 TowardNegative AfterRounding 0x0000 (empty)
0x1 TowardNegative AfterRounding 0x3C00 (empty)
0x2 TowardNegative AfterRounding 0x4000 (empty)
0x3 TowardNegative AfterRounding 0x4200 (empty)
0x4 TowardNegative AfterRounding 0x4400 (empty)
0x5 TowardNegative AfterRounding 0x4500 (empty)
0x6 TowardNegative AfterRounding 0x4600 (empty)
0x7 TowardNegative AfterRounding 0x4700 (empty)
0x7FF TowardNegative AfterRounding 0x67FF (empty)
0x800 TowardNegative AfterRounding 0x6800 (empty)
0x801 TowardNegative AfterRounding 0x6800 INEXACT
0xFFE0 TowardNegative AfterRounding 0x7BFF (empty)
0xFFE1 TowardNegative AfterRounding 0x7BFF INEXACT
0xFFEF TowardNegative AfterRounding 0x7BFF INEXACT
0xFFF0 TowardNegative AfterRounding 0x7BFF INEXACT
0xFFF1 TowardNegative AfterRounding 0x7BFF INEXACT
0x7FFFFFFF TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0x80000000 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000000 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFF80000001 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0xFFFFFFFF80000000 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000001 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
0x8000000000000000 TowardNegative AfterRounding 0x7BFF INEXACT|OVERFLOW
# testing u64_to_f16 with TowardPositive BeforeRounding
0x0 TowardPositive BeforeRounding 0x0000 (empty)
0x1 TowardPositive BeforeRounding 0x3C00 (empty)
0x2 TowardPositive BeforeRounding 0x4000 (empty)
0x3 TowardPositive BeforeRounding 0x4200 (empty)
0x4 TowardPositive BeforeRounding 0x4400 (empty)
0x5 TowardPositive BeforeRounding 0x4500 (empty)
0x6 TowardPositive BeforeRounding 0x4600 (empty)
0x7 TowardPositive BeforeRounding 0x4700 (empty)
0x7FF TowardPositive BeforeRounding 0x67FF (empty)
0x800 TowardPositive BeforeRounding 0x6800 (empty)
0x801 TowardPositive BeforeRounding 0x6801 INEXACT
0xFFE0 TowardPositive BeforeRounding 0x7BFF (empty)
0xFFE1 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFEF TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFF0 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFF1 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFF TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x80000000 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000001 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000000 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000001 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TowardPositive BeforeRounding 0x7C00 INEXACT|OVERFLOW
# testing u64_to_f16 with TowardPositive AfterRounding
0x0 TowardPositive AfterRounding 0x0000 (empty)
0x1 TowardPositive AfterRounding 0x3C00 (empty)
0x2 TowardPositive AfterRounding 0x4000 (empty)
0x3 TowardPositive AfterRounding 0x4200 (empty)
0x4 TowardPositive AfterRounding 0x4400 (empty)
0x5 TowardPositive AfterRounding 0x4500 (empty)
0x6 TowardPositive AfterRounding 0x4600 (empty)
0x7 TowardPositive AfterRounding 0x4700 (empty)
0x7FF TowardPositive AfterRounding 0x67FF (empty)
0x800 TowardPositive AfterRounding 0x6800 (empty)
0x801 TowardPositive AfterRounding 0x6801 INEXACT
0xFFE0 TowardPositive AfterRounding 0x7BFF (empty)
0xFFE1 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFEF TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFF0 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFF1 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFF TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0x80000000 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000001 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000000 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000001 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TowardPositive AfterRounding 0x7C00 INEXACT|OVERFLOW
# testing u64_to_f16 with TiesToAway BeforeRounding
0x0 TiesToAway BeforeRounding 0x0000 (empty)
0x1 TiesToAway BeforeRounding 0x3C00 (empty)
0x2 TiesToAway BeforeRounding 0x4000 (empty)
0x3 TiesToAway BeforeRounding 0x4200 (empty)
0x4 TiesToAway BeforeRounding 0x4400 (empty)
0x5 TiesToAway BeforeRounding 0x4500 (empty)
0x6 TiesToAway BeforeRounding 0x4600 (empty)
0x7 TiesToAway BeforeRounding 0x4700 (empty)
0x7FF TiesToAway BeforeRounding 0x67FF (empty)
0x800 TiesToAway BeforeRounding 0x6800 (empty)
0x801 TiesToAway BeforeRounding 0x6801 INEXACT
0xFFE0 TiesToAway BeforeRounding 0x7BFF (empty)
0xFFE1 TiesToAway BeforeRounding 0x7BFF INEXACT
0xFFEF TiesToAway BeforeRounding 0x7BFF INEXACT
0xFFF0 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFF1 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFF TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x80000000 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000001 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000000 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000001 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TiesToAway BeforeRounding 0x7C00 INEXACT|OVERFLOW
# testing u64_to_f16 with TiesToAway AfterRounding
0x0 TiesToAway AfterRounding 0x0000 (empty)
0x1 TiesToAway AfterRounding 0x3C00 (empty)
0x2 TiesToAway AfterRounding 0x4000 (empty)
0x3 TiesToAway AfterRounding 0x4200 (empty)
0x4 TiesToAway AfterRounding 0x4400 (empty)
0x5 TiesToAway AfterRounding 0x4500 (empty)
0x6 TiesToAway AfterRounding 0x4600 (empty)
0x7 TiesToAway AfterRounding 0x4700 (empty)
0x7FF TiesToAway AfterRounding 0x67FF (empty)
0x800 TiesToAway AfterRounding 0x6800 (empty)
0x801 TiesToAway AfterRounding 0x6801 INEXACT
0xFFE0 TiesToAway AfterRounding 0x7BFF (empty)
0xFFE1 TiesToAway AfterRounding 0x7BFF INEXACT
0xFFEF TiesToAway AfterRounding 0x7BFF INEXACT
0xFFF0 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFF1 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFF TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0x80000000 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0x7FFFFFFFFFFFFFFF TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFF TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFE TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFD TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFC TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFB TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFFA TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFFFF9 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF801 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF800 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFFF7FF TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0020 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF001F TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0011 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF0010 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFFFFFF000F TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000001 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0xFFFFFFFF80000000 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000001 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW
0x8000000000000000 TiesToAway AfterRounding 0x7C00 INEXACT|OVERFLOW