1  /* Copyright (C) 2008  Free Software Foundation.
       2  
       3     Verify that __builtin_isinf_sign folds correctly.
       4  
       5     Origin: Kaveh R. Ghazi,  May 17, 2008.  */
       6  
       7  /* { dg-do link } */
       8  
       9  /* All references to link_error should go away at compile-time.  */
      10  extern void link_error(int);
      11  
      12  void __attribute__ ((__noinline__))
      13  foo (float f, double d, long double ld)
      14  {
      15    /* Test the generic expansion of isinf_sign.  */
      16  
      17    if (__builtin_isinf_sign(f)
      18        != (__builtin_isinf(f) ? (__builtin_signbit(f) ? -1 : 1) : 0))
      19      link_error (__LINE__);
      20    if (__builtin_isinf_sign(d)
      21        != (__builtin_isinf(d) ? (__builtin_signbit(d) ? -1 : 1) : 0))
      22      link_error (__LINE__);
      23    if (__builtin_isinf_sign(ld)
      24        != (__builtin_isinf(ld) ? (__builtin_signbit(ld) ? -1 : 1) : 0))
      25      link_error (__LINE__);
      26  
      27  #ifdef __OPTIMIZE__
      28    /* In boolean contexts, GCC will fold the inner conditional
      29       expression to 1.  So isinf_sign folds to plain isinf.  */
      30  
      31    if ((_Bool)__builtin_isinf_sign(f) != (__builtin_isinf(f) != 0))
      32      link_error (__LINE__);
      33    if ((_Bool)__builtin_isinf_sign(d) != (__builtin_isinf(d) != 0))
      34      link_error (__LINE__);
      35    if ((_Bool)__builtin_isinf_sign(ld) != (__builtin_isinf(ld) != 0))
      36      link_error (__LINE__);
      37  #endif
      38  
      39    if ((__builtin_isinf_sign(f) != 0) != (__builtin_isinf(f) != 0))
      40      link_error (__LINE__);
      41    if ((__builtin_isinf_sign(d) != 0) != (__builtin_isinf(d) != 0))
      42      link_error (__LINE__);
      43    if ((__builtin_isinf_sign(ld) != 0) != (__builtin_isinf(ld) != 0))
      44      link_error (__LINE__);
      45  
      46    if ((__builtin_isinf_sign(f) ? 5 : 6) != (__builtin_isinf(f) ? 5 : 6))
      47      link_error (__LINE__);
      48    if ((__builtin_isinf_sign(d) ? 5 : 6) != (__builtin_isinf(d) ? 5 : 6))
      49      link_error (__LINE__);
      50    if ((__builtin_isinf_sign(ld) ? 5 : 6) != (__builtin_isinf(ld) ? 5 : 6))
      51      link_error (__LINE__);
      52  }
      53  
      54  int main (void)
      55  {
      56    foo (1, 2, 3);
      57    return 0;
      58  }