gcc/testsuite/gcc.target/powerpc/safe-indirect-jump-5.c

   1 /* { dg-do run } */
   2 /* { dg-additional-options "-mno-speculate-indirect-jumps -Wno-pedantic" } */
   3 /* { dg-warning "'-mno-speculate-indirect-jumps' is deprecated" "" { target *-*-* } 0 } */
   4
   5 /* Test for deliberate misprediction of computed goto.  */
   6
   7 int __attribute__((noinline)) bar (int i)
   8 {
   9   return 1960 + i;
  10 }
  11
  12 int __attribute__((noinline)) baz (int i)
  13 {
  14   return i * i;
  15 }
  16
  17 int __attribute__((noinline)) spaz (int i)
  18 {
  19   return i + 1;
  20 }
  21
  22 int foo (int x)
  23 {
  24   static void *labptr[] = { &&lab0, &&lab1, &&lab2 };
  25
  26   if (x < 0 || x > 2)
  27     return -1;
  28
  29   goto *labptr[x];
  30
  31  lab0:
  32   return bar (x);
  33
  34  lab1:
  35   return baz (x) + 1;
  36
  37  lab2:
  38   return spaz (x) / 2;
  39 }
  40
  41 int main ()
  42 {
  43   if (foo (0) != 1960)
  44     __builtin_abort ();
  45
  46   if (foo (1) != 2)
  47     __builtin_abort ();
  48
  49   if (foo (2) != 1)
  50     __builtin_abort ();
  51
  52   if (foo (3) != -1)
  53     __builtin_abort ();
  54
  55   return 0;
  56 }