------- Comment #10 from rguenther at suse dot de 2008-02-15 14:12 ------- Subject: Re: [4.3 regression] Unable to coalesce ab SSA_NAMEs
On Fri, 15 Feb 2008, rakdver at kam dot mff dot cuni dot cz wrote: > ------- Comment #9 from rakdver at kam dot mff dot cuni dot cz 2008-02-15 > 14:06 ------- > Subject: Re: [4.3 regression] Unable to coalesce ab SSA_NAMEs > > > Yeah, forwprop checks that it may propagate the name SR.40_22, but it > > doesn't > > check recursively if any of the names occuring in the ADDR_EXPR of the rhs > > are marked abnormal. > > > > We should check for this before calling forward_propagate_addr_expr in > > tree_ssa_forward_propagate_single_use_vars. And probably add a new > > predicate > > tree_contains_abnormal_ssa_name_p (tree exp) which walks exp recursively > > (consider &b->c[d(AB)] or as in this case &a(AB)->x...). > > > > Please unassign yourself if you want me to do it. > > actually, I have a patch in testing. Ok. I also have finished testing a patch. Let's just pick the nicer one, so just post yours after it finished testing. Richard. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35164