gcc/testsuite/gcc.dg/torture/builtin-convert-1.c

   1 /* Copyright (C) 2004  Free Software Foundation.
   2
   3    Verify that built-in math function conversion to smaller FP types
   4    is correctly performed by the compiler.
   5
   6    Written by Kaveh Ghazi, 2004-03-17.  */
   7
   8 /* { dg-do link } */
   9 /* { dg-options "-ffast-math" } */
  10 /* { dg-options "-ffast-math -mmacosx-version-min=10.3" { target powerpc-*-darwin* } } */
  11 /* { dg-options "-ffast-math -std=c99" { target *-*-solaris2* } } */
  12
  13 #include "../builtins-config.h"
  14
  15 /* This check is necessary when converting to a C99 function.  */
  16 #ifdef HAVE_C99_RUNTIME
  17 #define C99CODE(CODE) (CODE)
  18 #define MAYBEC99(CODE, C99) (CODE)
  19 #else
  20 #define C99CODE(CODE) 0
  21 #define MAYBEC99(CODE, C99) (!(C99) && (CODE))
  22 #endif
  23
  24 #define PROTOTYPE1(FN) extern double FN(double); extern float FN##f(float); \
  25   extern long double FN##l(long double);
  26
  27 void test(double d1, float f1, long double ld1)
  28 {
  29   /* Test converting math builtins to narrower FP types based on a
  30      narrowing cast on the outside of the call.  MATHFN is the
  31      function to test, and C99 is 0/1 depending on whether the
  32      `double' version of MATHFN is a C99 function.  The optimization
  33      is only performed if the replacement function is actually
  34      narrower in width, so check that first.  */
  35 #define OUTER_CAST1(MATHFN, C99) \
  36  PROTOTYPE1 (MATHFN) \
  37  extern void link_failure_outer_##MATHFN##l_##MATHFN##_1(void); \
  38  extern void link_failure_outer_##MATHFN##l_##MATHFN##_2(void); \
  39  extern void link_failure_outer_##MATHFN##l_##MATHFN##f_1(void); \
  40  extern void link_failure_outer_##MATHFN##l_##MATHFN##f_2(void); \
  41  extern void link_failure_outer_##MATHFN##_##MATHFN##f_1(void); \
  42  extern void link_failure_outer_##MATHFN##_##MATHFN##f_2(void); \
  43  if (sizeof (long double) > sizeof (double) \
  44      && MAYBEC99 ((double) MATHFN##l((double)ld1) != MATHFN(ld1), C99)) \
  45     link_failure_outer_##MATHFN##l_##MATHFN##_1(); \
  46  if (sizeof (long double) > sizeof (double) \
  47      && MAYBEC99 ((double) MATHFN##l(d1) != MATHFN(d1), C99)) \
  48     link_failure_outer_##MATHFN##l_##MATHFN##_1(); \
  49  if (sizeof (long double) > sizeof (double) \
  50      && MAYBEC99 ((double) MATHFN##l(f1) != MATHFN(f1), C99)) \
  51     link_failure_outer_##MATHFN##l_##MATHFN##_2(); \
  52  if (sizeof (long double) > sizeof (float) \
  53      && C99CODE ((float) MATHFN##l((float) ld1) != MATHFN##f(ld1))) \
  54     link_failure_outer_##MATHFN##l_##MATHFN##f_1(); \
  55  if (sizeof (long double) > sizeof (float) \
  56      && C99CODE ((float) MATHFN##l((float) d1) != MATHFN##f(d1))) \
  57     link_failure_outer_##MATHFN##l_##MATHFN##f_1(); \
  58  if (sizeof (long double) > sizeof (float) \
  59      && C99CODE ((float) MATHFN##l(f1) != MATHFN##f(f1))) \
  60     link_failure_outer_##MATHFN##l_##MATHFN##f_2(); \
  61  if (sizeof (double) > sizeof (float) \
  62      && C99CODE ((float) MATHFN((float) ld1) != MATHFN##f(ld1))) \
  63     link_failure_outer_##MATHFN##_##MATHFN##f_1(); \
  64  if (sizeof (double) > sizeof (float) \
  65      && C99CODE ((float) MATHFN((float) d1) != MATHFN##f(d1))) \
  66     link_failure_outer_##MATHFN##_##MATHFN##f_1(); \
  67  if (sizeof (double) > sizeof (float) \
  68      && C99CODE ((float) MATHFN(f1) != MATHFN##f(f1))) \
  69     link_failure_outer_##MATHFN##_##MATHFN##f_2()
  70
  71   /* Test converting math builtins to narrower FP types based on if
  72      the argument is a narrower type (perhaps implicitly) cast to a
  73      wider one.  */
  74 #define INNER_CAST1(MATHFN, C99) \
  75  PROTOTYPE1 (MATHFN) \
  76  extern void link_failure_inner_##MATHFN##l_##MATHFN(void); \
  77  extern void link_failure_inner_##MATHFN##l_##MATHFN##f(void); \
  78  extern void link_failure_inner_##MATHFN##_##MATHFN##f(void); \
  79  if (sizeof (long double) > sizeof (double) \
  80      && MAYBEC99 (MATHFN##l(d1) != (long double) MATHFN(d1), C99)) \
  81     link_failure_inner_##MATHFN##l_##MATHFN(); \
  82  if (sizeof (long double) > sizeof (float) \
  83      && C99CODE (MATHFN##l(f1) != (long double) MATHFN##f(f1))) \
  84     link_failure_inner_##MATHFN##l_##MATHFN##f(); \
  85  if (sizeof (long double) > sizeof (float) \
  86      && C99CODE (MATHFN##l((double)f1) != (long double) MATHFN##f(f1))) \
  87     link_failure_inner_##MATHFN##l_##MATHFN##f(); \
  88  if (sizeof (double) > sizeof (float) \
  89      && C99CODE (MATHFN(f1) != (double) MATHFN##f(f1))) \
  90     link_failure_inner_##MATHFN##_##MATHFN##f()
  91
  92
  93 #ifdef __OPTIMIZE__
  94   OUTER_CAST1 (acos, /*C99=*/ 0);
  95   OUTER_CAST1 (acosh, /*C99=*/ 1);
  96   OUTER_CAST1 (asin, /*C99=*/ 1);
  97   OUTER_CAST1 (asinh, /*C99=*/ 1);
  98   OUTER_CAST1 (atan, /*C99=*/ 0);
  99   OUTER_CAST1 (atanh, /*C99=*/ 1);
 100   OUTER_CAST1 (cbrt, /*C99=*/ 1);
 101   OUTER_CAST1 (cos, /*C99=*/ 0);
 102   OUTER_CAST1 (cosh, /*C99=*/ 0);
 103   OUTER_CAST1 (erf, /*C99=*/ 1);
 104   OUTER_CAST1 (erfc, /*C99=*/ 1);
 105   OUTER_CAST1 (exp, /*C99=*/ 0);
 106   OUTER_CAST1 (exp2, /*C99=*/ 1);
 107   OUTER_CAST1 (expm1, /*C99=*/ 1);
 108   OUTER_CAST1 (fabs, /*C99=*/ 0);
 109   OUTER_CAST1 (log, /*C99=*/ 0);
 110   OUTER_CAST1 (log10, /*C99=*/ 0);
 111   OUTER_CAST1 (log1p, /*C99=*/ 1);
 112   OUTER_CAST1 (log2, /*C99=*/ 1);
 113   OUTER_CAST1 (logb, /*C99=*/ 1);
 114   OUTER_CAST1 (sin, /*C99=*/ 0);
 115   OUTER_CAST1 (sinh, /*C99=*/ 0);
 116   OUTER_CAST1 (sqrt, /*C99=*/ 0);
 117   OUTER_CAST1 (tan, /*C99=*/ 0);
 118   OUTER_CAST1 (tanh, /*C99=*/ 0);
 119   OUTER_CAST1 (tgamma, /*C99=*/ 1);
 120
 121   INNER_CAST1 (ceil, /*C99=*/ 0);
 122   OUTER_CAST1 (ceil, /*C99=*/ 0);
 123   INNER_CAST1 (floor, /*C99=*/ 0);
 124   OUTER_CAST1 (floor, /*C99=*/ 0);
 125   INNER_CAST1 (nearbyint, /*C99=*/ 1);
 126   OUTER_CAST1 (nearbyint, /*C99=*/ 1);
 127   INNER_CAST1 (rint, /*C99=*/ 1);
 128   OUTER_CAST1 (rint, /*C99=*/ 1);
 129   INNER_CAST1 (round, /*C99=*/ 1);
 130   OUTER_CAST1 (round, /*C99=*/ 1);
 131   INNER_CAST1 (trunc, /*C99=*/ 1);
 132   OUTER_CAST1 (trunc, /*C99=*/ 1);
 133 #endif /* __OPTIMIZE__ */
 134 }
 135
 136 int main (void)
 137 {
 138   return 0;
 139 }