From: Richard Biener <rguenther@suse.de>
Date: Fri, 8 Mar 2013 08:45:29 +0000 (+0000)
Subject: tree-ssa-ter.c (is_replaceable_p): Do not TER across location or block changes with... 
X-Git-Tag: upstream/12.2.0~70943
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=b7aa4e9afcd3da4f09d6f982a663ea2094b1f2cf;p=platform%2Fupstream%2Fgcc.git

tree-ssa-ter.c (is_replaceable_p): Do not TER across location or block changes with -Og.

2013-03-08  Richard Biener  <rguenther@suse.de>

	* tree-ssa-ter.c (is_replaceable_p): Do not TER across location
	or block changes with -Og.  Fix for location / block encoding
	changes and PHI arguments with locations.

From-SVN: r196539
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d417f40..c44b13b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2013-03-08  Richard Biener  <rguenther@suse.de>
+
+	* tree-ssa-ter.c (is_replaceable_p): Do not TER across location
+	or block changes with -Og.  Fix for location / block encoding
+	changes and PHI arguments with locations.
+
 2013-03-07  Steven Bosscher  <steven@gcc.gnu.org>
 
 	* bitmap.c (struct bitmap_descriptor_d): Use unsigned HOST_WIDEST_INT
diff --git a/gcc/tree-ssa-ter.c b/gcc/tree-ssa-ter.c
index b091d78..2a2e143 100644
--- a/gcc/tree-ssa-ter.c
+++ b/gcc/tree-ssa-ter.c
@@ -399,22 +399,22 @@ is_replaceable_p (gimple stmt, bool ter)
     return false;
 
   locus1 = gimple_location (stmt);
-  block1 = gimple_block (stmt);
+  block1 = LOCATION_BLOCK (locus1);
+  locus1 = LOCATION_LOCUS (locus1);
 
   if (gimple_code (use_stmt) == GIMPLE_PHI)
-    {
-      locus2 = 0;
-      block2 = NULL_TREE;
-    }
+    locus2 = gimple_phi_arg_location (use_stmt, PHI_ARG_INDEX_FROM_USE (use_p));
   else
-    {
-      locus2 = gimple_location (use_stmt);
-      block2 = gimple_block (use_stmt);
-    }
+    locus2 = gimple_location (use_stmt);
+  block2 = LOCATION_BLOCK (locus2);
+  locus2 = LOCATION_LOCUS (locus2);
 
-  if (!optimize
+  if ((!optimize || optimize_debug)
       && ter
-      && ((locus1 && locus1 != locus2) || (block1 && block1 != block2)))
+      && ((locus1 != UNKNOWN_LOCATION
+	   && locus1 != locus2)
+	  || (block1 != NULL_TREE
+	      && block1 != block2)))
     return false;
 
   /* Used in this block, but at the TOP of the block, not the end.  */