hexf_simple_half.lit

RUN: %ff -h 0x1p+1 | filecheck %s
CHECK: 64-bit double precision
CHECK-NEXT: Hex: 0x4000000000000000
CHECK-NEXT: Bits: 0 10000000000 0000000000000000000000000000000000000000000000000000
CHECK-NEXT: Float: 2, 0x1p+1, 2.0000000000000000e+00

CHECK: 32-bit single precision
CHECK-NEXT: Hex: 0x40000000
CHECK-NEXT: Bits: 0 10000000 00000000000000000000000
CHECK-NEXT: Float: 2, 0x1p+1, 2.0000000e+00

CHECK: 16-bit half precision
CHECK-NEXT: Hex: 0x4000
CHECK-NEXT: Bits: 0 10000 0000000000
CHECK-NEXT: Float: 2, 0x1p+1, 2.0000000e+00