This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug rtl-optimization/32405] assertion failure in loop-iv.c; probable dataflow regression
- From: "rakdver at kam dot mff dot cuni dot cz" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 19 Jun 2007 22:07:00 -0000
- Subject: [Bug rtl-optimization/32405] assertion failure in loop-iv.c; probable dataflow regression
- References: <bug-32405-14515@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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