[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] tests/tcg/hppa: Add float reference files
From: |
Philippe Mathieu-Daudé |
Subject: |
[PATCH] tests/tcg/hppa: Add float reference files |
Date: |
Tue, 28 Dec 2021 17:02:34 +0100 |
Generated on PA8900 (PA-RISC 2.0).
Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
---
tests/tcg/hppa/float_convs.ref | 748 ++++++++++++++++++++++++++++++++
tests/tcg/hppa/float_madds.ref | 768 +++++++++++++++++++++++++++++++++
2 files changed, 1516 insertions(+)
create mode 100644 tests/tcg/hppa/float_convs.ref
create mode 100644 tests/tcg/hppa/float_madds.ref
diff --git a/tests/tcg/hppa/float_convs.ref b/tests/tcg/hppa/float_convs.ref
new file mode 100644
index 00000000000..54d7200ab47
--- /dev/null
+++ b/tests/tcg/hppa/float_convs.ref
@@ -0,0 +1,748 @@
+### Rounding to nearest
+from single: f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+ to double: f64(-0x1.00000fff7ffff0000000p+513:0x00e0000000fff7ffff) (INVALID)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(-nan:0xffbfffff)
+ to double: f64(-nan:0x00e0000000fff7ffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(nan:0xff800000)
+ to double: f64(nan:0x0000000000fff00000) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(-nan:0xff7fffff)
+ to double: f64(-nan:0x00e0000000c7efffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xf30c3a59)
+ to double: f64(nan:0x0020000000c661874b) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xf1605d5b)
+ to double: f64(nan:0x0060000000c62c0bab) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xab98fba8)
+ to double: f64(nan:0x0000000000bd731f75) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x9ea82a22)
+ to double: f64(nan:0x0040000000bbd50544) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x80800000)
+ to double: f64(nan:0x0000000000b8100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0000000000)
+ to double: f64(nan:00000000000000000000) (OK)
+ to int32: 0 (OK)
+ to int64: 0 (OK)
+ to uint32: 0 (OK)
+ to uint64: 0 (OK)
+from single: f32(nan:0x00800000)
+ to double: f64(nan:0x000000000038100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x33000000)
+ to double: f64(nan:0x00000000003e600000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x337ffff3)
+ to double: f64(nan:0x00600000003e6ffffe) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(-nan:0x387fc00d)
+ to double: f64(-nan:0x00a00000003f0ff801) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(-nan:0x38800006)
+ to double: f64(-nan:0x00c00000003f100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x3f800000)
+ to double: f64(nan:0x00000000003ff00000) (OK)
+ to int32: 1 (OK)
+ to int64: 4294967296 (OK)
+ to uint32: 0 (OK)
+ to uint64: 4294967296 (OK)
+from single: f32(nan:0x3f802000)
+ to double: f64(nan:0x00000000003ff00400) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 4294967296 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 4294967296 (INEXACT )
+from single: f32(nan:0x40000000)
+ to double: f64(nan:0x000000000040000000) (OK)
+ to int32: 2 (OK)
+ to int64: 8589934592 (OK)
+ to uint32: 0 (OK)
+ to uint64: 8589934592 (OK)
+from single: f32(-nan:0x402df854)
+ to double: f64(-nan:0x00800000004005bf0a) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 8589934592 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 8589934592 (INEXACT )
+from single: f32(nan:0x40490fdb)
+ to double: f64(nan:0x0060000000400921fb) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 12884901888 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 12884901888 (INEXACT )
+from single: f32(nan:0x477fdf00)
+ to double: f64(nan:0x000000000040effbe0) (OK)
+ to int32: 65503 (OK)
+ to int64: 281333242789888 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281333242789888 (OK)
+from single: f32(nan:0x477fe000)
+ to double: f64(nan:0x000000000040effc00) (OK)
+ to int32: 65504 (OK)
+ to int64: 281337537757184 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281337537757184 (OK)
+from single: f32(nan:0x477fe100)
+ to double: f64(nan:0x000000000040effc20) (OK)
+ to int32: 65505 (OK)
+ to int64: 281341832724480 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281341832724480 (OK)
+from single: f32(nan:0x47ffdf80)
+ to double: f64(nan:0x000000000040fffbf0) (OK)
+ to int32: 131007 (OK)
+ to int64: 562670780547072 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562670780547072 (OK)
+from single: f32(nan:0x47ffe000)
+ to double: f64(nan:0x000000000040fffc00) (OK)
+ to int32: 131008 (OK)
+ to int64: 562675075514368 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562675075514368 (OK)
+from single: f32(nan:0x47ffe080)
+ to double: f64(nan:0x000000000040fffc10) (OK)
+ to int32: 131009 (OK)
+ to int64: 562679370481664 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562679370481664 (OK)
+from single: f32(nan:0x71605d5b)
+ to double: f64(nan:0x0060000000462c0bab) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (INEXACT )
+from single: f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+ to double: f64(-0x1.0000047efffff0000000p+513:0x00e000000047efffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (INEXACT )
+from single: f32(0x0.000007ff000000000000p-1022:0x7f800000)
+ to double: f64(0x0.000007ff000000000000p-1022:0x00000000007ff00000) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (OK)
+from single: f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+ to double: f64(-0x1.000007ff7ffff0000000p+513:0x00e00000007ff7ffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(-nan:0x7fffffff)
+ to double: f64(-nan:0x00e00000007ff7ffff) (INVALID)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+### Rounding upwards
+from single: f32(-nan:0xffffffff)
+ to double: f64(-nan:0x00e0000000fff7ffff) (INVALID)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(-nan:0xffbfffff)
+ to double: f64(-nan:0x00e0000000fff7ffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(nan:0xff800000)
+ to double: f64(nan:0x0000000000fff00000) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(-nan:0xff7fffff)
+ to double: f64(-nan:0x00e0000000c7efffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xf30c3a59)
+ to double: f64(nan:0x0020000000c661874b) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xf1605d5b)
+ to double: f64(nan:0x0060000000c62c0bab) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xab98fba8)
+ to double: f64(nan:0x0000000000bd731f75) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x9ea82a22)
+ to double: f64(nan:0x0040000000bbd50544) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x80800000)
+ to double: f64(nan:0x0000000000b8100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0000000000)
+ to double: f64(nan:00000000000000000000) (OK)
+ to int32: 0 (OK)
+ to int64: 0 (OK)
+ to uint32: 0 (OK)
+ to uint64: 0 (OK)
+from single: f32(nan:0x00800000)
+ to double: f64(nan:0x000000000038100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x33000000)
+ to double: f64(nan:0x00000000003e600000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x337ffff3)
+ to double: f64(nan:0x00600000003e6ffffe) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(-nan:0x387fc00d)
+ to double: f64(-nan:0x00a00000003f0ff801) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(-nan:0x38800006)
+ to double: f64(-nan:0x00c00000003f100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x3f800000)
+ to double: f64(nan:0x00000000003ff00000) (OK)
+ to int32: 1 (OK)
+ to int64: 4294967296 (OK)
+ to uint32: 0 (OK)
+ to uint64: 4294967296 (OK)
+from single: f32(nan:0x3f802000)
+ to double: f64(nan:0x00000000003ff00400) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 4294967296 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 4294967296 (INEXACT )
+from single: f32(nan:0x40000000)
+ to double: f64(nan:0x000000000040000000) (OK)
+ to int32: 2 (OK)
+ to int64: 8589934592 (OK)
+ to uint32: 0 (OK)
+ to uint64: 8589934592 (OK)
+from single: f32(-nan:0x402df854)
+ to double: f64(-nan:0x00800000004005bf0a) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 8589934592 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 8589934592 (INEXACT )
+from single: f32(nan:0x40490fdb)
+ to double: f64(nan:0x0060000000400921fb) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 12884901888 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 12884901888 (INEXACT )
+from single: f32(nan:0x477fdf00)
+ to double: f64(nan:0x000000000040effbe0) (OK)
+ to int32: 65503 (OK)
+ to int64: 281333242789888 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281333242789888 (OK)
+from single: f32(nan:0x477fe000)
+ to double: f64(nan:0x000000000040effc00) (OK)
+ to int32: 65504 (OK)
+ to int64: 281337537757184 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281337537757184 (OK)
+from single: f32(nan:0x477fe100)
+ to double: f64(nan:0x000000000040effc20) (OK)
+ to int32: 65505 (OK)
+ to int64: 281341832724480 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281341832724480 (OK)
+from single: f32(nan:0x47ffdf80)
+ to double: f64(nan:0x000000000040fffbf0) (OK)
+ to int32: 131007 (OK)
+ to int64: 562670780547072 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562670780547072 (OK)
+from single: f32(nan:0x47ffe000)
+ to double: f64(nan:0x000000000040fffc00) (OK)
+ to int32: 131008 (OK)
+ to int64: 562675075514368 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562675075514368 (OK)
+from single: f32(nan:0x47ffe080)
+ to double: f64(nan:0x000000000040fffc10) (OK)
+ to int32: 131009 (OK)
+ to int64: 562679370481664 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562679370481664 (OK)
+from single: f32(nan:0x71605d5b)
+ to double: f64(nan:0x0060000000462c0bab) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (INEXACT )
+from single: f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+ to double: f64(-0x1.0000047efffff0000000p+513:0x00e000000047efffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (INEXACT )
+from single: f32(0x0.000007ff000000000000p-1022:0x7f800000)
+ to double: f64(0x0.000007ff000000000000p-1022:0x00000000007ff00000) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (OK)
+from single: f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+ to double: f64(-0x1.000007ff7ffff0000000p+513:0x00e00000007ff7ffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(-nan:0x7fffffff)
+ to double: f64(-nan:0x00e00000007ff7ffff) (INVALID)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+### Rounding downwards
+from single: f32(-nan:0xffffffff)
+ to double: f64(-nan:0x00e0000000fff7ffff) (INVALID)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(-nan:0xffbfffff)
+ to double: f64(-nan:0x00e0000000fff7ffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(nan:0xff800000)
+ to double: f64(nan:0x0000000000fff00000) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(-nan:0xff7fffff)
+ to double: f64(-nan:0x00e0000000c7efffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xf30c3a59)
+ to double: f64(nan:0x0020000000c661874b) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xf1605d5b)
+ to double: f64(nan:0x0060000000c62c0bab) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xab98fba8)
+ to double: f64(nan:0x0000000000bd731f75) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x9ea82a22)
+ to double: f64(nan:0x0040000000bbd50544) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x80800000)
+ to double: f64(nan:0x0000000000b8100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0000000000)
+ to double: f64(nan:00000000000000000000) (OK)
+ to int32: 0 (OK)
+ to int64: 0 (OK)
+ to uint32: 0 (OK)
+ to uint64: 0 (OK)
+from single: f32(nan:0x00800000)
+ to double: f64(nan:0x000000000038100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x33000000)
+ to double: f64(nan:0x00000000003e600000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x337ffff3)
+ to double: f64(nan:0x00600000003e6ffffe) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(-nan:0x387fc00d)
+ to double: f64(-nan:0x00a00000003f0ff801) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(-nan:0x38800006)
+ to double: f64(-nan:0x00c00000003f100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x3f800000)
+ to double: f64(nan:0x00000000003ff00000) (OK)
+ to int32: 1 (OK)
+ to int64: 4294967296 (OK)
+ to uint32: 0 (OK)
+ to uint64: 4294967296 (OK)
+from single: f32(nan:0x3f802000)
+ to double: f64(nan:0x00000000003ff00400) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 4294967296 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 4294967296 (INEXACT )
+from single: f32(nan:0x40000000)
+ to double: f64(nan:0x000000000040000000) (OK)
+ to int32: 2 (OK)
+ to int64: 8589934592 (OK)
+ to uint32: 0 (OK)
+ to uint64: 8589934592 (OK)
+from single: f32(-nan:0x402df854)
+ to double: f64(-nan:0x00800000004005bf0a) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 8589934592 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 8589934592 (INEXACT )
+from single: f32(nan:0x40490fdb)
+ to double: f64(nan:0x0060000000400921fb) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 12884901888 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 12884901888 (INEXACT )
+from single: f32(nan:0x477fdf00)
+ to double: f64(nan:0x000000000040effbe0) (OK)
+ to int32: 65503 (OK)
+ to int64: 281333242789888 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281333242789888 (OK)
+from single: f32(nan:0x477fe000)
+ to double: f64(nan:0x000000000040effc00) (OK)
+ to int32: 65504 (OK)
+ to int64: 281337537757184 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281337537757184 (OK)
+from single: f32(nan:0x477fe100)
+ to double: f64(nan:0x000000000040effc20) (OK)
+ to int32: 65505 (OK)
+ to int64: 281341832724480 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281341832724480 (OK)
+from single: f32(nan:0x47ffdf80)
+ to double: f64(nan:0x000000000040fffbf0) (OK)
+ to int32: 131007 (OK)
+ to int64: 562670780547072 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562670780547072 (OK)
+from single: f32(nan:0x47ffe000)
+ to double: f64(nan:0x000000000040fffc00) (OK)
+ to int32: 131008 (OK)
+ to int64: 562675075514368 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562675075514368 (OK)
+from single: f32(nan:0x47ffe080)
+ to double: f64(nan:0x000000000040fffc10) (OK)
+ to int32: 131009 (OK)
+ to int64: 562679370481664 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562679370481664 (OK)
+from single: f32(nan:0x71605d5b)
+ to double: f64(nan:0x0060000000462c0bab) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (INEXACT )
+from single: f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+ to double: f64(-0x1.0000047efffff0000000p+513:0x00e000000047efffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (INEXACT )
+from single: f32(0x0.000007ff000000000000p-1022:0x7f800000)
+ to double: f64(0x0.000007ff000000000000p-1022:0x00000000007ff00000) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (OK)
+from single: f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+ to double: f64(-0x1.000007ff7ffff0000000p+513:0x00e00000007ff7ffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(-nan:0x7fffffff)
+ to double: f64(-nan:0x00e00000007ff7ffff) (INVALID)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+### Rounding to zero
+from single: f32(-nan:0xffffffff)
+ to double: f64(-nan:0x00e0000000fff7ffff) (INVALID)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(-nan:0xffbfffff)
+ to double: f64(-nan:0x00e0000000fff7ffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(nan:0xff800000)
+ to double: f64(nan:0x0000000000fff00000) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(-nan:0xff7fffff)
+ to double: f64(-nan:0x00e0000000c7efffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xf30c3a59)
+ to double: f64(nan:0x0020000000c661874b) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xf1605d5b)
+ to double: f64(nan:0x0060000000c62c0bab) (OK)
+ to int32: 0 (INVALID)
+ to int64: 2147483648 (INVALID)
+ to uint32: -2147483648 (INVALID)
+ to uint64: 2147483648 (INVALID)
+from single: f32(nan:0xab98fba8)
+ to double: f64(nan:0x0000000000bd731f75) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x9ea82a22)
+ to double: f64(nan:0x0040000000bbd50544) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x80800000)
+ to double: f64(nan:0x0000000000b8100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0000000000)
+ to double: f64(nan:00000000000000000000) (OK)
+ to int32: 0 (OK)
+ to int64: 0 (OK)
+ to uint32: 0 (OK)
+ to uint64: 0 (OK)
+from single: f32(nan:0x00800000)
+ to double: f64(nan:0x000000000038100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x33000000)
+ to double: f64(nan:0x00000000003e600000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x337ffff3)
+ to double: f64(nan:0x00600000003e6ffffe) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(-nan:0x387fc00d)
+ to double: f64(-nan:0x00a00000003f0ff801) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(-nan:0x38800006)
+ to double: f64(-nan:0x00c00000003f100000) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 0 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 0 (INEXACT )
+from single: f32(nan:0x3f800000)
+ to double: f64(nan:0x00000000003ff00000) (OK)
+ to int32: 1 (OK)
+ to int64: 4294967296 (OK)
+ to uint32: 0 (OK)
+ to uint64: 4294967296 (OK)
+from single: f32(nan:0x3f802000)
+ to double: f64(nan:0x00000000003ff00400) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 4294967296 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 4294967296 (INEXACT )
+from single: f32(nan:0x40000000)
+ to double: f64(nan:0x000000000040000000) (OK)
+ to int32: 2 (OK)
+ to int64: 8589934592 (OK)
+ to uint32: 0 (OK)
+ to uint64: 8589934592 (OK)
+from single: f32(-nan:0x402df854)
+ to double: f64(-nan:0x00800000004005bf0a) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 8589934592 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 8589934592 (INEXACT )
+from single: f32(nan:0x40490fdb)
+ to double: f64(nan:0x0060000000400921fb) (OK)
+ to int32: 1 (INEXACT )
+ to int64: 12884901888 (INEXACT )
+ to uint32: 0 (INEXACT )
+ to uint64: 12884901888 (INEXACT )
+from single: f32(nan:0x477fdf00)
+ to double: f64(nan:0x000000000040effbe0) (OK)
+ to int32: 65503 (OK)
+ to int64: 281333242789888 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281333242789888 (OK)
+from single: f32(nan:0x477fe000)
+ to double: f64(nan:0x000000000040effc00) (OK)
+ to int32: 65504 (OK)
+ to int64: 281337537757184 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281337537757184 (OK)
+from single: f32(nan:0x477fe100)
+ to double: f64(nan:0x000000000040effc20) (OK)
+ to int32: 65505 (OK)
+ to int64: 281341832724480 (OK)
+ to uint32: 0 (OK)
+ to uint64: 281341832724480 (OK)
+from single: f32(nan:0x47ffdf80)
+ to double: f64(nan:0x000000000040fffbf0) (OK)
+ to int32: 131007 (OK)
+ to int64: 562670780547072 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562670780547072 (OK)
+from single: f32(nan:0x47ffe000)
+ to double: f64(nan:0x000000000040fffc00) (OK)
+ to int32: 131008 (OK)
+ to int64: 562675075514368 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562675075514368 (OK)
+from single: f32(nan:0x47ffe080)
+ to double: f64(nan:0x000000000040fffc10) (OK)
+ to int32: 131009 (OK)
+ to int64: 562679370481664 (OK)
+ to uint32: 0 (OK)
+ to uint64: 562679370481664 (OK)
+from single: f32(nan:0x71605d5b)
+ to double: f64(nan:0x0060000000462c0bab) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (INEXACT )
+from single: f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+ to double: f64(-0x1.0000047efffff0000000p+513:0x00e000000047efffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (INEXACT )
+from single: f32(0x0.000007ff000000000000p-1022:0x7f800000)
+ to double: f64(0x0.000007ff000000000000p-1022:0x00000000007ff00000) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -9223372036854775808 (OK)
+from single: f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+ to double: f64(-0x1.000007ff7ffff0000000p+513:0x00e00000007ff7ffff) (OK)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
+from single: f32(-nan:0x7fffffff)
+ to double: f64(-nan:0x00e00000007ff7ffff) (INVALID)
+ to int32: 0 (INVALID)
+ to int64: -2147483649 (INVALID)
+ to uint32: 2147483647 (INVALID)
+ to uint64: -2147483649 (INVALID)
diff --git a/tests/tcg/hppa/float_madds.ref b/tests/tcg/hppa/float_madds.ref
new file mode 100644
index 00000000000..5c17e54d8eb
--- /dev/null
+++ b/tests/tcg/hppa/float_madds.ref
@@ -0,0 +1,768 @@
+### Rounding to nearest
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (0/0)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (0/1)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID (0/2)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (1/0)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (1/1)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (1/2)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (2/0)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (2/1)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (2/2)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (3/0)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (3/1)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (3/2)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (4/0)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (4/1)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (4/2)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (5/0)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (5/1)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (5/2)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/0)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/1)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/2)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (7/0)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (7/1)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (7/2)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (8/0)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (8/1)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (8/2)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (9/0)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (9/1)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (9/2)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (10/0)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (10/1)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (10/2)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (11/0)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (11/1)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (11/2)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (12/0)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(12/1)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (12/2)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(13/0)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/1)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/2)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/0)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/1)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/2)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/0)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/1)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/2)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/0)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/1)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/2)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (17/0)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (17/1)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (17/2)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (18/0)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (18/1)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (18/2)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (19/0)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (19/1)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (19/2)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/0)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/1)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/2)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/0)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/1)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/2)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/0)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/1)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/2)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/0)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/1)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/2)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (24/0)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (24/1)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (24/2)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (25/0)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (25/1)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (25/2)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT (26/0)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (26/1)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=INEXACT (26/2)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (27/0)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (27/1)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (27/2)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(28/0)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (28/1)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (28/2)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/0)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/1)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/2)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/0)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/1)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/2)
+# LP184149
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.000003fe000000000000p-1022:0x3f000000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INVALID (31/0)
+op : f32(0x0.0000036a000000000000p-1022:0x00000001) *
f32(0x0.0000036a000000000000p-1022:0x00000001) +
f32(0x0.0000036a000000000000p-1022:0x00000001)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (32/0)
+### Rounding upwards
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (0/0)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (0/1)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID (0/2)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (1/0)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (1/1)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (1/2)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (2/0)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (2/1)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (2/2)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (3/0)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (3/1)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (3/2)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (4/0)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (4/1)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (4/2)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (5/0)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(5/1)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (5/2)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(6/0)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/1)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/2)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (7/0)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (7/1)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (7/2)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (8/0)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (8/1)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (8/2)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (9/0)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (9/1)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (9/2)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (10/0)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=INEXACT (10/1)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (10/2)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=INEXACT (11/0)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (11/1)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (11/2)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (12/0)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(12/1)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=INEXACT (12/2)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(13/0)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/1)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/2)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/0)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/1)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/2)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/0)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/1)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/2)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/0)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/1)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/2)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (17/0)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (17/1)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (17/2)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (18/0)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (18/1)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (18/2)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (19/0)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (19/1)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (19/2)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/0)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/1)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/2)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/0)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/1)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/2)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/0)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/1)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/2)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/0)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/1)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/2)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (24/0)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (24/1)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (24/2)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (25/0)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (25/1)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (25/2)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT (26/0)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (26/1)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (26/2)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (27/0)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (27/1)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (27/2)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(28/0)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (28/1)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (28/2)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/0)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/1)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/2)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/0)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/1)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/2)
+# LP184149
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.000003fe000000000000p-1022:0x3f000000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INVALID (31/0)
+op : f32(0x0.0000036a000000000000p-1022:0x00000001) *
f32(0x0.0000036a000000000000p-1022:0x00000001) +
f32(0x0.0000036a000000000000p-1022:0x00000001)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (32/0)
+### Rounding downwards
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.0000036c400000000000p-1022:0x00000005) flags=OVERFLOW INEXACT
INVALID (0/0)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (0/1)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID (0/2)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (1/0)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (1/1)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (1/2)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (2/0)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (2/1)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (2/2)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (3/0)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (3/1)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (3/2)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (4/0)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (4/1)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (4/2)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (5/0)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (5/1)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (5/2)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/0)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/1)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/2)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (7/0)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (7/1)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (7/2)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (8/0)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (8/1)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (8/2)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (9/0)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (9/1)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (9/2)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (10/0)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (10/1)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (10/2)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (11/0)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (11/1)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (11/2)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (12/0)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (12/1)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (12/2)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/0)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/1)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/2)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/0)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/1)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(14/2)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/0)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/1)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/2)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/0)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/1)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/2)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (17/0)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (17/1)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (17/2)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (18/0)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (18/1)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (18/2)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (19/0)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (19/1)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (19/2)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/0)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/1)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/2)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/0)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/1)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/2)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/0)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/1)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/2)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/0)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/1)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/2)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (24/0)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (24/1)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (24/2)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (25/0)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=INEXACT (25/1)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (25/2)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT (26/0)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (26/1)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=INEXACT (26/2)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (27/0)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=INEXACT (27/1)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (27/2)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(28/0)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.0000036c400000000000p-1022:0x00000005) flags=OVERFLOW INEXACT
INVALID (28/1)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (28/2)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/0)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/1)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/2)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/0)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/1)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/2)
+# LP184149
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.000003fe000000000000p-1022:0x3f000000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INVALID (31/0)
+op : f32(0x0.0000036a000000000000p-1022:0x00000001) *
f32(0x0.0000036a000000000000p-1022:0x00000001) +
f32(0x0.0000036a000000000000p-1022:0x00000001)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (32/0)
+### Rounding to zero
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (0/0)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (0/1)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID (0/2)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (1/0)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (1/1)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (1/2)
+op : f32(0x0.00000fff000000000000p-1022:0xff800000) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (2/0)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x0.00000fff000000000000p-1022:0xff800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (2/1)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x0.00000fff000000000000p-1022:0xff800000) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (2/2)
+op : f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (3/0)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (3/1)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(-0x1.00000c7efffff0000000p+513:0xff7fffff) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (3/2)
+op : f32(0x1.00000c661874b0000000p-511:0xf30c3a59) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (4/0)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000c661874b0000000p-511:0xf30c3a59)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (4/1)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000c661874b0000000p-511:0xf30c3a59) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (4/2)
+op : f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (5/0)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (5/1)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x1.00000c62c0bab0000000p+513:0xf1605d5b) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (5/2)
+op : f32(0x0.00000bd731f750000000p-1022:0xab98fba8) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/0)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000bd731f750000000p-1022:0xab98fba8)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/1)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000bd731f750000000p-1022:0xab98fba8) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (6/2)
+op : f32(0x1.00000bbd505440000000p+1:0x9ea82a22) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (7/0)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x1.00000bbd505440000000p+1:0x9ea82a22)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (7/1)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x1.00000bbd505440000000p+1:0x9ea82a22) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (7/2)
+op : f32(0x0.00000b81000000000000p-1022:0x80800000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (8/0)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.00000b81000000000000p-1022:0x80800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (8/1)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.00000b81000000000000p-1022:0x80800000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (8/2)
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (9/0)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (9/1)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x0.00000000000000000000p+0:0000000000) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (9/2)
+op : f32(0x0.00000381000000000000p-1022:0x00800000) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (10/0)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(0x0.00000381000000000000p-1022:0x00800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (10/1)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(0x0.00000381000000000000p-1022:0x00800000) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (10/2)
+op : f32(0x0.000003e6000000000000p-1022:0x33000000) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (11/0)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(0x0.000003e6000000000000p-1022:0x33000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (11/1)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(0x0.000003e6000000000000p-1022:0x33000000) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (11/2)
+op : f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (12/0)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(12/1)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x1.000003e6ffffe0000000p+513:0x337ffff3) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (12/2)
+op : f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=UNDERFLOW INEXACT
(13/0)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/1)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(-0x1.000003f0ff8010000000p-511:0x387fc00d) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (13/2)
+op : f32(-0x1.000003f1000000000000p+1:0x38800006) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/0)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(-0x1.000003f1000000000000p+1:0x38800006)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/1)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(-0x1.000003f1000000000000p+1:0x38800006) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (14/2)
+op : f32(0x0.000003ff000000000000p-1022:0x3f800000) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/0)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(0x0.000003ff000000000000p-1022:0x3f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/1)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(0x0.000003ff000000000000p-1022:0x3f800000) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (15/2)
+op : f32(0x0.000003ff004000000000p-1022:0x3f802000) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/0)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x0.000003ff004000000000p-1022:0x3f802000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/1)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x0.000003ff004000000000p-1022:0x3f802000) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (16/2)
+op : f32(0x0.00000400000000000000p-1022:0x40000000) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (17/0)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.00000400000000000000p-1022:0x40000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (17/1)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.00000400000000000000p-1022:0x40000000) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (17/2)
+op : f32(-0x0.000004005bf0a0000000p-1022:0x402df854) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (18/0)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(-0x0.000004005bf0a0000000p-1022:0x402df854)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (18/1)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(-0x0.000004005bf0a0000000p-1022:0x402df854) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (18/2)
+op : f32(0x1.00000400921fb0000000p+513:0x40490fdb) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (19/0)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x1.00000400921fb0000000p+513:0x40490fdb)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (19/1)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x1.00000400921fb0000000p+513:0x40490fdb) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (19/2)
+op : f32(0x0.0000040effbe00000000p-1022:0x477fdf00) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/0)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040effbe00000000p-1022:0x477fdf00)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/1)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040effbe00000000p-1022:0x477fdf00) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (20/2)
+op : f32(0x0.0000040effc000000000p-1022:0x477fe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/0)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040effc000000000p-1022:0x477fe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/1)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040effc000000000p-1022:0x477fe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (21/2)
+op : f32(0x0.0000040effc200000000p-1022:0x477fe100) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/0)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040effc200000000p-1022:0x477fe100)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/1)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040effc200000000p-1022:0x477fe100) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (22/2)
+op : f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/0)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/1)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x0.0000040fffbf00000000p-1022:0x47ffdf80) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (23/2)
+op : f32(0x0.0000040fffc000000000p-1022:0x47ffe000) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (24/0)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(0x0.0000040fffc000000000p-1022:0x47ffe000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (24/1)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(0x0.0000040fffc000000000p-1022:0x47ffe000) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (24/2)
+op : f32(0x0.0000040fffc100000000p-1022:0x47ffe080) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (25/0)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.0000040fffc100000000p-1022:0x47ffe080)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (25/1)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.0000040fffc100000000p-1022:0x47ffe080) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (25/2)
+op : f32(0x1.00000462c0bab0000000p+513:0x71605d5b) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT (26/0)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(0x1.00000462c0bab0000000p+513:0x71605d5b)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (26/1)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(0x1.00000462c0bab0000000p+513:0x71605d5b) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.0000036a000000000000p-1022:0x00000001) flags=INEXACT (26/2)
+op : f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (27/0)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (27/1)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.0000047efffff0000000p+513:0x7f7fffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (27/2)
+op : f32(0x0.000007ff000000000000p-1022:0x7f800000) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(28/0)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(0x0.000007ff000000000000p-1022:0x7f800000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INEXACT INVALID (28/1)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(0x0.000007ff000000000000p-1022:0x7f800000) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (28/2)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/0)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/1)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(29/2)
+op : f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/0)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffffffff) *
f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) +
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/1)
+op : f32(-0x1.00000fff7ffff0000000p+513:0xffbfffff) *
f32(-0x1.000007ff7ffff0000000p+513:0x7fffffff) +
f32(-0x1.00000fff7ffff0000000p+513:0xffffffff)
+res: f32(0x0.00000371fe0000000000p-1022:0x000000ff) flags=INEXACT INVALID
(30/2)
+# LP184149
+op : f32(0x0.00000000000000000000p+0:0000000000) *
f32(0x0.000003fe000000000000p-1022:0x3f000000) +
f32(0x0.00000000000000000000p+0:0000000000)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=INVALID (31/0)
+op : f32(0x0.0000036a000000000000p-1022:0x00000001) *
f32(0x0.0000036a000000000000p-1022:0x00000001) +
f32(0x0.0000036a000000000000p-1022:0x00000001)
+res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT
INVALID (32/0)
--
2.33.1
- [PATCH] tests/tcg/hppa: Add float reference files,
Philippe Mathieu-Daudé <=