re PR middle-end/70050 (ICE: tree check: expected integer_type or enumeral_type or...

	PR middle-end/70050
	* match.pd (X % -Y): Add INTEGRAL_TYPE_P check.

	* gcc.dg/pr70050.c: New test.

From-SVN: r233937

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e232f529426174451655d34a01ed18e5f2fc28b5..c7b8c172c77b9bcc22c640daa12186bcba0420aa 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-03-03  Marek Polacek  <polacek@redhat.com>
+
+       PR middle-end/70050
+       * match.pd (X % -Y): Add INTEGRAL_TYPE_P check.
+
 2016-03-03  Martin Liska  <mliska@suse.cz>
 
        PR tree-optimization/70043

diff --git a/gcc/match.pd b/gcc/match.pd
index 590378250c3281fb4dc29b9af83c5f02fc55a0c3..112deb3abbd85d463f3344a29ee2d6c25c9d402d 100644 (file)
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -293,7 +293,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
 /* X % -Y is the same as X % Y.  */
 (simplify
  (trunc_mod @0 (convert? (negate @1)))
- (if (!TYPE_UNSIGNED (type)
+ (if (INTEGRAL_TYPE_P (type)
+      && !TYPE_UNSIGNED (type)
       && !TYPE_OVERFLOW_TRAPS (type)
       && tree_nop_conversion_p (type, TREE_TYPE (@1))
       /* Avoid this transformation if X might be INT_MIN or

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 875de1a5fb4ea1b9ffd3614b489fa4423e3bfd5b..9949f9c11ff8ababd7eef9f6cd3b9e2b70114bed 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-03-03  Marek Polacek  <polacek@redhat.com>
+
+       PR middle-end/70050
+       * gcc.dg/pr70050.c: New test.
+
 2016-03-03  James Greenhalgh  <james.greenhalgh@arm.com>
 
        * gcc.dg/vect/bb-slp-34.c: Don't XFAIL for ARM/AArch64.

diff --git a/gcc/testsuite/gcc.dg/pr70050.c b/gcc/testsuite/gcc.dg/pr70050.c
new file mode 100644 (file)
index 0000000..feedd3f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr70050.c
@@ -0,0 +1,11 @@
+/* PR middle-end/70025 */
+/* { dg-do compile } */
+/* { dg-options "-Wno-psabi" } */
+
+typedef int v8si __attribute__ ((vector_size (32)));
+
+v8si
+foo (v8si v)
+{
+  return v %= -v;
+}