From: Roman Zippel <zippel@linux-m68k.org>
Date: Fri, 22 Jun 2007 02:55:07 +0000 (+0000)
Subject: df-scan.c (df_read_modify_subreg_p): Use REGMODE_NATURAL_SIZE.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7bb3ae2f52ac91eeefaa8eb8266bdcbde531c773;p=gcc.git

df-scan.c (df_read_modify_subreg_p): Use REGMODE_NATURAL_SIZE.

	* df-scan.c (df_read_modify_subreg_p): Use REGMODE_NATURAL_SIZE.
	(df_def_record_1): Set (DF_REF_READ_WRITE | DF_REF_PARTIAL) for
	partial register accesses.

From-SVN: r125940
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7ca7ae3ce25..fff3cabd536 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-06-22  Roman Zippel <zippel@linux-m68k.org>
+
+	* df-scan.c (df_read_modify_subreg_p): Use REGMODE_NATURAL_SIZE.
+	(df_def_record_1): Set (DF_REF_READ_WRITE | DF_REF_PARTIAL) for
+	partial register accesses.
+
 2007-06-21  Adam Nemet  <anemet@caviumnetworks.com>
 
 	* fold-const.c (debug_fold_checksum): Move it under
diff --git a/gcc/df-scan.c b/gcc/df-scan.c
index 97ce8aad162..61147be59fc 100644
--- a/gcc/df-scan.c
+++ b/gcc/df-scan.c
@@ -2703,7 +2703,8 @@ df_read_modify_subreg_p (rtx x)
     return false;
   isize = GET_MODE_SIZE (GET_MODE (SUBREG_REG (x)));
   osize = GET_MODE_SIZE (GET_MODE (x));
-  return (isize > osize && isize > UNITS_PER_WORD);
+  return isize > osize
+	 && isize > REGMODE_NATURAL_SIZE (GET_MODE (SUBREG_REG (x)));
 }
 
 
@@ -2718,7 +2719,6 @@ df_def_record_1 (struct df_collection_rec *collection_rec,
 {
   rtx *loc;
   rtx dst;
-  bool dst_in_strict_lowpart = false;
 
  /* We may recursively call ourselves on EXPR_LIST when dealing with PARALLEL
      construct.  */
@@ -2749,33 +2749,16 @@ df_def_record_1 (struct df_collection_rec *collection_rec,
   /* Maybe, we should flag the use of STRICT_LOW_PART somehow.  It might
      be handy for the reg allocator.  */
   while (GET_CODE (dst) == STRICT_LOW_PART
-	 || GET_CODE (dst) == ZERO_EXTRACT
-	 || df_read_modify_subreg_p (dst))
+	 || GET_CODE (dst) == ZERO_EXTRACT)
     {
-#if 0
-      /* Strict low part always contains SUBREG, but we do not want to make
-	 it appear outside, as whole register is always considered.  */
-      if (GET_CODE (dst) == STRICT_LOW_PART)
-	{
-	  loc = &XEXP (dst, 0);
-	  dst = *loc;
-	}
-#endif
+      flags |= DF_REF_READ_WRITE | DF_REF_PARTIAL;
       loc = &XEXP (dst, 0);
-      if (GET_CODE (dst) == STRICT_LOW_PART)
-	dst_in_strict_lowpart = true;
       dst = *loc;
-      flags |= DF_REF_READ_WRITE;
-
     }
 
-  /* Sets to a subreg of a single word register are partial sets if
-     they are wrapped in a strict lowpart, and not partial otherwise.
-  */
-  if (GET_CODE (dst) == SUBREG && REG_P (SUBREG_REG (dst))
-      && dst_in_strict_lowpart)
-    flags |= DF_REF_PARTIAL;
-    
+  if (df_read_modify_subreg_p (dst))
+    flags |= DF_REF_READ_WRITE | DF_REF_PARTIAL;
+
   if (REG_P (dst)
       || (GET_CODE (dst) == SUBREG && REG_P (SUBREG_REG (dst))))
     df_ref_record (collection_rec,