On Wed, Dec 23, 2009 at 8:41 AM, Paolo Bonzini <bonz...@gnu.org> wrote: > On 12/23/2009 04:19 PM, Bingfeng Mei wrote: >> >> It seems that just commenting out this check in fwprop.c should work. > > Yes, but it would pessimize x86. >
Is there a bug open for x86? Can't we make it target dependent, something
like
/* Do not propagate loop invariant definitions inside the loop. */
if (targetm.foobar
&& DF_REF_BB (def)->loop_father != DF_REF_BB (use)->loop_father)
return;
--
H.J.
