<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Mar 9, 2015 at 12:58 PM, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">On Mon, Mar 9, 2015 at 12:38 PM, Reid Kleckner <span dir="ltr"><<a href="mailto:rnk@google.com" target="_blank">rnk@google.com</a>></span> wrote:<br><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"><div dir="ltr">If we're keeping types on GEP, </div></blockquote></span><div><br>You mean rather than just dropping gep entirely & doing manual pointer arithmetic? (& moving inbounds to an attribute on pointer addition, I guess?)</div></div></div></div></blockquote><div><br></div><div>Yep. If we're keeping the GEP sugar to say, "hey this pointer arithmetic is actually trying to access field #4", then we should keep the allocation sugar that says "these 4 bytes are (usually) an i32."</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class=""><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"><div dir="ltr">then IMO we should keep them on allocas and globals. It keeps the IR human readable.</div></blockquote></span><div><br>& what of byval, then? Do you agree with Chandler's argument from analogy between byval, alloca, and globals?<br><br>(oh, and I should look at inalloca a bit too - it looks like it uses the <span style="color:rgb(80,0,80)">getByValTypeAlignment too... )</span></div></div></div></div></blockquote><div><br></div><div>byval and inalloca are edge cases where we can afford to sacrifice some readability.</div></div></div></div>