- add proper double_t and float_t definitions for each arch
authormartynas <martynas@openbsd.org>
Mon, 21 Jul 2008 20:50:54 +0000 (20:50 +0000)
committermartynas <martynas@openbsd.org>
Mon, 21 Jul 2008 20:50:54 +0000 (20:50 +0000)
- math.h shouldn't define FLT_EVAL_METHOD, but float.h should (per
C99).  remove from math.h, and add proper definitions in float.h
ok millert@

29 files changed:
include/math.h
sys/arch/alpha/include/_types.h
sys/arch/alpha/include/float.h
sys/arch/amd64/include/_types.h
sys/arch/amd64/include/float.h
sys/arch/arm/include/_types.h
sys/arch/arm/include/float.h
sys/arch/hppa/include/_types.h
sys/arch/hppa/include/float.h
sys/arch/hppa64/include/_types.h
sys/arch/hppa64/include/float.h
sys/arch/i386/include/_types.h
sys/arch/i386/include/float.h
sys/arch/m68k/include/_types.h
sys/arch/m68k/include/float.h
sys/arch/m88k/include/_types.h
sys/arch/m88k/include/float.h
sys/arch/mips64/include/_types.h
sys/arch/mips64/include/float.h
sys/arch/powerpc/include/_types.h
sys/arch/powerpc/include/float.h
sys/arch/sh/include/_types.h
sys/arch/sh/include/float.h
sys/arch/sparc/include/_types.h
sys/arch/sparc/include/float.h
sys/arch/sparc64/include/_types.h
sys/arch/sparc64/include/float.h
sys/arch/vax/include/_types.h
sys/arch/vax/include/float.h

index 7c039b0..665f22c 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: math.h,v 1.16 2008/07/16 15:01:19 martynas Exp $      */
+/*     $OpenBSD: math.h,v 1.17 2008/07/21 20:50:54 martynas Exp $      */
 /*
  * ====================================================
  * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
@@ -17,6 +17,7 @@
 #ifndef _MATH_H_
 #define _MATH_H_
 
+#include <sys/_types.h>
 #include <sys/cdefs.h>
 
 /*
@@ -29,11 +30,8 @@ extern char __infinity[];
  * C99
  */
 
-/* XXX just appease the committee for now, needs proper defs... */
-
-typedef float float_t;
-typedef double double_t;
-#define FLT_EVAL_METHOD (-1)
+typedef __double_t     double_t;
+typedef __float_t      float_t;
 
 /*
  * XOPEN/SVID
index aa00ab4..e05901e 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.9 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.10 2008/07/21 20:50:54 martynas Exp $    */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef double                 __double_t;
+typedef float                  __float_t;
 typedef long                   __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index 94fa7b2..7033150 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.6 2003/06/02 23:27:43 millert Exp $       */
+/*     $OpenBSD: float.h,v 1.7 2008/07/21 20:50:54 martynas Exp $      */
 /*     $NetBSD: float.h,v 1.4 1995/06/20 20:45:22 jtc Exp $    */
 
 /*
@@ -41,6 +41,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index ad32a2a..772c529 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.4 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.5 2008/07/21 20:50:54 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef        double                  __double_t;
+typedef        float                   __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index c9e8d6a..6050cd4 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.2 2006/10/01 18:16:54 kettenis Exp $      */
+/*     $OpenBSD: float.h,v 1.3 2008/07/21 20:50:54 martynas Exp $      */
 /*     $NetBSD: float.h,v 1.8 1995/06/20 20:45:37 jtc Exp $    */
 
 /*
@@ -43,6 +43,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index ea01340..2586c87 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.5 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.6 2008/07/21 20:50:54 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef double                 __double_t;
+typedef float                  __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index 0795daa..46d7792 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.2 2004/05/19 03:17:07 drahn Exp $ */
+/*     $OpenBSD: float.h,v 1.3 2008/07/21 20:50:54 martynas Exp $      */
 /*     $NetBSD: float.h,v 1.1 2001/01/10 19:02:06 bjh21 Exp $  */
 
 /*
@@ -56,6 +56,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-7F  /* b**(1-p) */
index c1b8062..a25871e 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.9 2008/04/27 14:36:38 kettenis Exp $     */
+/*     $OpenBSD: _types.h,v 1.10 2008/07/21 20:50:54 martynas Exp $    */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -101,6 +101,8 @@ typedef unsigned long               __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef double                 __double_t;
+typedef float                  __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index a9f06b6..4902314 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.8 2007/07/16 21:20:03 jason Exp $ */
+/*     $OpenBSD: float.h,v 1.9 2008/07/21 20:50:54 martynas Exp $      */
 
 /*
  * Copyright (c) 1989 Regents of the University of California.
@@ -42,6 +42,7 @@ __END_DECLS
 
 #define        FLT_RADIX       2
 #define        FLT_ROUNDS      __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define        FLT_MANT_DIG    24
 #define        FLT_EPSILON     1.19209290E-07F
index 02b161c..540fc9b 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.3 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.4 2008/07/21 20:50:54 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -101,6 +101,8 @@ typedef unsigned long               __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef double                 __double_t;
+typedef float                  __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index 4260471..b6c689c 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.1 2005/04/01 10:40:48 mickey Exp $        */
+/*     $OpenBSD: float.h,v 1.2 2008/07/21 20:50:54 martynas Exp $      */
 
 /*
  * Copyright (c) 1989 Regents of the University of California.
@@ -42,6 +42,7 @@ __END_DECLS
 
 #define        FLT_RADIX       2
 #define        FLT_ROUNDS      __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define        FLT_MANT_DIG    24
 #define        FLT_EPSILON     1.19209290E-07F
index 81481c9..84998e0 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.8 2008/05/07 20:42:02 kettenis Exp $     */
+/*     $OpenBSD: _types.h,v 1.9 2008/07/21 20:50:54 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef long double            __double_t;
+typedef long double            __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index fd74a07..e2f9989 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.6 2006/10/01 18:14:40 kettenis Exp $      */
+/*     $OpenBSD: float.h,v 1.7 2008/07/21 20:50:54 martynas Exp $      */
 /*     $NetBSD: float.h,v 1.8 1995/06/20 20:45:37 jtc Exp $    */
 
 /*
@@ -43,6 +43,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        2               /* long double */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index 4073832..485460e 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.6 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.7 2008/07/21 20:50:54 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef long double            __double_t;
+typedef long double            __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index 114cb73..cf252b9 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.5 2003/06/02 23:27:48 millert Exp $       */
+/*     $OpenBSD: float.h,v 1.6 2008/07/21 20:50:54 martynas Exp $      */
 /*     $NetBSD: float.h,v 1.10 1995/06/20 20:45:41 jtc Exp $   */
 
 /*
@@ -43,6 +43,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        2               /* long double */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index 718e177..4c27f77 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.4 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.5 2008/07/21 20:50:54 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef long double            __double_t;
+typedef long double            __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index e21d2ea..e6c0d7f 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.1 2004/04/26 12:34:05 miod Exp $  */
+/*     $OpenBSD: float.h,v 1.2 2008/07/21 20:50:54 martynas Exp $      */
 
 /*
  * Copyright (c) 1989 Regents of the University of California.
@@ -42,6 +42,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        2               /* long double */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index 37ad2cd..4531dfd 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.4 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.5 2008/07/21 20:50:54 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -101,6 +101,8 @@ typedef unsigned long               __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef double                 __double_t;
+typedef float                  __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index de2a135..f3fe1b0 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.3 2005/08/07 07:29:44 miod Exp $  */
+/*     $OpenBSD: float.h,v 1.4 2008/07/21 20:50:54 martynas Exp $      */
 
 /*
  * Copyright (c) 1989, 1993
@@ -42,6 +42,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index a89a443..9d3a51f 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.7 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.8 2008/07/21 20:50:55 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef double                 __double_t;
+typedef float                  __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index 7332898..38b4e0b 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.7 2003/06/02 23:27:53 millert Exp $       */
+/*     $OpenBSD: float.h,v 1.8 2008/07/21 20:50:55 martynas Exp $      */
 
 /*
  * Copyright (c) 1989 Regents of the University of California.
@@ -42,6 +42,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index 7756280..b9006b4 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.5 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.6 2008/07/21 20:50:55 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef double                 __double_t;
+typedef float                  __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index 69f4b99..9d8f67f 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.1.1.1 2006/10/06 21:02:55 miod Exp $      */
+/*     $OpenBSD: float.h,v 1.2 2008/07/21 20:50:55 martynas Exp $      */
 
 /*
  * Copyright (c) 1989 Regents of the University of California.
@@ -42,6 +42,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index b2ef3e8..0353ef1 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.8 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.9 2008/07/21 20:50:55 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef double                 __double_t;
+typedef float                  __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index 7863027..5bf1736 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.5 2003/06/02 23:27:54 millert Exp $       */
+/*     $OpenBSD: float.h,v 1.6 2008/07/21 20:50:55 martynas Exp $      */
 /*     $NetBSD: float.h,v 1.6 1997/07/18 05:11:52 thorpej Exp $ */
 
 /*
@@ -52,6 +52,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index c9b18cf..3851063 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.7 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.8 2008/07/21 20:50:55 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -99,6 +99,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef        double                  __double_t;
+typedef        float                   __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index 7e7e5ef..a65587d 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.4 2003/06/02 23:27:56 millert Exp $       */
+/*     $OpenBSD: float.h,v 1.5 2008/07/21 20:50:55 martynas Exp $      */
 /*     $NetBSD: float.h,v 1.3 2001/09/21 20:48:02 eeh Exp $ */
 
 /*
@@ -52,6 +52,7 @@ __END_DECLS
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     __flt_rounds()
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-07F /* b**(1-p) */
index 88f19e3..678bd90 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: _types.h,v 1.7 2007/05/16 17:27:30 art Exp $  */
+/*     $OpenBSD: _types.h,v 1.8 2008/07/21 20:50:55 martynas Exp $     */
 
 /*-
  * Copyright (c) 1990, 1993
@@ -93,6 +93,8 @@ typedef unsigned long         __psize_t;
 /* Standard system types */
 typedef int                    __clock_t;
 typedef int                    __clockid_t;
+typedef        double                  __double_t;
+typedef        float                   __float_t;
 typedef long long              __off_t;
 typedef long                   __ptrdiff_t;
 typedef        unsigned long           __size_t;
index ffcf2df..c9f76c1 100644 (file)
@@ -1,4 +1,4 @@
-/*     $OpenBSD: float.h,v 1.6 2003/06/02 23:27:57 millert Exp $       */
+/*     $OpenBSD: float.h,v 1.7 2008/07/21 20:50:55 martynas Exp $      */
 /*     $NetBSD: float.h,v 1.5 1998/10/10 02:13:55 matt Exp $   */
 
 /*
@@ -37,6 +37,7 @@
 
 #define FLT_RADIX      2               /* b */
 #define FLT_ROUNDS     1               /* FP addition rounds to nearest */
+#define FLT_EVAL_METHOD        0               /* no promotions */
 
 #define FLT_MANT_DIG   24              /* p */
 #define FLT_EPSILON    1.19209290E-7F  /* b**(1-p) */