re PR target/72742 (ICE in extract_insn, at recog.c:2309 (error: unrecognizable insn...

	PR target/72742
	* config/rs6000/rs6000.md (*and<mode>3_imm_mask_dot,
	*and<mode>3_imm_mask_dot2): Add rs6000_is_valid_and_mask to insn
	condition.

	* gcc.c-torture/compile/pr72742.c: New test.

From-SVN: r243500

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 269f785d7a1411bbff22614ce3da237ef6047993..b36a14c4b6e6bfbe17a29c763dbb280570ad9ad1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2016-12-09  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/72742
+       * config/rs6000/rs6000.md (*and<mode>3_imm_mask_dot,
+       *and<mode>3_imm_mask_dot2): Add rs6000_is_valid_and_mask to insn
+       condition.
+
 2016-12-09  Segher Boessenkool  <segher@kernel.crashing.org>
 
        PR target/78683

diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index 777b996991bdc76db3ed38ec8b46e074e6788c47..e4660023cde0ebb392b83f2cabd28d41c4e75a15 100644 (file)
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -3256,7 +3256,8 @@
                    (const_int 0)))
    (clobber (match_scratch:GPR 0 "=r,r"))]
   "(<MODE>mode == Pmode || UINTVAL (operands[2]) <= 0x7fffffff)
-   && rs6000_gen_cell_microcode"
+   && rs6000_gen_cell_microcode
+   && rs6000_is_valid_and_mask (operands[2], <MODE>mode)"
   "@
    andi%e2. %0,%1,%u2
    #"
@@ -3281,7 +3282,8 @@
        (and:GPR (match_dup 1)
                 (match_dup 2)))]
   "(<MODE>mode == Pmode || UINTVAL (operands[2]) <= 0x7fffffff)
-   && rs6000_gen_cell_microcode"
+   && rs6000_gen_cell_microcode
+   && rs6000_is_valid_and_mask (operands[2], <MODE>mode)"
   "@
    andi%e2. %0,%1,%u2
    #"

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2326b4e88ce5a69b9c07bc10b3cf6ec452589655..ac7abfd357b665244718a150cd6d7b4b09e53072 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-12-09  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/72742
+       * gcc.c-torture/compile/pr72742.c: New test.
+
 2016-12-09  Martin Sebor  <msebor@redhat.com>
 
        on arm-unknown-linux-gnueabi (and likely other ILP32) targets.

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr72742.c b/gcc/testsuite/gcc.c-torture/compile/pr72742.c
new file mode 100644 (file)
index 0000000..eedcd66
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr72742.c
@@ -0,0 +1,79 @@
+/* PR target/72742 */
+
+int a, b;
+unsigned short int c;
+
+void
+foo (int x, unsigned short int *y)
+{
+  int fx;
+ lab:
+    {
+      unsigned short int va;
+      if (x != 0)
+       {
+         c %= a < 0;
+         while (c < 17)
+           ++c;
+         b &= fx;
+         if ((a & (b != 0 ? *y : 0)) != 0)
+           {
+             va /= 3;
+             a += (va != 0) ? (va = a) : 0;
+           }
+         a = va && a;
+         goto lab;
+         y = &va;
+       }
+    }
+}
+
+void
+bar (int x, unsigned short int *y)
+{
+  int fx;
+ lab:
+    {
+      unsigned short int va;
+      if (x != 0)
+       {
+         c %= a < 0;
+         while (c < 17)
+           ++c;
+         b &= fx;
+         if ((a & (b != 0 ? *y : 24)) != 0)
+           {
+             va /= 3;
+             a += (va != 0) ? (va = a) : 0;
+           }
+         a = va && a;
+         goto lab;
+         y = &va;
+       }
+    }
+}
+
+void
+baz (int x, unsigned short int *y)
+{
+  int fx;
+ lab:
+    {
+      unsigned short int va;
+      if (x != 0)
+       {
+         c %= a < 0;
+         while (c < 17)
+           ++c;
+         b &= fx;
+         if ((a & (b != 0 ? *y : 25)) != 0)
+           {
+             va /= 3;
+             a += (va != 0) ? (va = a) : 0;
+           }
+         a = va && a;
+         goto lab;
+         y = &va;
+       }
+    }
+}