<div dir="ltr">On 5 February 2013 16:38, Arnold Schwaighofer <span dir="ltr"><<a href="mailto:aschwaighofer@apple.com" target="_blank">aschwaighofer@apple.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">If I understand you correctly, conceptually you want two different objects to be returned for Foo.bl and Foo.al?<br>

</blockquote><div><br></div><div>Not necessarily. The vectorizer is implemented expecting that the objects will be different, but that's a limitation on the vectorizer itself.</div><div><br></div><div style>However, changing the vectorizer to recognize GEP offsets is probably not the best course of action, but by the time we get the object back, we have no information if it was a GEP, and if so, what was its offset.</div>
<div style><br></div><div style>Maybe I could work back (via uses) and identify the GEP and store the offset with the object locally, so that the list would not think different members are the same object. But I wanted to know first if the underlying object concept is correct. From the docs you sent me, it seems it is.</div>
<div style><br></div><div style>TBAA seems a bit too much for this case, though.</div><div style><br></div><div style>cheers,</div><div style>--renato</div>
</div></div></div>