<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 18, 2013 at 6:36 AM, Krzysztof Parzyszek <span dir="ltr"><<a href="mailto:kparzysz@codeaurora.org" target="_blank">kparzysz@codeaurora.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Since both "d->data" and "out->data" are both of type double, the type-based alias analysis won't help.</blockquote>
</div><br></div><div class="gmail_extra" style>Right, I see. Is there any other way to solve this? As the last resort, I was considering silently transforming each Array argument into separate data and metadata arguments, but that would certainly add other complications I'd rather avoid.</div>
<div class="gmail_extra" style><br></div><div class="gmail_extra" style>I was also think ing a hypothetical LLVM-based Fortran compiler would be the model to aim for, where they have dimension-aware arrays that never alias (AFAIK?). I wonder how one would solve that problem there.</div>
<div class="gmail_extra" style><br></div><div class="gmail_extra" style>Dimitri.</div></div>