This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: A live analysis problem on gcc4.2.3
> I use propagate_one_insn to get the current insn's live in. But it
> seems wrong when propagate.
> Before propagate one insn, there is no reg111 in live out and current
> insn def the reg111, how can reg111
>
> appear in live in after propagate???
>
> My flag to propagate is:
> flags = PROP_DEATH_NOTES;
> flags &= ~(PROP_SCAN_DEAD_CODE | PROP_SCAN_DEAD_STORES
>
> | PROP_KILL_DEAD_CODE);
>
> This is the dump:
>
> current insn:
> (insn/f 43 42 44 2 (set (reg/f:DI 111 r35)
> (reg/f:DI 12 r12)) -1 (nil)
> (nil))
Are you talking about flow.c:propagate_one_insn? If so, how do you map
"live in" and "live out" exactly, given that flow.c doesn't use these
but operates on a struct propagate_block_info instead?
--
Eric Botcazou