sbv-11.1: SBVTestSuite/GoldFiles/optFloat4.gold
Optimal model:
x = 1.0e-45 :: Float
3 2 1 0
1 09876543 21098765432109876543210
S ---E8--- ----------S23----------
Binary layout: 0 00000000 00000000000000000000001
Hex layout: 0000 0001
Precision: Single
Sign: Positive
Exponent: -126 (Subnormal, with fixed exponent value. Stored: 0, Bias: 127)
Classification: FP_SUBNORMAL
Binary: 0b1p-149
Octal: 0o2p-150
Decimal: 1.0e-45
Hex: 0x8p-152
y = 1.0e-45 :: Float
3 2 1 0
1 09876543 21098765432109876543210
S ---E8--- ----------S23----------
Binary layout: 0 00000000 00000000000000000000001
Hex layout: 0000 0001
Precision: Single
Sign: Positive
Exponent: -126 (Subnormal, with fixed exponent value. Stored: 0, Bias: 127)
Classification: FP_SUBNORMAL
Binary: 0b1p-149
Octal: 0o2p-150
Decimal: 1.0e-45
Hex: 0x8p-152
toMetricSpace(metric-min-x+y) = 2147483650 :: Word32
3 2 1 0
1098 7654 3210 9876 5432 1098 7654 3210
Binary layout: 1000 0000 0000 0000 0000 0000 0000 0010
Hex layout: 8000 0002
Type: Unsigned 32-bit word
Binary: 0b10000000000000000000000000000010
Octal: 0o20000000002
Decimal: 2147483650
Hex: 0x80000002
metric-min-x+y = 3.0e-45 :: Float
3 2 1 0
1 09876543 21098765432109876543210
S ---E8--- ----------S23----------
Binary layout: 0 00000000 00000000000000000000010
Hex layout: 0000 0002
Precision: Single
Sign: Positive
Exponent: -126 (Subnormal, with fixed exponent value. Stored: 0, Bias: 127)
Classification: FP_SUBNORMAL
Binary: 0b1p-148
Octal: 0o4p-150
Decimal: 3.0e-45
Hex: 0x1p-148
min-x+y = 3.0e-45 :: Float
3 2 1 0
1 09876543 21098765432109876543210
S ---E8--- ----------S23----------
Binary layout: 0 00000000 00000000000000000000010
Hex layout: 0000 0002
Precision: Single
Sign: Positive
Exponent: -126 (Subnormal, with fixed exponent value. Stored: 0, Bias: 127)
Classification: FP_SUBNORMAL
Binary: 0b1p-148
Octal: 0o4p-150
Decimal: 3.0e-45
Hex: 0x1p-148