[PATCH] D21005: Add a -verify-after-all option

[Davide Italiano via llvm-commits]

davide added a comment.

In http://reviews.llvm.org/D21005#449404, @sanjoy wrote:

> In http://reviews.llvm.org/D21005#449402, @davide wrote:
>
> > I just used this for function passes so I never noticed the problem, but yes, I agree it can happen.
> >  Can you please elaborate on how you plan to use `createPrinterPass` ?
>
>
> I don't plan to use `createPrinterPass`, but add a virtual function similar to it as `PassManager::createVerifierPass` that creates and returns a verifier pass of the right type (i.e. `ModulePass`, `FunctionPass` or `LoopPass`).


Thanks. I assume this will also extend to `CGSCCPass` when one will be available, right?
Anyway, I'll defer the judgement of this patch to Chandler as I don't (yet) understand all the interactions between the PMs, clearly =)


http://reviews.llvm.org/D21005