gcc/

	* loop-iv.c (truncate_value): New function.
	(iv_subreg, get_iv_value, iv_number_of_iterations): Use it instead
	of lowpart_subreg.
	(lowpart_subreg): Move to...
	* emit-rtl.c: ...here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@144348 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3d33992..ba60005 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * loop-iv.c (truncate_value): New function.
+       (iv_subreg, get_iv_value, iv_number_of_iterations): Use it instead
+       of lowpart_subreg.
+       (lowpart_subreg): Move to...
+       * emit-rtl.c: ...here.
+
 2009-02-21  Danny Smith  <dannysmith@users.sourceforge.net>
        * config/i386/winnt.c (i386_pe_asm_output_aligned_decl_common): Revert
        accidental and undocumented change at revision 140860.

diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c
index 679e95e..2d68515 100644 (file)
--- a/gcc/emit-rtl.c
+++ b/gcc/emit-rtl.c
@@ -1232,6 +1232,17 @@ gen_lowpart_common (enum machine_mode mode, rtx x)
   /* Otherwise, we can't do this.  */
   return 0;
 }
+
+/* Generates a subreg to get the least significant part of EXPR (in mode
+   INNER_MODE) to OUTER_MODE.  */
+
+rtx
+lowpart_subreg (enum machine_mode outer_mode, rtx expr,
+               enum machine_mode inner_mode)
+{
+  return simplify_gen_subreg (outer_mode, expr, inner_mode,
+                             subreg_lowpart_offset (outer_mode, inner_mode));
+}
 \f
 rtx
 gen_highpart (enum machine_mode mode, rtx x)

diff --git a/gcc/loop-iv.c b/gcc/loop-iv.c
index 9d844d8..eacf32b 100644 (file)
--- a/gcc/loop-iv.c
+++ b/gcc/loop-iv.c
@@ -157,15 +157,12 @@ dump_iv_info (FILE *file, struct rtx_iv *iv)
     fprintf (file, " (first special)");
 }
 
-/* Generates a subreg to get the least significant part of EXPR (in mode
-   INNER_MODE) to OUTER_MODE.  */
+/* Truncate EXPR (which has mode EXPR_MODE) to MODE.  */
 
-rtx
-lowpart_subreg (enum machine_mode outer_mode, rtx expr,
-               enum machine_mode inner_mode)
+static rtx
+truncate_value (enum machine_mode mode, rtx expr, enum machine_mode expr_mode)
 {
-  return simplify_gen_subreg (outer_mode, expr, inner_mode,
-                             subreg_lowpart_offset (outer_mode, inner_mode));
+  return simplify_gen_unary (TRUNCATE, mode, expr, expr_mode);
 }
 
 static void 
@@ -408,7 +405,7 @@ iv_subreg (struct rtx_iv *iv, enum machine_mode mode)
       && !iv->first_special)
     {
       rtx val = get_iv_value (iv, const0_rtx);
-      val = lowpart_subreg (mode, val, iv->extend_mode);
+      val = truncate_value (mode, val, iv->extend_mode);
 
       iv->base = val;
       iv->extend = UNKNOWN;
@@ -1247,7 +1244,7 @@ get_iv_value (struct rtx_iv *iv, rtx iteration)
   if (iv->extend_mode == iv->mode)
     return val;
 
-  val = lowpart_subreg (iv->mode, val, iv->extend_mode);
+  val = truncate_value (iv->mode, val, iv->extend_mode);
 
   if (iv->extend == UNKNOWN)
     return val;
@@ -2200,8 +2197,8 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
   mode = iv0.mode;
   size = GET_MODE_BITSIZE (mode);
   get_mode_bounds (mode, (cond == LE || cond == LT), comp_mode, &mmin, &mmax);
-  mode_mmin = lowpart_subreg (mode, mmin, comp_mode);
-  mode_mmax = lowpart_subreg (mode, mmax, comp_mode);
+  mode_mmin = truncate_value (mode, mmin, comp_mode);
+  mode_mmax = truncate_value (mode, mmax, comp_mode);
 
   if (GET_CODE (iv0.step) != CONST_INT || GET_CODE (iv1.step) != CONST_INT)
     goto fail;
@@ -2258,7 +2255,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
           difficult due to possibly infinite loops.  */
        if (iv0.step == const0_rtx)
          {
-           tmp = lowpart_subreg (mode, iv0.base, comp_mode);
+           tmp = truncate_value (mode, iv0.base, comp_mode);
            assumption = simplify_gen_relational (EQ, SImode, mode, tmp,
                                                  mode_mmax);
            if (assumption == const_true_rtx)
@@ -2268,7 +2265,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
          }
        else
          {
-           tmp = lowpart_subreg (mode, iv1.base, comp_mode);
+           tmp = truncate_value (mode, iv1.base, comp_mode);
            assumption = simplify_gen_relational (EQ, SImode, mode, tmp,
                                                  mode_mmin);
            if (assumption == const_true_rtx)
@@ -2294,7 +2291,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
     {
       if (iv0.step == const0_rtx)
        {
-         tmp = lowpart_subreg (mode, iv0.base, comp_mode);
+         tmp = truncate_value (mode, iv0.base, comp_mode);
          if (rtx_equal_p (tmp, mode_mmin))
            {
              desc->infinite =
@@ -2305,7 +2302,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
        }
       else
        {
-         tmp = lowpart_subreg (mode, iv1.base, comp_mode);
+         tmp = truncate_value (mode, iv1.base, comp_mode);
          if (rtx_equal_p (tmp, mode_mmax))
            {
              desc->infinite =
@@ -2329,7 +2326,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
       else
        step = iv0.step;
       delta = simplify_gen_binary (MINUS, comp_mode, iv1.base, iv0.base);
-      delta = lowpart_subreg (mode, delta, comp_mode);
+      delta = truncate_value (mode, delta, comp_mode);
       delta = simplify_gen_binary (UMOD, mode, delta, step);
       may_xform = const0_rtx;
       may_not_xform = const_true_rtx;
@@ -2353,8 +2350,8 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
            {
              bound = simplify_gen_binary (PLUS, comp_mode, mmin, step);
              bound = simplify_gen_binary (MINUS, comp_mode, bound, delta);
-             bound = lowpart_subreg (mode, bound, comp_mode);
-             tmp = lowpart_subreg (mode, iv0.base, comp_mode);
+             bound = truncate_value (mode, bound, comp_mode);
+             tmp = truncate_value (mode, iv0.base, comp_mode);
              may_xform = simplify_gen_relational (cond, SImode, mode,
                                                   bound, tmp);
              may_not_xform = simplify_gen_relational (reverse_condition (cond),
@@ -2365,8 +2362,8 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
            {
              bound = simplify_gen_binary (MINUS, comp_mode, mmax, step);
              bound = simplify_gen_binary (PLUS, comp_mode, bound, delta);
-             bound = lowpart_subreg (mode, bound, comp_mode);
-             tmp = lowpart_subreg (mode, iv1.base, comp_mode);
+             bound = truncate_value (mode, bound, comp_mode);
+             tmp = truncate_value (mode, iv1.base, comp_mode);
              may_xform = simplify_gen_relational (cond, SImode, mode,
                                                   tmp, bound);
              may_not_xform = simplify_gen_relational (reverse_condition (cond),
@@ -2417,8 +2414,8 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
              iv1.base = simplify_gen_binary (PLUS, comp_mode, iv1.base, step);
            }
 
-         tmp0 = lowpart_subreg (mode, iv0.base, comp_mode);
-         tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
+         tmp0 = truncate_value (mode, iv0.base, comp_mode);
+         tmp1 = truncate_value (mode, iv1.base, comp_mode);
          assumption = simplify_gen_relational (reverse_condition (cond),
                                                SImode, mode, tmp0, tmp1);
          if (assumption == const_true_rtx)
@@ -2446,7 +2443,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
          iv0.step = simplify_gen_unary (NEG, comp_mode, iv0.step, mode);
          iv1.base = simplify_gen_unary (NEG, comp_mode, iv1.base, mode);
        }
-      iv0.step = lowpart_subreg (mode, iv0.step, comp_mode);
+      iv0.step = truncate_value (mode, iv0.step, comp_mode);
 
       /* Let nsd (s, size of mode) = d.  If d does not divide c, the loop
         is infinite.  Otherwise, the number of iterations is
@@ -2460,7 +2457,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
        }
       bound = GEN_INT (((unsigned HOST_WIDEST_INT) 1 << (size - 1 ) << 1) - 1);
 
-      tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
+      tmp1 = truncate_value (mode, iv1.base, comp_mode);
       tmp = simplify_gen_binary (UMOD, mode, tmp1, GEN_INT (d));
       assumption = simplify_gen_relational (NE, SImode, mode, tmp, const0_rtx);
       desc->infinite = alloc_EXPR_LIST (0, assumption, desc->infinite);
@@ -2481,12 +2478,11 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
           but it was already taken into account during LE -> NE transform).  */
        {
          step = iv0.step;
-         tmp0 = lowpart_subreg (mode, iv0.base, comp_mode);
-         tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
+         tmp0 = truncate_value (mode, iv0.base, comp_mode);
+         tmp1 = truncate_value (mode, iv1.base, comp_mode);
 
          bound = simplify_gen_binary (MINUS, mode, mode_mmax,
-                                      lowpart_subreg (mode, step,
-                                                      comp_mode));
+                                      truncate_value (mode, step, comp_mode));
          if (step_is_pow2)
            {
              rtx t0, t1;
@@ -2513,7 +2509,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
            }
 
          tmp = simplify_gen_binary (PLUS, comp_mode, iv1.base, iv0.step);
-         tmp = lowpart_subreg (mode, tmp, comp_mode);
+         tmp = truncate_value (mode, tmp, comp_mode);
          assumption = simplify_gen_relational (reverse_condition (cond),
                                                SImode, mode, tmp0, tmp);
 
@@ -2526,11 +2522,11 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
             We must know that a - s does not overflow and a - s <= b and then
             we can again compute number of iterations as (b - (a - s)) / s.  */
          step = simplify_gen_unary (NEG, mode, iv1.step, mode);
-         tmp0 = lowpart_subreg (mode, iv0.base, comp_mode);
-         tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
+         tmp0 = truncate_value (mode, iv0.base, comp_mode);
+         tmp1 = truncate_value (mode, iv1.base, comp_mode);
 
          bound = simplify_gen_binary (PLUS, mode, mode_mmin,
-                                      lowpart_subreg (mode, step, comp_mode));
+                                      truncate_value (mode, step, comp_mode));
          if (step_is_pow2)
            {
              rtx t0, t1;
@@ -2557,7 +2553,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
            }
 
          tmp = simplify_gen_binary (PLUS, comp_mode, iv0.base, iv1.step);
-         tmp = lowpart_subreg (mode, tmp, comp_mode);
+         tmp = truncate_value (mode, tmp, comp_mode);
          assumption = simplify_gen_relational (reverse_condition (cond),
                                                SImode, mode,
                                                tmp, tmp1);