<div dir="ltr"><div style><span style="font-family:arial,sans-serif;font-size:13px">Sorry for forgetting to reply all...</span></div><div style><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><span style="font-family:arial,sans-serif;font-size:13px">It works! Thank you very much! </span><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">But I also wonder how do you know this function will work while there are no documents noticing that. I try learning LLVM by reading its code, but soon feel lost in so many functions. Just like I have many tools, but don't know which to use and what difference it could make. Is there some better ways to learn LLVM?</div>
<div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, May 8, 2013 at 1:02 PM, Andrew Trick <span dir="ltr"><<a href="mailto:atrick@apple.com" target="_blank">atrick@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word"><br><div><div><div class="h5"><div>On May 7, 2013, at 8:26 PM, zhiyuan yang <<a href="mailto:sjtu.yzy@gmail.com" target="_blank">sjtu.yzy@gmail.com</a>> wrote:</div><br><blockquote type="cite">
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div dir="ltr">Hi,<div><br></div><div>I am writing a loop pass to replace the backedge with an edge from latch to exit. </div>
<div>Now I just replace the terminator of latch with another BranchInst, and the loop will not be a loop after my pass. However, it turns out a failure of loopverify after executing my pass:</div><div><br></div><div>opt: ~/llvm/llvm-trunk/include/llvm/Analysis/LoopInfoImpl.h:297: void llvm::LoopBase<N, M>::verifyLoop() const [with BlockT = llvm::BasicBlock, LoopT = llvm::Loop]: Assertion `HasInsideLoopPreds && "Loop block has no in-loop predecessors!"' failed.<br>
</div><div><div><br></div><div>Does this mean I should keep it still a loop after my pass? If so, how could I bypass it?</div></div></div></div></blockquote><div><br></div></div></div><div>You might need to call LPPassManager::deleteLoopFromQueue().</div>
<div><br></div><div>-Andy</div></div><div><br><blockquote type="cite"><div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div class="im"><div dir="ltr">
<div>--<span> </span><br><div dir="ltr"><p style="line-height:23px;font-size:14px;font-family:'lucida Grande',Verdana"><b><i><span style="font-size:10pt;color:blue">Thank you && Best Regards,</span></i></b></p>
<p style="line-height:23px;font-size:14px;font-family:'lucida Grande',Verdana"><font color="#0000ff" style="line-height:1.5"><b><i>Zhiyuan Yang</i></b></font></p></div></div></div></div>_______________________________________________<br>
LLVM Developers mailing list<br><a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a><span> </span>        <a href="http://llvm.cs.uiuc.edu/" target="_blank">http://llvm.cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a></div>
</blockquote></div><br></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><p style="line-height:23px;color:rgb(0,0,0);font-size:14px;font-family:'lucida Grande',Verdana"><b><i><span style="font-size:10pt;color:blue">Thank you && Best Regards,</span></i></b></p>
<p style="line-height:23px;color:rgb(0,0,0);font-size:14px;font-family:'lucida Grande',Verdana"><font color="#0000ff" style="line-height:1.5"><b><i>Zhiyuan Yang</i></b></font></p></div>
</div></div>