This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[PATCH] Mark overflowed constants in dumps, allow a_2(D)(ab)


This adjusts dumping to show differences in TREE_OVERFLOW on
INTEGER_CSTs in the IL (to make the issue causing VRP differences
visible) and to also dump whether an abnormal SSA name is
a default def.

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.

Richard.

2013-10-11  Richard Biener  <rguenther@suse.de>

	* tree-pretty-print.c (dump_generic_node): Allow to dump
	both (D) and (ab) for SSA_NAMEs.  Mark INTEGER_CSTs with
	(OVF) if TREE_OVERFLOW is set.

Index: gcc/tree-pretty-print.c
===================================================================
--- gcc/tree-pretty-print.c	(revision 203356)
+++ gcc/tree-pretty-print.c	(working copy)
@@ -1065,6 +1065,8 @@ dump_generic_node (pretty_printer *buffe
       else
 	pp_double_int (buffer, tree_to_double_int (node),
 		       TYPE_UNSIGNED (TREE_TYPE (node)));
+      if (TREE_OVERFLOW (node))
+	pp_string (buffer, "(OVF)");
       break;
 
     case REAL_CST:
@@ -2052,10 +2054,10 @@ dump_generic_node (pretty_printer *buffe
 			   spc, flags, false);
       pp_underscore (buffer);
       pp_decimal_int (buffer, SSA_NAME_VERSION (node));
+      if (SSA_NAME_IS_DEFAULT_DEF (node))
+	pp_string (buffer, "(D)");
       if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (node))
 	pp_string (buffer, "(ab)");
-      else if (SSA_NAME_IS_DEFAULT_DEF (node))
-	pp_string (buffer, "(D)");
       break;
 
     case WITH_SIZE_EXPR:


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]