[llvm-dev] Should Verifier be an analysis?

Hal Finkel via llvm-dev
Thu, 12 Jul 2018 15:25:23 -0000

On 07/12/2018 10:19 AM, Son Tuan VU via llvm-dev wrote:
> 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?

It does not analyze the IR for the use of other transformations or
analysis passes. It does, in a sense, transform the IR: Either it does
nothing, or, it deletes it all.

>
> 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.

Why is printing the IR before the verifier undesirable? It seems
desirable to me.

 -Hal

>
> Thanks for your help!
>
> Son Tuan Vu
>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

--
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180712/627ae243/attachment.html>