From: "Alex Bennée" <alex.bennee@linaro.org>
To: peter.maydell@linaro.org
Cc: "Eduardo Habkost" <ehabkost@redhat.com>,
"Laszlo Ersek" <lersek@redhat.com>,
"Richard Henderson" <richard.henderson@linaro.org>,
qemu-devel@nongnu.org,
"Philippe Mathieu-Daudé" <philmd@redhat.com>,
"Joseph Myers" <joseph@codesourcery.com>,
"Paolo Bonzini" <pbonzini@redhat.com>,
"Alex Bennée" <alex.bennee@linaro.org>,
"Aurelien Jarno" <aurelien@aurel32.net>,
"Richard Henderson" <rth@twiddle.net>
Subject: [PULL 07/16] target/i386: floatx80: avoid compound literals in static initializers
Date: Mon, 27 Jul 2020 13:23:48 +0100 [thread overview]
Message-ID: <20200727122357.31263-8-alex.bennee@linaro.org> (raw)
In-Reply-To: <20200727122357.31263-1-alex.bennee@linaro.org>
From: Laszlo Ersek <lersek@redhat.com>
Quoting ISO C99 6.7.8p4, "All the expressions in an initializer for an
object that has static storage duration shall be constant expressions or
string literals".
The compound literal produced by the make_floatx80() macro is not such a
constant expression, per 6.6p7-9. (An implementation may accept it,
according to 6.6p10, but is not required to.)
Therefore using "floatx80_zero" and make_floatx80() for initializing
"f2xm1_table" and "fpatan_table" is not portable. And gcc-4.8 in RHEL-7.6
actually chokes on them:
> target/i386/fpu_helper.c:871:5: error: initializer element is not constant
> { make_floatx80(0xbfff, 0x8000000000000000ULL),
> ^
We've had the make_floatx80_init() macro for this purpose since commit
3bf7e40ab914 ("softfloat: fix for C99", 2012-03-17), so let's use that
macro again.
Fixes: eca30647fc0 ("target/i386: reimplement f2xm1 using floatx80 operations")
Fixes: ff57bb7b632 ("target/i386: reimplement fpatan using floatx80 operations")
Signed-off-by: Laszlo Ersek <lersek@redhat.com>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Cc: Aurelien Jarno <aurelien@aurel32.net>
Cc: Eduardo Habkost <ehabkost@redhat.com>
Cc: Joseph Myers <joseph@codesourcery.com>
Cc: Paolo Bonzini <pbonzini@redhat.com>
Cc: Peter Maydell <peter.maydell@linaro.org>
Link: https://lists.gnu.org/archive/html/qemu-devel/2017-08/msg06566.html
Link: https://lists.gnu.org/archive/html/qemu-devel/2020-07/msg04714.html
Message-Id: <20200716144251.23004-1-lersek@redhat.com>
Message-Id: <20200724064509.331-8-alex.bennee@linaro.org>
diff --git a/include/fpu/softfloat.h b/include/fpu/softfloat.h
index f1a19df066b..659218b5c78 100644
--- a/include/fpu/softfloat.h
+++ b/include/fpu/softfloat.h
@@ -822,6 +822,7 @@ static inline bool floatx80_invalid_encoding(floatx80 a)
}
#define floatx80_zero make_floatx80(0x0000, 0x0000000000000000LL)
+#define floatx80_zero_init make_floatx80_init(0x0000, 0x0000000000000000LL)
#define floatx80_one make_floatx80(0x3fff, 0x8000000000000000LL)
#define floatx80_ln2 make_floatx80(0x3ffe, 0xb17217f7d1cf79acLL)
#define floatx80_pi make_floatx80(0x4000, 0xc90fdaa22168c235LL)
diff --git a/target/i386/fpu_helper.c b/target/i386/fpu_helper.c
index f5e6c4b88d4..4ea73874d83 100644
--- a/target/i386/fpu_helper.c
+++ b/target/i386/fpu_helper.c
@@ -868,201 +868,201 @@ struct f2xm1_data {
};
static const struct f2xm1_data f2xm1_table[65] = {
- { make_floatx80(0xbfff, 0x8000000000000000ULL),
- make_floatx80(0x3ffe, 0x8000000000000000ULL),
- make_floatx80(0xbffe, 0x8000000000000000ULL) },
- { make_floatx80(0xbffe, 0xf800000000002e7eULL),
- make_floatx80(0x3ffe, 0x82cd8698ac2b9160ULL),
- make_floatx80(0xbffd, 0xfa64f2cea7a8dd40ULL) },
- { make_floatx80(0xbffe, 0xefffffffffffe960ULL),
- make_floatx80(0x3ffe, 0x85aac367cc488345ULL),
- make_floatx80(0xbffd, 0xf4aa7930676ef976ULL) },
- { make_floatx80(0xbffe, 0xe800000000006f10ULL),
- make_floatx80(0x3ffe, 0x88980e8092da5c14ULL),
- make_floatx80(0xbffd, 0xeecfe2feda4b47d8ULL) },
- { make_floatx80(0xbffe, 0xe000000000008a45ULL),
- make_floatx80(0x3ffe, 0x8b95c1e3ea8ba2a5ULL),
- make_floatx80(0xbffd, 0xe8d47c382ae8bab6ULL) },
- { make_floatx80(0xbffe, 0xd7ffffffffff8a9eULL),
- make_floatx80(0x3ffe, 0x8ea4398b45cd8116ULL),
- make_floatx80(0xbffd, 0xe2b78ce97464fdd4ULL) },
- { make_floatx80(0xbffe, 0xd0000000000019a0ULL),
- make_floatx80(0x3ffe, 0x91c3d373ab11b919ULL),
- make_floatx80(0xbffd, 0xdc785918a9dc8dceULL) },
- { make_floatx80(0xbffe, 0xc7ffffffffff14dfULL),
- make_floatx80(0x3ffe, 0x94f4efa8fef76836ULL),
- make_floatx80(0xbffd, 0xd61620ae02112f94ULL) },
- { make_floatx80(0xbffe, 0xc000000000006530ULL),
- make_floatx80(0x3ffe, 0x9837f0518db87fbbULL),
- make_floatx80(0xbffd, 0xcf901f5ce48f008aULL) },
- { make_floatx80(0xbffe, 0xb7ffffffffff1723ULL),
- make_floatx80(0x3ffe, 0x9b8d39b9d54eb74cULL),
- make_floatx80(0xbffd, 0xc8e58c8c55629168ULL) },
- { make_floatx80(0xbffe, 0xb00000000000b5e1ULL),
- make_floatx80(0x3ffe, 0x9ef5326091a0c366ULL),
- make_floatx80(0xbffd, 0xc2159b3edcbe7934ULL) },
- { make_floatx80(0xbffe, 0xa800000000006f8aULL),
- make_floatx80(0x3ffe, 0xa27043030c49370aULL),
- make_floatx80(0xbffd, 0xbb1f79f9e76d91ecULL) },
- { make_floatx80(0xbffe, 0x9fffffffffff816aULL),
- make_floatx80(0x3ffe, 0xa5fed6a9b15171cfULL),
- make_floatx80(0xbffd, 0xb40252ac9d5d1c62ULL) },
- { make_floatx80(0xbffe, 0x97ffffffffffb621ULL),
- make_floatx80(0x3ffe, 0xa9a15ab4ea7c30e6ULL),
- make_floatx80(0xbffd, 0xacbd4a962b079e34ULL) },
- { make_floatx80(0xbffe, 0x8fffffffffff162bULL),
- make_floatx80(0x3ffe, 0xad583eea42a1b886ULL),
- make_floatx80(0xbffd, 0xa54f822b7abc8ef4ULL) },
- { make_floatx80(0xbffe, 0x87ffffffffff4d34ULL),
- make_floatx80(0x3ffe, 0xb123f581d2ac7b51ULL),
- make_floatx80(0xbffd, 0x9db814fc5aa7095eULL) },
- { make_floatx80(0xbffe, 0x800000000000227dULL),
- make_floatx80(0x3ffe, 0xb504f333f9de539dULL),
- make_floatx80(0xbffd, 0x95f619980c4358c6ULL) },
- { make_floatx80(0xbffd, 0xefffffffffff3978ULL),
- make_floatx80(0x3ffe, 0xb8fbaf4762fbd0a1ULL),
- make_floatx80(0xbffd, 0x8e08a1713a085ebeULL) },
- { make_floatx80(0xbffd, 0xe00000000000df81ULL),
- make_floatx80(0x3ffe, 0xbd08a39f580bfd8cULL),
- make_floatx80(0xbffd, 0x85eeb8c14fe804e8ULL) },
- { make_floatx80(0xbffd, 0xd00000000000bccfULL),
- make_floatx80(0x3ffe, 0xc12c4cca667062f6ULL),
- make_floatx80(0xbffc, 0xfb4eccd6663e7428ULL) },
- { make_floatx80(0xbffd, 0xc00000000000eff0ULL),
- make_floatx80(0x3ffe, 0xc5672a1155069abeULL),
- make_floatx80(0xbffc, 0xea6357baabe59508ULL) },
- { make_floatx80(0xbffd, 0xb000000000000fe6ULL),
- make_floatx80(0x3ffe, 0xc9b9bd866e2f234bULL),
- make_floatx80(0xbffc, 0xd91909e6474372d4ULL) },
- { make_floatx80(0xbffd, 0x9fffffffffff2172ULL),
- make_floatx80(0x3ffe, 0xce248c151f84bf00ULL),
- make_floatx80(0xbffc, 0xc76dcfab81ed0400ULL) },
- { make_floatx80(0xbffd, 0x8fffffffffffafffULL),
- make_floatx80(0x3ffe, 0xd2a81d91f12afb2bULL),
- make_floatx80(0xbffc, 0xb55f89b83b541354ULL) },
- { make_floatx80(0xbffc, 0xffffffffffff81a3ULL),
- make_floatx80(0x3ffe, 0xd744fccad69d7d5eULL),
- make_floatx80(0xbffc, 0xa2ec0cd4a58a0a88ULL) },
- { make_floatx80(0xbffc, 0xdfffffffffff1568ULL),
- make_floatx80(0x3ffe, 0xdbfbb797daf25a44ULL),
- make_floatx80(0xbffc, 0x901121a0943696f0ULL) },
- { make_floatx80(0xbffc, 0xbfffffffffff68daULL),
- make_floatx80(0x3ffe, 0xe0ccdeec2a94f811ULL),
- make_floatx80(0xbffb, 0xf999089eab583f78ULL) },
- { make_floatx80(0xbffc, 0x9fffffffffff4690ULL),
- make_floatx80(0x3ffe, 0xe5b906e77c83657eULL),
- make_floatx80(0xbffb, 0xd237c8c41be4d410ULL) },
- { make_floatx80(0xbffb, 0xffffffffffff8aeeULL),
- make_floatx80(0x3ffe, 0xeac0c6e7dd24427cULL),
- make_floatx80(0xbffb, 0xa9f9c8c116ddec20ULL) },
- { make_floatx80(0xbffb, 0xbfffffffffff2d18ULL),
- make_floatx80(0x3ffe, 0xefe4b99bdcdb06ebULL),
- make_floatx80(0xbffb, 0x80da33211927c8a8ULL) },
- { make_floatx80(0xbffa, 0xffffffffffff8ccbULL),
- make_floatx80(0x3ffe, 0xf5257d152486d0f4ULL),
- make_floatx80(0xbffa, 0xada82eadb792f0c0ULL) },
- { make_floatx80(0xbff9, 0xffffffffffff11feULL),
- make_floatx80(0x3ffe, 0xfa83b2db722a0846ULL),
- make_floatx80(0xbff9, 0xaf89a491babef740ULL) },
- { floatx80_zero,
- make_floatx80(0x3fff, 0x8000000000000000ULL),
- floatx80_zero },
- { make_floatx80(0x3ff9, 0xffffffffffff2680ULL),
- make_floatx80(0x3fff, 0x82cd8698ac2b9f6fULL),
- make_floatx80(0x3ff9, 0xb361a62b0ae7dbc0ULL) },
- { make_floatx80(0x3ffb, 0x800000000000b500ULL),
- make_floatx80(0x3fff, 0x85aac367cc488345ULL),
- make_floatx80(0x3ffa, 0xb5586cf9891068a0ULL) },
- { make_floatx80(0x3ffb, 0xbfffffffffff4b67ULL),
- make_floatx80(0x3fff, 0x88980e8092da7cceULL),
- make_floatx80(0x3ffb, 0x8980e8092da7cce0ULL) },
- { make_floatx80(0x3ffb, 0xffffffffffffff57ULL),
- make_floatx80(0x3fff, 0x8b95c1e3ea8bd6dfULL),
- make_floatx80(0x3ffb, 0xb95c1e3ea8bd6df0ULL) },
- { make_floatx80(0x3ffc, 0x9fffffffffff811fULL),
- make_floatx80(0x3fff, 0x8ea4398b45cd4780ULL),
- make_floatx80(0x3ffb, 0xea4398b45cd47800ULL) },
- { make_floatx80(0x3ffc, 0xbfffffffffff9980ULL),
- make_floatx80(0x3fff, 0x91c3d373ab11b919ULL),
- make_floatx80(0x3ffc, 0x8e1e9b9d588dc8c8ULL) },
- { make_floatx80(0x3ffc, 0xdffffffffffff631ULL),
- make_floatx80(0x3fff, 0x94f4efa8fef70864ULL),
- make_floatx80(0x3ffc, 0xa7a77d47f7b84320ULL) },
- { make_floatx80(0x3ffc, 0xffffffffffff2499ULL),
- make_floatx80(0x3fff, 0x9837f0518db892d4ULL),
- make_floatx80(0x3ffc, 0xc1bf828c6dc496a0ULL) },
- { make_floatx80(0x3ffd, 0x8fffffffffff80fbULL),
- make_floatx80(0x3fff, 0x9b8d39b9d54e3a79ULL),
- make_floatx80(0x3ffc, 0xdc69cdceaa71d3c8ULL) },
- { make_floatx80(0x3ffd, 0x9fffffffffffbc23ULL),
- make_floatx80(0x3fff, 0x9ef5326091a10313ULL),
- make_floatx80(0x3ffc, 0xf7a993048d081898ULL) },
- { make_floatx80(0x3ffd, 0xafffffffffff20ecULL),
- make_floatx80(0x3fff, 0xa27043030c49370aULL),
- make_floatx80(0x3ffd, 0x89c10c0c3124dc28ULL) },
- { make_floatx80(0x3ffd, 0xc00000000000fd2cULL),
- make_floatx80(0x3fff, 0xa5fed6a9b15171cfULL),
- make_floatx80(0x3ffd, 0x97fb5aa6c545c73cULL) },
- { make_floatx80(0x3ffd, 0xd0000000000093beULL),
- make_floatx80(0x3fff, 0xa9a15ab4ea7c30e6ULL),
- make_floatx80(0x3ffd, 0xa6856ad3a9f0c398ULL) },
- { make_floatx80(0x3ffd, 0xe00000000000c2aeULL),
- make_floatx80(0x3fff, 0xad583eea42a17876ULL),
- make_floatx80(0x3ffd, 0xb560fba90a85e1d8ULL) },
- { make_floatx80(0x3ffd, 0xefffffffffff1e3fULL),
- make_floatx80(0x3fff, 0xb123f581d2abef6cULL),
- make_floatx80(0x3ffd, 0xc48fd6074aafbdb0ULL) },
- { make_floatx80(0x3ffd, 0xffffffffffff1c23ULL),
- make_floatx80(0x3fff, 0xb504f333f9de2cadULL),
- make_floatx80(0x3ffd, 0xd413cccfe778b2b4ULL) },
- { make_floatx80(0x3ffe, 0x8800000000006344ULL),
- make_floatx80(0x3fff, 0xb8fbaf4762fbd0a1ULL),
- make_floatx80(0x3ffd, 0xe3eebd1d8bef4284ULL) },
- { make_floatx80(0x3ffe, 0x9000000000005d67ULL),
- make_floatx80(0x3fff, 0xbd08a39f580c668dULL),
- make_floatx80(0x3ffd, 0xf4228e7d60319a34ULL) },
- { make_floatx80(0x3ffe, 0x9800000000009127ULL),
- make_floatx80(0x3fff, 0xc12c4cca6670e042ULL),
- make_floatx80(0x3ffe, 0x82589994cce1c084ULL) },
- { make_floatx80(0x3ffe, 0x9fffffffffff06f9ULL),
- make_floatx80(0x3fff, 0xc5672a11550655c3ULL),
- make_floatx80(0x3ffe, 0x8ace5422aa0cab86ULL) },
- { make_floatx80(0x3ffe, 0xa7fffffffffff80dULL),
- make_floatx80(0x3fff, 0xc9b9bd866e2f234bULL),
- make_floatx80(0x3ffe, 0x93737b0cdc5e4696ULL) },
- { make_floatx80(0x3ffe, 0xafffffffffff1470ULL),
- make_floatx80(0x3fff, 0xce248c151f83fd69ULL),
- make_floatx80(0x3ffe, 0x9c49182a3f07fad2ULL) },
- { make_floatx80(0x3ffe, 0xb800000000000e0aULL),
- make_floatx80(0x3fff, 0xd2a81d91f12aec5cULL),
- make_floatx80(0x3ffe, 0xa5503b23e255d8b8ULL) },
- { make_floatx80(0x3ffe, 0xc00000000000b7faULL),
- make_floatx80(0x3fff, 0xd744fccad69dd630ULL),
- make_floatx80(0x3ffe, 0xae89f995ad3bac60ULL) },
- { make_floatx80(0x3ffe, 0xc800000000003aa6ULL),
- make_floatx80(0x3fff, 0xdbfbb797daf25a44ULL),
- make_floatx80(0x3ffe, 0xb7f76f2fb5e4b488ULL) },
- { make_floatx80(0x3ffe, 0xd00000000000a6aeULL),
- make_floatx80(0x3fff, 0xe0ccdeec2a954685ULL),
- make_floatx80(0x3ffe, 0xc199bdd8552a8d0aULL) },
- { make_floatx80(0x3ffe, 0xd800000000004165ULL),
- make_floatx80(0x3fff, 0xe5b906e77c837155ULL),
- make_floatx80(0x3ffe, 0xcb720dcef906e2aaULL) },
- { make_floatx80(0x3ffe, 0xe00000000000582cULL),
- make_floatx80(0x3fff, 0xeac0c6e7dd24713aULL),
- make_floatx80(0x3ffe, 0xd5818dcfba48e274ULL) },
- { make_floatx80(0x3ffe, 0xe800000000001a5dULL),
- make_floatx80(0x3fff, 0xefe4b99bdcdb06ebULL),
- make_floatx80(0x3ffe, 0xdfc97337b9b60dd6ULL) },
- { make_floatx80(0x3ffe, 0xefffffffffffc1efULL),
- make_floatx80(0x3fff, 0xf5257d152486a2faULL),
- make_floatx80(0x3ffe, 0xea4afa2a490d45f4ULL) },
- { make_floatx80(0x3ffe, 0xf800000000001069ULL),
- make_floatx80(0x3fff, 0xfa83b2db722a0e5cULL),
- make_floatx80(0x3ffe, 0xf50765b6e4541cb8ULL) },
- { make_floatx80(0x3fff, 0x8000000000000000ULL),
- make_floatx80(0x4000, 0x8000000000000000ULL),
- make_floatx80(0x3fff, 0x8000000000000000ULL) },
+ { make_floatx80_init(0xbfff, 0x8000000000000000ULL),
+ make_floatx80_init(0x3ffe, 0x8000000000000000ULL),
+ make_floatx80_init(0xbffe, 0x8000000000000000ULL) },
+ { make_floatx80_init(0xbffe, 0xf800000000002e7eULL),
+ make_floatx80_init(0x3ffe, 0x82cd8698ac2b9160ULL),
+ make_floatx80_init(0xbffd, 0xfa64f2cea7a8dd40ULL) },
+ { make_floatx80_init(0xbffe, 0xefffffffffffe960ULL),
+ make_floatx80_init(0x3ffe, 0x85aac367cc488345ULL),
+ make_floatx80_init(0xbffd, 0xf4aa7930676ef976ULL) },
+ { make_floatx80_init(0xbffe, 0xe800000000006f10ULL),
+ make_floatx80_init(0x3ffe, 0x88980e8092da5c14ULL),
+ make_floatx80_init(0xbffd, 0xeecfe2feda4b47d8ULL) },
+ { make_floatx80_init(0xbffe, 0xe000000000008a45ULL),
+ make_floatx80_init(0x3ffe, 0x8b95c1e3ea8ba2a5ULL),
+ make_floatx80_init(0xbffd, 0xe8d47c382ae8bab6ULL) },
+ { make_floatx80_init(0xbffe, 0xd7ffffffffff8a9eULL),
+ make_floatx80_init(0x3ffe, 0x8ea4398b45cd8116ULL),
+ make_floatx80_init(0xbffd, 0xe2b78ce97464fdd4ULL) },
+ { make_floatx80_init(0xbffe, 0xd0000000000019a0ULL),
+ make_floatx80_init(0x3ffe, 0x91c3d373ab11b919ULL),
+ make_floatx80_init(0xbffd, 0xdc785918a9dc8dceULL) },
+ { make_floatx80_init(0xbffe, 0xc7ffffffffff14dfULL),
+ make_floatx80_init(0x3ffe, 0x94f4efa8fef76836ULL),
+ make_floatx80_init(0xbffd, 0xd61620ae02112f94ULL) },
+ { make_floatx80_init(0xbffe, 0xc000000000006530ULL),
+ make_floatx80_init(0x3ffe, 0x9837f0518db87fbbULL),
+ make_floatx80_init(0xbffd, 0xcf901f5ce48f008aULL) },
+ { make_floatx80_init(0xbffe, 0xb7ffffffffff1723ULL),
+ make_floatx80_init(0x3ffe, 0x9b8d39b9d54eb74cULL),
+ make_floatx80_init(0xbffd, 0xc8e58c8c55629168ULL) },
+ { make_floatx80_init(0xbffe, 0xb00000000000b5e1ULL),
+ make_floatx80_init(0x3ffe, 0x9ef5326091a0c366ULL),
+ make_floatx80_init(0xbffd, 0xc2159b3edcbe7934ULL) },
+ { make_floatx80_init(0xbffe, 0xa800000000006f8aULL),
+ make_floatx80_init(0x3ffe, 0xa27043030c49370aULL),
+ make_floatx80_init(0xbffd, 0xbb1f79f9e76d91ecULL) },
+ { make_floatx80_init(0xbffe, 0x9fffffffffff816aULL),
+ make_floatx80_init(0x3ffe, 0xa5fed6a9b15171cfULL),
+ make_floatx80_init(0xbffd, 0xb40252ac9d5d1c62ULL) },
+ { make_floatx80_init(0xbffe, 0x97ffffffffffb621ULL),
+ make_floatx80_init(0x3ffe, 0xa9a15ab4ea7c30e6ULL),
+ make_floatx80_init(0xbffd, 0xacbd4a962b079e34ULL) },
+ { make_floatx80_init(0xbffe, 0x8fffffffffff162bULL),
+ make_floatx80_init(0x3ffe, 0xad583eea42a1b886ULL),
+ make_floatx80_init(0xbffd, 0xa54f822b7abc8ef4ULL) },
+ { make_floatx80_init(0xbffe, 0x87ffffffffff4d34ULL),
+ make_floatx80_init(0x3ffe, 0xb123f581d2ac7b51ULL),
+ make_floatx80_init(0xbffd, 0x9db814fc5aa7095eULL) },
+ { make_floatx80_init(0xbffe, 0x800000000000227dULL),
+ make_floatx80_init(0x3ffe, 0xb504f333f9de539dULL),
+ make_floatx80_init(0xbffd, 0x95f619980c4358c6ULL) },
+ { make_floatx80_init(0xbffd, 0xefffffffffff3978ULL),
+ make_floatx80_init(0x3ffe, 0xb8fbaf4762fbd0a1ULL),
+ make_floatx80_init(0xbffd, 0x8e08a1713a085ebeULL) },
+ { make_floatx80_init(0xbffd, 0xe00000000000df81ULL),
+ make_floatx80_init(0x3ffe, 0xbd08a39f580bfd8cULL),
+ make_floatx80_init(0xbffd, 0x85eeb8c14fe804e8ULL) },
+ { make_floatx80_init(0xbffd, 0xd00000000000bccfULL),
+ make_floatx80_init(0x3ffe, 0xc12c4cca667062f6ULL),
+ make_floatx80_init(0xbffc, 0xfb4eccd6663e7428ULL) },
+ { make_floatx80_init(0xbffd, 0xc00000000000eff0ULL),
+ make_floatx80_init(0x3ffe, 0xc5672a1155069abeULL),
+ make_floatx80_init(0xbffc, 0xea6357baabe59508ULL) },
+ { make_floatx80_init(0xbffd, 0xb000000000000fe6ULL),
+ make_floatx80_init(0x3ffe, 0xc9b9bd866e2f234bULL),
+ make_floatx80_init(0xbffc, 0xd91909e6474372d4ULL) },
+ { make_floatx80_init(0xbffd, 0x9fffffffffff2172ULL),
+ make_floatx80_init(0x3ffe, 0xce248c151f84bf00ULL),
+ make_floatx80_init(0xbffc, 0xc76dcfab81ed0400ULL) },
+ { make_floatx80_init(0xbffd, 0x8fffffffffffafffULL),
+ make_floatx80_init(0x3ffe, 0xd2a81d91f12afb2bULL),
+ make_floatx80_init(0xbffc, 0xb55f89b83b541354ULL) },
+ { make_floatx80_init(0xbffc, 0xffffffffffff81a3ULL),
+ make_floatx80_init(0x3ffe, 0xd744fccad69d7d5eULL),
+ make_floatx80_init(0xbffc, 0xa2ec0cd4a58a0a88ULL) },
+ { make_floatx80_init(0xbffc, 0xdfffffffffff1568ULL),
+ make_floatx80_init(0x3ffe, 0xdbfbb797daf25a44ULL),
+ make_floatx80_init(0xbffc, 0x901121a0943696f0ULL) },
+ { make_floatx80_init(0xbffc, 0xbfffffffffff68daULL),
+ make_floatx80_init(0x3ffe, 0xe0ccdeec2a94f811ULL),
+ make_floatx80_init(0xbffb, 0xf999089eab583f78ULL) },
+ { make_floatx80_init(0xbffc, 0x9fffffffffff4690ULL),
+ make_floatx80_init(0x3ffe, 0xe5b906e77c83657eULL),
+ make_floatx80_init(0xbffb, 0xd237c8c41be4d410ULL) },
+ { make_floatx80_init(0xbffb, 0xffffffffffff8aeeULL),
+ make_floatx80_init(0x3ffe, 0xeac0c6e7dd24427cULL),
+ make_floatx80_init(0xbffb, 0xa9f9c8c116ddec20ULL) },
+ { make_floatx80_init(0xbffb, 0xbfffffffffff2d18ULL),
+ make_floatx80_init(0x3ffe, 0xefe4b99bdcdb06ebULL),
+ make_floatx80_init(0xbffb, 0x80da33211927c8a8ULL) },
+ { make_floatx80_init(0xbffa, 0xffffffffffff8ccbULL),
+ make_floatx80_init(0x3ffe, 0xf5257d152486d0f4ULL),
+ make_floatx80_init(0xbffa, 0xada82eadb792f0c0ULL) },
+ { make_floatx80_init(0xbff9, 0xffffffffffff11feULL),
+ make_floatx80_init(0x3ffe, 0xfa83b2db722a0846ULL),
+ make_floatx80_init(0xbff9, 0xaf89a491babef740ULL) },
+ { floatx80_zero_init,
+ make_floatx80_init(0x3fff, 0x8000000000000000ULL),
+ floatx80_zero_init },
+ { make_floatx80_init(0x3ff9, 0xffffffffffff2680ULL),
+ make_floatx80_init(0x3fff, 0x82cd8698ac2b9f6fULL),
+ make_floatx80_init(0x3ff9, 0xb361a62b0ae7dbc0ULL) },
+ { make_floatx80_init(0x3ffb, 0x800000000000b500ULL),
+ make_floatx80_init(0x3fff, 0x85aac367cc488345ULL),
+ make_floatx80_init(0x3ffa, 0xb5586cf9891068a0ULL) },
+ { make_floatx80_init(0x3ffb, 0xbfffffffffff4b67ULL),
+ make_floatx80_init(0x3fff, 0x88980e8092da7cceULL),
+ make_floatx80_init(0x3ffb, 0x8980e8092da7cce0ULL) },
+ { make_floatx80_init(0x3ffb, 0xffffffffffffff57ULL),
+ make_floatx80_init(0x3fff, 0x8b95c1e3ea8bd6dfULL),
+ make_floatx80_init(0x3ffb, 0xb95c1e3ea8bd6df0ULL) },
+ { make_floatx80_init(0x3ffc, 0x9fffffffffff811fULL),
+ make_floatx80_init(0x3fff, 0x8ea4398b45cd4780ULL),
+ make_floatx80_init(0x3ffb, 0xea4398b45cd47800ULL) },
+ { make_floatx80_init(0x3ffc, 0xbfffffffffff9980ULL),
+ make_floatx80_init(0x3fff, 0x91c3d373ab11b919ULL),
+ make_floatx80_init(0x3ffc, 0x8e1e9b9d588dc8c8ULL) },
+ { make_floatx80_init(0x3ffc, 0xdffffffffffff631ULL),
+ make_floatx80_init(0x3fff, 0x94f4efa8fef70864ULL),
+ make_floatx80_init(0x3ffc, 0xa7a77d47f7b84320ULL) },
+ { make_floatx80_init(0x3ffc, 0xffffffffffff2499ULL),
+ make_floatx80_init(0x3fff, 0x9837f0518db892d4ULL),
+ make_floatx80_init(0x3ffc, 0xc1bf828c6dc496a0ULL) },
+ { make_floatx80_init(0x3ffd, 0x8fffffffffff80fbULL),
+ make_floatx80_init(0x3fff, 0x9b8d39b9d54e3a79ULL),
+ make_floatx80_init(0x3ffc, 0xdc69cdceaa71d3c8ULL) },
+ { make_floatx80_init(0x3ffd, 0x9fffffffffffbc23ULL),
+ make_floatx80_init(0x3fff, 0x9ef5326091a10313ULL),
+ make_floatx80_init(0x3ffc, 0xf7a993048d081898ULL) },
+ { make_floatx80_init(0x3ffd, 0xafffffffffff20ecULL),
+ make_floatx80_init(0x3fff, 0xa27043030c49370aULL),
+ make_floatx80_init(0x3ffd, 0x89c10c0c3124dc28ULL) },
+ { make_floatx80_init(0x3ffd, 0xc00000000000fd2cULL),
+ make_floatx80_init(0x3fff, 0xa5fed6a9b15171cfULL),
+ make_floatx80_init(0x3ffd, 0x97fb5aa6c545c73cULL) },
+ { make_floatx80_init(0x3ffd, 0xd0000000000093beULL),
+ make_floatx80_init(0x3fff, 0xa9a15ab4ea7c30e6ULL),
+ make_floatx80_init(0x3ffd, 0xa6856ad3a9f0c398ULL) },
+ { make_floatx80_init(0x3ffd, 0xe00000000000c2aeULL),
+ make_floatx80_init(0x3fff, 0xad583eea42a17876ULL),
+ make_floatx80_init(0x3ffd, 0xb560fba90a85e1d8ULL) },
+ { make_floatx80_init(0x3ffd, 0xefffffffffff1e3fULL),
+ make_floatx80_init(0x3fff, 0xb123f581d2abef6cULL),
+ make_floatx80_init(0x3ffd, 0xc48fd6074aafbdb0ULL) },
+ { make_floatx80_init(0x3ffd, 0xffffffffffff1c23ULL),
+ make_floatx80_init(0x3fff, 0xb504f333f9de2cadULL),
+ make_floatx80_init(0x3ffd, 0xd413cccfe778b2b4ULL) },
+ { make_floatx80_init(0x3ffe, 0x8800000000006344ULL),
+ make_floatx80_init(0x3fff, 0xb8fbaf4762fbd0a1ULL),
+ make_floatx80_init(0x3ffd, 0xe3eebd1d8bef4284ULL) },
+ { make_floatx80_init(0x3ffe, 0x9000000000005d67ULL),
+ make_floatx80_init(0x3fff, 0xbd08a39f580c668dULL),
+ make_floatx80_init(0x3ffd, 0xf4228e7d60319a34ULL) },
+ { make_floatx80_init(0x3ffe, 0x9800000000009127ULL),
+ make_floatx80_init(0x3fff, 0xc12c4cca6670e042ULL),
+ make_floatx80_init(0x3ffe, 0x82589994cce1c084ULL) },
+ { make_floatx80_init(0x3ffe, 0x9fffffffffff06f9ULL),
+ make_floatx80_init(0x3fff, 0xc5672a11550655c3ULL),
+ make_floatx80_init(0x3ffe, 0x8ace5422aa0cab86ULL) },
+ { make_floatx80_init(0x3ffe, 0xa7fffffffffff80dULL),
+ make_floatx80_init(0x3fff, 0xc9b9bd866e2f234bULL),
+ make_floatx80_init(0x3ffe, 0x93737b0cdc5e4696ULL) },
+ { make_floatx80_init(0x3ffe, 0xafffffffffff1470ULL),
+ make_floatx80_init(0x3fff, 0xce248c151f83fd69ULL),
+ make_floatx80_init(0x3ffe, 0x9c49182a3f07fad2ULL) },
+ { make_floatx80_init(0x3ffe, 0xb800000000000e0aULL),
+ make_floatx80_init(0x3fff, 0xd2a81d91f12aec5cULL),
+ make_floatx80_init(0x3ffe, 0xa5503b23e255d8b8ULL) },
+ { make_floatx80_init(0x3ffe, 0xc00000000000b7faULL),
+ make_floatx80_init(0x3fff, 0xd744fccad69dd630ULL),
+ make_floatx80_init(0x3ffe, 0xae89f995ad3bac60ULL) },
+ { make_floatx80_init(0x3ffe, 0xc800000000003aa6ULL),
+ make_floatx80_init(0x3fff, 0xdbfbb797daf25a44ULL),
+ make_floatx80_init(0x3ffe, 0xb7f76f2fb5e4b488ULL) },
+ { make_floatx80_init(0x3ffe, 0xd00000000000a6aeULL),
+ make_floatx80_init(0x3fff, 0xe0ccdeec2a954685ULL),
+ make_floatx80_init(0x3ffe, 0xc199bdd8552a8d0aULL) },
+ { make_floatx80_init(0x3ffe, 0xd800000000004165ULL),
+ make_floatx80_init(0x3fff, 0xe5b906e77c837155ULL),
+ make_floatx80_init(0x3ffe, 0xcb720dcef906e2aaULL) },
+ { make_floatx80_init(0x3ffe, 0xe00000000000582cULL),
+ make_floatx80_init(0x3fff, 0xeac0c6e7dd24713aULL),
+ make_floatx80_init(0x3ffe, 0xd5818dcfba48e274ULL) },
+ { make_floatx80_init(0x3ffe, 0xe800000000001a5dULL),
+ make_floatx80_init(0x3fff, 0xefe4b99bdcdb06ebULL),
+ make_floatx80_init(0x3ffe, 0xdfc97337b9b60dd6ULL) },
+ { make_floatx80_init(0x3ffe, 0xefffffffffffc1efULL),
+ make_floatx80_init(0x3fff, 0xf5257d152486a2faULL),
+ make_floatx80_init(0x3ffe, 0xea4afa2a490d45f4ULL) },
+ { make_floatx80_init(0x3ffe, 0xf800000000001069ULL),
+ make_floatx80_init(0x3fff, 0xfa83b2db722a0e5cULL),
+ make_floatx80_init(0x3ffe, 0xf50765b6e4541cb8ULL) },
+ { make_floatx80_init(0x3fff, 0x8000000000000000ULL),
+ make_floatx80_init(0x4000, 0x8000000000000000ULL),
+ make_floatx80_init(0x3fff, 0x8000000000000000ULL) },
};
void helper_f2xm1(CPUX86State *env)
@@ -1275,24 +1275,24 @@ struct fpatan_data {
};
static const struct fpatan_data fpatan_table[9] = {
- { floatx80_zero,
- floatx80_zero },
- { make_floatx80(0x3ffb, 0xfeadd4d5617b6e33ULL),
- make_floatx80(0xbfb9, 0xdda19d8305ddc420ULL) },
- { make_floatx80(0x3ffc, 0xfadbafc96406eb15ULL),
- make_floatx80(0x3fbb, 0xdb8f3debef442fccULL) },
- { make_floatx80(0x3ffd, 0xb7b0ca0f26f78474ULL),
- make_floatx80(0xbfbc, 0xeab9bdba460376faULL) },
- { make_floatx80(0x3ffd, 0xed63382b0dda7b45ULL),
- make_floatx80(0x3fbc, 0xdfc88bd978751a06ULL) },
- { make_floatx80(0x3ffe, 0x8f005d5ef7f59f9bULL),
- make_floatx80(0x3fbd, 0xb906bc2ccb886e90ULL) },
- { make_floatx80(0x3ffe, 0xa4bc7d1934f70924ULL),
- make_floatx80(0x3fbb, 0xcd43f9522bed64f8ULL) },
- { make_floatx80(0x3ffe, 0xb8053e2bc2319e74ULL),
- make_floatx80(0xbfbc, 0xd3496ab7bd6eef0cULL) },
- { make_floatx80(0x3ffe, 0xc90fdaa22168c235ULL),
- make_floatx80(0xbfbc, 0xece675d1fc8f8cbcULL) },
+ { floatx80_zero_init,
+ floatx80_zero_init },
+ { make_floatx80_init(0x3ffb, 0xfeadd4d5617b6e33ULL),
+ make_floatx80_init(0xbfb9, 0xdda19d8305ddc420ULL) },
+ { make_floatx80_init(0x3ffc, 0xfadbafc96406eb15ULL),
+ make_floatx80_init(0x3fbb, 0xdb8f3debef442fccULL) },
+ { make_floatx80_init(0x3ffd, 0xb7b0ca0f26f78474ULL),
+ make_floatx80_init(0xbfbc, 0xeab9bdba460376faULL) },
+ { make_floatx80_init(0x3ffd, 0xed63382b0dda7b45ULL),
+ make_floatx80_init(0x3fbc, 0xdfc88bd978751a06ULL) },
+ { make_floatx80_init(0x3ffe, 0x8f005d5ef7f59f9bULL),
+ make_floatx80_init(0x3fbd, 0xb906bc2ccb886e90ULL) },
+ { make_floatx80_init(0x3ffe, 0xa4bc7d1934f70924ULL),
+ make_floatx80_init(0x3fbb, 0xcd43f9522bed64f8ULL) },
+ { make_floatx80_init(0x3ffe, 0xb8053e2bc2319e74ULL),
+ make_floatx80_init(0xbfbc, 0xd3496ab7bd6eef0cULL) },
+ { make_floatx80_init(0x3ffe, 0xc90fdaa22168c235ULL),
+ make_floatx80_init(0xbfbc, 0xece675d1fc8f8cbcULL) },
};
void helper_fpatan(CPUX86State *env)
--
2.20.1
next prev parent reply other threads:[~2020-07-27 12:30 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-27 12:23 [PULL 00/16] various fixes for rc2 (semihosting, tcg, docker, tests/vm) Alex Bennée
2020-07-27 12:23 ` [PULL 01/16] shippable: add one more qemu to registry url Alex Bennée
2020-07-27 12:23 ` [PULL 02/16] semihosting: defer connect_chardevs a little more to use serialx Alex Bennée
2020-07-27 12:23 ` [PULL 03/16] semihosting: don't send the trailing '\0' Alex Bennée
2020-07-27 12:23 ` [PULL 04/16] util: add qemu_get_host_physmem utility function Alex Bennée
2020-07-27 12:23 ` [PULL 05/16] util/oslib-win32: add qemu_get_host_physmem implementation Alex Bennée
2020-07-27 12:23 ` [PULL 06/16] accel/tcg: better handle memory constrained systems Alex Bennée
2020-07-28 15:35 ` Christian Ehrhardt
2020-07-27 12:23 ` Alex Bennée [this message]
2020-07-27 12:23 ` [PULL 08/16] linux-user: don't use MAP_FIXED in pgd_find_hole_fallback Alex Bennée
2020-07-28 13:44 ` Peter Maydell
2020-07-28 16:04 ` Alex Bennée
2020-07-28 16:18 ` Peter Maydell
2020-07-27 12:23 ` [PULL 09/16] tests/docker: fix update command due to python3 str/bytes distinction Alex Bennée
2020-07-27 12:23 ` [PULL 10/16] tests/docker: fix binfmt_misc image building Alex Bennée
2020-07-27 12:23 ` [PULL 11/16] tests/docker: add support for DEB_KEYRING Alex Bennée
2020-07-27 12:23 ` [PULL 12/16] linux-user: fix clock_nanosleep() Alex Bennée
2020-07-27 12:23 ` [PULL 13/16] linux-user, ppc: fix clock_nanosleep() for linux-user-ppc Alex Bennée
2020-07-27 12:23 ` [PULL 14/16] python/qemu: Cleanup changes to ConsoleSocket Alex Bennée
2020-07-27 12:23 ` [PULL 15/16] python/qemu: Change ConsoleSocket to optionally drain socket Alex Bennée
2020-07-27 12:23 ` [PULL 16/16] tests/vm: add shutdown timeout in basevm.py Alex Bennée
2020-07-27 16:24 ` [PULL 00/16] various fixes for rc2 (semihosting, tcg, docker, tests/vm) Peter Maydell
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20200727122357.31263-8-alex.bennee@linaro.org \
--to=alex.bennee@linaro.org \
--cc=aurelien@aurel32.net \
--cc=ehabkost@redhat.com \
--cc=joseph@codesourcery.com \
--cc=lersek@redhat.com \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=philmd@redhat.com \
--cc=qemu-devel@nongnu.org \
--cc=richard.henderson@linaro.org \
--cc=rth@twiddle.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).