This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: patch for dataflow branch
- From: Daniel Berlin <dberlin at dberlin dot org>
- To: Kenneth Zadeck <zadeck at naturalbridge dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>, Jan Hubicka <hubicka at ucw dot cz>, Steven Bosscher <stevenb at suse dot de>
- Date: Mon, 24 Oct 2005 09:04:00 -0400
- Subject: Re: patch for dataflow branch
- References: <435CDA0D.3090308@naturalbridge.com>
On Mon, 2005-10-24 at 08:56 -0400, Kenneth Zadeck wrote:
> Also incorporated Steven Bosscher change to the changelog.
>
> 2005-10-24 Kenneth Zadeck <zadeck@naturalbridge.com>
>
> * sched-rgn.c (check_live_1, update_live_1, rest_of_handle_sched):
> Converted to use partially available liveness.
> (init_regions, schedule_insns, rest_of_handle_sched):
> Removed assertion checking based on death notes.
>
> Tested on i86-32 i86-64 and powerpc.
The reason this assertion checking fails, BTW, is that moving around
partially live variables may cause the number of death notes to change.
This is just a fact of life. We could do something more powerful for
verification, like check that the use-def chains haven't changed, and i
think that may work. But i haven't thought deeply about it.
--Dan