This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Mainline bug in RTL fwprop.
- From: Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>
- To: Andrew MacLeod <amacleod at redhat dot com>
- Cc: gcc mailing list <gcc at gcc dot gnu dot org>
- Date: Tue, 06 Mar 2007 18:18:35 +0100
- Subject: Re: Mainline bug in RTL fwprop.
- References: <1173192035.27286.29.camel@localhost.localdomain>
- Reply-to: bonzini at gnu dot org
> It would be really sweet if we propagated the 'di - 4' into insn 8, then
> recognized that di is now the value of SI 58, and propagated di into the
> compare. insn 7 would be dead and we'd get the code the PR is looking
> for :-)
Unfortunately there's no hope of that because fwprop doesn't do value
numbering, but I'll try to look at it because it's a wrong code bug.
(It would be great if you had a testcase for mainline...).
Paolo