aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Zimmermann <Paul.Zimmermann@inria.fr>2020-08-27 10:27:44 -0300
committerAdhemerval Zanella <adhemerval.zanella@linaro.org>2020-09-10 15:25:22 -0300
commitad1e1db5dce63b573d309efb7c629a1e7a8ad8a5 (patch)
treeba527ea402d4e5ddc13578456b3ee3ce9bf5aa89
parentcfa220bfdccad54fed91a6b8aeca3457a23519c7 (diff)
downloadglibc-ad1e1db5dce63b573d309efb7c629a1e7a8ad8a5.tar.xz
glibc-ad1e1db5dce63b573d309efb7c629a1e7a8ad8a5.zip
benchtests: Add "workload" traces for sinf
This patch adds workload traces for sinf in binary32. The trace is made of 1000 random numbers, generated with SageMath.
-rw-r--r--benchtests/sinf-inputs2004
1 files changed, 2004 insertions, 0 deletions
diff --git a/benchtests/sinf-inputs b/benchtests/sinf-inputs
index e92aa58ecf..42a47b4715 100644
--- a/benchtests/sinf-inputs
+++ b/benchtests/sinf-inputs
@@ -2908,3 +2908,2007 @@
-0x1.869c25p-1
-0x1.bdbf7ep-1
0x1.83eeb5p-1
+# Random inputs in [-10,10]
+## name: workload-random.wrf
+0x3.f4e67p+0
+0x8.23b76p+0
+-0x9.fa4ddp+0
+0x2.ccbdfp+0
+-0x4.d0859p+0
+0xf.c65bp-4
+0x1.e803p+0
+-0x9.613ecp+0
+0x1.89bdap+0
+-0x9.651bp+0
+-0x8.9b3eap+0
+0x3.c3d2bp+0
+-0x2.d42f9p+0
+0x5.f1e01p+0
+0x6.37d62p+0
+0x2.ef527p+0
+-0x4.5734e8p+0
+-0x6.d324dp+0
+0x8.a3d48p+0
+-0x9.69ffap+0
+-0x5.24fep+0
+0x2.f9e9p-4
+0x3.416a8p+0
+0x9.d1816p+0
+0x3.b960ap+0
+0x4.8fd8ap+0
+-0x2.0b3a68p+0
+-0x2.42fa3p+0
+0x1.3dbf7p+0
+0xb.74ap-8
+-0x3.e557cp+0
+0x5.7d3d8p+0
+-0x9.b696cp+0
+-0x4.a16d38p+0
+0x4.bd4aep+0
+0x6.b4d44p+0
+-0x3.c0443p+0
+-0x3.f6803p+0
+0x1.e893p+0
+0x2.cb238p+0
+0x4.677ap+0
+0x7.ee156p+0
+0x5.7d53dp+0
+-0x9.2406ep+0
+0x8.1fe76p+0
+-0x7.13a36p+0
+-0x8.9665fp+0
+0x5.d0dfdp+0
+-0x2.9d84ep+0
+0x4.95adp-4
+-0x7.fc6eap+0
+0x9.b7d5ep+0
+-0x5.4b5118p+0
+0x2.ff2c9p+0
+0x3.6ee49p+0
+0x1.41b5ap+0
+0x8.cffecp+0
+-0x5.2ef4ep+0
+0x2.51be1p+0
+0x1.5d974p+0
+-0x8.6eeep+0
+-0x2.a0b5bp+0
+0x7.824e2p+0
+-0x7.99f2ep+0
+0x2.36e8ep+0
+0x6.b36e8p+0
+0x4.6a376p+0
+0x9.e3b7cp+0
+-0x3.c1ffdp+0
+0x4.9719p-4
+0x5.3b881p+0
+-0x5.bdcb08p+0
+-0x9.97d71p+0
+0x1.8e05bp+0
+0x5.e551ep+0
+-0x9.957p-4
+0x1.f68d8p+0
+-0xb.96a9p-4
+-0x7.3bd7b8p+0
+-0x9.7d78fp+0
+0x1.bf2b2p+0
+-0x9.acbcp-4
+-0x1.28a53p+0
+-0x7.5aee6p+0
+-0x4.586548p+0
+0x4.8bdcp+0
+-0x9.35dep-4
+-0x6.3e282p+0
+0x2.e2ab8p+0
+-0x4.dd146p+0
+-0x5.968cap+0
+-0x3.b94edp+0
+-0x3.92de5p+0
+-0x7.44c45p+0
+-0x8.bbb5ep+0
+-0x6.41802p+0
+-0x3.3f5248p+0
+-0x7.7901p+0
+0x3.d8926p+0
+0x3.3339cp+0
+-0x2.a28c5p+0
+-0x1.a3c7p+0
+0x9.230eep+0
+-0x3.2a79b8p+0
+0x1.77ba5p+0
+-0x4.f11e5p+0
+-0x7.ad0ep+0
+0x4.f1de6p+0
+0x4.85e0ap+0
+-0x8.5d69p-4
+-0x8.385bp-4
+0x1.e5925p+0
+0x5.736a6p+0
+-0x9.502adp+0
+0x4.42cd4p+0
+0x7.34d0cp+0
+-0x9.4366ap+0
+-0x4.54da5p+0
+0x5.92e45p+0
+-0x5.660e5p+0
+0x3.a797p-4
+0x5.2db2ep+0
+-0x6.4fab18p+0
+0x9.996c4p+0
+-0x9.f2b46p+0
+-0x8.d0094p+0
+0x6.0ff6ap+0
+0x5.bc5d2p+0
+0x8.bfcd4p+0
+0x7.0c45ep+0
+0x1.4831cp+0
+0x7.db72p-4
+0x2.f415cp+0
+0x9.e657cp+0
+0x6.98348p+0
+0x4.b4d0ep+0
+0x4.9aaeep+0
+-0x5.6af82p+0
+0x7.eac3p+0
+-0x3.89d138p+0
+0x9.198dap+0
+-0x1.aac5dp+0
+0x3.bf4b7p+0
+0x9.276fcp+0
+-0x6.c19dfp+0
+0x2.11f0fp+0
+-0x2.e1071p+0
+0xa.06fep-4
+0x3.080f2p+0
+0x1.82d4cp+0
+-0x4.e892cp+0
+0x8.68f96p+0
+0x9.841bap+0
+-0x9.95a54p+0
+-0x2.48f5d8p+0
+-0x6.54636p+0
+-0x8.d9556p+0
+0x9.97a28p+0
+-0x8.51c63p+0
+0x4.e5204p+0
+-0x8.88a2ep+0
+0x3.de3fp+0
+-0x2.6f67dp+0
+0x7.79b76p+0
+0x9.428b4p+0
+-0x1.3218fp+0
+0x8.79cbcp+0
+0x2.23d77p+0
+-0x7.73a67p+0
+-0x4.0673ap+0
+-0x1.5aa7dp+0
+-0x8.6c361p+0
+0x8.e7aacp+0
+0x5.9c9f5p+0
+0x8.edd22p+0
+0x4.de314p+0
+-0x6.be59ap+0
+0x4.26696p+0
+0x9.b130cp+0
+0x9.8c878p+0
+-0x2.9de5dp+0
+-0x7.e97dap+0
+0x8.46fb4p+0
+0x7.6d1bep+0
+-0x4.981cap+0
+-0x2.585f78p+0
+-0x7.39389p+0
+-0x1.d8bbfp+0
+-0x7.8d8428p+0
+-0x1.d267bp+0
+-0x1.7089ep+0
+-0x1.0d367p+0
+0x5.84e95p+0
+-0x7.2b1b7p+0
+-0x3.de628p+0
+-0x5.16734p+0
+-0x4.b6ccc8p+0
+-0x9.5892dp+0
+0x9.6a43cp+0
+-0x8.bbc8ap+0
+0x8.9db1ep+0
+0x7.468d8p+0
+-0x6.9ed18p+0
+-0x7.90207p+0
+-0x9.8e729p+0
+-0x6.07116p+0
+-0x1.63ecp-4
+-0x5.029e6p+0
+0x6.f5398p+0
+-0x1.f315bp+0
+0x1.1618cp+0
+0x9.95d34p+0
+0x5.a11bp+0
+0x4.e200ap+0
+-0x1.51d3dp+0
+-0x8.54b14p+0
+-0x2.ae8fap+0
+0x1.2b232p+0
+-0x6.0c457p+0
+-0x4.05d13p+0
+0x9.8f41p+0
+-0x8.8f51ep+0
+-0x4.39af68p+0
+-0x7.36fe4p+0
+0x3.874f9p+0
+-0x3.51074p+0
+-0x3.116efp+0
+0x6.2b148p+0
+-0x7.373d6p+0
+-0x4.b2d3bp+0
+0x9.866c4p+0
+-0x9.76b51p+0
+0x3.41dfcp+0
+0x3.fef66p+0
+0x2.ffd0ap+0
+-0x8.8f0d7p+0
+0x2.4025ap+0
+0x3.1ecc8p+0
+0x1.8c832p+0
+-0x2.c18fcp+0
+0x8.52d5p+0
+-0x3.79f75p+0
+-0xb.9892p-4
+0x6.64ec8p+0
+-0xd.2d2bp-4
+-0x7.24141p+0
+0xc.37fp-4
+-0x3.2b2ef8p+0
+0x9.cb138p+0
+0x5.8f57p+0
+0x2.7dfbdp+0
+0x3.d3766p+0
+-0xc.9176p-4
+-0x9.16032p+0
+-0x2.2bbafp+0
+0x5.90b88p+0
+0x4.e49p+0
+-0x6.1774p+0
+0x8.ef596p+0
+0x7.9bd7p+0
+-0x7.9883p+0
+0x9.3e3bp-4
+-0x5.852ca8p+0
+0x2.9d697p+0
+0x6.7a758p+0
+-0x4.71a75p+0
+0x6.33ccep+0
+0xc.12p-4
+-0x3.3e302p+0
+0x3.f357ap+0
+-0x3.f03108p+0
+-0x4.6c14a8p+0
+-0x5.ce90bp+0
+0x1.1ef32p+0
+0x7.6d108p+0
+0x2.b58a3p+0
+-0x1.9014p+0
+-0x6.449b7p+0
+0x3.ff142p+0
+0x1.4beb3p+0
+-0x7.d2c588p+0
+-0x9.dd6f2p+0
+-0x4.fd318p+0
+0x7.9260ep+0
+-0x1.07a47p+0
+0x8.78df8p+0
+-0x1.5f3f1p+0
+-0x8.0d462p+0
+0x4.7cc9bp+0
+-0x7.c049f8p+0
+-0x7.382e38p+0
+-0x9.89beap+0
+-0x6.6445fp+0
+-0x2.04ce8p+0
+0x1.e30cfp+0
+0x5.02a6bp+0
+0x2.4b88cp+0
+0x5.69a62p+0
+-0x5.a374cp+0
+-0x8.44f06p+0
+0x8.941ap-4
+0x1.6d064p+0
+0x1.97728p+0
+-0x4.9ba83p+0
+0x8.ab946p+0
+-0x1.ceec3p+0
+0x6.3c70ep+0
+-0x8.3de5dp+0
+-0x3.788928p+0
+-0x8.0328cp+0
+0x9.a1234p+0
+-0x2.b474p-4
+0xf.b177p-4
+0x9.2c73cp+0
+0x3.60051p+0
+-0x4.abae5p+0
+-0x2.ebf9b8p+0
+0x3.83a6ep+0
+-0x6.055b3p+0
+0x8.c5ebap+0
+0x5.70586p+0
+0x1.3772ep+0
+0x2.7c812p+0
+0xa.cedep-4
+0x1.cf382p+0
+0x1.2d91dp+0
+-0x4.6e15bp+0
+-0x6.98439p+0
+-0x7.e94bc8p+0
+0xb.8208p-4
+-0x4.020a5p+0
+0x7.114bcp+0
+-0x9.12628p+0
+-0x1.63e72p+0
+0x5.81957p+0
+0x9.da6dap+0
+-0x1.3848p-4
+-0x7.cd6f6p+0
+0x6.c1742p+0
+0x8.3dcbap+0
+0x6.869bp-4
+-0x2.fef1ep+0
+-0x6.276978p+0
+-0x1.72eabp+0
+0xa.2cecp-4
+-0x8.e7bdap+0
+-0x8.6b71p+0
+0x6.28538p+0
+0x9.a44acp+0
+-0x9.b3076p+0
+0x1.6f5e6p+0
+-0x9.cd932p+0
+-0x1.1e7dp-4
+-0x5.adb948p+0
+-0x8.b76aep+0
+0x2.1fd4ep+0
+-0x5.fd7668p+0
+-0x7.971cfp+0
+0x7.51358p+0
+0x3.a722p+0
+0x2.eed28p+0
+0x6.22b8p-4
+-0x8.c1eaep+0
+-0x3.9b0f8p+0
+-0x4.0a628p+0
+0x3.afd4ep+0
+0x9.63dacp+0
+0x1.23f78p+0
+0x9.00ccep+0
+0x7.795cp-4
+0x3.8335dp+0
+-0x2.11764p+0
+-0x4.63a5bp+0
+0x2.c9c4p+0
+0x4.b3349p+0
+-0x1.c6d56p+0
+0x9.ac544p+0
+-0x4.0f6438p+0
+0x4.32184p+0
+-0x2.4ec5dp+0
+0x4.c6f3fp+0
+-0x9.57a7p+0
+-0x4.7aedcp+0
+-0x7.2f8e8p+0
+0x5.d56ep-4
+0x6.02a88p+0
+-0x1.5339p-4
+-0x1.a66ap-4
+0x7.ea9e8p+0
+-0x3.f92p-8
+-0x9.1151cp+0
+0x1.cc1d5p+0
+-0x2.eefap-4
+-0x9.332edp+0
+0x6.9a502p+0
+-0x7.9b62ep+0
+-0x2.5da7f8p+0
+0x6.1de62p+0
+0x8.3faa6p+0
+-0x1.98fe6p+0
+0x4.043dap+0
+0x4.5360ep+0
+-0x3.43731p+0
+0x9.dd24p+0
+0x3.a0c9ap+0
+0x1.aee9ap+0
+0x2.aedfp+0
+0x9.ed66cp+0
+-0x6.b3p-12
+-0x2.93d4ap+0
+0x4.cd75ep+0
+0x6.a1494p+0
+0x6.793d6p+0
+0x3.2d733p+0
+-0x7.57bac8p+0
+0x2.a83f4p+0
+-0x5.0464d8p+0
+0x3.a8757p+0
+-0x4.d5fc6p+0
+0x1.c4782p+0
+0x6.8ce3p+0
+0x7.44e8cp+0
+-0x8.754b9p+0
+0x3.9bd3fp+0
+-0x9.7d4b8p+0
+0xb.3c6ap-4
+0x3.3adc5p+0
+0x9.f6bdcp+0
+-0x5.313fa8p+0
+0x5.f198bp+0
+0x8.d32e6p+0
+0x7.2072ap+0
+0x3.e866ep+0
+0x6.f8a06p+0
+0x3.f5be8p+0
+-0x7.694cbp+0
+0x1.f65b6p+0
+-0x1.992p-4
+0x5.11fd2p+0
+0x5.2ecap+0
+0x2.1662ap+0
+0x7.80e6p-4
+-0x5.646838p+0
+-0x7.4ce52p+0
+-0x3.3fb4fp+0
+0x9.432e4p+0
+-0x2.f15d18p+0
+-0x3.97821p+0
+-0x7.6cbba8p+0
+0x6.cfe06p+0
+-0x5.091a4p+0
+-0x1.7a9bp+0
+0x8.5ce96p+0
+-0x9.238c7p+0
+0xe.77e8p-4
+0x4.24e7p-4
+0x3.3c50ep+0
+0x3.cc234p+0
+0x6.e95ecp+0
+-0x8.1be11p+0
+-0x2.5963p+0
+-0x7.97ea4p+0
+0x5.042dcp+0
+0x7.f6f4ep+0
+0x5.e9449p+0
+0x2.3ec8fp+0
+0x8.00d58p+0
+-0x8.30cb2p+0
+-0x3.9422fp+0
+-0x8.a683ap+0
+-0x2.808f48p+0
+-0x5.f1d3a8p+0
+0x7.06eep-4
+-0x2.4c75ep+0
+0x2.eeebbp+0
+-0x8.0cc3ap+0
+0x6.5409p+0
+0x2.00feap+0
+-0xc.1dbap-4
+-0x5.5de3p+0
+0xa.5d16p-4
+-0x3.15cd7p+0
+0x5.8d889p+0
+-0x5.762c58p+0
+-0x7.f4ff18p+0
+-0x7.2a70dp+0
+0x1.5abcep+0
+0x5.54efbp+0
+-0x1.8eca2p+0
+-0x7.59a82p+0
+-0x9.ecd1ep+0
+0x9.720d2p+0
+-0x2.8f541p+0
+-0x2.79c3cp+0
+0x8.17754p+0
+0x3.d5f37p+0
+-0x9.4038p-4
+-0x2.9fdbfp+0
+0x7.b9c8ap+0
+0x4.3302p+0
+-0x9.35f59p+0
+0x4.05dcap+0
+-0x9.8412fp+0
+-0x3.cda17p+0
+0x7.94766p+0
+-0x8.03bccp+0
+-0x6.c1834p+0
+-0x6.830d4p+0
+0x7.1287cp+0
+-0x7.3ddap+0
+-0x3.08e5ap+0
+0x5.6952dp+0
+0x4.35347p+0
+0x6.48ee2p+0
+-0xf.4fcp-4
+0x6.0b62ep+0
+0x6.8f506p+0
+-0x5.c66628p+0
+0x3.03e5p+0
+-0x4.d50328p+0
+-0x2.e3528p+0
+0x3.eec16p+0
+0x8.eadcep+0
+-0x3.0d10ep+0
+0x4.4a0fcp+0
+0x8.3e2b4p+0
+0xd.6128p-4
+-0x4.2c5d18p+0
+0x1.6956ep+0
+-0x1.f758fp+0
+-0x2.440d2p+0
+-0x5.25aa58p+0
+0x1.965b6p+0
+-0x4.44903p+0
+-0x4.8ce318p+0
+0x3.2cd0cp+0
+-0xa.b39dp-4
+0x2.be4d2p+0
+-0x8.ef67bp+0
+-0x8.44465p+0
+0x3.c7239p+0
+0x9.c8908p+0
+0x9.b2f72p+0
+0x5.fd106p+0
+-0x1.40edap+0
+-0x1.4735ap+0
+0x5.36759p+0
+0xc.0af9p-4
+0x6.9bf98p+0
+-0xa.3015p-4
+0x9.cb26cp+0
+-0x9.e3339p+0
+0x8.085ccp+0
+-0x5.34d36p+0
+-0x5.8f9eap+0
+0x4.ded22p+0
+-0x7.884c6p+0
+0x8.599aap+0
+0x8.0b462p+0
+-0x7.5135p+0
+0x9.7a898p+0
+0x9.a6f52p+0
+-0x4.57f76p+0
+-0x8.d8655p+0
+0x5.965e5p+0
+0x6.2f4ccp+0
+0x8.4b2d8p+0
+0x7.c651ap+0
+-0x8.bfabbp+0
+-0x1.55293p+0
+0x8.bdd86p+0
+0x3.da384p+0
+-0x8.74a2dp+0
+-0x8.f362cp+0
+0x4.c1437p+0
+0x1.2279p-4
+0x8.d150ap+0
+-0x2.14f3ap+0
+0x7.1905cp+0
+-0x8.3fb08p+0
+0x4.32b2p+0
+-0x1.cc0c9p+0
+0x5.8ee54p+0
+0x3.3ecdep+0
+0x5.ab6f2p+0
+0x5.6af4fp+0
+0x3.8d6d1p+0
+0x3.6dd1ep+0
+-0x9.d2615p+0
+0x6.f64ap+0
+0x4.03cap-4
+-0x7.a1b66p+0
+0x8.64f68p+0
+-0x7.30524p+0
+-0x4.adadep+0
+-0x4.16dee8p+0
+-0x2.9ae64p+0
+0x5.e60acp+0
+-0x3.f1754p+0
+0x1.7c19fp+0
+-0x7.5eabep+0
+-0x2.9a2a7p+0
+-0x2.b212cp+0
+0x1.c935p+0
+-0x6.f5594p+0
+-0x5.c64238p+0
+0x2.5f39ep+0
+-0x7.d70328p+0
+0x6.a2518p+0
+0x4.95c3p+0
+0x3.ed8c9p+0
+-0x7.e36abp+0
+0x2.08dacp+0
+0x3.25f4fp+0
+0x8.f9a6p+0
+0x8.910a2p+0
+-0x5.cffeb8p+0
+0xa.ae6cp-4
+0x7.db9p+0
+0xc.98c3p-4
+-0x4.130598p+0
+-0x5.ea25fp+0
+0x6.d9e48p+0
+-0x2.da81bp+0
+0x3.c325cp+0
+0x9.e007cp+0
+-0x7.231138p+0
+0x4.d3edep+0
+-0x3.fdp-12
+0x9.5bebep+0
+-0x2.5e424p+0
+-0x7.dfc5dp+0
+0x8.85904p+0
+-0x9.31d06p+0
+-0x2.e5e13p+0
+0x1.b857cp+0
+0x7.bab78p+0
+0x1.84164p+0
+0x4.c5a3ap+0
+-0x2.d66efp+0
+0x2.83dep+0
+0x4.d09a8p+0
+-0x6.4c2d58p+0
+0x7.30b08p+0
+-0x7.9dea8p+0
+0x1.aa0dbp+0
+-0x9.f5c4p-4
+-0x5.cb981p+0
+-0x8.e8cfap+0
+-0xc.3eb6p-4
+-0xd.ff0ep-4
+0x1.416fdp+0
+-0x5.d60aap+0
+0x2.57214p+0
+-0x1.cb858p+0
+-0x5.4bd8p-4
+0x3.2068ap+0
+0x7.2562cp+0
+0x4.2083p+0
+-0x8.6446ep+0
+0x1.3acap-4
+0x3.1d462p+0
+0x2.fc04ap+0
+-0x9.8bc4p-4
+0x6.18a34p+0
+0x3.e2cdep+0
+-0x8.b3726p+0
+0x7.583f8p+0
+0x2.dbb1cp+0
+-0x7.e4ca8p+0
+-0xd.d30ep-4
+0x4.385p+0
+-0x9.4b782p+0
+-0x5.e4926p+0
+0x2.4310fp+0
+0x2.a4bf8p+0
+0x2.e3641p+0
+0x2.6fdc4p+0
+-0x1.8f299p+0
+-0x5.dd846p+0
+0x7.5c338p+0
+0x5.3551ap+0
+0x3.12b14p+0
+-0x4.de5bf8p+0
+0x6.fc828p+0
+0x8.00bap-4
+0x3.f05bap+0
+0x8.d0bp-4
+-0x9.d6934p+0
+0x9.0a4a8p+0
+0x5.d69fbp+0
+0x4.36e7fp+0
+-0x1.6ca24p+0
+-0x8.048ffp+0
+-0x4.aee4b8p+0
+0xa.9fc9p-4
+0x1.140fp-4
+0x5.1743p-4
+-0x3.14f8ap+0
+0x4.bd619p+0
+-0x4.305e68p+0
+-0x2.9f5d88p+0
+-0x7.ca31cp+0
+-0x1.9e5ap-4
+-0x9.e682p-4
+0x6.d98b8p+0
+0x9.597d4p+0
+-0x7.4de79p+0
+0x4.5abbep+0
+-0x6.295edp+0
+-0x8.586a4p+0
+0x3.98d8cp+0
+0x6.2b6a8p+0
+-0x3.ecd86p+0
+0x9.23028p+0
+0x2.3b804p+0
+0x9.b78a8p+0
+0x4.0c8f6p+0
+0x8.d0f1ep+0
+-0x9.84b36p+0
+-0x5.e727p-4
+0x2.e6dd8p+0
+-0x1.b3dd3p+0
+-0x6.5317a8p+0
+0x7.a0e8ap+0
+0x6.b933ap+0
+-0x2.687fcp+0
+0x9.873bcp+0
+-0x9.d4c6fp+0
+0x9.c83e8p+0
+-0x8.37fddp+0
+0x8.3f418p+0
+0x1.d7568p+0
+0x5.e4b42p+0
+-0x6.421b88p+0
+-0x4.8a8d6p+0
+-0x1.02d3p-4
+-0x4.0320cp+0
+0x6.f2844p+0
+-0x9.c7e16p+0
+-0x4.45503p+0
+0x6.c645cp+0
+0x8.f029p+0
+-0x8.dc4f4p+0
+-0x8.f8233p+0
+-0x9.4e532p+0
+0x9.a3ccp+0
+-0x9.faf29p+0
+-0x2.9054ep+0
+-0x4.545e58p+0
+-0x9.a30d6p+0
+0x8.ed4ep+0
+0x8.efa5ep+0
+-0x6.67fd4p+0
+0x3.73c3p+0
+0x2.ea65dp+0
+-0x5.59d7bp+0
+-0x4.c2cc8p+0
+-0x7.7d418p+0
+-0x6.9cfdfp+0
+0x8.15236p+0
+-0x6.e67a1p+0
+0x9.a476ep+0
+0x3.19b6ap+0
+-0x5.b5ac8p+0
+0x3.984a4p+0
+0x9.a40bcp+0
+0x3.c414ep+0
+0x3.6906cp+0
+0x2.894ap-4
+-0x3.08c15p+0
+0x8.96fa8p+0
+-0x5.fb292p+0
+-0x4.e53a18p+0
+0x3.6e562p+0
+0x4.649ep-4
+-0x9.fb231p+0
+-0x7.ae9848p+0
+-0x4.7ee25p+0
+-0x3.ef7588p+0
+0x4.f50f8p+0
+-0x8.4d5f9p+0
+0x9.8e9d4p+0
+-0x7.af2128p+0
+0x9.3543ep+0
+0x5.0cd05p+0
+-0x4.77872p+0
+-0x4.56522p+0
+-0xe.7b5dp-4
+0x2.09488p+0
+0x9.4d6cep+0
+0x8.b5c1p+0
+0x4.bf7f4p+0
+-0x2.aaedd8p+0
+-0x9.30a0ep+0
+0x5.afe89p+0
+-0x5.2980cp+0
+0x7.39dbep+0
+0x6.0d028p+0
+0x6.55ec8p+0
+-0x9.402a6p+0
+-0x9.5326ep+0
+0x2.dd6e6p+0
+-0x2.2802d8p+0
+-0x6.a86a4p+0
+-0x6.d4354p+0
+-0x4.6a0f1p+0
+-0x9.89756p+0
+0x4.56dfcp+0
+0x6.31cacp+0
+-0x2.1f78p-4
+-0x4.e3a3ap+0
+0x1.be91dp+0
+-0x1.3124fp+0
+0x2.ededcp+0
+-0x2.04b49p+0
+-0x3.363618p+0
+-0x7.323f78p+0
+0x2.e45cp-4
+-0x5.e7163p+0
+-0x6.829708p+0
+-0x8.132d2p+0
+0x9.1c1bep+0
+0x5.fb8fap+0
+0x5.44b16p+0
+0x9.81eeep+0
+0x8.cd56cp+0
+0x3.3095fp+0
+-0x5.d41edp+0
+0x9.98daep+0
+0x4.133f6p+0
+0x2.00c2cp+0
+0x6.8296p+0
+-0x1.cd1a4p+0
+0x8.83c7p+0
+0x1.14fcp+0
+-0x9.20054p+0
+0x3.cbcdp+0
+-0x2.ebaf8p+0
+-0x4.71027p+0
+0x2.80274p+0
+0x9.f2358p+0
+-0x2.e5fd7p+0
+-0x9.e0edfp+0
+0x6.80b7p+0
+0x9.533e8p+0
+0x1.c5e96p+0
+0x5.0a893p+0
+-0x9.fe263p+0
+0x4.e116cp+0
+0x4.afbb5p+0
+-0x7.958edp+0
+-0x1.b4ba2p+0
+-0x6.9ce428p+0
+-0x7.181788p+0
+-0x6.b9e68p+0
+-0x2.74bd3p+0
+0x2.703fep+0
+0x6.41e8ap+0
+-0x6.f9875p+0
+-0x5.2f14p-4
+-0x3.e42dap+0
+0x9.9fd12p+0
+-0x9.2ce58p+0
+-0x4.7bb12p+0
+-0x8.c67e6p+0
+-0x8.99e84p+0
+0x6.a9b92p+0
+-0x9.b0857p+0
+-0x1.3deb8p+0
+-0x8.a346dp+0
+-0x7.f0de7p+0
+0x5.6ab4fp+0
+-0x2.120fep+0
+-0x5.c7e0dp+0
+0x1.70cb8p+0
+0x7.3315cp+0
+-0x5.59b4d8p+0
+0x9.1b1cp+0
+0x1.d90b2p+0
+-0x8.19288p+0
+0x7.65c4p+0
+-0x6.84549p+0
+0x5.f0d99p+0
+-0x9.cf93ap+0
+0x3.43c53p+0
+0x5.2d2cp+0
+0x3.92159p+0
+0x3.92e43p+0
+0x4.0f1eep+0
+0x5.1b0dep+0
+0x7.d0828p+0
+-0x6.edbcp+0
+-0x8.3a97dp+0
+0x3.34116p+0
+0x6.70944p+0
+0x3.15f7p+0
+0x9.b7886p+0
+-0x6.67776p+0
+-0x3.2a172p+0
+-0x5.290dap+0
+-0xc.38f7p-4
+-0x7.d88e6p+0
+-0x8.fc82bp+0
+0x8.99e8p+0
+-0x3.03bc38p+0
+0x4.60b3bp+0
+-0x3.24b1p+0
+0x4.9f4eep+0
+-0x1.efdfbp+0
+0x8.8867ap+0
+0x9.3e57p+0
+0x3.b1effp+0
+-0x2.a0f26p+0
+0x6.380f4p+0
+-0x1.36a7ap+0
+-0x3.6178ap+0
+0x7.9dc6p+0
+0xa.e9e7p-4
+0x7.d589p+0
+-0x8.a5b38p+0
+0x3.09a72p+0
+0x6.facb2p+0
+-0x8.dfaa2p+0
+0x5.7264fp+0
+-0x3.c4c76p+0
+-0x9.c1312p+0
+0x1.9609ep+0
+-0x1.260f2p+0
+0x7.2bcd2p+0
+0x3.ea1b8p+0
+-0x5.5564p+0
+0x9.64e1cp+0
+0x8.a1d1ep+0
+0x3.d85ap-4
+-0x8.4bf24p+0
+0x7.74774p+0
+0x6.e032p-4
+-0x6.6bd78p+0
+0x9.441dcp+0
+0xf.41b6p-4
+0x7.51324p+0
+0x5.22f32p+0
+0x1.baa6bp+0
+-0x5.852bp-4
+0x1.912fap+0
+0x6.ad742p+0
+-0x5.3de18p+0
+-0x2.a8455p+0
+-0x8.cef22p+0
+-0x1.9bce9p+0
+0x6.a97bp+0
+-0x5.bd00d8p+0
+-0xc.a966p-4
+-0xe.5b5cp-4
+-0x6.64bd1p+0
+-0x2.efdee8p+0
+-0x4.c8e098p+0
+-0x5.fa91p-4
+0x9.ab176p+0
+-0x9.e8398p+0
+0x1.993ap+0
+0x7.13ebcp+0
+0x6.d4f2p-4
+-0x3.0b15p+0
+-0x9.9b77dp+0
+0x9.74e8cp+0
+0x5.187dbp+0
+-0x2.f7f998p+0
+-0x9.f4da6p+0
+-0x4.3ef9c8p+0
+0x7.87108p+0
+-0x1.4debp+0
+0x8.f795cp+0
+-0x4.c63e1p+0
+0x6.9badep+0
+0x3.f53fep+0
+-0x4.11997p+0
+-0x7.976a38p+0
+0x2.5adap-4
+0x4.46dcbp+0
+-0x9.51b42p+0
+-0x4.868ccp+0
+-0x6.d7d43p+0
+0x7.15a3cp+0
+0x6.31ebcp+0
+-0x2.4d9bap+0
+-0x5.0a3f3p+0
+0x6.da6c4p+0
+-0x8.f28d3p+0
+-0x8.6b6d4p+0
+0x4.da36cp+0
+-0x8.c8dap-4
+0x7.a2eb2p+0
+-0x2.1eba48p+0
+0x3.f0baap+0
+-0x8.228e8p+0
+0x1.2dccap+0
+0x8.324ap+0
+-0x1.e077p-4
+# Random inputs in the largest binary32 binade [2^127,2^128)
+## name: workload-huge.wrf
+0x9.fea8ap+124
+0x8.5d55p+124
+0xf.53a58p+124
+0xe.2523ep+124
+0xc.5cf02p+124
+0x8.c660cp+124
+0xb.041p+124
+0xf.dad27p+124
+0xa.ef4aap+124
+0x9.3e7a2p+124
+0x9.c2be5p+124
+0x8.4213p+124
+0x9.36074p+124
+0xa.05c4ep+124
+0xc.629ap+124
+0x9.113c5p+124
+0x8.5be49p+124
+0xc.e207ap+124
+0xa.1e8fp+124
+0xd.b48dcp+124
+0xf.01261p+124
+0xb.16549p+124
+0xf.883p+124
+0xa.2d09cp+124
+0xe.c790fp+124
+0xe.e5fc9p+124
+0xc.888c2p+124
+0xe.74323p+124
+0xf.d937cp+124
+0x8.17176p+124
+0xb.73a56p+124
+0xd.24dc8p+124
+0xc.f1b84p+124
+0xb.afe14p+124
+0xd.806p+124
+0xc.41b61p+124
+0xd.047cdp+124
+0xc.6dd2ep+124
+0x8.265b4p+124
+0xd.d49b2p+124
+0x9.db966p+124
+0x8.c196p+124
+0xf.17f6cp+124
+0x8.4833ep+124
+0xf.c63b4p+124
+0x9.e5cc6p+124
+0x8.2a8ffp+124
+0x9.3c29p+124
+0xa.b768fp+124
+0xf.56bfp+124
+0xe.f0c6p+124
+0xd.1b98cp+124
+0xc.aa77ep+124
+0xf.7effp+124
+0xb.92048p+124
+0xb.387dbp+124
+0x8.d91bep+124
+0xa.23b72p+124
+0xe.62674p+124
+0xf.a16f9p+124