From: ienkovich <ienkovich@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 10 Dec 2015 11:23:50 +0000 (+0000)
Subject: gcc/
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e7f3075a559665ffcd1b4db9e11beb7754a7512c;p=thirdparty%2Fgcc.git

gcc/

	* tree-vect-stmts.c (vectorizable_assignment): Support
	useless boolean conversion.


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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0f2254853598..aca8e944477b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-12-10  Ilya Enkovich  <enkovich.gnu@gmail.com>
+
+	* tree-vect-stmts.c (vectorizable_assignment): Support
+	useless boolean conversion.
+
 2015-12-10  Alan Lawrence  <alan.lawrence@arm.com>
 
 	* doc/install.texi: Add note against GNAT 4.8 on ARM targets.
diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c
index 56aa2c8cce58..5377d1553c64 100644
--- a/gcc/tree-vect-stmts.c
+++ b/gcc/tree-vect-stmts.c
@@ -4310,7 +4310,12 @@ vectorizable_assignment (gimple *stmt, gimple_stmt_iterator *gsi,
       /* But a conversion that does not change the bit-pattern is ok.  */
       && !((TYPE_PRECISION (TREE_TYPE (scalar_dest))
 	    > TYPE_PRECISION (TREE_TYPE (op)))
-	   && TYPE_UNSIGNED (TREE_TYPE (op))))
+	   && TYPE_UNSIGNED (TREE_TYPE (op)))
+      /* Conversion between boolean types of different sizes is
+	 a simple assignment in case their vectypes are same
+	 boolean vectors.  */
+      && (!VECTOR_BOOLEAN_TYPE_P (vectype)
+	  || !VECTOR_BOOLEAN_TYPE_P (vectype_in)))
     {
       if (dump_enabled_p ())
         dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,