gcc/testsuite/gcc.dg/pr35045.c

   1 /* { dg-do run } */
   2 /* { dg-skip-if "" { { i?86-*-* x86_64-*-* } && { ia32 && { ! nonpic } } } } */
   3 /* { dg-skip-if "Not enough registers" { "pdp11-*-*" } } */
   4 /* { dg-options "-O2 -fgcse-after-reload" } */
   5
   6 extern void abort (void);
   7
   8 __attribute__((noinline)) __complex__ float
   9 give_neg1 (void)
  10 {
  11   __complex__ float res;
  12   __real__ res = -1.0;
  13   __imag__ res = 1.0;
  14   return res;
  15 }
  16
  17 __attribute__((noinline)) __complex__ float
  18 mycacoshf (__complex__ float x)
  19 {
  20   __complex__ float res;
  21   res = give_neg1 ();
  22
  23   /* We have to use the positive branch.  */
  24   if (__real__ res < 0.0)
  25     {
  26       unsigned a,b,c,d,e,f;
  27       res = -res;
  28       asm __volatile__ ("" : "=r" (a), "=r" (b), "=r" (c), "=r" (d), "=r" (e), "=r" (f));
  29     }
  30   return res;
  31 }
  32
  33 int main()
  34 {
  35   __complex__ float res = mycacoshf(1.0);
  36   if (__imag__ res >= 0.0)
  37     abort();
  38   return 0;
  39 }