This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug rtl-optimization/10050] ifcvt is not smart enough
- From: "ian at airs dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 15 Jan 2006 06:27:31 -0000
- Subject: [Bug rtl-optimization/10050] ifcvt is not smart enough
- References: <bug-10050-5562@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #9 from ian at airs dot com 2006-01-15 06:27 -------
Upon further reflection, I don't think this is amenable to a good fix using
conditional moves. func2 doesn't read from a. Using conditional moves will
require adding reads from a. It's not obvious that that is a good tradeoff.
When I look at the code generated for i686 at -O2, the only problem I see is
that for some reason gcc doesn't recognize that a[0] and a[1] can not alias
each other, and it reloads a[0] after writing to a[1].
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10050