Re: [RFC] IL verification reorg

2013-02-21 Thread Diego Novillo
On Thu, Feb 21, 2013 at 7:37 AM, Richard Biener wrote: > > I'm trying to make IL verifying more streamlined - it's often > that passes have some random (or no) verification in their TODO > which makes pinning down issues to specific passes hard. > > Thus I propose to unify the various TODO_verify_

Re: [RFC] IL verification reorg

2013-02-21 Thread Richard Biener
On Thu, 21 Feb 2013, Martin Jambor wrote: > Hi, > > On Thu, Feb 21, 2013 at 01:37:28PM +0100, Richard Biener wrote: > > > > I'm trying to make IL verifying more streamlined - it's often > > that passes have some random (or no) verification in their TODO > > which makes pinning down issues to spe

Re: [RFC] IL verification reorg

2013-02-21 Thread Martin Jambor
Hi, On Thu, Feb 21, 2013 at 01:37:28PM +0100, Richard Biener wrote: > > I'm trying to make IL verifying more streamlined - it's often > that passes have some random (or no) verification in their TODO > which makes pinning down issues to specific passes hard. > > Thus I propose to unify the vario

Re: [RFC] IL verification reorg

2013-02-21 Thread Michael Matz
Hi, On Thu, 21 Feb 2013, Richard Biener wrote: > Do people think that the fine-grained verification control > is actually useful or do you agree with me that it leads to > sloppiness? I agree with you ... > --- 1955,1982 > return; > > #if defined ENABLE_CHECKING > ! if (flags

Re: [RFC] IL verification reorg

2013-02-21 Thread Jeff Law
On 02/21/13 05:37, Richard Biener wrote: I'm trying to make IL verifying more streamlined - it's often that passes have some random (or no) verification in their TODO which makes pinning down issues to specific passes hard. Thus I propose to unify the various TODO_verify_* flags into a single o

[RFC] IL verification reorg

2013-02-21 Thread Richard Biener
I'm trying to make IL verifying more streamlined - it's often that passes have some random (or no) verification in their TODO which makes pinning down issues to specific passes hard. Thus I propose to unify the various TODO_verify_* flags into a single one, TODO_verify_il, and based on what IL pr