<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, May 29, 2014 at 3:56 PM, Nick Lewycky <span dir="ltr"><<a href="mailto:nlewycky@google.com" target="_blank">nlewycky@google.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"><div class="">On 29 May 2014 13:33, 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:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>On Thu, May 29, 2014 at 11:31 AM, Nick Lewycky <span dir="ltr"><<a href="mailto:nicholas@mxc.ca" target="_blank">nicholas@mxc.ca</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>Reid Kleckner 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">
Hi nicholas, nlewycky,<br>
<br>
This was an oversight in the original support.  As it is, I stuffed this<br>
bit into the alignment.  The alignment is stored in log2 form, so it<br>
doesn't need more than 6 bits.<br>
</blockquote>
<br></div>
How was alloca encoded in the 3.4 release? What would it someone need to have in their 3.4 .bc file to cause it to be read as inalloca in 3.5? "align 18446744073709551616"?</blockquote><div><br></div></div><div>



I think using alignment of 9223372036854775808 (2**63) will be read in as 'inalloca' with this patch, because it's encoded as log2(alignment)+1, and reconstituted with (1<<align)>>1.  Do you want to raise the bar for the maximum supported alignment?</div>



</div></div></div></blockquote><div><br></div></div><div>Oh I'm quite happy with lowering the bar. 4MB should be too much stack alignment for everybody. Half the address spaces is right out. I just want to know the number in advance so I'm armed and ready when somebody complains.</div>



<div><br></div><div>To be polite, if we do want to limit it, we should document the limit and make the verifier check it. Anybody who actually had this in their bitcode will discover that it doesn't work in newer llvm's.</div>
</div></div></div></blockquote><div><br></div><div>I just discovered Value::MaximumAlignment when I tried to parse a .ll with a large alignment.  Sounds like we should document it and put in some verifier checks.</div></div>
</div></div>