This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Minor VRP jump threading improvement
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 03/16/11 04:31, Richard Guenther wrote:
> On Tue, Mar 15, 2011 at 10:37 PM, Jeff Law <law@redhat.com> wrote:
>
>
> I noticed that VRP was missing many obvious jump threading
> opportunities; investigation showed that it wasn't threading through
> conditionals with pointer types, just those with integral types.
>
> Fix is rather obvious.
>
> Bootstrapped and regression tested on x86_64-unknown-linux-gnu. OK for
> trunk?
>
>> Looks ok (a testcase would be nice).
Reasonably easy to add a testcase; I don't have the original handy
(already blown away), but it triggers enough that I can construct one
quickly.
Btw, you only need to check
>> the gimple_cond_lhs, the rhs will have a matching type kind.
Yea. I'll twiddle that and the comment as well.
jeff
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/
iQEcBAEBAgAGBQJNgL61AAoJEBRtltQi2kC7AnIH/0HRaYKhi0ML64xbyTuzJWXu
llRtjb2lHm5aDLpfP07gJuULnn/eeGyeL8R/LHXcaljWJIPPWQVaI482380K1Xcd
ZcZOpR/FNKEcXM237akXMUk6lt1OSPFHsWhNqe82CqaNdFRsGR6u7kukhZK7XXTk
fnoMYhva75GGuR6W8SRf8uoC/kv91I6elFreUO1hh2RgfJB9cHm8zqzlJ3l+/IRk
KevnGseDKVbvUCDIK9r+h8QxFwLKRLHejdj0tY8WsszqP9tTfvmN21CbD9aovmrA
BMrF1rId1+4ZyR76FlwfJwVKUDWOFPqujdddzmdptH5oY8HGo+PiBoP/tp57oNo=
=j/sQ
-----END PGP SIGNATURE-----