1// Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue 2// Mountain View, California 94043 All rights reserved. 3// 4// Any person is hereby authorized to download, copy, use, create bug fixes, 5// and distribute, subject to the following conditions: 6// 7// 1. the software may not be redistributed for a fee except as 8// reasonable to cover media costs; 9// 2. any copy of the software must include this notice, as well as 10// any other embedded copyright notices; and 11// 3. any distribution of this software or derivative works thereof 12// must comply with all applicable U.S. export control laws. 13// 14// THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED 15// WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED 16// WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR 17// PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO 18// SPECIFICATIONS. 19// 20// BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS 21// AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY 22// JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR 23// EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN 24// UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE. 25// 26// IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED 27// COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL, 28// INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE 29// POSSIBILITY OF SUCH DAMAGES. 30// 31// This file is provided with no support and without any obligation on the 32// part of Sun Microsystems, Inc. ("Sun") or any of its affiliated 33// companies to assist in its use, correction, modification or 34// enhancement. Nevertheless, and without creating any obligation on its 35// part, Sun welcomes your comments concerning the software and requests 36// that they be sent to fdlibm-comments@sunpro.sun.com. 37// overflow boundary 38T(RN, 0x1.65a9f8p+6, 0x1.ffffd8p+127, -0x1.f47394p-4, INEXACT) 39T(RZ, 0x1.65a9f8p+6, 0x1.ffffd8p+127, -0x1.f47394p-4, INEXACT) 40T(RU, 0x1.65a9f8p+6, 0x1.ffffdap+127, 0x1.c1718ep-1, INEXACT) 41T(RD, 0x1.65a9f8p+6, 0x1.ffffd8p+127, -0x1.f47394p-4, INEXACT) 42T(RN, -0x1.65a9f8p+6, 0x1.ffffd8p+127, -0x1.f47394p-4, INEXACT) 43T(RN, 0x1.65a9fap+6, inf, 0x0p+0, INEXACT|OVERFLOW) 44T(RN, -0x1.65a9fap+6, inf, 0x0p+0, INEXACT|OVERFLOW) 45T(RZ, 0x1.65a9fap+6, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 46T(RU, 0x1.65a9fap+6, inf, 0x0p+0, INEXACT|OVERFLOW) 47T(RD, 0x1.65a9fap+6, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 48// coshs(0 or tiny) :=: 1.0 49T(RN, 0x1p-29, 0x1p+0, -0x1p-36, INEXACT) 50T(RN, -0x1p-29, 0x1p+0, -0x1p-36, INEXACT) 51T(RN, 0x1p-126, 0x1p+0, 0x0p+0, INEXACT) 52T(RN, -0x1p-126, 0x1p+0, 0x0p+0, INEXACT) 53T(RN, 0x1p-149, 0x1p+0, 0x0p+0, INEXACT) 54T(RN, -0x1p-149, 0x1p+0, 0x0p+0, INEXACT) 55T(RN, 0x0p+0, 0x1p+0, 0x0p+0, 0) 56T(RN, -0x0p+0, 0x1p+0, 0x0p+0, 0) 57// random arguments between -50,50 58T(RN, -0x1.adeefcp+3, 0x1.4de32ep+18, -0x1.b42ea2p-2, INEXACT) 59T(RN, 0x1.1ce3fp+5, 0x1.4c46e6p+50, -0x1.eedd98p-2, INEXACT) 60T(RN, 0x1.602e1p+5, 0x1.6cd136p+62, -0x1.af2604p-2, INEXACT) 61T(RN, -0x1.0b246p+5, 0x1.21211ap+47, -0x1.79d648p-5, INEXACT) 62T(RN, -0x1.b171eep+3, 0x1.749ccp+18, 0x1.b68d9p-2, INEXACT) 63T(RN, -0x1.f6eff2p+0, 0x1.d16ccp+1, -0x1.268b0ap-5, INEXACT) 64T(RN, 0x1.ceaa3ep+4, 0x1.a507e4p+40, -0x1.bb6332p-2, INEXACT) 65T(RN, 0x1.560914p+5, 0x1.9a9aecp+60, -0x1.86baeep-2, INEXACT) 66T(RN, -0x1.0ce902p+3, 0x1.16e68p+11, 0x1.1fd9dcp-2, INEXACT) 67T(RN, -0x1.7f35b4p+5, 0x1.13ae52p+68, -0x1.55ec92p-2, INEXACT) 68// coshs(nan/inf) 69T(RN, nan, nan, 0x0p+0, 0) 70T(RN, nan, nan, 0x0p+0, 0) 71T(RN, inf, inf, 0x0p+0, 0) 72T(RN, -inf, inf, 0x0p+0, 0) 73T(RD, inf, inf, 0x0p+0, 0) 74T(RD, -0x0p+0, 0x1p+0, 0x0p+0, 0) 75T(RD, -inf, inf, 0x0p+0, 0) 76T(RD, 0x1p-149, 0x1p+0, 0x0p+0, INEXACT) 77T(RD, 0x1p-148, 0x1p+0, 0x0p+0, INEXACT) 78T(RD, 0x1p-128, 0x1p+0, 0x0p+0, INEXACT) 79T(RD, 0x1p-127, 0x1p+0, 0x0p+0, INEXACT) 80T(RD, 0x1.fffff8p-127, 0x1p+0, 0x0p+0, INEXACT) 81T(RD, 0x1.fffffcp-127, 0x1p+0, 0x0p+0, INEXACT) 82T(RD, 0x1p-126, 0x1p+0, 0x0p+0, INEXACT) 83T(RD, 0x1.000002p-126, 0x1p+0, 0x0p+0, INEXACT) 84T(RD, 0x1.000004p-126, 0x1p+0, 0x0p+0, INEXACT) 85T(RD, 0x1p-125, 0x1p+0, 0x0p+0, INEXACT) 86T(RD, 0x1p-124, 0x1p+0, 0x0p+0, INEXACT) 87T(RD, 0x1p-27, 0x1p+0, -0x1p-32, INEXACT) 88T(RD, 0x1p-12, 0x1p+0, -0x1p-2, INEXACT) 89T(RD, 0x1p-11, 0x1.000002p+0, -0x1.555556p-26, INEXACT) 90T(RD, -0x1p-149, 0x1p+0, 0x0p+0, INEXACT) 91T(RD, -0x1p-148, 0x1p+0, 0x0p+0, INEXACT) 92T(RD, -0x1p-128, 0x1p+0, 0x0p+0, INEXACT) 93T(RD, -0x1p-127, 0x1p+0, 0x0p+0, INEXACT) 94T(RD,-0x1.fffff8p-127, 0x1p+0, 0x0p+0, INEXACT) 95T(RD,-0x1.fffffcp-127, 0x1p+0, 0x0p+0, INEXACT) 96T(RD, -0x1p-126, 0x1p+0, 0x0p+0, INEXACT) 97T(RD,-0x1.000002p-126, 0x1p+0, 0x0p+0, INEXACT) 98T(RD,-0x1.000004p-126, 0x1p+0, 0x0p+0, INEXACT) 99T(RD, -0x1p-125, 0x1p+0, 0x0p+0, INEXACT) 100T(RD, -0x1p-124, 0x1p+0, 0x0p+0, INEXACT) 101T(RD, -0x1p-27, 0x1p+0, -0x1p-32, INEXACT) 102T(RD, -0x1p-12, 0x1p+0, -0x1p-2, INEXACT) 103T(RD, -0x1p-11, 0x1.000002p+0, -0x1.555556p-26, INEXACT) 104T(RD, 0x1.66p+6, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 105T(RD, 0x1.634p+9, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 106T(RD, 0x1p+126, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 107T(RD, 0x1p+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 108T(RD, 0x1.fffffcp+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 109T(RD, 0x1.fffffep+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 110T(RD, -0x1.66p+6, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 111T(RD, -0x1.634p+9, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 112T(RD, -0x1p+126, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 113T(RD, -0x1p+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 114T(RD,-0x1.fffffcp+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 115T(RD,-0x1.fffffep+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 116T(RD, nan, nan, 0x0p+0, 0) 117T(RD, nan, nan, 0x0p+0, 0) 118T(RN, 0x1p-148, 0x1p+0, 0x0p+0, INEXACT) 119T(RN, 0x1p-128, 0x1p+0, 0x0p+0, INEXACT) 120T(RN, 0x1p-127, 0x1p+0, 0x0p+0, INEXACT) 121T(RN, 0x1.fffff8p-127, 0x1p+0, 0x0p+0, INEXACT) 122T(RN, 0x1.fffffcp-127, 0x1p+0, 0x0p+0, INEXACT) 123T(RN, 0x1.000002p-126, 0x1p+0, 0x0p+0, INEXACT) 124T(RN, 0x1.000004p-126, 0x1p+0, 0x0p+0, INEXACT) 125T(RN, 0x1p-125, 0x1p+0, 0x0p+0, INEXACT) 126T(RN, 0x1p-124, 0x1p+0, 0x0p+0, INEXACT) 127T(RN, 0x1p-27, 0x1p+0, -0x1p-32, INEXACT) 128T(RN, 0x1p-12, 0x1p+0, -0x1p-2, INEXACT) 129T(RN, 0x1p-11, 0x1.000002p+0, -0x1.555556p-26, INEXACT) 130T(RN, -0x1p-148, 0x1p+0, 0x0p+0, INEXACT) 131T(RN, -0x1p-128, 0x1p+0, 0x0p+0, INEXACT) 132T(RN, -0x1p-127, 0x1p+0, 0x0p+0, INEXACT) 133T(RN,-0x1.fffff8p-127, 0x1p+0, 0x0p+0, INEXACT) 134T(RN,-0x1.fffffcp-127, 0x1p+0, 0x0p+0, INEXACT) 135T(RN,-0x1.000002p-126, 0x1p+0, 0x0p+0, INEXACT) 136T(RN,-0x1.000004p-126, 0x1p+0, 0x0p+0, INEXACT) 137T(RN, -0x1p-125, 0x1p+0, 0x0p+0, INEXACT) 138T(RN, -0x1p-124, 0x1p+0, 0x0p+0, INEXACT) 139T(RN, -0x1p-27, 0x1p+0, -0x1p-32, INEXACT) 140T(RN, -0x1p-12, 0x1p+0, -0x1p-2, INEXACT) 141T(RN, -0x1p-11, 0x1.000002p+0, -0x1.555556p-26, INEXACT) 142T(RN, 0x1.66p+6, inf, 0x0p+0, INEXACT|OVERFLOW) 143T(RN, 0x1.634p+9, inf, 0x0p+0, INEXACT|OVERFLOW) 144T(RN, 0x1p+126, inf, 0x0p+0, INEXACT|OVERFLOW) 145T(RN, 0x1p+127, inf, 0x0p+0, INEXACT|OVERFLOW) 146T(RN, 0x1.fffffcp+127, inf, 0x0p+0, INEXACT|OVERFLOW) 147T(RN, 0x1.fffffep+127, inf, 0x0p+0, INEXACT|OVERFLOW) 148T(RN, -0x1.66p+6, inf, 0x0p+0, INEXACT|OVERFLOW) 149T(RN, -0x1.634p+9, inf, 0x0p+0, INEXACT|OVERFLOW) 150T(RN, -0x1p+126, inf, 0x0p+0, INEXACT|OVERFLOW) 151T(RN, -0x1p+127, inf, 0x0p+0, INEXACT|OVERFLOW) 152T(RN,-0x1.fffffcp+127, inf, 0x0p+0, INEXACT|OVERFLOW) 153T(RN,-0x1.fffffep+127, inf, 0x0p+0, INEXACT|OVERFLOW) 154T(RU, 0x0p+0, 0x1p+0, 0x0p+0, 0) 155T(RU, inf, inf, 0x0p+0, 0) 156T(RU, -0x0p+0, 0x1p+0, 0x0p+0, 0) 157T(RU, -inf, inf, 0x0p+0, 0) 158T(RU, 0x1.66p+6, inf, 0x0p+0, INEXACT|OVERFLOW) 159T(RU, 0x1.634p+9, inf, 0x0p+0, INEXACT|OVERFLOW) 160T(RU, 0x1p+126, inf, 0x0p+0, INEXACT|OVERFLOW) 161T(RU, 0x1p+127, inf, 0x0p+0, INEXACT|OVERFLOW) 162T(RU, 0x1.fffffcp+127, inf, 0x0p+0, INEXACT|OVERFLOW) 163T(RU, 0x1.fffffep+127, inf, 0x0p+0, INEXACT|OVERFLOW) 164T(RU, -0x1.66p+6, inf, 0x0p+0, INEXACT|OVERFLOW) 165T(RU, -0x1.634p+9, inf, 0x0p+0, INEXACT|OVERFLOW) 166T(RU, -0x1p+126, inf, 0x0p+0, INEXACT|OVERFLOW) 167T(RU, -0x1p+127, inf, 0x0p+0, INEXACT|OVERFLOW) 168T(RU,-0x1.fffffcp+127, inf, 0x0p+0, INEXACT|OVERFLOW) 169T(RU,-0x1.fffffep+127, inf, 0x0p+0, INEXACT|OVERFLOW) 170T(RU, nan, nan, 0x0p+0, 0) 171T(RU, nan, nan, 0x0p+0, 0) 172T(RU, 0x1p-149, 0x1.000002p+0, 0x1p+0, INEXACT) 173T(RU, 0x1p-148, 0x1.000002p+0, 0x1p+0, INEXACT) 174T(RU, 0x1p-128, 0x1.000002p+0, 0x1p+0, INEXACT) 175T(RU, 0x1p-127, 0x1.000002p+0, 0x1p+0, INEXACT) 176T(RU, 0x1.fffff8p-127, 0x1.000002p+0, 0x1p+0, INEXACT) 177T(RU, 0x1.fffffcp-127, 0x1.000002p+0, 0x1p+0, INEXACT) 178T(RU, 0x1p-126, 0x1.000002p+0, 0x1p+0, INEXACT) 179T(RU, 0x1.000002p-126, 0x1.000002p+0, 0x1p+0, INEXACT) 180T(RU, 0x1.000004p-126, 0x1.000002p+0, 0x1p+0, INEXACT) 181T(RU, 0x1p-125, 0x1.000002p+0, 0x1p+0, INEXACT) 182T(RU, 0x1p-124, 0x1.000002p+0, 0x1p+0, INEXACT) 183T(RU, 0x1p-27, 0x1.000002p+0, 0x1p+0, INEXACT) 184T(RU, 0x1p-12, 0x1.000002p+0, 0x1.8p-1, INEXACT) 185T(RU, 0x1p-11, 0x1.000004p+0, 0x1p+0, INEXACT) 186T(RU, -0x1p-149, 0x1.000002p+0, 0x1p+0, INEXACT) 187T(RU, -0x1p-148, 0x1.000002p+0, 0x1p+0, INEXACT) 188T(RU, -0x1p-128, 0x1.000002p+0, 0x1p+0, INEXACT) 189T(RU, -0x1p-127, 0x1.000002p+0, 0x1p+0, INEXACT) 190T(RU,-0x1.fffff8p-127, 0x1.000002p+0, 0x1p+0, INEXACT) 191T(RU,-0x1.fffffcp-127, 0x1.000002p+0, 0x1p+0, INEXACT) 192T(RU, -0x1p-126, 0x1.000002p+0, 0x1p+0, INEXACT) 193T(RU,-0x1.000002p-126, 0x1.000002p+0, 0x1p+0, INEXACT) 194T(RU,-0x1.000004p-126, 0x1.000002p+0, 0x1p+0, INEXACT) 195T(RU, -0x1p-125, 0x1.000002p+0, 0x1p+0, INEXACT) 196T(RU, -0x1p-124, 0x1.000002p+0, 0x1p+0, INEXACT) 197T(RU, -0x1p-27, 0x1.000002p+0, 0x1p+0, INEXACT) 198T(RU, -0x1p-12, 0x1.000002p+0, 0x1.8p-1, INEXACT) 199T(RU, -0x1p-11, 0x1.000004p+0, 0x1p+0, INEXACT) 200T(RZ, 0x0p+0, 0x1p+0, 0x0p+0, 0) 201T(RZ, inf, inf, 0x0p+0, 0) 202T(RZ, -0x0p+0, 0x1p+0, 0x0p+0, 0) 203T(RZ, -inf, inf, 0x0p+0, 0) 204T(RZ, 0x1p-149, 0x1p+0, 0x0p+0, INEXACT) 205T(RZ, 0x1p-148, 0x1p+0, 0x0p+0, INEXACT) 206T(RZ, 0x1p-128, 0x1p+0, 0x0p+0, INEXACT) 207T(RZ, 0x1p-127, 0x1p+0, 0x0p+0, INEXACT) 208T(RZ, 0x1.fffff8p-127, 0x1p+0, 0x0p+0, INEXACT) 209T(RZ, 0x1.fffffcp-127, 0x1p+0, 0x0p+0, INEXACT) 210T(RZ, 0x1p-126, 0x1p+0, 0x0p+0, INEXACT) 211T(RZ, 0x1.000002p-126, 0x1p+0, 0x0p+0, INEXACT) 212T(RZ, 0x1.000004p-126, 0x1p+0, 0x0p+0, INEXACT) 213T(RZ, 0x1p-125, 0x1p+0, 0x0p+0, INEXACT) 214T(RZ, 0x1p-124, 0x1p+0, 0x0p+0, INEXACT) 215T(RZ, 0x1p-27, 0x1p+0, -0x1p-32, INEXACT) 216T(RZ, 0x1p-12, 0x1p+0, -0x1p-2, INEXACT) 217T(RZ, 0x1p-11, 0x1.000002p+0, -0x1.555556p-26, INEXACT) 218T(RZ, -0x1p-149, 0x1p+0, 0x0p+0, INEXACT) 219T(RZ, -0x1p-148, 0x1p+0, 0x0p+0, INEXACT) 220T(RZ, -0x1p-128, 0x1p+0, 0x0p+0, INEXACT) 221T(RZ, -0x1p-127, 0x1p+0, 0x0p+0, INEXACT) 222T(RZ,-0x1.fffff8p-127, 0x1p+0, 0x0p+0, INEXACT) 223T(RZ,-0x1.fffffcp-127, 0x1p+0, 0x0p+0, INEXACT) 224T(RZ, -0x1p-126, 0x1p+0, 0x0p+0, INEXACT) 225T(RZ,-0x1.000002p-126, 0x1p+0, 0x0p+0, INEXACT) 226T(RZ,-0x1.000004p-126, 0x1p+0, 0x0p+0, INEXACT) 227T(RZ, -0x1p-125, 0x1p+0, 0x0p+0, INEXACT) 228T(RZ, -0x1p-124, 0x1p+0, 0x0p+0, INEXACT) 229T(RZ, -0x1p-27, 0x1p+0, -0x1p-32, INEXACT) 230T(RZ, -0x1p-12, 0x1p+0, -0x1p-2, INEXACT) 231T(RZ, -0x1p-11, 0x1.000002p+0, -0x1.555556p-26, INEXACT) 232T(RZ, 0x1.66p+6, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 233T(RZ, 0x1.634p+9, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 234T(RZ, 0x1p+126, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 235T(RZ, 0x1p+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 236T(RZ, 0x1.fffffcp+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 237T(RZ, 0x1.fffffep+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 238T(RZ, -0x1.66p+6, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 239T(RZ, -0x1.634p+9, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 240T(RZ, -0x1p+126, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 241T(RZ, -0x1p+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 242T(RZ,-0x1.fffffcp+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 243T(RZ,-0x1.fffffep+127, 0x1.fffffep+127, -0x1p+0, INEXACT|OVERFLOW) 244T(RZ, nan, nan, 0x0p+0, 0) 245T(RZ, nan, nan, 0x0p+0, 0) 246