isfinite: Avoid compiler bug of "cc -O" on HP-UX 11.11.
[gnulib.git] / lib / isfinite.c
1 /* Test for finite value (zero, subnormal, or normal, and not infinite or NaN).
2    Copyright (C) 2007-2010 Free Software Foundation, Inc.
3
4    This program is free software; you can redistribute it and/or modify
5    it under the terms of the GNU General Public License as published by
6    the Free Software Foundation; either version 2, or (at your option)
7    any later version.
8
9    This program is distributed in the hope that it will be useful,
10    but WITHOUT ANY WARRANTY; without even the implied warranty of
11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12    GNU General Public License for more details.
13
14    You should have received a copy of the GNU General Public License along
15    with this program; if not, write to the Free Software Foundation,
16    Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
17
18 /* Written by Ben Pfaff <blp@gnu.org>, 2007. */
19
20 #include <config.h>
21
22 #include "isnanf-nolibm.h"
23 #include "isnand-nolibm.h"
24 #include "isnanl-nolibm.h"
25
26 /* The "cc" compiler on HP-UX 11.11, when optimizing, simplifies the test
27    x - y == 0.0  to  x == y, a simplification which is invalid when x and y
28    are Infinity.  Disable this optimization.  */
29 #if defined __hpux && !defined __GNUC__
30 static float zerof;
31 static double zerod;
32 static long double zerol;
33 #else
34 # define zerof 0.f
35 # define zerod 0.
36 # define zerol 0.L
37 #endif
38
39 int gl_isfinitef (float x)
40 {
41   return !isnanf (x) && x - x == zerof;
42 }
43
44 int gl_isfinited (double x)
45 {
46   return !isnand (x) && x - x == zerod;
47 }
48
49 int gl_isfinitel (long double x)
50 {
51   return !isnanl (x) && x - x == zerol;
52 }