<div dir="ltr">Theoretically, nothing checks or enforces this (at least in the current PM).<div>Is it checked/enforced in the New PM?</div><div><br></div><div>If an analysis does something like "require LCSSA", it will modify the IR.</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 31, 2016 at 4:22 PM, Hal Finkel via llvm-commits <span dir="ltr"><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">hfinkel added a subscriber: hfinkel.<br>
<span class=""><br>
================<br>
Comment at: lib/Analysis/GlobalsModRef.<wbr>cpp:277<br>
@@ -276,1 +276,3 @@<br>
</span><span class="">+      // AnalyzeUsesOfPointer assumes all uses of the value are live.<br>
+      F.removeDeadConstantUsers();<br>
       if (!AnalyzeUsesOfPointer(&F)) {<br>
</span>----------------<br>
<span class="">mkuper wrote:<br>
> Don't know enough about GlobalsAA to approve this anyway, but as a matter of principle - is it acceptable for an analysis pass to modify the IR?<br>
</span>No, they shouldn't.<br>
<span class="im HOEnZb"><br>
<br>
Repository:<br>
  rL LLVM<br>
<br>
<a href="https://reviews.llvm.org/D24104" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D24104</a><br>
<br>
<br>
<br>
</span><div class="HOEnZb"><div class="h5">______________________________<wbr>_________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-commits</a><br>
</div></div></blockquote></div><br></div>