<div class="gmail_quote">On Mon, Sep 5, 2011 at 8:37 PM, Rafael Baldiati Parizi <span dir="ltr"><<a href="mailto:parizi.computacao@gmail.com">parizi.computacao@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Yes, that's how I'm doing now ... create a new block where the execution
flow will continue after the shift, following the basics of basic
blocks. But, I want to find a way to reduce the number of block of my code.</blockquote><div><br></div><div>Why do you want to reduce the number of LLVM IR blocks? Just because LLVM IR does not have fall-through branches does not mean that the generated code will not have them. As mentioned before, this is just a level of abstraction used in the LLVM IR.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div><div></div><div class="h5"><br><br><div class="gmail_quote">2011/9/5 Nick Lewycky <span dir="ltr"><<a href="mailto:nicholas@mxc.ca" target="_blank">nicholas@mxc.ca</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>Rafael Baldiati Parizi wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I have two values and I want see if them are equals. Then, I would a<br>
instruction like<br>
if Value1 != Value2, error<br>
without create a new block, continuing the execution in the same block,<br>
forcing the LLI to execute this.<br>
</blockquote>
<br></div>
You can not. The definition of a "basic block" is a sequence of instructions with a single entry and a single exit. You can not insert multiple exits within a basic block.<br>
<br>
I realize that this restriction feels arbitrary, but there's a vast amount of research and practical experience in compiler design built around the notion of basic blocks making up a control flow graph.<br>
<br>
Nick<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>
2011/9/5 Eli Friedman <<a href="mailto:eli.friedman@gmail.com" target="_blank">eli.friedman@gmail.com</a><br></div>
<mailto:<a href="mailto:eli.friedman@gmail.com" target="_blank">eli.friedman@gmail.com</a><u></u>>><div><br>
<br>
On Mon, Sep 5, 2011 at 4:47 PM, Rafael Baldiati Parizi<br></div>
<<a href="mailto:parizi.computacao@gmail.com" target="_blank">parizi.computacao@gmail.com</a> <mailto:<a href="mailto:parizi.computacao@gmail.com" target="_blank">parizi.computacao@<u></u>gmail.com</a>>><div>
<br>
wrote:<br>
> Hello,<br>
> I would know how can I make a branch in llvm ir without a label of<br>
> destination?<br>
> For example:<br>
> br i1 %1, label %bb, NO LABEL HERE<br>
<br>
What are you trying to do?<br>
<br>
-Eli<br>
<br>
<br>
<br>
<br>
--<br></div>
*/Rafael Parizi/*<br>
<br>
<br>
<br>
<br>
<br>
______________________________<u></u>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <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/<u></u>mailman/listinfo/llvmdev</a><br>
</blockquote>
<br>
</blockquote></div><br><br clear="all"><br></div></div>-- <br><font color="#888888"><font size="2"><b><i>Rafael Parizi</i></b></font><br><br><br><br>
</font><br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <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><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><br><div>Thanks,</div><div><br></div><div>Justin Holewinski</div><br>