<div dir="ltr">SInce Bitcode is well-structured, Verifier might overwork for one.<div>Could we introduce "Verifier for BitReader" and "Verifier for IRParser" as input verifier?</div></div><br><div class="gmail_quote"><div dir="ltr">On Sun, Aug 30, 2015 at 10:17 AM NAKAMURA Takumi <<a href="mailto:geek4civic@gmail.com">geek4civic@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">Random thoughts.</p>
<p dir="ltr">- Could we implement lightweight verifier?<br>
- Verifier can run in parallel in some cases.<br>
- Any mechanism for credit emitted by same version of LLVM bitwriter, like signature.</p>
<p dir="ltr">I think we should be formal in user inputs, too.</p>
<br><div class="gmail_quote"><div dir="ltr">2015年8月30日(日) 9:59 David Blaikie via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>>:<br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">For cc1 we disable it for IR generated immediately by clang. We don't disable it for IR or bitcode inouts provided by the user.</p>
<p dir="ltr">So I'd be a bit hesitant to disable it for lto because it is an unrestricted input at lto time.</p>
<p dir="ltr">(But this is hardly my wheelhouse. So grain of salt and all)</p>
<div class="gmail_quote">On Aug 29, 2015 3:04 PM, "Duncan P. N. Exon Smith via llvm-dev" <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The verifier takes ~5% of link time when using LTO.  I think we<br>
should add a `-disable-llvm-verifier` option to the LTO plugins, and<br>
change the clang driver to pass the option through in release builds.<br>
In asserts builds, the clang driver would not pass the option.<br>
<br>
This would match the way the driver passes -disable-llvm-verifier to<br>
-cc1.<br>
<br>
Everyone on board?<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div></blockquote></div>