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 <[EMAIL PROTECTED]> 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 >
