[please test] RTL sharing verifier

Paolo Bonzini paolo.bonzini@lu.unisi.ch
Fri Nov 10 08:12:00 GMT 2006


Jan Hubicka wrote:
> Hi,
> as mentioned in previous mail, I would like to get the RTL sharing
> verifier enabled in stage1 now.  I am however aware that this is likely
> going to find many positives, probably more than I can deal with myself
> in resonable time.  I am attaching my current patch I know to work on
> i686 to ask everyone who wants to do little RTL debugging on his
> favorite target to try it out and let me know how it works and if
> possible also send fixes.

I think you should have a new PROP, and enable the verification 
automatically in execute_todo, based on (properties & (PROP_rtl | 
PROP_rtl_sharing)) == (PROP_rtl | PROP_rtl_sharing).

Paolo



More information about the Gcc-patches mailing list