[llvm-dev] Should Verifier be an analysis?

Son Tuan VU via llvm-dev
Thu, 12 Jul 2018 15:19:43 -0000

Hello all,

I came across the code of Verifier, and see that it doesn't modify the IR
at all. Why it is not considered as an analysis pass?

Actually, this will have impact on debugify-each and
print-before/after-all: we are not supposed to print/debugify Verifier
pass, but since Verifier is declared as a transformation (well, a
non-analysis) pass, we actually do print/debugify it.

Thanks for your help!

Son Tuan Vu
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180712/32d589f2/attachment.html>