<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 18, 2013 at 10:35 AM, Eric Christopher <span dir="ltr"><<a href="mailto:echristo@gmail.com" target="_blank" class="cremed">echristo@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 class="im">>> At a minimum, it seems like we need a version number in the debug info<br>
>> metadata so we can detect this situation and avoid crashing.<br>
><br>
><br>
> Or to put it in the terms of the IR: we need to autoupgrade the debug info<br>
> metadata just like we do intrinsics. With debug info this might (at the<br>
> worst) involve dropping old metadata.<br>
><br>
<br>
</div>The verifier is probably the best route here. I think if we fail debug<br>
info verification we can just strip it and continue.</blockquote></div><br>I'm slightly worried about relying on verification based "autoupgrade" (where by upgrade I mean discard old cruft since it doesn't impact correctness) due to compile time costs, but if the verification is fast enough to be "always on", then cool.</div>
</div>