Re: Minor VRP jump threading improvement

2011-03-16 Thread Jeff Law
-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 wrote: > > > I noticed that VRP was missing many obvious jump threading > opportunities; investigation showed that it wasn't threading through > conditionals wit

Re: Minor VRP jump threading improvement

2011-03-16 Thread Jeff Law
-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 wrote: > > > I noticed that VRP was missing many obvious jump threading > opportunities; investigation showed that it wasn't threading through > conditionals wit

Re: Minor VRP jump threading improvement

2011-03-16 Thread Richard Guenther
On Tue, Mar 15, 2011 at 10:37 PM, Jeff Law 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

Re: Minor VRP jump threading improvement

2011-03-16 Thread Paolo Bonzini
On 03/15/2011 10:37 PM, Jeff Law 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

Minor VRP jump threading improvement

2011-03-15 Thread Jeff Law
-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 test