From: mpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 3 Mar 2016 11:42:19 +0000 (+0000)
Subject: 	PR middle-end/70050
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=1bc579edc7f44642c2f503556db9c5a46e4e8a87;p=thirdparty%2Fgcc.git

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

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


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@233937 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e232f5294261..c7b8c172c77b 100644
--- 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 590378250c32..112deb3abbd8 100644
--- 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 875de1a5fb4e..9949f9c11ff8 100644
--- 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
index 000000000000..feedd3f31a02
--- /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;
+}