Testcase for PR71785

gcc/testsuite/
	PR rtl-optimization/71785
	* gcc.target/powerpc/pr71785.c: New file.

From-SVN: r242665

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 11f14f96b56ebbf47c6e3fe56005cc69f297a191..3f827378697c6192ae4c4b8e7ddaceadf76a18e7 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-11-21  Segher Boessenkool  <segher@kernel.crashing.org>
+
+       PR rtl-optimization/71785
+       * gcc.target/powerpc/pr71785.c: New file.
+
 2016-11-21  Bin Cheng  <bin.cheng@arm.com>
 
        PR testsuite/78114

diff --git a/gcc/testsuite/gcc.target/powerpc/pr71785.c b/gcc/testsuite/gcc.target/powerpc/pr71785.c
new file mode 100644 (file)
index 0000000..613dcd1
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/pr71785.c
@@ -0,0 +1,52 @@
+/* { dg-do compile { target { powerpc*-*-* } } } */
+/* { dg-options "-O2" } */
+/* { dg-final { scan-assembler-not {\mb\M} } } */
+
+/* Check that all computed gotos in this testcase end up unfactored completely.
+   If some is not there will be a unconditional jump left; if all works fine,
+   all are gone.  */
+
+typedef enum opcode
+{
+       OP_A,
+       OP_B,
+       OP_END
+} opcode;
+
+typedef struct op
+{
+       opcode opcode;
+       int arg;
+} op;
+
+extern void do_stuff_b(int arg);
+extern void do_stuff_c(int arg);
+
+extern int someglobal;
+
+void
+eval(op *op)
+{
+       static const void *dispatch_table[] = {
+               &&CASE_OP_A,
+               &&CASE_OP_B,
+               &&CASE_OP_C,
+               &&CASE_OP_END
+       };
+
+       goto *dispatch_table[op->opcode];
+CASE_OP_A:
+       someglobal++;
+       op++;
+       goto *dispatch_table[op->opcode];
+CASE_OP_B:
+       do_stuff_b(op->arg);
+       op++;
+       goto *dispatch_table[op->opcode];
+CASE_OP_C:
+       do_stuff_c(op->arg);
+       op++;
+       goto *dispatch_table[op->opcode];
+CASE_OP_END:
+       return;
+}