From: Jan Hubicka <hubicka@ucw.cz>
Date: Tue, 24 Nov 2015 20:26:48 +0000 (+0100)
Subject: tree.c (make_vector_type): Properly compute canonical type of the main variant.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0b87a9a2bd3835e62e690c8acd4bbb4b3bec27c7;p=gcc.git

tree.c (make_vector_type): Properly compute canonical type of the main variant.

	* tree.c (make_vector_type): Properly compute canonical type of the
	main variant.
	(verify_type): Verify that TYPE_CANONICAL of TYPE_MAIN_VARIANT is
	a main variant.

From-SVN: r230837
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 38f71164f55..8744fd73313 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2015-11-24  Jan Hubicka  <hubicka@ucw.cz>
+
+	* tree.c (make_vector_type): Properly compute canonical type of the
+	main variant.
+	(verify_type): Verify that TYPE_CANONICAL of TYPE_MAIN_VARIANT is
+	a main variant.
+
 2015-11-24  Nathan Sidwell  <nathan@acm.org>
 
 	* config/nvptx/nvptx.c (maybe_split_mode): Return new mode or
diff --git a/gcc/tree.c b/gcc/tree.c
index 4176d614a51..f68a824c6a4 100644
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -9860,19 +9860,20 @@ make_vector_type (tree innertype, int nunits, machine_mode mode)
 {
   tree t;
   inchash::hash hstate;
+  tree mv_innertype = TYPE_MAIN_VARIANT (innertype);
 
   t = make_node (VECTOR_TYPE);
-  TREE_TYPE (t) = TYPE_MAIN_VARIANT (innertype);
+  TREE_TYPE (t) = mv_innertype;
   SET_TYPE_VECTOR_SUBPARTS (t, nunits);
   SET_TYPE_MODE (t, mode);
 
-  if (TYPE_STRUCTURAL_EQUALITY_P (innertype) || in_lto_p)
+  if (TYPE_STRUCTURAL_EQUALITY_P (mv_innertype) || in_lto_p)
     SET_TYPE_STRUCTURAL_EQUALITY (t);
-  else if ((TYPE_CANONICAL (innertype) != innertype
+  else if ((TYPE_CANONICAL (mv_innertype) != innertype
 	    || mode != VOIDmode)
 	   && !VECTOR_BOOLEAN_TYPE_P (t))
     TYPE_CANONICAL (t)
-      = make_vector_type (TYPE_CANONICAL (innertype), nunits, VOIDmode);
+      = make_vector_type (TYPE_CANONICAL (mv_innertype), nunits, VOIDmode);
 
   layout_type (t);
 
@@ -13540,6 +13541,13 @@ verify_type (const_tree t)
       debug_tree (ct);
       error_found = true;
     }
+  if (TYPE_MAIN_VARIANT (t) == t && ct && TYPE_MAIN_VARIANT (ct) != ct)
+   {
+      error ("TYPE_CANONICAL of main variant is not main variant");
+      debug_tree (ct);
+      debug_tree (TYPE_MAIN_VARIANT (ct));
+      error_found = true;
+   }
 
 
   /* Check various uses of TYPE_MINVAL.  */