This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [please test] RTL sharing verifier



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...
Well, verify_ssa is already PROP-driven.

I think the reason for verify_flow_info to be TODO-driven is that for some passes you just know that it cannot perform a transformation that violates the verification (and could be much more fine grained if verify_flow_info was splitted in multiple parts).

Paolo


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]