I filed a PR.<br><br><a href="http://llvm.org/bugs/show_bug.cgi?id=12829" title="NEW - 
CriticalAntiDepBreaker rewrites a register operand of a call 
instruction" target="_blank">Bug 12829</a><br><br><div class="gmail_quote">On Wed, Apr 25, 2012 at 12:08 PM, Akira Hatanaka <span dir="ltr"><<a href="mailto:ahatanak@gmail.com" target="_blank">ahatanak@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="gmail_extra">Sorry, I meant to say,<br><br>I added code to prevent 
llc from running machine verifier after delay slots are filled.<br><br>MipsInstrInfo::AnalyzeBranch generates incorrect results after delay slots are filled. Also, it seems that code in MachineVerifier.cpp wasn't written with architectures that have delay slots in mind.<div>

<div><br>
<br><div class="gmail_quote">On Wed, Apr 25, 2012 at 11:59 AM, Akira Hatanaka <span dir="ltr"><<a href="mailto:ahatanak@gmail.com" target="_blank">ahatanak@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">


<div class="gmail_extra">Hi Anton,<br><br>I ran llc with -verify-coalescing. There were no error messages.<br>Then I added code in MipsPassConfig::addPreEmitPass() to prevent machine verifier from running post delay -slot-filler, and ran llc again. Again, there were no error messages.<br>



<br>This is the list of passes run after post-RA scheduling. machine verifier is run twice after post RA scheduler (and CriticalAntiDepBreaker) is run. <br><br>      Post RA top-down list latency scheduler<br>      Verify generated machine code<br>



      Analyze Machine Code For Garbage Collection<br>      Machine Block Frequency Analysis<br>      Branch Probability Basic Block Placement<br>      Verify generated machine code<br>      Mips Delay Slot Filler<br>      MachineDominator Tree Construction<br>



      Machine Natural Loop Construction<br>      Mips Assembly Printer<br>      Delete Garbage Collector Information<div><div><br><br><div class="gmail_quote">On Tue, Apr 24, 2012 at 11:36 PM, Anton Korobeynikov <span dir="ltr"><<a href="mailto:anton@korobeynikov.info" target="_blank">anton@korobeynikov.info</a>></span> wrote:<br>



<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Akira,<br>
<div><br>
> When I add -verify-machineinstrs, it complains that there are instructions<br>
> after terminator instructions.<br>
</div>Yes, -verify-machineinstrs and -verify-coalescing are your friends here :)<br>
<div><div><br>
--<br>
With best regards, Anton Korobeynikov<br>
Faculty of Mathematics and Mechanics, Saint Petersburg State University<br>
</div></div></blockquote></div><br></div></div></div>
</blockquote></div><br></div></div></div>
</blockquote></div><br>