> > verify_rtl_sharing > > Please do not remove this one as it was added to be used when > everyone was fine with the rules and to check to make sure > the RTL was not shared. This falls under the paragraph "Others will plausibly used if the pass manager is used for RTL as well." in my message. :-) Paolo