Redundant logical operations left after early splitting

Paolo Bonzini bonzini@gnu.org
Mon Feb 25 09:59:00 GMT 2008


> What's important here is that reg1 is being set multiple times.  You'd
> be better off if you can twiddle the splitters to avoid this behavior.
> If you need a new pseudo, then get one :-)

I agree with this, but...

> Once you do that, local would propagate these things better.  That
> still leaves the simplification & nop problem, but I'm pretty sure
> that can be trivially fixed within local without resorting to running
> another forwprop pass after splitting.

I want to try *moving* forwprop, not add another pass.  Also, fwprop 
could in principle subsume local const/copyprop; it doesn't right now 
because I didn't want to compute def-use chains, but it could be changed 
in the future.

Paolo



More information about the Gcc mailing list