<div dir="ltr">On 8 February 2013 05:35, Nadav Rotem <span dir="ltr"><<a href="mailto:nrotem@apple.com" target="_blank">nrotem@apple.com</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">
For example, assumption that the input pointers don't overlap, or that dynamic indices are within a certain range that allow us to vectorize.<br></blockquote><div><br></div><div style>In this case, I'd prefer metadata on the variables that are assumed not to alias, like the restrict keyword.</div>
<div style><br></div><div style>It seems to me that having metadata on the loop basic blocks, since they can be invalidated, will not help that much with the vectorizer more than specific annotation on specific values (which are harder to lose). I'm not saying we should annotate *all* memory instructions on a loop, just the ones that make sense, or will help the vectorizer default to a sane value.</div>
<div style><br></div><div style>I'm not a big fan of basic block annotation, unless the BBs are created for very specific reasons and no pass it allowed to touch it (especially inliners).</div><div style><br></div><div style>
cheers,</div><div style>--renato</div></div></div></div>