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

Sanjoy Das via llvm-commits llvm-commits at lists.llvm.org
Sun Jun 5 17:38:12 PDT 2016


sanjoy planned changes to this revision.
sanjoy added a comment.

This patch isn't quite right as is -- it breaks out of a loop pass manager, i.e. if I had e.g. `-indvars -loop-rotate` now I will have `-indvars < verify function > -loop-rotate` with the `< verify function >` in the middle running outside the LoopPass; and the `-loop-rotate` and `-indvars` running in different loop pass managers when earlier they'd run in the same loop pass manager.  I think this can be quite misleading since it will change the optimizations that fire when `-verify-after-all` is enabled.

I think I'll have to have something like `createPrinterPass` so that the above does not happen.


http://reviews.llvm.org/D21005





More information about the llvm-commits mailing list