gcc/testsuite/gcc.target/powerpc/pr71785.c

   1 /* { dg-do compile { target { powerpc*-*-* } } } */
   2 /* { dg-options "-O2" } */
   3 /* We have to lose the default pic codegen on Darwin.  */
   4 /* { dg-additional-options "-mdynamic-no-pic" { target powerpc*-*-darwin* } } */
   5 /* ... and account for the out-of-line GPR restore.  */
   6 /* { dg-final { scan-assembler-times {\mb[ \t]*restGPR} 1 { target powerpc*-*-darwin* } } } */
   7 /* { dg-final { scan-assembler-not {\mb[ \t]L} { target powerpc*-*-darwin* } } } */
   8 /* { dg-final { scan-assembler-not {\mb\M} { target { ! powerpc*-*-darwin* } } } } */
   9
  10 /* Check that all computed gotos in this testcase end up unfactored completely.
  11    If some is not there will be a unconditional jump left; if all works fine,
  12    all are gone.  */
  13
  14 typedef enum opcode
  15 {
  16         OP_A,
  17         OP_B,
  18         OP_END
  19 } opcode;
  20
  21 typedef struct op
  22 {
  23         opcode opcode;
  24         int arg;
  25 } op;
  26
  27 extern void do_stuff_b(int arg);
  28 extern void do_stuff_c(int arg);
  29
  30 extern int someglobal;
  31
  32 void
  33 eval(op *op)
  34 {
  35         static const void *dispatch_table[] = {
  36                 &&CASE_OP_A,
  37                 &&CASE_OP_B,
  38                 &&CASE_OP_C,
  39                 &&CASE_OP_END
  40         };
  41
  42         goto *dispatch_table[op->opcode];
  43 CASE_OP_A:
  44         someglobal++;
  45         op++;
  46         goto *dispatch_table[op->opcode];
  47 CASE_OP_B:
  48         do_stuff_b(op->arg);
  49         op++;
  50         goto *dispatch_table[op->opcode];
  51 CASE_OP_C:
  52         do_stuff_c(op->arg);
  53         op++;
  54         goto *dispatch_table[op->opcode];
  55 CASE_OP_END:
  56         return;
  57 }