-----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 <l...@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-----