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

   1 /* Copyright (C) 2006  Free Software Foundation.
   2
   3    Verify that built-in math function folding of fmin/fmax is
   4    correctly performed by the compiler.
   5
   6    Origin: Kaveh R. Ghazi,  November 13, 2006.  */
   7
   8 /* { dg-do link } */
   9 /* { dg-options "-fno-math-errno" } */
  10 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
  11
  12 /* All references to link_error should go away at compile-time.  */
  13 extern void link_error(int);
  14
  15 #define DECLARE(FUNC) \
  16   extern float FUNC##f (float); \
  17   extern double FUNC (double); \
  18   extern long double FUNC##l (long double)
  19 #define DECLARE2(FUNC) \
  20   extern float FUNC##f (float, float); \
  21   extern double FUNC (double, double); \
  22   extern long double FUNC##l (long double, long double)
  23
  24 DECLARE2(fmin);
  25 DECLARE2(fmax);
  26 DECLARE(fabs);
  27 extern int pure(int) __attribute__ ((__pure__));
  28
  29 /* Test that FUNC(x,x) == x.  We cast to (long) so "!=" folds.  */
  30 #define TEST_EQ(FUNC) do { \
  31   if ((long)FUNC##f(xf,xf) != (long)xf) \
  32     link_error(__LINE__); \
  33   if ((long)FUNC(x,x) != (long)x) \
  34     link_error(__LINE__); \
  35   if ((long)FUNC##l(xl,xl) != (long)xl) \
  36     link_error(__LINE__); \
  37   } while (0)
  38
  39 /* Test that FUNC(purefn,purefn) == purefn.  We cast to (long) so "!=" folds.  */
  40 #define TEST_EQ_PURE(FUNC) do { \
  41   if ((long)FUNC##f(pure(i),pure(i)) != (long)FUNC##f(pure(i),pure(i))) \
  42     link_error(__LINE__); \
  43   if ((long)FUNC(pure(i),pure(i)) != (long)FUNC(pure(i),pure(i))) \
  44     link_error(__LINE__); \
  45   if ((long)FUNC##l(pure(i),pure(i)) != (long)FUNC##l(pure(i),pure(i))) \
  46     link_error(__LINE__); \
  47   } while (0)
  48
  49 /* Test that FIXFUNC(FUNC(int1,int2)) == (TYPE)FUNC(int1,int2),
  50    i.e. FIXFUNC should be folded away and replaced with a cast.  */
  51 #define TEST_FIXFUNC(FUNC,FIXFUNC,TYPE) do { \
  52   if (FIXFUNC##f(FUNC##f(i,j)) != (TYPE)FUNC##f(i,j)) \
  53     link_error(__LINE__); \
  54   if (FIXFUNC(FUNC(i,j)) != (TYPE)FUNC(i,j)) \
  55     link_error(__LINE__); \
  56   if (FIXFUNC##l(FUNC##l(i,j)) != (TYPE)FUNC##l(i,j)) \
  57     link_error(__LINE__); \
  58   } while (0)
  59
  60 /* Test that FUNC(int1,int2) has an integer return type.  */
  61 #define TEST_INT(FUNC) do { \
  62   TEST_FIXFUNC(FUNC,__builtin_lround,long); \
  63   TEST_FIXFUNC(FUNC,__builtin_llround,long long); \
  64   TEST_FIXFUNC(FUNC,__builtin_lrint,long); \
  65   TEST_FIXFUNC(FUNC,__builtin_llrint,long long); \
  66   TEST_FIXFUNC(FUNC,__builtin_lceil,long); \
  67   TEST_FIXFUNC(FUNC,__builtin_llceil,long long); \
  68   TEST_FIXFUNC(FUNC,__builtin_lfloor,long); \
  69   TEST_FIXFUNC(FUNC,__builtin_llfloor,long long); \
  70   } while (0)
  71
  72 /* Test that (long)fabs(FUNC(fabs(x),fabs(y))) ==
  73    (long)FUNC(fabs(x),fabs(y)).  We cast to (long) so "!=" folds.  */
  74 #define TEST_NONNEG(FUNC) do { \
  75   if ((long)fabsf(FUNC##f(fabsf(xf),fabsf(yf))) != (long)FUNC##f(fabsf(xf),fabsf(yf))) \
  76     link_error(__LINE__); \
  77   if ((long)fabs(FUNC(fabs(x),fabs(y))) != (long)FUNC(fabs(x),fabs(y))) \
  78     link_error(__LINE__); \
  79   if ((long)fabsl(FUNC##l(fabsl(xl),fabsl(yl))) != (long)FUNC##l(fabsl(xl),fabsl(yl))) \
  80     link_error(__LINE__); \
  81   } while (0)
  82
  83 /* Test that FUNC(NaN,x) == x.  We cast to (long) so "!=" folds.  Set
  84    parameter SIGNAL to `s' for testing signaling NaN.  */
  85 #define TEST_NAN(FUNC,SIGNAL) do { \
  86   if ((long)FUNC##f(__builtin_nan##SIGNAL##f(""),xf) != (long)xf) \
  87     link_error(__LINE__); \
  88   if ((long)FUNC##f(xf,__builtin_nan##SIGNAL##f("")) != (long)xf) \
  89     link_error(__LINE__); \
  90   if ((long)FUNC(__builtin_nan##SIGNAL(""),x) != (long)x) \
  91     link_error(__LINE__); \
  92   if ((long)FUNC(x,__builtin_nan##SIGNAL("")) != (long)x) \
  93     link_error(__LINE__); \
  94   if ((long)FUNC##l(__builtin_nan##SIGNAL##l(""),xl) != (long)xl) \
  95     link_error(__LINE__); \
  96   if ((long)FUNC##l(xl,__builtin_nan##SIGNAL##l("")) != (long)xl) \
  97     link_error(__LINE__); \
  98   } while (0)
  99
 100 void __attribute__ ((__noinline__))
 101      foo (float xf, double x, long double xl,
 102           float yf, double y, long double yl,
 103           int i, int j)
 104 {
 105   TEST_EQ(fmin);
 106   TEST_EQ(fmax);
 107
 108 #ifdef __OPTIMIZE__
 109   TEST_EQ_PURE(fmin);
 110   TEST_EQ_PURE(fmax);
 111 #endif
 112
 113   TEST_INT(fmin);
 114   TEST_INT(fmax);
 115
 116   TEST_NONNEG(fmin);
 117   TEST_NONNEG(fmax);
 118
 119   TEST_NAN(fmin,);
 120   TEST_NAN(fmax,);
 121   TEST_NAN(fmin,s);
 122   TEST_NAN(fmax,s);
 123 }
 124
 125 int main()
 126 {
 127   foo (1,1,1,1,1,1,1,1);
 128   return 0;
 129 }