This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Don't disallow copyprop for virtual ops for loop depth check

On 11/28/06, Andrew Pinski <> wrote:
  I noticed for virtual operands, we don't copyprop some names if it was
a loop variant.  This is the correct thing for the normal operands but
for virtual operands, it makes less sense as we don't do coalescing on
virtual operands during out-of-ssa.  This patch has a side effect of
also making a bug in PRE latent (PR 29922).

The original check was not because of coalescing, but because we would copy prop in-loop variables outside the loop, causing *more* invariantness in nested loops. Why do you think this is different for virtual oeprands?

OK? Bootstrapped and tested on powerpc-darwin with no regressions.

Andrew Pinski


        * tree-ssa-dom.c (cprop_operand): Ignore the loop depth when
        copyproping on virtual operands.
        (propagate_rhs_into_lhs): Likewise.
        * tree-ssa-copy.c (copy_prop_visit_phi_node): Likewise.

        * gcc.c-torture/compile/pr29922.c: New test.
        * gfortran.fortran-torture/compile/pr29922.f: New test.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]