1  /* Copyright (C) 2004  Free Software Foundation.
       2  
       3     Verify that built-in math function conversion into integer rounding
       4     functions is correctly performed by the compiler.
       5  
       6     Written by Kaveh ghazi, 2004-04-26.  */
       7  
       8  /* { dg-do link } */
       9  /* { dg-options "-ffast-math" } */
      10  
      11  #include "../builtins-config.h"
      12  
      13  /* Macro to do all FP type combinations.  The second half tests
      14     narrowing the FP type.  */
      15  #define TEST_FP2FIXED(FN1, FN2) \
      16    extern void link_error_##FN1##_##FN2(void); \
      17    extern void link_error_##FN1##f_##FN2##f(void); \
      18    extern void link_error_##FN1##l_##FN2##l(void); \
      19    extern void link_error_##FN1##_l##FN2(void); \
      20    extern void link_error_##FN1##f_l##FN2##f(void); \
      21    extern void link_error_##FN1##l_l##FN2##l(void); \
      22    if ((long)__builtin_##FN1(d) != __builtin_##FN2(d)) \
      23      link_error_##FN1##_##FN2(); \
      24    if ((long)__builtin_##FN1##f(f) != __builtin_##FN2##f(f)) \
      25      link_error_##FN1##f_##FN2##f(); \
      26    if ((long)__builtin_##FN1##l(ld) != __builtin_##FN2##l(ld)) \
      27      link_error_##FN1##l_##FN2##l(); \
      28    if ((long long)__builtin_##FN1(d) != __builtin_l##FN2(d)) \
      29      link_error_##FN1##_l##FN2(); \
      30    if ((long long)__builtin_##FN1##f(f) != __builtin_l##FN2##f(f)) \
      31      link_error_##FN1##f_l##FN2##f(); \
      32    if ((long long)__builtin_##FN1##l(ld) != __builtin_l##FN2##l(ld)) \
      33      link_error_##FN1##l_l##FN2##l(); \
      34    extern void link_error_##FN1##_##FN2##f(void); \
      35    extern void link_error_##FN1##l_##FN2(void); \
      36    extern void link_error_##FN1##l_##FN2##f(void); \
      37    extern void link_error_##FN1##_l##FN2##f(void); \
      38    extern void link_error_##FN1##l_l##FN2(void); \
      39    extern void link_error_##FN1##l_l##FN2##f(void); \
      40    if (sizeof(double) > sizeof(float) \
      41        && (long)__builtin_##FN1(f) != __builtin_##FN2##f(f)) \
      42      link_error_##FN1##_##FN2##f(); \
      43    if (sizeof(long double) > sizeof(double) \
      44        && (long)__builtin_##FN1##l(d) != __builtin_##FN2(d)) \
      45      link_error_##FN1##l_##FN2(); \
      46    if (sizeof(long double) > sizeof(float) \
      47        && (long)__builtin_##FN1##l(f) != __builtin_##FN2##f(f)) \
      48      link_error_##FN1##l_##FN2##f(); \
      49    if (sizeof(double) > sizeof(float) \
      50        && (long long)__builtin_##FN1(f) != __builtin_l##FN2##f(f)) \
      51      link_error_##FN1##_l##FN2##f(); \
      52    if (sizeof(long double) > sizeof(double) \
      53        && (long long)__builtin_##FN1##l(d) != __builtin_l##FN2(d)) \
      54      link_error_##FN1##l_l##FN2(); \
      55    if (sizeof(long double) > sizeof(float) \
      56        && (long long)__builtin_##FN1##l(f) != __builtin_l##FN2##f(f)) \
      57      link_error_##FN1##l_l##FN2##f()
      58  
      59  void __attribute__ ((__noinline__)) foo (double d, float f, long double ld)
      60  {
      61  #ifdef __OPTIMIZE__
      62  # ifdef HAVE_C99_RUNTIME
      63    /* The resulting transformation functions are all C99.  */
      64    TEST_FP2FIXED (ceil, lceil);
      65    TEST_FP2FIXED (floor, lfloor);
      66    TEST_FP2FIXED (round, lround);
      67    TEST_FP2FIXED (nearbyint, lrint);
      68    TEST_FP2FIXED (rint, lrint);
      69  # endif
      70  #endif
      71  }
      72  
      73  int main()
      74  {
      75    foo (1.0, 2.0, 3.0);
      76    return 0;
      77  }