------- Comment #1 from rakdver at kam dot mff dot cuni dot cz 2007-06-19 22:07 ------- Subject: Re: New: assertion failure in loop-iv.c; probable dataflow regression
> The failing assertion in get_biv_step() is: > > gcc_assert ((*inner_mode == *outer_mode) != (*extend != UNKNOWN)); > > The outer_mode is DImode; the inner_mode is SImode; and extend is > UNKNOWN, since there are no SIGN_EXTEND or ZERO_EXTEND operations > involved here. Is this code intended to work for DImode IVs when > the machine doesn't directly support DImode operations? I don't know > if the problem is in this loop-iv.c code or whether it ought not > recognize the DImode induction variable in the first place. this looks more like some latent problem exposed by df branch merge. I will have a look. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32405
