1  /* { dg-do compile { target { powerpc*-*-* && lp64 } } } */
       2  /* { dg-options "-O2" } */
       3  
       4  /* { dg-final { scan-assembler-not "lfd \(f?\[0-9\]+\),\[^\n\r\]*\[\n\r\]+\[ \t]*fmr f?1,\\1\[\n\r\]+\[ \t]*blr" } } */
       5  
       6  /* Origin:Pete Steinmetz <steinmtz@us.ibm.com> */
       7  
       8  /* PR 16796: Extraneous move.  */
       9  
      10  static const double huge = 1.0e300;
      11  typedef int int64_t __attribute__ ((__mode__ (__DI__)));
      12  typedef unsigned int u_int64_t __attribute__ ((__mode__ (__DI__)));
      13  
      14  double __floor(double x)
      15  {
      16    union {
      17      double dbl_val;
      18      long int long_val;
      19    } temp;
      20  
      21    int64_t i0,j0;
      22    u_int64_t i;
      23    temp.dbl_val = x;
      24    i0 = temp.long_val;
      25  
      26    j0 = ((i0>>52)&0x7ff)-0x3ff;
      27    if(j0<52) {
      28      if(j0<0) {
      29        if(huge+x>0.0) {
      30          if(i0>=0) {i0=0;}
      31          else if((i0&0x7fffffffffffffff)!=0)
      32          { i0=0xbff0000000000000;}
      33        }
      34      } else {
      35        i = (0x000fffffffffffff)>>j0;
      36        if((i0&i)==0) return x;
      37        if(huge+x>0.0) {
      38          if(i0<0) i0 += (0x0010000000000000)>>j0;
      39          i0 &= (~i);
      40        }
      41      }
      42    } else {
      43      if (j0==0x400)
      44        return x+x;
      45      else
      46        return x;
      47    }
      48    temp.long_val = i0;
      49    x = temp.dbl_val;
      50    return x;
      51  }
      52