r123458 - in /branches/dataflow-branch/gcc: Cha...

[bonzini@gcc.gnu.org]

Author: bonzini
Date: Tue Apr  3 10:17:33 2007
New Revision: 123458

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123458
Log:
2007-04-03  Paolo Bonzini  <bonzini@gnu.org>

	* dce.c (dce_process_block): Copy into DF_LR_IN.
	* df-problems.c (df_lr_free_bb_info): Support bb_info->in
	being the same bitmap as bb_info->top.
	(df_lr_alloc): The adef and ause fields must be either
	both NULL or both non-NULL.  Initialize bb_info->top
	to bb_info->in.
	(df_lr_bb_local_compute): Allocate adef, ause, top together.
	(df_lr_transfer_function): Simplify according to above
	assumptions.
	(df_lr_free): Zero out bb_info->top instead of freeing it
	if it is the same as bb_info->in.


Modified:
    branches/dataflow-branch/gcc/ChangeLog.dataflow
    branches/dataflow-branch/gcc/dce.c
    branches/dataflow-branch/gcc/df-problems.c