[please test] RTL sharing verifier

[Jan Hubicka]

> 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).

I was considering this too, but since the TODO way is way other
verifiers are hooked in, it seemed more consistent to do it that way.
We might wan to change gimple/flow verifier to be PROP controlled, that
is rahter easy and drop the TODO flags everywhere then - it don't seem
to be coolest idea to have some verifiers controlled one way and others
different...

Honza
> 
> Paolo