This is the mail archive of the gcc@gcc.gnu.org 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: A live analysis problem on gcc4.2.3

I don't want to update insn_live_in, I just want to get each insn's
live in and live out, so I start from the end of basic block and
propagate backward.

I also make an assertion that when current insn meets block's first
insn this backward calculate the same result as block's live in.

More simple to say is: I use basic block's last insn's live out to
deduce this basic block's first insn's live in (which must be this
block's live in).

On Wed, Apr 16, 2008 at 6:27 PM, Eric Botcazou <ebotcazou@adacore.com> wrote:
> > Yes, I'm talking about propagate one insn in flow.c. How I map live in
> > and live out, please see the code below.
>
> Thanks, but AFAICS this code doesn't update insn_live_in at all.
>
> --
> Eric Botcazou
>
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]