cfgexpand.c (expand_debug_expr): Avoid sign-extending SImode to PSImode.

* cfgexpand.c (expand_debug_expr): Avoid sign-extending SImode to PSImode. From-SVN: r202534

cfgexpand.c (expand_debug_expr): Avoid sign-extending SImode to PSImode.
* cfgexpand.c (expand_debug_expr): Avoid sign-extending SImode to PSImode. From-SVN: r202534
8369f38a · DJ Delorie · DJ Delorie · 511daaf5 · 8369f38a · 8369f38a
Commit 8369f38a authored Sep 12, 2013 by DJ Delorie Committed by DJ Delorie Sep 12, 2013
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 1 deletions

gcc/ChangeLog
+5 -0

gcc/cfgexpand.c
+6 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2013-09-12  DJ Delorie  <dj@redhat.com>
+
+	* cfgexpand.c (expand_debug_expr): Avoid sign-extending SImode to
+	PSImode.
+
 2013-09-12  Martin Jambor  <mjambor@suse.cz>

 	PR ipa/58389

--- a/gcc/cfgexpand.c
+++ b/gcc/cfgexpand.c
@@ -3154,7 +3154,12 @@ expand_debug_expr (tree exp)
 	  && GET_MODE (op0) != VOIDmode && GET_MODE (op1) != VOIDmode
 	  && GET_MODE (op0) != GET_MODE (op1))
 	{
-	  if (GET_MODE_BITSIZE (GET_MODE (op0)) < GET_MODE_BITSIZE (GET_MODE (op1)))
+	  if (GET_MODE_BITSIZE (GET_MODE (op0)) < GET_MODE_BITSIZE (GET_MODE (op1))
+	      /* If OP0 is a partial mode, then we must truncate, even if it has
+		 the same bitsize as OP1 as GCC's representation of partial modes
+		 is opaque.  */
+	      || (GET_MODE_CLASS (GET_MODE (op0)) == MODE_PARTIAL_INT
+		  && GET_MODE_BITSIZE (GET_MODE (op0)) == GET_MODE_BITSIZE (GET_MODE (op1))))
 	    op1 = simplify_gen_unary (TRUNCATE, GET_MODE (op0), op1,
 				      GET_MODE (op1));
 	  else