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