aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorMichael Hayes <m.hayes@elec.canterbury.ac.nz>1998-12-06 04:19:20 +0000
committerJeff Law <law@gcc.gnu.org>1998-12-05 21:19:20 -0700
commit5629b16c018a9d6fec937f506f577c691a62fc44 (patch)
tree5f0e818607ec9e05bbe0fa61694c620285e29e75 /gcc
parent01bdf1bc986ced960799b5d6f99239fb5d7387dd (diff)
downloadgcc-5629b16c018a9d6fec937f506f577c691a62fc44.zip
gcc-5629b16c018a9d6fec937f506f577c691a62fc44.tar.gz
gcc-5629b16c018a9d6fec937f506f577c691a62fc44.tar.bz2
loop.c (check_dbra_loop): New argument loop_info.
* loop.c (check_dbra_loop): New argument loop_info. Update fields as needed. From-SVN: r24131
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/loop.c16
2 files changed, 18 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4963d59..ac6594f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+Sun Dec 6 05:16:16 1998 Michael Hayes <m.hayes@elec.canterbury.ac.nz>
+
+ * loop.c (check_dbra_loop): New argument loop_info. Update fields
+ as needed.
+
Sun Dec 6 03:40:13 PST 1998 Jeff Law (law@cygnus.com)
* version.c: Bump for snapshot.
diff --git a/gcc/loop.c b/gcc/loop.c
index 1d0e08d..959c4e6 100644
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -312,7 +312,7 @@ static int basic_induction_var PROTO((rtx, enum machine_mode, rtx, rtx, rtx *, r
static rtx simplify_giv_expr PROTO((rtx, int *));
static int general_induction_var PROTO((rtx, rtx *, rtx *, rtx *, int, int *));
static int consec_sets_giv PROTO((int, rtx, rtx, rtx, rtx *, rtx *));
-static int check_dbra_loop PROTO((rtx, int, rtx));
+static int check_dbra_loop PROTO((rtx, int, rtx, struct loop_info *));
static rtx express_from_1 PROTO((rtx, rtx, rtx));
static rtx express_from PROTO((struct induction *, struct induction *));
static rtx combine_givs_p PROTO((struct induction *, struct induction *));
@@ -4041,7 +4041,7 @@ strength_reduce (scan_start, end, loop_top, insn_count,
/* Try to prove that the loop counter variable (if any) is always
nonnegative; if so, record that fact with a REG_NONNEG note
so that "decrement and branch until zero" insn can be used. */
- check_dbra_loop (loop_end, insn_count, loop_start);
+ check_dbra_loop (loop_end, insn_count, loop_start, loop_info);
/* Create reg_map to hold substitutions for replaceable giv regs. */
reg_map = (rtx *) alloca (max_reg_before_loop * sizeof (rtx));
@@ -6634,10 +6634,11 @@ product_cheap_p (a, b)
final_[bg]iv_value. */
static int
-check_dbra_loop (loop_end, insn_count, loop_start)
+check_dbra_loop (loop_end, insn_count, loop_start, loop_info)
rtx loop_end;
int insn_count;
rtx loop_start;
+ struct loop_info *loop_info;
{
struct iv_class *bl;
rtx reg;
@@ -7065,6 +7066,15 @@ check_dbra_loop (loop_end, insn_count, loop_start)
bl->initial_value = start_value;
bl->biv->add_val = new_add_val;
+ /* Update loop info. */
+ loop_info->initial_value = bl->initial_value;
+ loop_info->initial_equiv_value = bl->initial_value;
+ loop_info->final_value = const0_rtx;
+ loop_info->final_equiv_value = const0_rtx;
+ loop_info->comparison_value = const0_rtx;
+ loop_info->comparison_code = cmp_code;
+ loop_info->increment = new_add_val;
+
/* Inc LABEL_NUSES so that delete_insn will
not delete the label. */
LABEL_NUSES (XEXP (jump_label, 0)) ++;