<div class="gmail_extra">Hi Anton,<br><br>Thanks for the suggestions.<br><br>I compiled the .ll 
file with llc with command line options -verify-dom-info, 
-verify-regalloc and -verify-loop-info.<br>I didn't see any diagnostic 
messages.<br><br>When I add -verify-machineinstrs, it complains that 
there are instructions after terminator instructions.<br>
It seems that these error messages are printed because the verifier does
 not understand that mips has delay slots, not because it has detected 
any true violations.<br><br>$ llc macroblock.llvm.mips64el.ll 
-mcpu=mips64r2 -O3 -o macroblock.s -mattr=n64 -verify-machineinstrs<br>
<br># After PreEmit passes<br># Machine code for function 
start_macroblock: Post SSA<br><br>BB#0: derived from LLVM BB %entry<br>   
 Live Ins: %A0_64 %T9_64 %RA_64 %S3_64 %S2_64 %S1_64 %S0_64<br>    BEQ 
%A0<kill>, %ZERO, <BB#2><br>
    NOP<br>    Successors according to CFG: BB#2 BB#1<br><br># End 
machine code for function start_macroblock.<br><br>*** Bad machine code:
 MBB exits via unconditional fall-through but doesn't have exactly one 
CFG successor! ***<br>
- function:    start_macroblock<br>- basic block: entry 0x3ce4700 (BB#0)<br><br>***
 Bad machine code: Non-terminator instruction after the first terminator
 ***<br>- function:    start_macroblock<br>- basic block: entry 
0x3ce4700 (BB#0)<br>
- instruction: NOP<br>First terminator was:    BEQ %A0<kill>, 
%ZERO, <BB#2><br><br><div class="gmail_quote">On Fri, Apr 20, 2012 at 9:50 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 class="im"><br>
> I am running into a problem when I turn on post-RA scheduler with mode<br>
> "ANTIDEP_CRITICAL" for mips.<br>
> I'd appreciate if someone could explain what is going wrong here.<br>
</div>All these passes are pretty sensitive to correct register liveness<br>
information. As a first step I'd check whether machine verifier<br>
reports no errors here.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
With best regards, Anton Korobeynikov<br>
Faculty of Mathematics and Mechanics, Saint Petersburg State University<br>
</font></span></blockquote></div><br></div>