<br><br><div class="gmail_quote">On Sat, Jun 12, 2010 at 12:35 AM, Dan Gohman <span dir="ltr"><<a href="mailto:gohman@apple.com">gohman@apple.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="im"><br>
<br>
On Jun 11, 2010, at 12:48 AM, Zhongxing Xu <<a href="mailto:xuzhongxing@gmail.com" target="_blank">xuzhongxing@gmail.com</a>> wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I have another idea: let the BasicBlockSDNode points to the last node in its predecessor blocks. But this will introduce cycles into the selection DAG, making it not a DAG anymore.<br>
<br>
So what's the impact of a non-DAG on the existing DAG legalizers and combiner?<br>
</blockquote>
<br></div>
Lots of stuff would break, for example anything that uses the topological sort facility.<br><font color="#888888">
<br></font></blockquote><div>But I guess non-DAG is inevitable since there is loop in the code and I want to represent control relationships in the graph.<br></div></div><br>