2001-01-01 Michael Hayes <mhayes@redhat.com>
+ * loop.c (check_insn_for_bivs): Use ivs->n_regs to check array bounds.
+ (find_mem_givs, record_biv, maybe_eliminate_biv): Likewise.
+ (record_initial): Likewise.
+ * unroll.c (copy_loop_body, loop_iterations): Likewise.
+ (remap_split_bivs): Likewise.
+
+2001-01-01 Michael Hayes <mhayes@redhat.com>
+
* loop.c (loop_ivs_free): New function.
(strength_reduce): Break out from...
not_every_iteration, maybe_multiple);
REG_IV_TYPE (ivs, REGNO (dest_reg)) = BASIC_INDUCT;
}
- else if (REGNO (dest_reg) < max_reg_before_loop)
+ else if (REGNO (dest_reg) < ivs->n_regs)
REG_IV_TYPE (ivs, REGNO (dest_reg)) = NOT_BASIC_INDUCT;
}
}
{
unsigned int regno = REGNO (SET_DEST (set));
- if (regno < max_reg_before_loop
+ if (regno < ivs->n_regs
&& REG_IV_TYPE (ivs, regno) == GENERAL_INDUCT
&& REG_IV_INFO (ivs, regno)->src_reg == bl->biv->src_reg)
p = last;
struct iv_class *bl;
if (GET_CODE (dest) != REG
- || REGNO (dest) >= max_reg_before_loop
+ || REGNO (dest) >= ivs->n_regs
|| REG_IV_TYPE (ivs, REGNO (dest)) != BASIC_INDUCT)
return;
for the biv was stored in the biv's first struct
induction entry by find_splittable_regs. */
- if (regno < max_reg_before_loop
+ if (regno < ivs->n_regs
&& REG_IV_TYPE (ivs, regno) == BASIC_INDUCT)
{
giv_src_reg = REG_IV_CLASS (ivs, regno)->biv->src_reg;
}
else if (REG_IV_TYPE (ivs, REGNO (iteration_var)) == BASIC_INDUCT)
{
- /* When reg_iv_type / reg_iv_info is resized for biv increments
- that are turned into givs, reg_biv_class is not resized.
- So check here that we don't make an out-of-bounds access. */
- if (REGNO (iteration_var) >= max_reg_before_loop)
+ if (REGNO (iteration_var) >= ivs->n_regs)
abort ();
/* Grab initial value, only useful if it is a constant. */
struct induction *v = REG_IV_INFO (ivs, REGNO (iteration_var));
rtx biv_initial_value;
- if (REGNO (v->src_reg) >= max_reg_before_loop)
+ if (REGNO (v->src_reg) >= ivs->n_regs)
abort ();
bl = REG_IV_CLASS (ivs, REGNO (v->src_reg));
/* If non-reduced/final-value givs were split, then this would also
have to remap those givs also. */
#endif
- if (REGNO (x) < max_reg_before_loop
+ if (REGNO (x) < ivs->n_regs
&& REG_IV_TYPE (ivs, REGNO (x)) == BASIC_INDUCT)
return REG_IV_CLASS (ivs, REGNO (x))->biv->src_reg;
break;