about summary refs log tree commit diff
path: root/sysdeps/ia64/fpu/libm_support.h
diff options
context:
space:
mode:
authorUlrich Drepper <drepper@redhat.com>2004-12-22 20:10:10 +0000
committerUlrich Drepper <drepper@redhat.com>2004-12-22 20:10:10 +0000
commita334319f6530564d22e775935d9c91663623a1b4 (patch)
treeb5877475619e4c938e98757d518bb1e9cbead751 /sysdeps/ia64/fpu/libm_support.h
parent0ecb606cb6cf65de1d9fc8a919bceb4be476c602 (diff)
downloadglibc-a334319f6530564d22e775935d9c91663623a1b4.tar.gz
glibc-a334319f6530564d22e775935d9c91663623a1b4.tar.xz
glibc-a334319f6530564d22e775935d9c91663623a1b4.zip
(CFLAGS-tst-align.c): Add -mpreferred-stack-boundary=4.
Diffstat (limited to 'sysdeps/ia64/fpu/libm_support.h')
-rw-r--r--sysdeps/ia64/fpu/libm_support.h1180
1 files changed, 246 insertions, 934 deletions
diff --git a/sysdeps/ia64/fpu/libm_support.h b/sysdeps/ia64/fpu/libm_support.h
index dc9c0a2648..5d3498dfc9 100644
--- a/sysdeps/ia64/fpu/libm_support.h
+++ b/sysdeps/ia64/fpu/libm_support.h
@@ -1,11 +1,9 @@
-/* file: libm_support.h */
-
-
-/*
-// Copyright (c) 2000 - 2004, Intel Corporation
+//
+// Copyright (C) 2000, 2001, Intel Corporation
 // All rights reserved.
 //
-// Contributed 2000 by the Intel Numerics Group, Intel Corporation
+// Contributed 2/2/2000 by John Harrison, Ted Kubaska, Bob Norin, Shane Story,
+// and Ping Tak Peter Tang of the Computational Software Lab, Intel Corporation.
 //
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
@@ -21,7 +19,6 @@
 // * The name of Intel Corporation may not be used to endorse or promote
 // products derived from this software without specific prior written
 // permission.
-
 //
 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
@@ -37,76 +34,236 @@
 //
 // Intel Corporation is the author of this code, and requests that all
 // problem reports or change requests be submitted to it directly at
-// http://www.intel.com/software/products/opensource/libraries/num.htm.
+// http://developer.intel.com/opensource.
 //
 
 // History: 02/02/2000 Initial version
 //          2/28/2000 added tags for logb and nextafter
-//          3/22/2000 Changes to support _LIB_VERSIONIMF variable
+//          3/22/2000 Changes to support _LIB_VERSION variable
 //                    and filled some enum gaps. Added support for C99.
 //          5/31/2000 added prototypes for __libm_frexp_4l/8l
-//          8/10/2000 Changed declaration of _LIB_VERSIONIMF to work for library
+//          8/10/2000 Changed declaration of _LIB_VERSION to work for library
 //                    builds and other application builds (precompiler directives).
 //          8/11/2000 Added pointers-to-matherr-functions declarations to allow
 //                    for user-defined matherr functions in the dll build.
 //         12/07/2000 Added scalbn error_types values.
-//          5/01/2001 Added error_types values for C99 nearest integer
-//                    functions.
-//          6/07/2001 Added error_types values for fdim.
-//          6/18/2001 Added include of complex_support.h.
-//          8/03/2001 Added error_types values for nexttoward, scalbln.
-//          8/23/2001 Corrected tag numbers from 186 and higher.
-//          8/27/2001 Added check for long int and long long int definitions.
-//         12/10/2001 Added error_types for erfc.
-//         12/27/2001 Added error_types for degree argument functions.
-//         01/02/2002 Added error_types for tand, cotd.
-//         01/04/2002 Delete include of complex_support.h
-//         01/23/2002 Deleted prototypes for __libm_frexp*.  Added check for
-//                    multiple int, long int, and long long int definitions.
-//         05/20/2002 Added error_types for cot.
-//         06/27/2002 Added error_types for sinhcosh.
-//         12/05/2002 Added error_types for annuity and compound
-//         04/10/2003 Added error_types for tgammal/tgamma/tgammaf
-//         05/16/2003 FP-treatment macros copied here from IA32 libm_support.h
-//         06/02/2003 Added pad into struct fp80 (12/16 bytes).
-//         08/01/2003 Added struct ker80 and macros for multiprecision addition,
-//                    subtraction, multiplication, division, square root.
-//         08/07/2003 History section updated.
-//         09/03/2003 ALIGN(n) macro added.
-//         10/01/2003 LDOUBLE_ALIGN and fp80 corrected on linux to 16 bytes.
-//         11/24/2004 Added ifdef around definitions of INT32/64
-//         12/15/2004 Added error_types for exp10, nextafter, nexttoward
-//                    underflow.  Moved error codes into libm_error_codes.h.
 //
-*/
 
-#ifndef __LIBM_SUPPORT_H_INCLUDED__
-#define __LIBM_SUPPORT_H_INCLUDED__
+#ifndef __ASSEMBLER__
+#include <math.h>
+
+float __libm_frexp_4f( float x, int*  exp);
+float _GI___libm_frexp_4f( float x, int*  exp);
+float __libm_frexp_8f( float x, int*  exp);
+double __libm_frexp_4( double x, int*  exp);
+double _GI___libm_frexp_4( double x, int*  exp);
+double __libm_frexp_8( double x, int*  exp);
+long double __libm_frexp_4l( long double x, int*  exp);
+long double _GI___libm_frexp_4l( long double x, int*  exp);
+long double __libm_frexp_8l( long double x, int*  exp);
+void __libm_sincos_pi4(double,double*,double*,int);
+void __libm_y0y1(double , double *, double *);
+void __libm_j0j1(double , double *, double *);
+double __libm_lgamma_kernel(double,int*,int,int);
+double __libm_j0(double);
+double __libm_j1(double);
+double __libm_jn(int,double);
+double __libm_y0(double);
+double __libm_y1(double);
+double __libm_yn(int,double);
+
+extern double rint(double);
+extern double sqrt(double);
+extern double fabs(double);
+extern double log(double);
+extern double log1p(double);
+extern double sqrt(double);
+extern double sin(double);
+extern double exp(double);
+extern double modf(double, double *);
+extern double asinh(double);
+extern double acosh(double);
+extern double atanh(double);
+extern double tanh(double);
+extern double erf(double);
+extern double erfc(double);
+extern double j0(double);
+extern double j1(double);
+extern double jn(int, double);
+extern double y0(double);
+extern double y1(double);
+extern double yn(int, double);
+
+extern float  fabsf(float);
+extern float  asinhf(float);
+extern float  acoshf(float);
+extern float  atanhf(float);
+extern float  tanhf(float);
+extern float  erff(float);
+extern float  erfcf(float);
+extern float  j0f(float);
+extern float  j1f(float);
+extern float  jnf(int, float);
+extern float  y0f(float);
+extern float  y1f(float);
+extern float  ynf(int, float);
+
+extern long double log1pl(long double);
+extern long double logl(long double);
+extern long double sqrtl(long double);
+extern long double expl(long double);
+
+extern long lround(double);
+extern long lroundf(float);
+extern long lroundl(long double);
 
-#ifndef _LIBC
-#if !(defined(_WIN32) || defined(_WIN64))
-# pragma const_seg(".rodata") /* place constant data in text (code) section */
+#if !(defined(SIZE_INT_32) || defined(SIZE_INT_64))
+    #error integer size not established; define SIZE_INT_32 or SIZE_INT_64
 #endif
 
-#if defined(__ICC) || defined(__ICL) || defined(__ECC) || defined(__ECL)
-# pragma warning( disable : 1682 )	/* #1682: ixplicit conversion of a 64-bit integral type to a smaller integral type (potential portability problem) */
-# pragma warning( disable : 1683 )	/* #1683: explicit conversion of a 64-bit integral type to a smaller integral type (potential portability problem) */
-#endif
-#endif
+struct fp64 { /*/ sign:1 exponent:11 significand:52 (implied leading 1)*/
+  unsigned lo_significand:32;
+  unsigned hi_significand:20;
+  unsigned exponent:11;
+  unsigned sign:1;
+};
 
-/* macros to form a double value in hex representation (unsigned int type) */
+#define HI_SIGNIFICAND_LESS(X, HI) ((X)->hi_significand < 0x ## HI)
+#define f64abs(x) ((x) < 0.0 ? -(x) : (x))
 
-#define DOUBLE_HEX(hi,lo) 0x##lo,0x##hi /*LITTLE_ENDIAN*/
+typedef enum
+{
+  logl_zero=0,   logl_negative,                  /*  0,  1 */
+  log_zero,      log_negative,                   /*  2,  3 */
+  logf_zero,     logf_negative,                  /*  4,  5 */
+  log10l_zero,   log10l_negative,                /*  6,  7 */
+  log10_zero,    log10_negative,                 /*  8,  9 */
+  log10f_zero,   log10f_negative,                /* 10, 11 */
+  expl_overflow, expl_underflow,                 /* 12, 13 */
+  exp_overflow,  exp_underflow,                  /* 14, 15 */
+  expf_overflow, expf_underflow,                 /* 16, 17 */
+  powl_overflow, powl_underflow,                 /* 18, 19 */
+  powl_zero_to_zero,                             /* 20     */
+  powl_zero_to_negative,                         /* 21     */
+  powl_neg_to_non_integer,                       /* 22     */
+  powl_nan_to_zero,                              /* 23     */
+  pow_overflow,  pow_underflow,                  /* 24, 25 */
+  pow_zero_to_zero,                              /* 26     */
+  pow_zero_to_negative,                          /* 27     */
+  pow_neg_to_non_integer,                        /* 28     */
+  pow_nan_to_zero,                               /* 29     */
+  powf_overflow, powf_underflow,                 /* 30, 31 */
+  powf_zero_to_zero,                             /* 32     */
+  powf_zero_to_negative,                         /* 33     */
+  powf_neg_to_non_integer,                       /* 34     */
+  powf_nan_to_zero,                              /* 35     */
+  atan2l_zero,                                   /* 36     */
+  atan2_zero,                                    /* 37     */
+  atan2f_zero,                                   /* 38     */
+  expm1l_overflow,                               /* 39     */
+  expm1l_underflow,                              /* 40     */
+  expm1_overflow,                                /* 41     */
+  expm1_underflow,                               /* 42     */
+  expm1f_overflow,                               /* 43     */
+  expm1f_underflow,                              /* 44     */
+  hypotl_overflow,                               /* 45     */
+  hypot_overflow,                                /* 46     */
+  hypotf_overflow,                               /* 47     */
+  sqrtl_negative,                                /* 48     */
+  sqrt_negative,                                 /* 49     */
+  sqrtf_negative,                                /* 50     */
+  scalbl_overflow, scalbl_underflow,             /* 51, 52  */
+  scalb_overflow,  scalb_underflow,              /* 53, 54  */
+  scalbf_overflow, scalbf_underflow,             /* 55, 56  */
+  acosl_gt_one, acos_gt_one, acosf_gt_one,       /* 57, 58, 59 */
+  asinl_gt_one, asin_gt_one, asinf_gt_one,       /* 60, 61, 62 */
+  coshl_overflow, cosh_overflow, coshf_overflow, /* 63, 64, 65 */
+  y0l_zero, y0l_negative,y0l_gt_loss,            /* 66, 67, 68 */
+  y0_zero, y0_negative,y0_gt_loss,               /* 69, 70, 71 */
+  y0f_zero, y0f_negative,y0f_gt_loss,            /* 72, 73, 74 */
+  y1l_zero, y1l_negative,y1l_gt_loss,            /* 75, 76, 77 */
+  y1_zero, y1_negative,y1_gt_loss,               /* 78, 79, 80 */
+  y1f_zero, y1f_negative,y1f_gt_loss,            /* 81, 82, 83 */
+  ynl_zero, ynl_negative,ynl_gt_loss,            /* 84, 85, 86 */
+  yn_zero, yn_negative,yn_gt_loss,               /* 87, 88, 89 */
+  ynf_zero, ynf_negative,ynf_gt_loss,            /* 90, 91, 92 */
+  j0l_gt_loss,                                   /* 93 */
+  j0_gt_loss,                                    /* 94 */
+  j0f_gt_loss,                                   /* 95 */
+  j1l_gt_loss,                                   /* 96 */
+  j1_gt_loss,                                    /* 97 */
+  j1f_gt_loss,                                   /* 98 */
+  jnl_gt_loss,                                   /* 99 */
+  jn_gt_loss,                                    /* 100 */
+  jnf_gt_loss,                                   /* 101 */
+  lgammal_overflow, lgammal_negative,lgammal_reserve, /* 102, 103, 104 */
+  lgamma_overflow, lgamma_negative,lgamma_reserve,    /* 105, 106, 107 */
+  lgammaf_overflow, lgammaf_negative, lgammaf_reserve,/* 108, 109, 110 */
+  gammal_overflow,gammal_negative, gammal_reserve,    /* 111, 112, 113 */
+  gamma_overflow, gamma_negative, gamma_reserve,      /* 114, 115, 116 */
+  gammaf_overflow,gammaf_negative,gammaf_reserve,     /* 117, 118, 119 */
+  fmodl_by_zero,                                 /* 120 */
+  fmod_by_zero,                                  /* 121 */
+  fmodf_by_zero,                                 /* 122 */
+  remainderl_by_zero,                            /* 123 */
+  remainder_by_zero,                             /* 124 */
+  remainderf_by_zero,                            /* 125 */
+  sinhl_overflow, sinh_overflow, sinhf_overflow, /* 126, 127, 128 */
+  atanhl_gt_one, atanhl_eq_one,                  /* 129, 130 */
+  atanh_gt_one, atanh_eq_one,                    /* 131, 132 */
+  atanhf_gt_one, atanhf_eq_one,                  /* 133, 134 */
+  acoshl_lt_one,                                 /* 135 */
+  acosh_lt_one,                                  /* 136 */
+  acoshf_lt_one,                                 /* 137 */
+  log1pl_zero,   log1pl_negative,                /* 138, 139 */
+  log1p_zero,    log1p_negative,                 /* 140, 141 */
+  log1pf_zero,   log1pf_negative,                /* 142, 143 */
+  ldexpl_overflow,   ldexpl_underflow,           /* 144, 145 */
+  ldexp_overflow,    ldexp_underflow,            /* 146, 147 */
+  ldexpf_overflow,   ldexpf_underflow,           /* 148, 149 */
+  logbl_zero,   logb_zero, logbf_zero,           /* 150, 151, 152 */
+  nextafterl_overflow,   nextafter_overflow,
+  nextafterf_overflow,                           /* 153, 154, 155 */
+  ilogbl_zero,  ilogb_zero, ilogbf_zero,         /* 156, 157, 158 */
+  exp2l_overflow, exp2l_underflow,               /* 159, 160 */
+  exp2_overflow,  exp2_underflow,                /* 161, 162 */
+  exp2f_overflow, exp2f_underflow,               /* 163, 164 */
+  exp10l_overflow, exp10_overflow,
+  exp10f_overflow,                               /* 165, 166, 167 */
+  log2l_zero,    log2l_negative,                 /* 168, 169 */
+  log2_zero,     log2_negative,                  /* 170, 171 */
+  log2f_zero,    log2f_negative,                 /* 172, 173 */
+  scalbnl_overflow, scalbnl_underflow,           /* 174, 175 */
+  scalbn_overflow,  scalbn_underflow,            /* 176, 177 */
+  scalbnf_overflow, scalbnf_underflow            /* 178, 179 */
+} error_types;
+
+void __libm_error_support(void*,void*,void*,error_types);
+libc_hidden_proto(__libm_error_support)
+
+#define BIAS_64  1023
+#define EXPINF_64  2047
+
+#define DOUBLE_HEX(HI, LO) 0x ## LO, 0x ## HI
+
+#if 0
+static const unsigned INF[] = {
+    DOUBLE_HEX(7ff00000, 00000000),
+    DOUBLE_HEX(fff00000, 00000000)
+};
 
-#include "libm_cpu_defs.h"
+static const double _zeroo = 0.0;
+static const double _bigg = 1.0e300;
+static const double _ponee = 1.0;
+static const double _nonee = -1.0;
 
-#if !(defined (IA64))
-#  include "libm_dll.h"
-#  include "libm_dispatch.h"
+#define INVALID    (_zeroo * *((double*)&INF[0]))
+#define PINF       *((double*)&INF[0])
+#define NINF       -PINF
+#define PINF_DZ    (_ponee/_zeroo)
+#define X_TLOSS    1.41484755040568800000e+16
 #endif
 
-#include "libm_error_codes.h"
-
 struct exceptionf
 {
   int type;
@@ -133,6 +290,8 @@ struct exception
 #  endif
 # endif
 
+
+
 struct exceptionl
 {
   int type;
@@ -140,27 +299,33 @@ struct exceptionl
   long double arg1, arg2, retval;
 };
 
-#if (defined (_MS_) && defined (IA64))
-#define   MATHERR_F   _matherrf
-#define   MATHERR_D   _matherr
+#ifdef _MS_
+#define        MATHERR_F       _matherrf
+#define        MATHERR_D       _matherr
 #else
-#define MATHERR_F   matherrf
-#define MATHERR_D   matherr
+#define        MATHERR_F       matherrf
+#define        MATHERR_D       matherr
 #endif
 
 # ifdef __cplusplus
-#define EXC_DECL_D  __exception
+#define        EXC_DECL_D      __exception
 #else
 // exception is a reserved name in C++
-#define EXC_DECL_D  exception
+#define        EXC_DECL_D      exception
 #endif
 
 extern int MATHERR_F(struct exceptionf*);
 extern int MATHERR_D(struct EXC_DECL_D*);
 extern int matherrl(struct exceptionl*);
 
+
+/* Set these appropriately to make thread Safe */
+#define ERRNO_RANGE  errno = ERANGE
+#define ERRNO_DOMAIN errno = EDOM
+
+
+// Add code to support _LIB_VERSION
 #ifndef _LIBC
-// Add code to support _LIB_VERSIONIMF
 typedef enum
 {
     _IEEE_ = -1, // IEEE-like behavior
@@ -169,883 +334,30 @@ typedef enum
     _POSIX_,     // Posix
     _ISOC_       // ISO C9X
 } _LIB_VERSION_TYPE;
-#endif
-
-// This is a run-time variable and may affect
-// floating point behavior of the libm functions
-
-#if !defined( LIBM_BUILD )
-#if defined( _DLL )
-extern _LIB_VERSION_TYPE __declspec(dllimport) _LIB_VERSIONIMF;
-#else
-extern _LIB_VERSION_TYPE _LIB_VERSIONIMF;
-#endif  /* _DLL */
-#else
-extern int (*pmatherrf)(struct exceptionf*);
-extern int (*pmatherr)(struct EXC_DECL_D*);
-extern int (*pmatherrl)(struct exceptionl*);
-#endif  /* LIBM_BUILD */
-
-/* memory format definitions (LITTLE_ENDIAN only) */
-
-#if !(defined(SIZE_INT_32) || defined(SIZE_INT_64))
-# error "You need to define SIZE_INT_32 or SIZE_INT_64"
-#endif
-
-#if (defined(SIZE_INT_32) && defined(SIZE_INT_64))
-#error multiple integer size definitions; define SIZE_INT_32 or SIZE_INT_64
-#endif
 
-#if !(defined(SIZE_LONG_32) || defined(SIZE_LONG_64))
-# error "You need to define SIZE_LONG_32 or SIZE_LONG_64"
+extern _LIB_VERSION_TYPE _LIB_VERSION;
 #endif
 
-#if (defined(SIZE_LONG_32) && defined(SIZE_LONG_64))
-#error multiple integer size definitions; define SIZE_LONG_32 or SIZE_LONG_64
-#endif
-
-#if !defined(__USE_EXTERNAL_FPMEMTYP_H__)
-
-#define BIAS_32  0x007F
-#define BIAS_64  0x03FF
-#define BIAS_80  0x3FFF
-
-#define MAXEXP_32  0x00FE
-#define MAXEXP_64  0x07FE
-#define MAXEXP_80  0x7FFE
+// This is a run-time variable and may effect
+// floating point behavior of the libm functions
 
-#define EXPINF_32  0x00FF
-#define EXPINF_64  0x07FF
-#define EXPINF_80  0x7FFF
+#elif defined _LIBC
 
-struct fp32 { /*// sign:1 exponent:8 significand:23 (implied leading 1)*/
-#if defined(SIZE_INT_32)
-    unsigned significand:23;
-    unsigned exponent:8;
-    unsigned sign:1;
-#elif defined(SIZE_INT_64)
-    unsigned significand:23;
-    unsigned exponent:8;
-    unsigned sign:1;
-#endif
-};
+# if !defined NOT_IN_libc && defined SHARED && defined DO_VERSIONING \
+     && !defined HAVE_BROKEN_ALIAS_ATTRIBUTE && !defined NO_HIDDEN
+#  define __libm_error_support  __GI___libm_error_support
+# endif
 
-struct fp64 { /*/ sign:1 exponent:11 significand:52 (implied leading 1)*/
-#if defined(SIZE_INT_32)
-    unsigned lo_significand:32;
-    unsigned hi_significand:20;
-    unsigned exponent:11;
-    unsigned sign:1;
-#elif defined(SIZE_INT_64)
-    unsigned significand:52;
-    unsigned exponent:11;
-    unsigned sign:1;
-#endif
-};
+#endif	/* __ASSEMBLER__ */
 
-struct fp80 { /*/ sign:1 exponent:15 significand:64 (NO implied bits) */
-#if defined(SIZE_INT_32)
-    unsigned         lo_significand;
-    unsigned         hi_significand;
-    unsigned         exponent:15;
-    unsigned         sign:1;
-#elif defined(SIZE_INT_64)
-    unsigned         significand;
-    unsigned         exponent:15;
-    unsigned         sign:1;
-#endif
-    unsigned         pad:16;
-#if !(defined(__unix__) && defined(__i386__))
-    unsigned         padwin:32;
+/* Support for compatible assembler handling.  */
+#if !defined L && defined _LIBC
+#define L(name) .L##name
 #endif
-};
-
-#endif /*__USE_EXTERNAL_FPMEMTYP_H__*/
-
-#if !(defined(opensource))
-typedef          __int32  INT32;
-typedef   signed __int32 SINT32;
-typedef unsigned __int32 UINT32;
-
-typedef          __int64  INT64;
-typedef   signed __int64 SINT64;
-typedef unsigned __int64 UINT64;
+#ifdef __ELF__
+#define ASM_SIZE_DIRECTIVE(name) .size name,.-name
+#define ASM_TYPE_DIRECTIVE(name,T) .type name,T
 #else
-typedef          int  INT32;
-typedef   signed int SINT32;
-typedef unsigned int UINT32;
-
-typedef          long long  INT64;
-typedef   signed long long SINT64;
-typedef unsigned long long UINT64;
-#endif
-
-#if (defined(_WIN32) || defined(_WIN64))        /* Windows */
-# define I64CONST(bits) 0x##bits##i64
-# define U64CONST(bits) 0x##bits##ui64
-#elif (defined(__linux__) && defined(_M_IA64))  /* Linux,64 */
-# define I64CONST(bits) 0x##bits##L
-# define U64CONST(bits) 0x##bits##uL
-#else                                           /* Linux,32 */
-# define I64CONST(bits) 0x##bits##LL
-# define U64CONST(bits) 0x##bits##uLL
-#endif
-
-struct ker80 {
-    union {
-        long double ldhi;
-        struct fp80 fphi;
-    };
-    union {
-        long double ldlo;
-        struct fp80 fplo;
-    };
-    int ex;
-};
-
-/* Addition: x+y                                            */
-/* The result is sum rhi+rlo                                */
-/* Temporary variables: t1                                  */
-/* All variables are in long double precision               */
-/* Correct if no overflow (algorithm by D.Knuth)           */
-#define __LIBM_ADDL1_K80( rhi,rlo,x,y, t1 )                 \
-    rhi = x   + y;                                          \
-    rlo = rhi - x;                                          \
-    t1  = rhi - rlo;                                        \
-    rlo = y   - rlo;                                        \
-    t1  = x   - t1;                                         \
-    rlo = rlo + t1;
-
-/* Addition: (xhi+xlo) + (yhi+ylo)                          */
-/* The result is sum rhi+rlo                                */
-/* Temporary variables: t1                                  */
-/* All variables are in long double precision               */
-/* Correct if no overflow (algorithm by T.J.Dekker)         */
-#define __LIBM_ADDL2_K80( rhi,rlo,xhi,xlo,yhi,ylo, t1 )     \
-    rlo = xhi+yhi;                                          \
-    if ( VALUE_GT_80(FP80(xhi),FP80(yhi)) ) {               \
-        t1=xhi-rlo;t1=t1+yhi;t1=t1+ylo;t1=t1+xlo;           \
-    } else {                                                \
-        t1=yhi-rlo;t1=t1+xhi;t1=t1+xlo;t1=t1+ylo;           \
-    }                                                       \
-    rhi=rlo+t1;                                             \
-    rlo=rlo-rhi;rlo=rlo+t1;
-
-/* Addition: r=x+y                                          */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Temporary variables: t1                                  */
-/* Correct if x and y belong to interval [2^-8000;2^8000],  */
-/* or when one or both of them are zero                     */
-#if   defined(SIZE_INT_32)
-#define __LIBM_ADDL_K80(r,x,y, t1)                          \
-    if ( ((y)->ex+(y)->fphi.exponent-134 <                  \
-          (x)->ex+(x)->fphi.exponent)       &&              \
-         ((x)->ex+(x)->fphi.exponent <                      \
-          (y)->ex+(y)->fphi.exponent+134)   &&              \
-         !SIGNIFICAND_ZERO_80(&((x)->fphi)) &&              \
-         !SIGNIFICAND_ZERO_80(&((y)->fphi)) )               \
-    {                                                       \
-        /* y/2^134 < x < y*2^134,               */          \
-        /* and x,y are nonzero finite numbers   */          \
-        if ( (x)->ex != (y)->ex ) {                         \
-            /* adjust x->ex to y->ex */                     \
-            /* t1 = 2^(x->ex - y->ex) */                    \
-            FP80(t1)->sign = 0;                             \
-            FP80(t1)->exponent = BIAS_80 + (x)->ex-(y)->ex; \
-            /*  exponent is correct because             */  \
-            /*  |x->ex - y->ex| =                       */  \
-            /*  = |  (x->ex + x->fphi.exponent) -       */  \
-            /*      -(y->ex + y->fphi.exponent) +       */  \
-            /*              + y->fphi.exponent  -       */  \
-            /*              - x->fphi.exponent     | <  */  \
-            /*  < |  (x->ex+x->fphi.exponent) -         */  \
-            /*      -(y->ex+y->fphi.exponent)      | +  */  \
-            /*   +|  y->fphi.exponent -                 */  \
-            /*      -x->fphi.exponent              | <  */  \
-            /*  < 134 + 16000                           */  \
-            FP80(t1)->hi_significand = 0x80000000;          \
-            FP80(t1)->lo_significand = 0x00000000;          \
-            (x)->ex = (y)->ex;                              \
-            (x)->ldhi *= t1;                                \
-            (x)->ldlo *= t1;                                \
-        }                                                   \
-        /* r==x+y */                                        \
-        (r)->ex = (y)->ex;                                  \
-        __LIBM_ADDL2_K80( (r)->ldhi,(r)->ldlo,              \
-            (x)->ldhi,(x)->ldlo, (y)->ldhi,(y)->ldlo, t1 ); \
-    } else if ( SIGNIFICAND_ZERO_80(&((x)->fphi)) ||        \
-             ((y)->ex+(y)->fphi.exponent-BIAS_80 - 134 >=   \
-              (x)->ex+(x)->fphi.exponent-BIAS_80) )         \
-    {                                                       \
-        /* |x|<<|y| */                                      \
-        *(r) = *(y);                                        \
-    } else {                                                \
-        /* |y|<<|x| */                                      \
-        *(r) = *(x);                                        \
-    }
-#elif defined(SIZE_INT_64)
-#define __LIBM_ADDL_K80(r,x,y, t1)                          \
-    if ( ((y)->ex+(y)->fphi.exponent-134 <                  \
-          (x)->ex+(x)->fphi.exponent)       &&              \
-         ((x)->ex+(x)->fphi.exponent <                      \
-          (y)->ex+(y)->fphi.exponent+134)   &&              \
-         !SIGNIFICAND_ZERO_80(&((x)->fphi)) &&              \
-         !SIGNIFICAND_ZERO_80(&((y)->fphi)) )               \
-    {                                                       \
-        /* y/2^134 < x < y*2^134,               */          \
-        /* and x,y are nonzero finite numbers   */          \
-        if ( (x)->ex != (y)->ex ) {                         \
-            /* adjust x->ex to y->ex */                     \
-            /* t1 = 2^(x->ex - y->ex) */                    \
-            FP80(t1)->sign = 0;                             \
-            FP80(t1)->exponent = BIAS_80 + (x)->ex-(y)->ex; \
-            /*  exponent is correct because             */  \
-            /*  |x->ex - y->ex| =                       */  \
-            /*  = |  (x->ex + x->fphi.exponent) -       */  \
-            /*      -(y->ex + y->fphi.exponent) +       */  \
-            /*              + y->fphi.exponent  -       */  \
-            /*              - x->fphi.exponent     | <  */  \
-            /*  < |  (x->ex+x->fphi.exponent) -         */  \
-            /*      -(y->ex+y->fphi.exponent)      | +  */  \
-            /*   +|  y->fphi.exponent -                 */  \
-            /*      -x->fphi.exponent              | <  */  \
-            /*  < 134 + 16000                           */  \
-            FP80(t1)->significand = 0x8000000000000000;     \
-            (x)->ex = (y)->ex;                              \
-            (x)->ldhi *= t1;                                \
-            (x)->ldlo *= t1;                                \
-        }                                                   \
-        /* r==x+y */                                        \
-        (r)->ex = (y)->ex;                                  \
-        __LIBM_ADDL2_K80( (r)->ldhi,(r)->ldlo,              \
-            (x)->ldhi,(x)->ldlo, (y)->ldhi,(y)->ldlo, t1 ); \
-    } else if ( SIGNIFICAND_ZERO_80(&((x)->fphi)) ||        \
-             ((y)->ex+(y)->fphi.exponent-BIAS_80 - 134 >=   \
-              (x)->ex+(x)->fphi.exponent-BIAS_80) )         \
-    {                                                       \
-        /* |x|<<|y| */                                      \
-        *(r) = *(y);                                        \
-    } else {                                                \
-        /* |y|<<|x| */                                      \
-        *(r) = *(x);                                        \
-    }
-#endif
-
-/* Addition: r=x+y                                          */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Temporary variables: t1                                  */
-/* Correct for any finite x and y                           */
-#define __LIBM_ADDL_NORM_K80(r,x,y, t1)                     \
-    if ( ((x)->fphi.exponent-BIAS_80<-8000) ||              \
-         ((x)->fphi.exponent-BIAS_80>+8000) ||              \
-         ((y)->fphi.exponent-BIAS_80<-8000) ||              \
-         ((y)->fphi.exponent-BIAS_80>+8000) )               \
-    {                                                       \
-        __libm_normalizel_k80(x);                           \
-        __libm_normalizel_k80(y);                           \
-    }                                                       \
-    __LIBM_ADDL_K80(r,x,y, t1)
-
-/* Subtraction: x-y                                         */
-/* The result is sum rhi+rlo                                */
-/* Temporary variables: t1                                  */
-/* All variables are in long double precision               */
-/* Correct if no overflow (algorithm by D.Knuth)           */
-#define __LIBM_SUBL1_K80( rhi, rlo, x, y, t1 )              \
-    rhi = x   - y;                                          \
-    rlo = rhi - x;                                          \
-    t1  = rhi - rlo;                                        \
-    rlo = y   + rlo;                                        \
-    t1  = x   - t1;                                         \
-    rlo = t1  - rlo;
-
-/* Subtraction: (xhi+xlo) - (yhi+ylo)                       */
-/* The result is sum rhi+rlo                                */
-/* Temporary variables: t1                                  */
-/* All variables are in long double precision               */
-/* Correct if no overflow (algorithm by T.J.Dekker)         */
-#define __LIBM_SUBL2_K80( rhi,rlo,xhi,xlo,yhi,ylo, t1 )     \
-    rlo = xhi-yhi;                                          \
-    if ( VALUE_GT_80(FP80(xhi),FP80(yhi)) ) {               \
-        t1=xhi-rlo;t1=t1-yhi;t1=t1-ylo;t1=t1+xlo;           \
-    } else {                                                \
-        t1=yhi+rlo;t1=xhi-t1;t1=t1+xlo;t1=t1-ylo;           \
-    }                                                       \
-    rhi=rlo+t1;                                             \
-    rlo=rlo-rhi;rlo=rlo+t1;
-
-/* Subtraction: r=x-y                                       */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Temporary variables: t1                                  */
-/* Correct if x and y belong to interval [2^-8000;2^8000],  */
-/* or when one or both of them are zero                     */
-#if   defined(SIZE_INT_32)
-#define __LIBM_SUBL_K80(r,x,y, t1)                          \
-    if ( ((y)->ex+(y)->fphi.exponent-134 <                  \
-          (x)->ex+(x)->fphi.exponent)       &&              \
-         ((x)->ex+(x)->fphi.exponent <                      \
-          (y)->ex+(y)->fphi.exponent+134)   &&              \
-         !SIGNIFICAND_ZERO_80(&((x)->fphi)) &&              \
-         !SIGNIFICAND_ZERO_80(&((y)->fphi)) )               \
-    {                                                       \
-        /* y/2^134 < x < y*2^134,               */          \
-        /* and x,y are nonzero finite numbers   */          \
-        if ( (x)->ex != (y)->ex ) {                         \
-            /* adjust x->ex to y->ex */                     \
-            /* t1 = 2^(x->ex - y->ex) */                    \
-            FP80(t1)->sign = 0;                             \
-            FP80(t1)->exponent = BIAS_80 + (x)->ex-(y)->ex; \
-            /*  exponent is correct because             */  \
-            /*  |x->ex - y->ex| =                       */  \
-            /*  = |  (x->ex + x->fphi.exponent) -       */  \
-            /*      -(y->ex + y->fphi.exponent) +       */  \
-            /*              + y->fphi.exponent  -       */  \
-            /*              - x->fphi.exponent     | <  */  \
-            /*  < |  (x->ex+x->fphi.exponent) -         */  \
-            /*      -(y->ex+y->fphi.exponent)      | +  */  \
-            /*   +|  y->fphi.exponent -                 */  \
-            /*      -x->fphi.exponent              | <  */  \
-            /*  < 134 + 16000                           */  \
-            FP80(t1)->hi_significand = 0x80000000;          \
-            FP80(t1)->lo_significand = 0x00000000;          \
-            (x)->ex = (y)->ex;                              \
-            (x)->ldhi *= t1;                                \
-            (x)->ldlo *= t1;                                \
-        }                                                   \
-        /* r==x+y */                                        \
-        (r)->ex = (y)->ex;                                  \
-        __LIBM_SUBL2_K80( (r)->ldhi,(r)->ldlo,              \
-            (x)->ldhi,(x)->ldlo, (y)->ldhi,(y)->ldlo, t1 ); \
-    } else if ( SIGNIFICAND_ZERO_80(&((x)->fphi)) ||        \
-             ((y)->ex+(y)->fphi.exponent-BIAS_80 - 134 >=   \
-              (x)->ex+(x)->fphi.exponent-BIAS_80) )         \
-    {                                                       \
-        /* |x|<<|y| */                                      \
-        (r)->ex   =   (y)->ex;                              \
-        (r)->ldhi = -((y)->ldhi);                           \
-        (r)->ldlo = -((y)->ldlo);                           \
-    } else {                                                \
-        /* |y|<<|x| */                                      \
-        *(r) = *(x);                                        \
-    }
-#elif defined(SIZE_INT_64)
-#define __LIBM_SUBL_K80(r,x,y, t1)                          \
-    if ( ((y)->ex+(y)->fphi.exponent-134 <                  \
-          (x)->ex+(x)->fphi.exponent)       &&              \
-         ((x)->ex+(x)->fphi.exponent <                      \
-          (y)->ex+(y)->fphi.exponent+134)   &&              \
-         !SIGNIFICAND_ZERO_80(&((x)->fphi)) &&              \
-         !SIGNIFICAND_ZERO_80(&((y)->fphi)) )               \
-    {                                                       \
-        /* y/2^134 < x < y*2^134,               */          \
-        /* and x,y are nonzero finite numbers   */          \
-        if ( (x)->ex != (y)->ex ) {                         \
-            /* adjust x->ex to y->ex */                     \
-            /* t1 = 2^(x->ex - y->ex) */                    \
-            FP80(t1)->sign = 0;                             \
-            FP80(t1)->exponent = BIAS_80 + (x)->ex-(y)->ex; \
-            /*  exponent is correct because             */  \
-            /*  |x->ex - y->ex| =                       */  \
-            /*  = |  (x->ex + x->fphi.exponent) -       */  \
-            /*      -(y->ex + y->fphi.exponent) +       */  \
-            /*              + y->fphi.exponent  -       */  \
-            /*              - x->fphi.exponent     | <  */  \
-            /*  < |  (x->ex+x->fphi.exponent) -         */  \
-            /*      -(y->ex+y->fphi.exponent)      | +  */  \
-            /*   +|  y->fphi.exponent -                 */  \
-            /*      -x->fphi.exponent              | <  */  \
-            /*  < 134 + 16000                           */  \
-            FP80(t1)->significand = 0x8000000000000000;     \
-            (x)->ex = (y)->ex;                              \
-            (x)->ldhi *= t1;                                \
-            (x)->ldlo *= t1;                                \
-        }                                                   \
-        /* r==x+y */                                        \
-        (r)->ex = (y)->ex;                                  \
-        __LIBM_SUBL2_K80( (r)->ldhi,(r)->ldlo,              \
-            (x)->ldhi,(x)->ldlo, (y)->ldhi,(y)->ldlo, t1 ); \
-    } else if ( SIGNIFICAND_ZERO_80(&((x)->fphi)) ||        \
-             ((y)->ex+(y)->fphi.exponent-BIAS_80 - 134 >=   \
-              (x)->ex+(x)->fphi.exponent-BIAS_80) )         \
-    {                                                       \
-        /* |x|<<|y| */                                      \
-        (r)->ex   =   (y)->ex;                              \
-        (r)->ldhi = -((y)->ldhi);                           \
-        (r)->ldlo = -((y)->ldlo);                           \
-    } else {                                                \
-        /* |y|<<|x| */                                      \
-        *(r) = *(x);                                        \
-    }
-#endif
-
-/* Subtraction: r=x+y                                       */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Temporary variables: t1                                  */
-/* Correct for any finite x and y                           */
-#define __LIBM_SUBL_NORM_K80(r,x,y, t1)                     \
-    if ( ((x)->fphi.exponent-BIAS_80<-8000) ||              \
-         ((x)->fphi.exponent-BIAS_80>+8000) ||              \
-         ((y)->fphi.exponent-BIAS_80<-8000) ||              \
-         ((y)->fphi.exponent-BIAS_80>+8000) )               \
-    {                                                       \
-        __libm_normalizel_k80(x);                           \
-        __libm_normalizel_k80(y);                           \
-    }                                                       \
-    __LIBM_SUBL_K80(r,x,y, t1)
-
-/* Multiplication: x*y                                      */
-/* The result is sum rhi+rlo                                */
-/* Here t32 is the constant 2^32+1                          */
-/* Temporary variables: t1,t2,t3,t4,t5,t6                   */
-/* All variables are in long double precision               */
-/* Correct if no over/underflow (algorithm by T.J.Dekker)   */
-#define __LIBM_MULL1_K80(rhi,rlo,x,y,                       \
-                                     t32,t1,t2,t3,t4,t5,t6) \
-    t1=(x)*(t32); t3=x-t1; t3=t3+t1; t4=x-t3;               \
-    t1=(y)*(t32); t5=y-t1; t5=t5+t1; t6=y-t5;               \
-    t1=(t3)*(t5);                                           \
-    t2=(t3)*(t6)+(t4)*(t5);                                 \
-    rhi=t1+t2;                                              \
-    rlo=t1-rhi; rlo=rlo+t2; rlo=rlo+(t4*t6);
-
-/* Multiplication: (xhi+xlo)*(yhi+ylo)                      */
-/* The result is sum rhi+rlo                                */
-/* Here t32 is the constant 2^32+1                          */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8             */
-/* All variables are in long double precision               */
-/* Correct if no over/underflow (algorithm by T.J.Dekker)   */
-#define __LIBM_MULL2_K80(rhi,rlo,xhi,xlo,yhi,ylo,           \
-                               t32,t1,t2,t3,t4,t5,t6,t7,t8) \
-    __LIBM_MULL1_K80(t7,t8,xhi,yhi, t32,t1,t2,t3,t4,t5,t6)  \
-    t1=(xhi)*(ylo)+(xlo)*(yhi); t1=t1+t8;                   \
-    rhi=t7+t1;                                              \
-    rlo=t7-rhi; rlo=rlo+t1;
-
-/* Multiplication: r=x*y                                    */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Here t32 is the constant 2^32+1                          */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8             */
-/* Correct if x and y belong to interval [2^-8000;2^8000]   */
-#define __LIBM_MULL_K80(r,x,y, t32,t1,t2,t3,t4,t5,t6,t7,t8) \
-    (r)->ex = (x)->ex + (y)->ex;                            \
-    __LIBM_MULL2_K80((r)->ldhi,(r)->ldlo,                   \
-        (x)->ldhi,(x)->ldlo,(y)->ldhi,(y)->ldlo,            \
-        t32,t1,t2,t3,t4,t5,t6,t7,t8)
-
-/* Multiplication: r=x*y                                    */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Here t32 is the constant 2^32+1                          */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8             */
-/* Correct for any finite x and y                           */
-#define __LIBM_MULL_NORM_K80(r,x,y,                         \
-                               t32,t1,t2,t3,t4,t5,t6,t7,t8) \
-    if ( ((x)->fphi.exponent-BIAS_80<-8000) ||              \
-         ((x)->fphi.exponent-BIAS_80>+8000) ||              \
-         ((y)->fphi.exponent-BIAS_80<-8000) ||              \
-         ((y)->fphi.exponent-BIAS_80>+8000) )               \
-    {                                                       \
-        __libm_normalizel_k80(x);                           \
-        __libm_normalizel_k80(y);                           \
-    }                                                       \
-    __LIBM_MULL_K80(r,x,y, t32,t1,t2,t3,t4,t5,t6,t7,t8)
-
-/* Division: (xhi+xlo)/(yhi+ylo)                            */
-/* The result is sum rhi+rlo                                */
-/* Here t32 is the constant 2^32+1                          */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8,t9          */
-/* All variables are in long double precision               */
-/* Correct if no over/underflow (algorithm by T.J.Dekker)   */
-#define __LIBM_DIVL2_K80(rhi,rlo,xhi,xlo,yhi,ylo,           \
-                            t32,t1,t2,t3,t4,t5,t6,t7,t8,t9) \
-    t7=(xhi)/(yhi);                                         \
-    __LIBM_MULL1_K80(t8,t9,t7,yhi, t32,t1,t2,t3,t4,t5,t6)   \
-    t1=xhi-t8; t1=t1-t9; t1=t1+xlo; t1=t1-(t7)*(ylo);       \
-    t1=(t1)/(yhi);                                          \
-    rhi=t7+t1;                                              \
-    rlo=t7-rhi; rlo=rlo+t1;
-
-/* Division: r=x/y                                          */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Here t32 is the constant 2^32+1                          */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8,t9          */
-/* Correct if x and y belong to interval [2^-8000;2^8000]   */
-#define __LIBM_DIVL_K80(r,x,y,                              \
-                            t32,t1,t2,t3,t4,t5,t6,t7,t8,t9) \
-    (r)->ex = (x)->ex - (y)->ex;                            \
-    __LIBM_DIVL2_K80( (r)->ldhi,(r)->ldlo,                  \
-        (x)->ldhi,(x)->ldlo,(y)->ldhi,(y)->ldlo,            \
-        t32,t1,t2,t3,t4,t5,t6,t7,t8,t9)
-
-/* Division: r=x/y                                          */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Here t32 is the constant 2^32+1                          */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8             */
-/* Correct for any finite x and y                           */
-#define __LIBM_DIVL_NORM_K80(r,x,y,                         \
-                            t32,t1,t2,t3,t4,t5,t6,t7,t8,t9) \
-    if ( ((x)->fphi.exponent-BIAS_80<-8000) ||              \
-         ((x)->fphi.exponent-BIAS_80>+8000) ||              \
-         ((y)->fphi.exponent-BIAS_80<-8000) ||              \
-         ((y)->fphi.exponent-BIAS_80>+8000) )               \
-    {                                                       \
-        __libm_normalizel_k80(x);                           \
-        __libm_normalizel_k80(y);                           \
-    }                                                       \
-    __LIBM_DIVL_K80(r,x,y, t32,t1,t2,t3,t4,t5,t6,t7,t8,t9)
-
-/* Square root: sqrt(xhi+xlo)                               */
-/* The result is sum rhi+rlo                                */
-/* Here t32 is the constant 2^32+1                          */
-/*      half is the constant 0.5                            */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8,t9          */
-/* All variables are in long double precision               */
-/* Correct for positive xhi+xlo (algorithm by T.J.Dekker)   */
-#define __LIBM_SQRTL2_NORM_K80(rhi,rlo,xhi,xlo,             \
-                       t32,half,t1,t2,t3,t4,t5,t6,t7,t8,t9) \
-    t7=sqrtl(xhi);                                          \
-    __LIBM_MULL1_K80(t8,t9,t7,t7, t32,t1,t2,t3,t4,t5,t6)    \
-    t1=xhi-t8; t1=t1-t9; t1=t1+xlo; t1=(t1)*(half);         \
-    t1=(t1)/(t7);                                           \
-    rhi=t7+t1;                                              \
-    rlo=t7-rhi; rlo=rlo+t1;
-
-/* Square root: r=sqrt(x)                                   */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Here t32 is the constant 2^32+1                          */
-/*      half is the constant 0.5                            */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8,t9          */
-/* Correct if x belongs to interval [2^-16000;2^16000]      */
-#define __LIBM_SQRTL_K80(r,x,                               \
-                       t32,half,t1,t2,t3,t4,t5,t6,t7,t8,t9) \
-    if ( ((x)->ex & 1) == 1 ) {                             \
-        (x)->ex    = (x)->ex + 1;                           \
-        (x)->ldhi *= half;                                  \
-        (x)->ldlo *= half;                                  \
-    }                                                       \
-    (r)->ex = (x)->ex >> 1;                                 \
-    __LIBM_SQRTL2_NORM_K80( (r)->ldhi,(r)->ldlo,            \
-        (x)->ldhi,(x)->ldlo,                                \
-        t32,half,t1,t2,t3,t4,t5,t6,t7,t8,t9)
-
-/* Square root: r=sqrt(x)                                   */
-/* Variables r,x,y are pointers to struct ker80,            */
-/* all other variables are in long double precision         */
-/* Here t32 is the constant 2^32+1                          */
-/*      half is the constant 0.5                            */
-/* Temporary variables: t1,t2,t3,t4,t5,t6,t7,t8,t9          */
-/* Correct for any positive x                               */
-#define __LIBM_SQRTL_NORM_K80(r,x,                          \
-                       t32,half,t1,t2,t3,t4,t5,t6,t7,t8,t9) \
-    if ( ((x)->fphi.exponent-BIAS_80<-16000) ||             \
-         ((x)->fphi.exponent-BIAS_80>+16000) )              \
-    {                                                       \
-        __libm_normalizel_k80(x);                           \
-    }                                                       \
-    __LIBM_SQRTL_K80(r,x, t32,half,t1,t2,t3,t4,t5,t6,t7,t8,t9)
-
-
-#ifdef __INTEL_COMPILER
-#define ALIGN(n) __declspec(align(n))
-#else /* __INTEL_COMPILER */
-#define ALIGN(n)
-#endif /* __INTEL_COMPILER */
-
-/* macros to form a long double value in hex representation (unsigned short type) */
-
-#if (defined(__unix__) && defined(__i386__))
-# define LDOUBLE_ALIGN 12	/* IA32 Linux: 12-byte alignment */
-#else	/*__linux__ & IA32*/
-# define LDOUBLE_ALIGN 16	/* EFI2/IA32 Win or IPF Win/Linux: 16-byte alignment */
-#endif	/*__linux__ & IA32*/
-
-#if (LDOUBLE_ALIGN == 16)
-#define _XPD_ ,0x0000,0x0000,0x0000
-#else /*12*/
-#define _XPD_ ,0x0000
-#endif
-
-#define LDOUBLE_HEX(w4,w3,w2,w1,w0) 0x##w0,0x##w1,0x##w2,0x##w3,0x##w4 _XPD_ /*LITTLE_ENDIAN*/
-
-/* macros to sign-expand low 'num' bits of 'val' to native integer */
-
-#if defined(SIZE_INT_32)
-# define SIGN_EXPAND(val,num)  ((int)(val) << (32-(num))) >> (32-(num)) /* sign expand of 'num' LSBs */
-#elif defined(SIZE_INT_64)
-# define SIGN_EXPAND(val,num)  ((int)(val) << (64-(num))) >> (64-(num)) /* sign expand of 'num' LSBs */
-#endif
-
-/* macros to form pointers to FP number on-the-fly */
-
-#define FP32(f)  ((struct fp32 *)&f)
-#define FP64(d)  ((struct fp64 *)&d)
-#define FP80(ld) ((struct fp80 *)&ld)
-
-/* macros to extract signed low and high doubleword of long double */
-
-#if defined(SIZE_INT_32)
-# define HI_DWORD_80(ld) ((((FP80(ld)->sign << 15) | FP80(ld)->exponent) << 16) | \
-                          ((FP80(ld)->hi_significand >> 16) & 0xFFFF))
-# define LO_DWORD_80(ld) SIGN_EXPAND(FP80(ld)->lo_significand, 32)
-#elif defined(SIZE_INT_64)
-# define HI_DWORD_80(ld) ((((FP80(ld)->sign << 15) | FP80(ld)->exponent) << 16) | \
-                          ((FP80(ld)->significand >> 48) & 0xFFFF))
-# define LO_DWORD_80(ld) SIGN_EXPAND(FP80(ld)->significand, 32)
-#endif
-
-/* macros to extract hi bits of significand.
- * note that explicit high bit do not count (returns as is)
- */
-
-#if defined(SIZE_INT_32)
-# define HI_SIGNIFICAND_80(X,NBITS) ((X)->hi_significand >> (31 - (NBITS)))
-#elif defined(SIZE_INT_64)
-# define HI_SIGNIFICAND_80(X,NBITS) ((X)->significand >> (63 - (NBITS)))
-#endif
-
-/* macros to check, whether a significand bits are all zero, or some of them are non-zero.
- * note that SIGNIFICAND_ZERO_80 tests high bit also, but SIGNIFICAND_NONZERO_80 does not
- */
-
-#define SIGNIFICAND_ZERO_32(X)     ((X)->significand == 0)
-#define SIGNIFICAND_NONZERO_32(X)  ((X)->significand != 0)
-
-#if defined(SIZE_INT_32)
-# define SIGNIFICAND_ZERO_64(X)    (((X)->hi_significand == 0) && ((X)->lo_significand == 0))
-# define SIGNIFICAND_NONZERO_64(X) (((X)->hi_significand != 0) || ((X)->lo_significand != 0))
-#elif defined(SIZE_INT_64)
-# define SIGNIFICAND_ZERO_64(X)    ((X)->significand == 0)
-# define SIGNIFICAND_NONZERO_64(X) ((X)->significand != 0)
-#endif
-
-#if defined(SIZE_INT_32)
-# define SIGNIFICAND_ZERO_80(X)    (((X)->hi_significand == 0x00000000) && ((X)->lo_significand == 0))
-# define SIGNIFICAND_NONZERO_80(X) (((X)->hi_significand != 0x80000000) || ((X)->lo_significand != 0))
-#elif defined(SIZE_INT_64)
-# define SIGNIFICAND_ZERO_80(X)    ((X)->significand == 0x0000000000000000)
-# define SIGNIFICAND_NONZERO_80(X) ((X)->significand != 0x8000000000000000)
-#endif
-
-/* macros to compare long double with constant value, represented as hex */
-
-#define SIGNIFICAND_EQ_HEX_32(X,BITS) ((X)->significand == 0x ## BITS)
-#define SIGNIFICAND_GT_HEX_32(X,BITS) ((X)->significand >  0x ## BITS)
-#define SIGNIFICAND_GE_HEX_32(X,BITS) ((X)->significand >= 0x ## BITS)
-#define SIGNIFICAND_LT_HEX_32(X,BITS) ((X)->significand <  0x ## BITS)
-#define SIGNIFICAND_LE_HEX_32(X,BITS) ((X)->significand <= 0x ## BITS)
-
-#if defined(SIZE_INT_32)
-# define SIGNIFICAND_EQ_HEX_64(X,HI,LO) \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand == 0x ## LO))
-# define SIGNIFICAND_GT_HEX_64(X,HI,LO) (((X)->hi_significand > 0x ## HI) || \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand >  0x ## LO)))
-# define SIGNIFICAND_GE_HEX_64(X,HI,LO) (((X)->hi_significand > 0x ## HI) || \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand >= 0x ## LO)))
-# define SIGNIFICAND_LT_HEX_64(X,HI,LO) (((X)->hi_significand < 0x ## HI) || \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand <  0x ## LO)))
-# define SIGNIFICAND_LE_HEX_64(X,HI,LO) (((X)->hi_significand < 0x ## HI) || \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand <= 0x ## LO)))
-#elif defined(SIZE_INT_64)
-# define SIGNIFICAND_EQ_HEX_64(X,HI,LO) ((X)->significand == 0x ## HI ## LO)
-# define SIGNIFICAND_GT_HEX_64(X,HI,LO) ((X)->significand >  0x ## HI ## LO)
-# define SIGNIFICAND_GE_HEX_64(X,HI,LO) ((X)->significand >= 0x ## HI ## LO)
-# define SIGNIFICAND_LT_HEX_64(X,HI,LO) ((X)->significand <  0x ## HI ## LO)
-# define SIGNIFICAND_LE_HEX_64(X,HI,LO) ((X)->significand <= 0x ## HI ## LO)
-#endif
-
-#if defined(SIZE_INT_32)
-# define SIGNIFICAND_EQ_HEX_80(X,HI,LO) \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand == 0x ## LO))
-# define SIGNIFICAND_GT_HEX_80(X,HI,LO) (((X)->hi_significand > 0x ## HI) || \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand >  0x ## LO)))
-# define SIGNIFICAND_GE_HEX_80(X,HI,LO) (((X)->hi_significand > 0x ## HI) || \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand >= 0x ## LO)))
-# define SIGNIFICAND_LT_HEX_80(X,HI,LO) (((X)->hi_significand < 0x ## HI) || \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand <  0x ## LO)))
-# define SIGNIFICAND_LE_HEX_80(X,HI,LO) (((X)->hi_significand < 0x ## HI) || \
-    (((X)->hi_significand == 0x ## HI) && ((X)->lo_significand <= 0x ## LO)))
-#elif defined(SIZE_INT_64)
-# define SIGNIFICAND_EQ_HEX_80(X,HI,LO) ((X)->significand == 0x ## HI ## LO)
-# define SIGNIFICAND_GT_HEX_80(X,HI,LO) ((X)->significand >  0x ## HI ## LO)
-# define SIGNIFICAND_GE_HEX_80(X,HI,LO) ((X)->significand >= 0x ## HI ## LO)
-# define SIGNIFICAND_LT_HEX_80(X,HI,LO) ((X)->significand <  0x ## HI ## LO)
-# define SIGNIFICAND_LE_HEX_80(X,HI,LO) ((X)->significand <= 0x ## HI ## LO)
-#endif
-
-#define VALUE_EQ_HEX_32(X,EXP,BITS) \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_EQ_HEX_32(X, BITS)))
-#define VALUE_GT_HEX_32(X,EXP,BITS) (((X)->exponent > (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_GT_HEX_32(X, BITS))))
-#define VALUE_GE_HEX_32(X,EXP,BITS) (((X)->exponent > (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_GE_HEX_32(X, BITS))))
-#define VALUE_LT_HEX_32(X,EXP,BITS) (((X)->exponent < (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_LT_HEX_32(X, BITS))))
-#define VALUE_LE_HEX_32(X,EXP,BITS) (((X)->exponent < (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_LE_HEX_32(X, BITS))))
-
-#define VALUE_EQ_HEX_64(X,EXP,HI,LO) \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_EQ_HEX_64(X, HI, LO)))
-#define VALUE_GT_HEX_64(X,EXP,HI,LO) (((X)->exponent > (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_GT_HEX_64(X, HI, LO))))
-#define VALUE_GE_HEX_64(X,EXP,HI,LO) (((X)->exponent > (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_GE_HEX_64(X, HI, LO))))
-#define VALUE_LT_HEX_64(X,EXP,HI,LO) (((X)->exponent < (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_LT_HEX_64(X, HI, LO))))
-#define VALUE_LE_HEX_64(X,EXP,HI,LO) (((X)->exponent < (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_LE_HEX_64(X, HI, LO))))
-
-#define VALUE_EQ_HEX_80(X,EXP,HI,LO) \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_EQ_HEX_80(X, HI, LO)))
-#define VALUE_GT_HEX_80(X,EXP,HI,LO) (((X)->exponent > (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_GT_HEX_80(X, HI, LO))))
-#define VALUE_GE_HEX_80(X,EXP,HI,LO) (((X)->exponent > (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_GE_HEX_80(X, HI, LO))))
-#define VALUE_LT_HEX_80(X,EXP,HI,LO) (((X)->exponent < (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_LT_HEX_80(X, HI, LO))))
-#define VALUE_LE_HEX_80(X,EXP,HI,LO) (((X)->exponent < (EXP)) || \
-   (((X)->exponent == (EXP)) && (SIGNIFICAND_LE_HEX_80(X, HI, LO))))
-
-/* macros to compare two long doubles */
-
-#define SIGNIFICAND_EQ_32(X,Y) ((X)->significand == (Y)->significand)
-#define SIGNIFICAND_GT_32(X,Y) ((X)->significand > (Y)->significand)
-#define SIGNIFICAND_GE_32(X,Y) ((X)->significand >= (Y)->significand)
-#define SIGNIFICAND_LT_32(X,Y) ((X)->significand < (Y)->significand)
-#define SIGNIFICAND_LE_32(X,Y) ((X)->significand <= (Y)->significand)
-
-#if defined(SIZE_INT_32)
-# define SIGNIFICAND_EQ_64(X,Y) \
-  (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand == (Y)->lo_significand))
-# define SIGNIFICAND_GT_64(X,Y) (((X)->hi_significand > (Y)->hi_significand) || \
-  (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand >  (Y)->lo_significand)))
-# define SIGNIFICAND_GE_64(X,Y) (((X)->hi_significand > (Y)->hi_significand) || \
-  (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand >= (Y)->lo_significand)))
-# define SIGNIFICAND_LT_64(X,Y) (((X)->hi_significand < (Y)->hi_significand) || \
-  (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand <  (Y)->lo_significand)))
-# define SIGNIFICAND_LE_64(X,Y) (((X)->hi_significand < (Y)->hi_significand) || \
-  (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand <= (Y)->lo_significand)))
-#elif defined(SIZE_INT_64)
-# define SIGNIFICAND_EQ_64(X,Y) ((X)->significand == (Y)->significand)
-# define SIGNIFICAND_GT_64(X,Y) ((X)->significand >  (Y)->significand)
-# define SIGNIFICAND_GE_64(X,Y) ((X)->significand >= (Y)->significand)
-# define SIGNIFICAND_LT_64(X,Y) ((X)->significand <  (Y)->significand)
-# define SIGNIFICAND_LE_64(X,Y) ((X)->significand <= (Y)->significand)
+#define ASM_SIZE_DIRECTIVE(name)
+#define ASM_TYPE_DIRECTIVE(name,T)
 #endif
-
-#if defined(SIZE_INT_32)
-# define SIGNIFICAND_EQ_80(X,Y) \
-    (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand == (Y)->lo_significand))
-# define SIGNIFICAND_GT_80(X,Y) (((X)->hi_significand > (Y)->hi_significand) || \
-    (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand >  (Y)->lo_significand)))
-# define SIGNIFICAND_GE_80(X,Y) (((X)->hi_significand > (Y)->hi_significand) || \
-    (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand >= (Y)->lo_significand)))
-# define SIGNIFICAND_LT_80(X,Y) (((X)->hi_significand < (Y)->hi_significand) || \
-    (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand <  (Y)->lo_significand)))
-# define SIGNIFICAND_LE_80(X,Y) (((X)->hi_significand < (Y)->hi_significand) || \
-    (((X)->hi_significand == (Y)->hi_significand) && ((X)->lo_significand <= (Y)->lo_significand)))
-#elif defined(SIZE_INT_64)
-# define SIGNIFICAND_EQ_80(X,Y) ((X)->significand == (Y)->significand)
-# define SIGNIFICAND_GT_80(X,Y) ((X)->significand >  (Y)->significand)
-# define SIGNIFICAND_GE_80(X,Y) ((X)->significand >= (Y)->significand)
-# define SIGNIFICAND_LT_80(X,Y) ((X)->significand <  (Y)->significand)
-# define SIGNIFICAND_LE_80(X,Y) ((X)->significand <= (Y)->significand)
-#endif
-
-#define VALUE_EQ_32(X,Y) \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_EQ_32(X, Y)))
-#define VALUE_GT_32(X,Y) (((X)->exponent > (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_GT_32(X, Y))))
-#define VALUE_GE_32(X,Y) (((X)->exponent > (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_GE_32(X, Y))))
-#define VALUE_LT_32(X,Y) (((X)->exponent < (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_LT_32(X, Y))))
-#define VALUE_LE_32(X,Y) (((X)->exponent < (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_LE_32(X, Y))))
-
-#define VALUE_EQ_64(X,Y) \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_EQ_64(X, Y)))
-#define VALUE_GT_64(X,Y) (((X)->exponent > (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_GT_64(X, Y))))
-#define VALUE_GE_64(X,Y) (((X)->exponent > (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_GE_64(X, Y))))
-#define VALUE_LT_64(X,Y) (((X)->exponent < (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_LT_64(X, Y))))
-#define VALUE_LE_64(X,Y) (((X)->exponent < (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_LE_64(X, Y))))
-
-#define VALUE_EQ_80(X,Y) \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_EQ_80(X, Y)))
-#define VALUE_GT_80(X,Y) (((X)->exponent > (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_GT_80(X, Y))))
-#define VALUE_GE_80(X,Y) (((X)->exponent > (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_GE_80(X, Y))))
-#define VALUE_LT_80(X,Y) (((X)->exponent < (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_LT_80(X, Y))))
-#define VALUE_LE_80(X,Y) (((X)->exponent < (Y)->exponent) || \
-   (((X)->exponent == (Y)->exponent) && (SIGNIFICAND_LE_80(X, Y))))
-
-/* add/subtract 1 ulp macros */
-
-#if defined(SIZE_INT_32)
-# define ADD_ULP_80(X) \
-    if ((++(X)->lo_significand == 0) && \
-        (++(X)->hi_significand == (((X)->exponent == 0) ? 0x80000000 : 0))) \
-    { \
-        (X)->hi_significand |= 0x80000000; \
-        ++(X)->exponent; \
-    }
-# define SUB_ULP_80(X) \
-    if (--(X)->lo_significand == 0xFFFFFFFF) { \
-        --(X)->hi_significand; \
-        if (((X)->exponent != 0) && \
-            ((X)->hi_significand == 0x7FFFFFFF) && \
-            (--(X)->exponent != 0)) \
-        { \
-            (X)->hi_significand |= 0x80000000; \
-        } \
-    }
-#elif defined(SIZE_INT_64)
-# define ADD_ULP_80(X) \
-    if (++(X)->significand == (((X)->exponent == 0) ? 0x8000000000000000 : 0))) { \
-        (X)->significand |= 0x8000000000000000; \
-        ++(X)->exponent; \
-    }
-# define SUB_ULP_80(X) \
-    { \
-        --(X)->significand; \
-        if (((X)->exponent != 0) && \
-            ((X)->significand == 0x7FFFFFFFFFFFFFFF) && \
-            (--(X)->exponent != 0)) \
-        { \
-            (X)->significand |= 0x8000000000000000; \
-        } \
-    }
-#endif
-
-
-/* error codes */
-
-#define DOMAIN     1   /* argument domain error */
-#define SING       2   /* argument singularity */
-#define OVERFLOW   3   /* overflow range error */
-#define UNDERFLOW  4   /* underflow range error */
-#define TLOSS      5   /* total loss of precision */
-#define PLOSS      6   /* partial loss of precision */
-
-/* */
-
-#define VOLATILE_32 /*volatile*/
-#define VOLATILE_64 /*volatile*/
-#define VOLATILE_80 /*volatile*/
-
-#define QUAD_TYPE _Quad
-
-#endif    /*__LIBM_SUPPORT_H_INCLUDED__*/