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