This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/15221] a jump threading opportunity blocked by a few intervening instructions
- From: "law at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 14 Feb 2005 19:56:54 -0000
- Subject: [Bug tree-optimization/15221] a jump threading opportunity blocked by a few intervening instructions
- References: <20040430092445.15221.kazu@cs.umass.edu>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From law at redhat dot com 2005-02-14 19:56 -------
FWIW, I just verified that the updated jump thread selection code handles this
correctly. In fact, this is precisely the kind of case it was designed to
handle :-)
However, your statement about turning foo into bar is incorrect because foo is
written incorrectly. First "foo" needs to be fixed to return a value. foo
calls f0 twice while bar calls f0 and f1. "tem" is not initialized in the
call to g0 and the list goes on and on and on.
Regardless, the new jump thread selection code will thread the jumps
appropriately and block merging will collapse things in the expected way.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15221