<div dir="ltr">On 29 January 2013 10:03, Pekka Jääskeläinen <span dir="ltr"><<a href="mailto:pekka.jaaskelainen@tut.fi" target="_blank">pekka.jaaskelainen@tut.fi</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Sounds reasonable, as it's too intrusive to start making all the passes<br>
parallel loop-aware.<br></blockquote><div><br></div><div style>+1. It will bloat IR a bit, but we can turn it on only when vectorization is enabled, when it's likely that people won't be looking at IR anyway.</div>
<div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In the restricted ptr case one wants to mark pointers with some kind of<br>
context marker (e.g. a function name + pointer identification) which<br>
communicates that the accesses through that pointer do not alias with<br>
other pointers in the same function context.<br></blockquote><div><br></div><div style>You may have issues with inlining, ie. have to teach it to change the metadata to cope with the function changing, since inlining can expose many forms of parallelism.</div>
<div><br></div><div style>cheers,</div><div style>--renato</div></div></div></div>