<div dir="ltr">On 5 February 2013 17:28, 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">
<div style="word-wrap:break-word"><div class="im"><span style="color:rgb(34,34,34)">We insert runtime overlap checks only for unidentified objects. The problem here is that the vectorizer thinks that A,B,C are all pointers to the same array, so it gives up.  If A,B,C were different arrays then it could have used runtime checks.    </span></div>
</div></blockquote><div><br></div><div style>Yes, that is exactly the code that creates the run-time checks. ;)</div><div style><br></div><div style>I'll try to inspect the uses for GEPs and store the offsets in a map. If it works, we can think of a better implementation.</div>
<div style><br></div><div style>cheers,</div><div style>--renato</div></div></div></div>