Revert last change.

From-SVN: r144357

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c7e1c2fbdfa879fc5d730f4ebcac59299b717c31..8ea2b39bcbefa71e6e65311db936faee6fb4233e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2009-02-21  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * loop-iv.c: Revert last change.
+       * emit-rtl.c: Likewise.
+
 2008-02-21  H.J. Lu  <hongjiu.lu@intel.com>
 
        PR target/39256

diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c
index 2d6851528e7aaa1c227d769c9681a4f48fe6108a..679e95ea8a24eba266edb6d1c561ed98ebf9ad17 100644 (file)
--- a/gcc/emit-rtl.c
+++ b/gcc/emit-rtl.c
@@ -1232,17 +1232,6 @@ 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 eacf32b097e8c6276934fa83133e5e96a43707ba..9d844d8d90c45ad153177fe2aca8c36eeb04bef3 100644 (file)
--- a/gcc/loop-iv.c
+++ b/gcc/loop-iv.c
@@ -157,12 +157,15 @@ dump_iv_info (FILE *file, struct rtx_iv *iv)
     fprintf (file, " (first special)");
 }
 
-/* Truncate EXPR (which has mode EXPR_MODE) to MODE.  */
+/* Generates a subreg to get the least significant part of EXPR (in mode
+   INNER_MODE) to OUTER_MODE.  */
 
-static rtx
-truncate_value (enum machine_mode mode, rtx expr, enum machine_mode expr_mode)
+rtx
+lowpart_subreg (enum machine_mode outer_mode, rtx expr,
+               enum machine_mode inner_mode)
 {
-  return simplify_gen_unary (TRUNCATE, mode, expr, expr_mode);
+  return simplify_gen_subreg (outer_mode, expr, inner_mode,
+                             subreg_lowpart_offset (outer_mode, inner_mode));
 }
 
 static void 
@@ -405,7 +408,7 @@ iv_subreg (struct rtx_iv *iv, enum machine_mode mode)
       && !iv->first_special)
     {
       rtx val = get_iv_value (iv, const0_rtx);
-      val = truncate_value (mode, val, iv->extend_mode);
+      val = lowpart_subreg (mode, val, iv->extend_mode);
 
       iv->base = val;
       iv->extend = UNKNOWN;
@@ -1244,7 +1247,7 @@ get_iv_value (struct rtx_iv *iv, rtx iteration)
   if (iv->extend_mode == iv->mode)
     return val;
 
-  val = truncate_value (iv->mode, val, iv->extend_mode);
+  val = lowpart_subreg (iv->mode, val, iv->extend_mode);
 
   if (iv->extend == UNKNOWN)
     return val;
@@ -2197,8 +2200,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 = truncate_value (mode, mmin, comp_mode);
-  mode_mmax = truncate_value (mode, mmax, comp_mode);
+  mode_mmin = lowpart_subreg (mode, mmin, comp_mode);
+  mode_mmax = lowpart_subreg (mode, mmax, comp_mode);
 
   if (GET_CODE (iv0.step) != CONST_INT || GET_CODE (iv1.step) != CONST_INT)
     goto fail;
@@ -2255,7 +2258,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
           difficult due to possibly infinite loops.  */
        if (iv0.step == const0_rtx)
          {
-           tmp = truncate_value (mode, iv0.base, comp_mode);
+           tmp = lowpart_subreg (mode, iv0.base, comp_mode);
            assumption = simplify_gen_relational (EQ, SImode, mode, tmp,
                                                  mode_mmax);
            if (assumption == const_true_rtx)
@@ -2265,7 +2268,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
          }
        else
          {
-           tmp = truncate_value (mode, iv1.base, comp_mode);
+           tmp = lowpart_subreg (mode, iv1.base, comp_mode);
            assumption = simplify_gen_relational (EQ, SImode, mode, tmp,
                                                  mode_mmin);
            if (assumption == const_true_rtx)
@@ -2291,7 +2294,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
     {
       if (iv0.step == const0_rtx)
        {
-         tmp = truncate_value (mode, iv0.base, comp_mode);
+         tmp = lowpart_subreg (mode, iv0.base, comp_mode);
          if (rtx_equal_p (tmp, mode_mmin))
            {
              desc->infinite =
@@ -2302,7 +2305,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
        }
       else
        {
-         tmp = truncate_value (mode, iv1.base, comp_mode);
+         tmp = lowpart_subreg (mode, iv1.base, comp_mode);
          if (rtx_equal_p (tmp, mode_mmax))
            {
              desc->infinite =
@@ -2326,7 +2329,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 = truncate_value (mode, delta, comp_mode);
+      delta = lowpart_subreg (mode, delta, comp_mode);
       delta = simplify_gen_binary (UMOD, mode, delta, step);
       may_xform = const0_rtx;
       may_not_xform = const_true_rtx;
@@ -2350,8 +2353,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 = truncate_value (mode, bound, comp_mode);
-             tmp = truncate_value (mode, iv0.base, comp_mode);
+             bound = lowpart_subreg (mode, bound, comp_mode);
+             tmp = lowpart_subreg (mode, iv0.base, comp_mode);
              may_xform = simplify_gen_relational (cond, SImode, mode,
                                                   bound, tmp);
              may_not_xform = simplify_gen_relational (reverse_condition (cond),
@@ -2362,8 +2365,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 = truncate_value (mode, bound, comp_mode);
-             tmp = truncate_value (mode, iv1.base, comp_mode);
+             bound = lowpart_subreg (mode, bound, comp_mode);
+             tmp = lowpart_subreg (mode, iv1.base, comp_mode);
              may_xform = simplify_gen_relational (cond, SImode, mode,
                                                   tmp, bound);
              may_not_xform = simplify_gen_relational (reverse_condition (cond),
@@ -2414,8 +2417,8 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
              iv1.base = simplify_gen_binary (PLUS, comp_mode, iv1.base, step);
            }
 
-         tmp0 = truncate_value (mode, iv0.base, comp_mode);
-         tmp1 = truncate_value (mode, iv1.base, comp_mode);
+         tmp0 = lowpart_subreg (mode, iv0.base, comp_mode);
+         tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
          assumption = simplify_gen_relational (reverse_condition (cond),
                                                SImode, mode, tmp0, tmp1);
          if (assumption == const_true_rtx)
@@ -2443,7 +2446,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 = truncate_value (mode, iv0.step, comp_mode);
+      iv0.step = lowpart_subreg (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
@@ -2457,7 +2460,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 = truncate_value (mode, iv1.base, comp_mode);
+      tmp1 = lowpart_subreg (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);
@@ -2478,11 +2481,12 @@ 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 = truncate_value (mode, iv0.base, comp_mode);
-         tmp1 = truncate_value (mode, iv1.base, comp_mode);
+         tmp0 = lowpart_subreg (mode, iv0.base, comp_mode);
+         tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
 
          bound = simplify_gen_binary (MINUS, mode, mode_mmax,
-                                      truncate_value (mode, step, comp_mode));
+                                      lowpart_subreg (mode, step,
+                                                      comp_mode));
          if (step_is_pow2)
            {
              rtx t0, t1;
@@ -2509,7 +2513,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
            }
 
          tmp = simplify_gen_binary (PLUS, comp_mode, iv1.base, iv0.step);
-         tmp = truncate_value (mode, tmp, comp_mode);
+         tmp = lowpart_subreg (mode, tmp, comp_mode);
          assumption = simplify_gen_relational (reverse_condition (cond),
                                                SImode, mode, tmp0, tmp);
 
@@ -2522,11 +2526,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 = truncate_value (mode, iv0.base, comp_mode);
-         tmp1 = truncate_value (mode, iv1.base, comp_mode);
+         tmp0 = lowpart_subreg (mode, iv0.base, comp_mode);
+         tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
 
          bound = simplify_gen_binary (PLUS, mode, mode_mmin,
-                                      truncate_value (mode, step, comp_mode));
+                                      lowpart_subreg (mode, step, comp_mode));
          if (step_is_pow2)
            {
              rtx t0, t1;
@@ -2553,7 +2557,7 @@ iv_number_of_iterations (struct loop *loop, rtx insn, rtx condition,
            }
 
          tmp = simplify_gen_binary (PLUS, comp_mode, iv0.base, iv1.step);
-         tmp = truncate_value (mode, tmp, comp_mode);
+         tmp = lowpart_subreg (mode, tmp, comp_mode);
          assumption = simplify_gen_relational (reverse_condition (cond),
                                                SImode, mode,
                                                tmp, tmp1);