From: "Alex Bennée" <alex.bennee@linaro.org>
To: qemu-devel@nongnu.org
Cc: fam@euphon.net, "Peter Maydell" <peter.maydell@linaro.org>,
berrange@redhat.com, "Eduardo Habkost" <ehabkost@redhat.com>,
"Laszlo Ersek" <lersek@redhat.com>,
richard.henderson@linaro.org, f4bug@amsat.org,
"Alex Bennée" <alex.bennee@linaro.org>,
cota@braap.org, "Joseph Myers" <joseph@codesourcery.com>,
"Paolo Bonzini" <pbonzini@redhat.com>,
aurelien@aurel32.net, "Richard Henderson" <rth@twiddle.net>
Subject: [PATCH v2 07/12] target/i386: floatx80: avoid compound literals in static initializers
Date: Wed, 22 Jul 2020 07:28:57 +0100 [thread overview]
Message-ID: <20200722062902.24509-8-alex.bennee@linaro.org> (raw)
In-Reply-To: <20200722062902.24509-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: eca30647fc07
Fixes: ff57bb7b6326
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
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>
Cc: Richard Henderson <rth@twiddle.net>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Laszlo Ersek <lersek@redhat.com>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Message-Id: <20200716144251.23004-1-lersek@redhat.com>
---
include/fpu/softfloat.h | 1 +
target/i386/fpu_helper.c | 426 +++++++++++++++++++--------------------
2 files changed, 214 insertions(+), 213 deletions(-)
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-22 6:34 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-22 6:28 [PATCH v2 00/12] candidate fixes for 5.1-rc1 (testing, semihosting, OOM tcg, x86 fpu) Alex Bennée
2020-07-22 6:28 ` [PATCH v2 01/12] shippable: add one more qemu to registry url Alex Bennée
2020-07-22 6:28 ` [PATCH v2 02/12] semihosting: defer connect_chardevs a little more to use serialx Alex Bennée
2020-07-22 6:28 ` [PATCH v2 03/12] semihosting: don't send the trailing '\0' Alex Bennée
2020-07-22 6:28 ` [PATCH v2 04/12] util: add qemu_get_host_physmem utility function Alex Bennée
2020-07-22 15:51 ` Richard Henderson
2020-07-22 6:28 ` [PATCH v2 05/12] util/oslib-win32: add qemu_get_host_physmem implementation Alex Bennée
2020-07-22 6:49 ` Philippe Mathieu-Daudé
2020-07-22 10:03 ` Stefan Weil
2020-07-22 10:13 ` Daniel P. Berrangé
2020-07-22 11:33 ` Alex Bennée
2020-07-22 11:38 ` Daniel P. Berrangé
2020-07-22 10:32 ` 罗勇刚(Yonggang Luo)
2020-07-22 10:50 ` Stefan Weil
2020-07-22 11:31 ` Alex Bennée
2020-07-22 11:41 ` Daniel P. Berrangé
2020-07-22 6:28 ` [PATCH v2 06/12] accel/tcg: better handle memory constrained systems Alex Bennée
2020-07-22 15:57 ` Richard Henderson
2020-07-22 16:29 ` Alex Bennée
2020-07-22 16:44 ` Daniel P. Berrangé
2020-07-22 19:02 ` Richard Henderson
2020-07-23 9:00 ` Daniel P. Berrangé
2020-07-23 9:22 ` Alex Bennée
2020-07-23 9:31 ` Daniel P. Berrangé
2020-07-23 10:06 ` Alex Bennée
2020-07-22 6:28 ` Alex Bennée [this message]
2020-07-22 6:45 ` [PATCH v2 07/12] target/i386: floatx80: avoid compound literals in static initializers Philippe Mathieu-Daudé
2020-07-22 6:28 ` [PATCH v2 08/12] linux-user: don't use MAP_FIXED in pgd_find_hole_fallback Alex Bennée
2020-07-22 16:00 ` Richard Henderson
2020-07-22 6:28 ` [PATCH v2 09/12] tests/docker: fix update command due to python3 str/bytes distinction Alex Bennée
2020-07-22 6:29 ` [PATCH v2 10/12] tests/docker: fix binfmt_misc image building Alex Bennée
2020-07-22 6:35 ` Philippe Mathieu-Daudé
2020-07-22 6:29 ` [PATCH v2 11/12] tests/docker: add support for DEB_KEYRING Alex Bennée
2020-07-22 14:27 ` Philippe Mathieu-Daudé
2020-07-22 16:03 ` Richard Henderson
2020-07-22 6:29 ` [PATCH v2 12/12] linux-user: fix clock_nanosleep() Alex Bennée
2020-07-22 6:49 ` Laurent Vivier
2020-07-22 8:33 ` Laurent Vivier
2020-07-22 8:55 ` Alex Bennée
2020-07-22 12:03 ` Laurent Vivier
2020-07-22 7:05 ` Philippe Mathieu-Daudé
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=20200722062902.24509-8-alex.bennee@linaro.org \
--to=alex.bennee@linaro.org \
--cc=aurelien@aurel32.net \
--cc=berrange@redhat.com \
--cc=cota@braap.org \
--cc=ehabkost@redhat.com \
--cc=f4bug@amsat.org \
--cc=fam@euphon.net \
--cc=joseph@codesourcery.com \
--cc=lersek@redhat.com \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--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).