gcc/testsuite/g++.dg/eh/ia64-1.C

   1 // Test whether call saved float and branch regs are restored properly
   2 // { dg-do run { target ia64-*-* } }
   3 // { dg-options "-O2" }
   4
   5 extern "C" void abort (void);
   6
   7 char buf[128];
   8
   9 void __attribute__((noinline))
  10 bar (void)
  11 {
  12   throw 1;
  13 }
  14
  15 void __attribute__((noinline))
  16 foo (void)
  17 {
  18   bar ();
  19   bar ();
  20 }
  21
  22 int
  23 main (void)
  24 {
  25   register double f2 __asm ("f2");
  26   register double f3 __asm ("f3");
  27   register double f4 __asm ("f4");
  28   register double f5 __asm ("f5");
  29   register double f16 __asm ("f16");
  30   register double f17 __asm ("f17");
  31   register void *b1 __asm ("b1");
  32   register void *b2 __asm ("b2");
  33   register void *b3 __asm ("b3");
  34   register void *b4 __asm ("b4");
  35   register void *b5 __asm ("b5");
  36   f2 = 12.0; f3 = 13.0; f4 = 14.0; f5 = 15.0; f16 = 16.0; f17 = 17.0;
  37   b1 = &buf[1]; b2 = &buf[2]; b3 = &buf[3]; b4 = &buf[4]; b5 = &buf[5];
  38   try
  39     {
  40       foo ();
  41     }
  42   catch (...) {}
  43   if (f2 != 12.0 || f3 != 13.0 || f4 != 14.0
  44       || f5 != 15.0 || f16 != 16.0 || f17 != 17.0)
  45     abort ();
  46   if (b1 != &buf[1] || b2 != &buf[2] || b3 != &buf[3]
  47       || b4 != &buf[4] || b5 != &buf[5])
  48     abort ();
  49   return 0;
  50 }