<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, May 22, 2014 at 8:19 PM, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb adM"><div class="">> While clearly we can make this transform safely for homogenous<br>
> structs, doing so seriously weakens the IR's guarantees. I'd not<br>
> like to see us go that direction.<br>
<br>
</div></div>To what guarantees are you referring?</blockquote></div><br>That we can (verifier) reject arbitrarily invalid sequences of indices in GEPs into structs because we know which struct we're GEPing into and what potential indices would be valid. This in turn simplifies the interfaces of code dealing with struct GEP indices.</div>
</div>