1  /* Copyright (C) 2003,2007 Free Software Foundation.
       2  
       3     Check that constant folding of built-in math functions doesn't
       4     break anything and produces the expected results.
       5  
       6     Written by Roger Sayle, 5th April 2003.  */
       7  
       8  /* { dg-do link } */
       9  /* { dg-options "-O2 -ffast-math" } */
      10  
      11  extern void link_error(void);
      12  
      13  extern double exp(double);
      14  extern double sqrt(double);
      15  extern double cbrt(double);
      16  extern double pow(double,double);
      17  
      18  void test(double x, double y, double z)
      19  {
      20    if (sqrt(x)*sqrt(x) != x)
      21      link_error ();
      22  
      23    if (sqrt(x)*sqrt(y) != sqrt(x*y))
      24      link_error ();
      25  
      26    if (exp(x)*exp(y) != exp(x+y))
      27      link_error ();
      28  
      29    if (pow(x,y)*pow(z,y) != pow(z*x,y))
      30      link_error ();
      31  
      32    if (pow(x,y)*pow(x,z) != pow(x,y+z))
      33      link_error ();
      34  
      35    if (x/exp(y) != x*exp(-y))
      36      link_error ();
      37  
      38    if (x/pow(y,z) != x*pow(y,-z))
      39      link_error ();
      40  
      41    if (x/sqrt(y/z) != x*sqrt(z/y))
      42      link_error ();
      43  
      44    if (x/cbrt(y/z) != x*cbrt(z/y))
      45      link_error ();
      46  }
      47  
      48  int main()
      49  {
      50    test (2.0, 3.0, 4.0);
      51    return 0;
      52  }
      53