On Tue, Mar 15, 2011 at 10:37 PM, Jeff Law <l...@redhat.com> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > > > 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). Btw, you only need to check the gimple_cond_lhs, the rhs will have a matching type kind. Thanks, Richard. > > > > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v1.4.11 (GNU/Linux) > Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/ > > iQEcBAEBAgAGBQJNf9wXAAoJEBRtltQi2kC7i3gH+wS6SZNEVwMeHrx04LkRUV7i > hdWsBKWoWxFCm/JjIVEXkticztRGG2cF6OgtTutXCyYHriVXpHvJSATw0OrYLT2y > zMjj1+wy9NKcznIaulyYzCadoFiJUuTnZ3pMDGo+gqx7ThqrG11sJ581CnMtZWxA > Y3tpUBebhovORi4IZOvp2atjIFEnI/CCttxzVyTXtzaflysDr6rbZP75z/AGANI4 > 5gkcDkLCEglGHYL6phT0fxHjZAUaIJN/JHTvZ4MGA6lJjO8wG/Z4ZnDmtUURhLiR > z9th3gBzFtdjlkwcu8U1qulXDaxbMEmLLP3zMgmFthvI+PmqITsoshu3c7nn154= > =yWE3 > -----END PGP SIGNATURE----- >