<div dir="ltr">That would be fantastic!</div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Dec 6, 2015 at 8:34 PM, Duncan P. N. Exon Smith <span dir="ltr"><<a href="mailto:dexonsmith@apple.com" target="_blank">dexonsmith@apple.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="HOEnZb"><div class="h5"><br>
> On 2015-Dec-06, at 17:31, Keno Fischer <<a href="mailto:kfischer@college.harvard.edu">kfischer@college.harvard.edu</a>> wrote:<br>
><br>
> loladiro created this revision.<br>
> loladiro added a reviewer: dexonsmith.<br>
> loladiro added a subscriber: llvm-commits.<br>
><br>
> We already have the inverse verification that we only use globals<br>
> that are defined in this module. This essentially catches the<br>
> same mistake, but when verifying the module that contains the<br>
> definition. There is a moderately annoying corner case caused by<br>
> our usage of a parentless ReturnInst to hold prefix/prologue data.<br>
> In order to perform correct diagnostics, we need to construct the<br>
> inverse map for this on demand. Since that can be expensive, this<br>
> inverse mapping is cached in the Verifier class and only constructed<br>
> when needed.<br>
><br>
> <a href="http://reviews.llvm.org/D15272" rel="noreferrer" target="_blank">http://reviews.llvm.org/D15272</a><br>
><br>
> Files:<br>
>  lib/IR/Verifier.cpp<br>
>  unittests/IR/VerifierTest.cpp<br>
<br>
</div></div>It'd be nice to get in Vedant's work to remove this ReturnInst hack<br>
first, so we don't need to worry about the performance here... I'll<br>
comment in that review.</blockquote></div><br></div>