This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] More jump threading
- From: law at redhat dot com
- To: Richard Henderson <rth at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 16 Jan 2004 07:51:13 -0700
- Subject: Re: [tree-ssa] More jump threading
- Reply-to: law at redhat dot com
In message <20040116083757.GA23779@redhat.com>, Richard Henderson writes:
>On Thu, Jan 15, 2004 at 11:50:52AM -0700, law@redhat.com wrote:
>> BB2:
>> x_2 = PHI (x_1(BB0), 0(BB1))
>> if (x_1 == 0) goto BB3 else goto BB4
>
>Yaye. This also fixes another big outstanding issue, that of
>not eliminating the input comparison to loops with constant
>iteration count.
Yup.
>Plus we get to do it without optimistically duplicating the
>loop header, which should make -Os folk happy.
Yup.
jeff