Hi Pekka,<div><br></div><div><div class="gmail_quote">On Tue, Feb 26, 2013 at 11:08 AM, Pekka Jääskeläinen <span dir="ltr"><<a href="mailto:pekka.jaaskelainen@tut.fi" target="_blank">pekka.jaaskelainen@tut.fi</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><br></div>
Isn't it possible that multiple nested loops share the header and<br>
the pre-header in normalized loops? Thus, then adding metadata to the<br>
preheader's branch would make the MD ambiguous for nested loops.<span class="HOEnZb"><font color="#888888"><br>
<br></font></span></blockquote><div><div>The header can't be shared, otherwise it's the same loop. Though strictly speaking it depends on definition of the loop, but in my experience, the most practical definition is "loop == header".</div>
<div><br></div><div>Another observation is that pre-header is highly important for optimizations as a placeholder for hoisting the code out of the loop. So even if the pre-header doesn't exist, it makes sense to create it during optimization. But pre-header of the inner loop may make it more difficult to detect that loop-nest is perfect nest (i.e. the only real code of the outer loop is the inner loop).</div>
</div><div><br></div><div>-Dmitry.</div></div></div>