Oops! Thanks.<div><br></div><div>Fixed in r150771.</div><div><br></div><div>- Lang.<br><br><div class="gmail_quote">On Thu, Feb 16, 2012 at 4:51 PM, NAKAMURA Takumi <span dir="ltr"><<a href="mailto:geek4civic@gmail.com">geek4civic@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">2012/2/17 Lang Hames <<a href="mailto:lhames@gmail.com">lhames@gmail.com</a>>:<br>
<div class="im">> Author: lhames<br>
> Date: Thu Feb 16 18:18:18 2012<br>
> New Revision: 150768<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=150768&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=150768&view=rev</a><br>
> Log:<br>
> Turn off assertion, conservatively compute liveness for live-in un-allocatable registers.<br>
><br>
> Modified:<br>
>    llvm/trunk/lib/CodeGen/LiveIntervalAnalysis.cpp<br>
<br>
</div><div class="im">> @@ -526,15 +527,16 @@<br>
><br>
>   // Live-in register might not be used at all.<br>
>   if (!SeenDefUse) {<br>
> -    if (isAllocatable(interval.reg) || isReserved(interval.reg)) {<br>
> -      // This must be an entry block or landing pad - we asserted so on entry<br>
> -      // to the function. For these blocks the interval is dead on entry, so<br>
> -      // we won't emit a live-range for it.<br>
> +    if (isAllocatable(interval.reg) ||<br>
> +        !isRegLiveIntoSuccessor(MBB, interval.reg)) {<br>
> +      // Allocatable registers are never live through.<br>
> +      // Non-allocatable registers that aren't live into any successors also<br>
> +      // aren't live through.<br>
>       DEBUG(dbgs() << " dead");<br>
>       return;<br>
>     } else {<br>
<br>
</div>isRegLiveIntoSuccessor() is used regardles of NDEBUG, to be failing to<br>
build on -Asserts.<br>
</blockquote></div><br></div>