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

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