<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Mar 12, 2014 at 3:50 PM, Arnold Schwaighofer <span dir="ltr"><<a href="mailto:aschwaighofer@apple.com" target="_blank">aschwaighofer@apple.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In order to vectorize code like this LLVM needs to prove that “A[i*7]” does not wrap in the address space. It fails to do so</blockquote>
</div><br>But, why?</div><div class="gmail_extra"><br></div><div class="gmail_extra">I'm moderately sure that neither C nor C++ allow wrapping around the end of the address space. If they do, we will fix C++ at least to disallow this. 'i' is a signed integer, so we can't wrap in the index space either. So why can't LLVM prove this?</div>
</div>