/* Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue */ /* Mountain View, California 94043 All rights reserved. */ /* */ /* Any person is hereby authorized to download, copy, use, create bug fixes, */ /* and distribute, subject to the following conditions: */ /* */ /* 1. the software may not be redistributed for a fee except as */ /* reasonable to cover media costs; */ /* 2. any copy of the software must include this notice, as well as */ /* any other embedded copyright notices; and */ /* 3. any distribution of this software or derivative works thereof */ /* must comply with all applicable U.S. export control laws. */ /* */ /* THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED */ /* WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED */ /* WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR */ /* PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO */ /* SPECIFICATIONS. */ /* */ /* BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS */ /* AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY */ /* JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR */ /* EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN */ /* UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE. */ /* */ /* IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED */ /* COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL, */ /* INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE */ /* POSSIBILITY OF SUCH DAMAGES. */ /* */ /* This file is provided with no support and without any obligation on the */ /* part of Sun Microsystems, Inc. ("Sun") or any of its affiliated */ /* companies to assist in its use, correction, modification or */ /* enhancement. Nevertheless, and without creating any obligation on its */ /* part, Sun welcomes your comments concerning the software and requests */ /* that they be sent to fdlibm-comments@sunpro.sun.com. */ /* floors(integer) is itself */ floors n eq - 0 0 floors n eq - 80000000 80000000 floors n eq - 3f800000 3f800000 floors n eq - bf800000 bf800000 floors n eq - 4befffff 4befffff floors n eq - cbefffff cbefffff floors n eq - 7f7fffff 7f7fffff floors n eq - ff7fffff ff7fffff floors z eq - 0 0 floors z eq - 80000000 80000000 floors z eq - 3f800000 3f800000 floors z eq - bf800000 bf800000 floors z eq - 4befffff 4befffff floors z eq - cbefffff cbefffff floors z eq - 7f7fffff 7f7fffff floors z eq - ff7fffff ff7fffff floors p eq - 0 0 floors p eq - 80000000 80000000 floors p eq - 3f800000 3f800000 floors p eq - bf800000 bf800000 floors p eq - 4befffff 4befffff floors p eq - cbefffff cbefffff floors p eq - 7f7fffff 7f7fffff floors p eq - ff7fffff ff7fffff floors m eq - 0 0 floors m eq - 80000000 80000000 floors m eq - 3f800000 3f800000 floors m eq - bf800000 bf800000 floors m eq - 4befffff 4befffff floors m eq - cbefffff cbefffff floors m eq - 7f7fffff 7f7fffff floors m eq - ff7fffff ff7fffff /* integer - ulp */ floors n eq x 4a7eeeef 4a7eeeec floors n eq x ca7eeeef ca7eeef0 floors n eq x 3fffffff 3f800000 floors n eq x bfffffff c0000000 floors n eq x 3f7fffff 0 floors n eq x bf7fffff bf800000 floors z eq x 4a7eeeef 4a7eeeec floors z eq x ca7eeeef ca7eeef0 floors z eq x 3fffffff 3f800000 floors z eq x bfffffff c0000000 floors z eq x 3f7fffff 0 floors z eq x bf7fffff bf800000 floors p eq x 4a7eeeef 4a7eeeec floors p eq x ca7eeeef ca7eeef0 floors p eq x 3fffffff 3f800000 floors p eq x bfffffff c0000000 floors p eq x 3f7fffff 0 floors p eq x bf7fffff bf800000 floors m eq x 4a7eeeef 4a7eeeec floors m eq x ca7eeeef ca7eeef0 floors m eq x 3fffffff 3f800000 floors m eq x bfffffff c0000000 floors m eq x 3f7fffff 0 floors m eq x bf7fffff bf800000 /* integer + ulp */ floors n eq x 4a7eeeed 4a7eeeec floors n eq x ca7eeeed ca7eeef0 floors n eq x 3f800001 3f800000 floors n eq x bf800001 c0000000 floors n eq x 00800000 0 floors n eq x 80800000 bf800000 floors n eq x 00000001 0 floors n eq x 80000001 bf800000 floors z eq x 4a7eeeed 4a7eeeec floors z eq x ca7eeeed ca7eeef0 floors z eq x 3f800001 3f800000 floors z eq x bf800001 c0000000 floors z eq x 00800000 0 floors z eq x 80800000 bf800000 floors z eq x 00000001 0 floors z eq x 80000001 bf800000 floors p eq x 4a7eeeed 4a7eeeec floors p eq x ca7eeeed ca7eeef0 floors p eq x 3f800001 3f800000 floors p eq x bf800001 c0000000 floors p eq x 00800000 0 floors p eq x 80800000 bf800000 floors p eq x 00000001 0 floors p eq x 80000001 bf800000 floors m eq x 4a7eeeed 4a7eeeec floors m eq x ca7eeeed ca7eeef0 floors m eq x 3f800001 3f800000 floors m eq x bf800001 c0000000 floors m eq x 00800000 0 floors m eq x 80800000 bf800000 floors m eq x 00000001 0 floors m eq x 80000001 bf800000 /* half way case, half way case +- ulp */ floors n eq x 3effffff 0 floors n eq x 3f000000 0 floors n eq x 3f000001 0 floors n eq x beffffff bf800000 floors n eq x bf000000 bf800000 floors n eq x bf000001 bf800000 floors n eq x 3fbfffff 3f800000 floors n eq x 3fc00000 3f800000 floors n eq x 3fc00001 3f800000 floors n eq x bfbfffff c0000000 floors n eq x bfc00000 c0000000 floors n eq x bfc00001 c0000000 floors n eq x 401fffff 40000000 floors n eq x 40200000 40000000 floors n eq x 40200001 40000000 floors n eq x c01fffff c0400000 floors n eq x c0200000 c0400000 floors n eq x c0200001 c0400000 floors n eq x 497eeee7 497eeee0 floors n eq x 497eeee8 497eeee0 floors n eq x 497eeee9 497eeee0 floors n eq x c97eeee7 c97eeef0 floors n eq x c97eeee8 c97eeef0 floors n eq x c97eeee9 c97eeef0 floors z eq x 3effffff 0 floors z eq x 3f000000 0 floors z eq x 3f000001 0 floors z eq x beffffff bf800000 floors z eq x bf000000 bf800000 floors z eq x bf000001 bf800000 floors z eq x 3fbfffff 3f800000 floors z eq x 3fc00000 3f800000 floors z eq x 3fc00001 3f800000 floors z eq x bfbfffff c0000000 floors z eq x bfc00000 c0000000 floors z eq x bfc00001 c0000000 floors z eq x 401fffff 40000000 floors z eq x 40200000 40000000 floors z eq x 40200001 40000000 floors z eq x c01fffff c0400000 floors z eq x c0200000 c0400000 floors z eq x c0200001 c0400000 floors z eq x 497eeee7 497eeee0 floors z eq x 497eeee8 497eeee0 floors z eq x 497eeee9 497eeee0 floors z eq x c97eeee7 c97eeef0 floors z eq x c97eeee8 c97eeef0 floors z eq x c97eeee9 c97eeef0 floors p eq x 3effffff 0 floors p eq x 3f000000 0 floors p eq x 3f000001 0 floors p eq x beffffff bf800000 floors p eq x bf000000 bf800000 floors p eq x bf000001 bf800000 floors p eq x 3fbfffff 3f800000 floors p eq x 3fc00000 3f800000 floors p eq x 3fc00001 3f800000 floors p eq x bfbfffff c0000000 floors p eq x bfc00000 c0000000 floors p eq x bfc00001 c0000000 floors p eq x 401fffff 40000000 floors p eq x 40200000 40000000 floors p eq x 40200001 40000000 floors p eq x c01fffff c0400000 floors p eq x c0200000 c0400000 floors p eq x c0200001 c0400000 floors p eq x 497eeee7 497eeee0 floors p eq x 497eeee8 497eeee0 floors p eq x 497eeee9 497eeee0 floors p eq x c97eeee7 c97eeef0 floors p eq x c97eeee8 c97eeef0 floors p eq x c97eeee9 c97eeef0 floors m eq x 3effffff 0 floors m eq x 3f000000 0 floors m eq x 3f000001 0 floors m eq x beffffff bf800000 floors m eq x bf000000 bf800000 floors m eq x bf000001 bf800000 floors m eq x 3fbfffff 3f800000 floors m eq x 3fc00000 3f800000 floors m eq x 3fc00001 3f800000 floors m eq x bfbfffff c0000000 floors m eq x bfc00000 c0000000 floors m eq x bfc00001 c0000000 floors m eq x 401fffff 40000000 floors m eq x 40200000 40000000 floors m eq x 40200001 40000000 floors m eq x c01fffff c0400000 floors m eq x c0200000 c0400000 floors m eq x c0200001 c0400000 floors m eq x 497eeee7 497eeee0 floors m eq x 497eeee8 497eeee0 floors m eq x 497eeee9 497eeee0 floors m eq x c97eeee7 c97eeef0 floors m eq x c97eeee8 c97eeef0 floors m eq x c97eeee9 c97eeef0 /* random arguments between -100,100 */ floors n eq x c156f77e c1600000 floors n eq x 420e71f8 420c0000 floors n eq x 42301708 42300000 floors n eq x c2059230 c2080000 floors n eq x c158b8f7 c1600000 floors n eq x bffb77f9 c0000000 floors n eq x 41e7551f 41e00000 floors n eq x 422b048a 42280000 floors n eq x c1067481 c1100000 floors n eq x c23f9ada c2400000 /* inf,nan, and subnormal number */ floors n eq x 1 0 floors n eq x 80000001 bf800000 floors n eq - 7f800000 7f800000 floors n eq - ff800000 ff800000 floors n uo v 7f800001 0 floors n uo - 7fc00000 0 floors z eq x 1 0 floors z eq x 80000001 bf800000 floors z eq - 7f800000 7f800000 floors z eq - ff800000 ff800000 floors z uo v 7f800001 0 floors z uo - 7fc00000 0 floors p eq x 1 0 floors p eq x 80000001 bf800000 floors p eq - 7f800000 7f800000 floors p eq - ff800000 ff800000 floors p uo v 7f800001 0 floors p uo - 7fc00000 0 floors m eq x 1 0 floors m eq x 80000001 bf800000 floors m eq - 7f800000 7f800000 floors m eq - ff800000 ff800000 floors m uo v 7f800001 0 floors m uo - 7fc00000 0 floors m eq - 00000000 00000000 floors m eq - 45900000 45900000 floors m eq - 4afffffe 4afffffe floors m eq - 4b000000 4b000000 floors m eq - 4b000001 4b000001 floors m eq - 597ffffd 597ffffd floors m eq - 597ffffe 597ffffe floors m eq - 597fffff 597fffff floors m eq - 59800000 59800000 floors m eq - 59800001 59800001 floors m eq - 7affffee 7affffee floors m eq - 7afffff7 7afffff7 floors m eq - 7affffff 7affffff floors m eq - 7b000000 7b000000 floors m eq - c5900000 c5900000 floors m eq - cafffffe cafffffe floors m eq - cb000000 cb000000 floors m eq - cb000001 cb000001 floors m eq - d97ffffd d97ffffd floors m eq - d97ffffe d97ffffe floors m eq - d97fffff d97fffff floors m eq - d9800000 d9800000 floors m eq - d9800001 d9800001 floors m eq - faffffee faffffee floors m eq - fafffff7 fafffff7 floors m eq - faffffff faffffff floors m eq - fb000000 fb000000 floors m eq x 007fffff 00000000 floors m eq x 3f700000 00000000 floors m eq x 40900000 40800000 floors m eq x 40ffffff 40e00000 floors m eq x 41000001 41000000 floors m eq x 44000008 44000000 floors m eq x 48800001 48800000 floors m eq x 4afffffd 4afffffc floors m eq x 4affffff 4afffffe floors m eq x 807fffff bf800000 floors m eq x c0900000 c0a00000 floors m eq x c0ffffff c1000000 floors m eq x c1000001 c1100000 floors m eq x c3fffff8 c4000000 floors m eq x c87fffff c8800000 floors m eq x cafffffd cafffffe floors m eq x caffffff cb000000 floors m uo - 7fc00000 00000000 floors m uo - 7fff0000 7fff0000 floors m uo - ffff0000 ffff0000 floors m uo v 7f800001 00000000 floors m uo v 7f810000 7fff0000 floors m uo v ff810000 ffff0000 floors n eq - 00000000 00000000 floors n eq - 45900000 45900000 floors n eq - 4afffffe 4afffffe floors n eq - 4b000000 4b000000 floors n eq - 4b000001 4b000001 floors n eq - 597ffffd 597ffffd floors n eq - 597ffffe 597ffffe floors n eq - 597fffff 597fffff floors n eq - 59800000 59800000 floors n eq - 59800001 59800001 floors n eq - 7affffee 7affffee floors n eq - 7afffff7 7afffff7 floors n eq - 7affffff 7affffff floors n eq - 7b000000 7b000000 floors n eq - c5900000 c5900000 floors n eq - cafffffe cafffffe floors n eq - cb000000 cb000000 floors n eq - cb000001 cb000001 floors n eq - d97ffffd d97ffffd floors n eq - d97ffffe d97ffffe floors n eq - d97fffff d97fffff floors n eq - d9800000 d9800000 floors n eq - d9800001 d9800001 floors n eq - faffffee faffffee floors n eq - fafffff7 fafffff7 floors n eq - faffffff faffffff floors n eq - fb000000 fb000000 floors n eq x 007fffff 00000000 floors n eq x 3f700000 00000000 floors n eq x 40900000 40800000 floors n eq x 40900001 40800000 floors n eq x 41000001 41000000 floors n eq x 44000008 44000000 floors n eq x 48800001 48800000 floors n eq x 4afffffd 4afffffc floors n eq x 4affffff 4afffffe floors n eq x c0900001 c0a00000 floors n eq x c0ffffff c1000000 floors n eq x c3fffff8 c4000000 floors n eq x c87fffff c8800000 floors n eq x cafffffd cafffffe floors n eq x caffffff cb000000 floors n uo - 7fc00000 00000000 floors n uo - 7fff0000 7fff0000 floors n uo - ffff0000 ffff0000 floors n uo v 7f800001 00000000 floors n uo v 7f810000 7fff0000 floors n uo v ff810000 ffff0000 floors p eq - 00000000 00000000 floors p eq - 45900000 45900000 floors p eq - 4afffffe 4afffffe floors p eq - 4b000000 4b000000 floors p eq - 4b000001 4b000001 floors p eq - 597ffffd 597ffffd floors p eq - 597ffffe 597ffffe floors p eq - 597fffff 597fffff floors p eq - 59800000 59800000 floors p eq - 59800001 59800001 floors p eq - 7affffee 7affffee floors p eq - 7afffff7 7afffff7 floors p eq - 7affffff 7affffff floors p eq - 7b000000 7b000000 floors p eq - c5900000 c5900000 floors p eq - cafffffe cafffffe floors p eq - cb000000 cb000000 floors p eq - cb000001 cb000001 floors p eq - d97ffffd d97ffffd floors p eq - d97ffffe d97ffffe floors p eq - d97fffff d97fffff floors p eq - d9800000 d9800000 floors p eq - d9800001 d9800001 floors p eq - faffffee faffffee floors p eq - fafffff7 fafffff7 floors p eq - faffffff faffffff floors p eq - fb000000 fb000000 floors p eq x 3f700000 00000000 floors p eq x 4afffffd 4afffffc floors p eq x 4affffff 4afffffe floors p eq x cafffffd cafffffe floors p eq x caffffff cb000000 floors p uo - 7fc00000 00000000 floors p uo - 7fff0000 7fff0000 floors p uo - ffff0000 ffff0000 floors p uo v 7f800001 00000000 floors p uo v 7f810000 7fff0000 floors p uo v ff810000 ffff0000 floors z eq - 00000000 00000000 floors z eq - 45900000 45900000 floors z eq - 4afffffe 4afffffe floors z eq - 4b000000 4b000000 floors z eq - 4b000001 4b000001 floors z eq - 597ffffd 597ffffd floors z eq - 597ffffe 597ffffe floors z eq - 597fffff 597fffff floors z eq - 59800000 59800000 floors z eq - 59800001 59800001 floors z eq - 7affffee 7affffee floors z eq - 7afffff7 7afffff7 floors z eq - 7affffff 7affffff floors z eq - 7b000000 7b000000 floors z eq - c5900000 c5900000 floors z eq - cafffffe cafffffe floors z eq - cb000000 cb000000 floors z eq - cb000001 cb000001 floors z eq - d97ffffd d97ffffd floors z eq - d97ffffe d97ffffe floors z eq - d97fffff d97fffff floors z eq - d9800000 d9800000 floors z eq - d9800001 d9800001 floors z eq - faffffee faffffee floors z eq - fafffff7 fafffff7 floors z eq - faffffff faffffff floors z eq - fb000000 fb000000 floors z eq x 007fffff 00000000 floors z eq x 3f700000 00000000 floors z eq x 40900000 40800000 floors z eq x 40ffffff 40e00000 floors z eq x 41000001 41000000 floors z eq x 44000008 44000000 floors z eq x 48800001 48800000 floors z eq x 4afffffd 4afffffc floors z eq x 4affffff 4afffffe floors z eq x cafffffd cafffffe floors z eq x caffffff cb000000 floors z uo - 7fc00000 00000000 floors z uo - 7fff0000 7fff0000 floors z uo - ffff0000 ffff0000 floors z uo v 7f800001 00000000 floors z uo v 7f810000 7fff0000 floors z uo v ff810000 ffff0000