<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<br>
<div class="moz-cite-prefix">On 07/12/2018 10:19 AM, Son Tuan VU via
llvm-dev wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CA+UYC4r6whGdeyVLdbN8iMX85aNWG+kNXQ4GDumLabNY0n4YHQ@mail.gmail.com">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<div dir="ltr">Hello all,
<div><br>
</div>
<div>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?</div>
</div>
</blockquote>
<br>
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.<br>
<br>
<blockquote type="cite"
cite="mid:CA+UYC4r6whGdeyVLdbN8iMX85aNWG+kNXQ4GDumLabNY0n4YHQ@mail.gmail.com">
<div dir="ltr">
<div><br>
</div>
<div>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.</div>
</div>
</blockquote>
<br>
Why is printing the IR before the verifier undesirable? It seems
desirable to me.<br>
<br>
-Hal<br>
<br>
<blockquote type="cite"
cite="mid:CA+UYC4r6whGdeyVLdbN8iMX85aNWG+kNXQ4GDumLabNY0n4YHQ@mail.gmail.com">
<div dir="ltr">
<div><br>
</div>
<div>Thanks for your help!</div>
<div><br clear="all">
<div>
<div class="gmail_signature"
data-smartmail="gmail_signature">
<div dir="ltr">Son Tuan Vu</div>
</div>
</div>
</div>
</div>
<!--'"--><br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory</pre>
</body>
</html>