From: Richard Sandiford <richard.sandiford@arm.com>
Date: Mon, 11 May 2020 15:51:48 +0000 (+0100)
Subject: tree-pretty-print: Handle boolean types
X-Git-Tag: misc/first-auto-changelog~346
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d8bd9d32e8b3e7c2a1bb6fc920efe6691fb5e8b6;p=thirdparty%2Fgcc.git

tree-pretty-print: Handle boolean types

AVX512-style masks and SVE-style predicates can be difficult
to debug in gimple dumps, since the types are printed like this:

  vector(4) <unnamed type> foo;

Some important details are hidden by that <unnamed type>,
such as the number of bits in an element and whether the type
is signed or unsigned.

This patch uses an ad-hoc syntax for printing unnamed
boolean types.  Normal frontend ones should be handled
by the earlier TYPE_NAME code.

2020-05-11  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
	* tree-pretty-print.c (dump_generic_node): Handle BOOLEAN_TYPEs.
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 62dc1066ab4e..cf6eafd1a15c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2020-05-11  Richard Sandiford  <richard.sandiford@arm.com>
+
+	* tree-pretty-print.c (dump_generic_node): Handle BOOLEAN_TYPEs.
+
 2020-05-11  Kelvin Nilsen  <kelvin@gcc.gnu.org>
 	    Bill Schmidt  <wschmidt@linux.ibm.com>
 
diff --git a/gcc/tree-pretty-print.c b/gcc/tree-pretty-print.c
index 885ca8cd3295..f04fd65091aa 100644
--- a/gcc/tree-pretty-print.c
+++ b/gcc/tree-pretty-print.c
@@ -1761,6 +1761,14 @@ dump_generic_node (pretty_printer *pp, tree node, int spc, dump_flags_t flags,
 		pp_decimal_int (pp, TYPE_PRECISION (node));
 		pp_greater (pp);
 	      }
+	    else if (TREE_CODE (node) == BOOLEAN_TYPE)
+	      {
+		pp_string (pp, (TYPE_UNSIGNED (node)
+				? "<unsigned-boolean:"
+				: "<signed-boolean:"));
+		pp_decimal_int (pp, TYPE_PRECISION (node));
+		pp_greater (pp);
+	      }
 	    else if (TREE_CODE (node) == VOID_TYPE)
 	      pp_string (pp, "void");
 	    else