<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Dec 5, 2017, at 9:59 PM, Justin Lebar <<a href="mailto:jlebar@google.com" class="">jlebar@google.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">> To find which header files could be removed it scanned the file for "#include" lines and tried to remove them one by one (checking if the file still compiles after the removal). When there were no more include lines to remove, we verified the change with ninja+ninja check.<div class=""><br class=""></div><div class="">It looks like this makes us rely heavily on transitive header includes -- is that right?</div></div></div></blockquote>Correct.<br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class=""><br class=""></div><div class="">Specifically what I mean is, suppose <a href="http://foo.cc" class="">foo.cc</a> uses class1 and class2. class2.h #includes "class1.h". If <a href="http://foo.cc" class="">foo.cc</a> had a #include for class1.h and class2.h, this tool will remove the include of class1.h. Is that right?</div></div></div></blockquote>Correct.<br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class=""><br class=""></div><div class="">If so, seems like probably more aggressive than we want to be, because it makes our codebase fragile: If someone removes class1.h from class2.h, it may break <a href="http://foo.cc" class="">foo.cc</a>.</div></div></div></blockquote>I completely agree, that’s why I intended this patch to be a collection of hints for real people rather than something we want to commit as-is. I think I can make the tool check the patch again and try to restore #include lines that don’t contribute to the speedup.</div><div><br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class=""><br class=""></div><div class="">I'm sure we can find many situations like this today, but this approach seems it would make that situation much more common.</div><div class=""><br class=""></div><div class="">IWYU would avoid this pitfall, although I know IWYU has its own problems. Alternatively maybe if the tool only removed headers whose removal significantly decreased the preprocessed size of the file, we'd know that we actually removed "something interesting”.</div></div></div></blockquote>That’s a good idea. Thanks for the feedback!</div><div><br class=""></div><div>Michael<br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class=""><br class=""></div><div class="">-Justin</div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="">On Tue, Dec 5, 2017 at 9:38 PM Chris Lattner via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space" class="">I, for one, want faster builds.<div class=""><br class=""></div><div class="">Beyond that though, this seems like obvious goodness to reduce coupling in the codebase. I’ve only skimmed the patch, but this seems like a clearly amazingly great ideas. Did you use the IWYU tool or something else?</div><div class=""><br class=""></div><div class="">-Chris</div><div class=""><br class=""><div class=""><br class=""><blockquote type="cite" class=""></blockquote></div></div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class="">On Dec 5, 2017, at 3:40 PM, Mikhail Zolotukhin via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank" class="">llvm-dev@lists.llvm.org</a>> wrote:</div><br class="m_-7432678922244347213Apple-interchange-newline"></blockquote></div></div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class=""><div style="word-wrap:break-word" class="">Hi,<div class=""><br class=""></div><div class="">Recently I've done some experiments on the LLVM/Clang code and discovered that many of our source files often include unnecessary header files. I wrote a simple tool that eliminates redundant includes and estimates benefits of doing it, and the results were quite nice: for some files we were able to save 90% of compile time! I think we want to apply some of the cleanups I found, but I'm not sure how to better do it: the total patches are 8k lines of code for LLVM and 3k lines of code for clang (I'll attach them for reference). My suggestion would be that people take a look at the list of changed files and pick the changes for the piece of code they are working on if the changes look sane (the changes do need some checking before committing). Does it sound like a good idea? I'd appreciate any feedback on what can we do here.</div><div class=""><br class=""></div><div class="">The list of files for which removing redundant headers improved compile time (the numbers are compile time in seconds for a Debug build):</div><div class=""><b class=""><br class=""></b></div><div class=""><b class="">LLVM top 10</b></div><div class=""><div class=""><font face="Menlo" style="font-size:11px" class=""><b class=""><u class="">Filename<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>Old<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>New<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>Delta</u></b></font></div><div class=""><font face="Menlo" style="font-size:11px" class="">lib/CodeGen/GlobalISel/GlobalISel.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.26<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.02<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-91.9%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">lib/MC/MCLabel.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.19<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.02<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-88.2%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">tools/llvm-readobj/ObjDumper.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.43<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.10<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-76.5%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">lib/MC/MCWinEH.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.51<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.13<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-74.3%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">lib/Transforms/Vectorize/Vectorize.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.72<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.29<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-59.7%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">tools/llvm-diff/DiffLog.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.58<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.26<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-54.6%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">lib/Target/ARM/MCTargetDesc/ARMMachORelocationInfo.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.46<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.26<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-44.1%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">lib/DebugInfo/DWARF/DWARFExpression.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.68<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.38<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-43.3%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">lib/LTO/LTOModule.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>2.25<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.33<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-41.1%</font></div><div class=""><font face="Menlo" style="font-size:11px" class="">lib/Target/TargetMachine.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.76<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.10<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-37.8%</font></div></div><div class=""><br class=""></div><div class="">Full list:</div><div class=""></div></div></div></blockquote></div></div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class=""><span id="m_-7432678922244347213cid:9A8C3012-C316-4FA8-A003-6146C517AC98@wp.comcast.net" class=""><llvm.txt></span></div></blockquote></div></div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class=""><div style="word-wrap:break-word" class=""><div class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><b class="">Clang top 10</b></div><div class=""><div class=""><font face="Menlo" style="font-size:11px" class=""><b class=""><u class="">Filename<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>Old<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>New<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>Delta</u></b></font></div><div class=""><span style="font-size:11px;font-family:Menlo" class="">tools/libclang/CXString.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.70<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.25<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-85.2%</span></div></div><div class=""><font face="Menlo" style="font-size:11px" class=""><div class="">lib/Tooling/CommonOptionsParser.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.69<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.55<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-67.3%</div><div class="">lib/AST/StmtViz.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.02<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.44<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-57.4%</div><div class="">tools/driver/cc1_main.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>2.26<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>0.97<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-57.1%</div><div class="">unittests/CodeGen/BufferSourceTest.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>3.08<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.83<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-40.6%</div><div class="">lib/CodeGen/CGLoopInfo.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.91<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.34<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-29.9%</div><div class="">unittests/Tooling/RefactoringActionRulesTest.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>2.46<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.79<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-27.0%</div><div class="">unittests/CodeGen/CodeGenExternalTest.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>3.43<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>2.52<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-26.5%</div><div class="">tools/libclang/CXStoredDiagnostic.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.67<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.26<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-24.8%</div><div class="">tools/clang-func-mapping/ClangFnMapGen.cpp<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>2.48<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>1.89<span class="m_-7432678922244347213Apple-tab-span" style="white-space:pre-wrap"> </span>-23.8%</div><div class=""><div style="font-family:Helvetica;font-size:12px" class=""><br class=""></div><div style="font-family:Helvetica;font-size:12px" class="">Full list:</div></div><div style="font-family:Helvetica;font-size:12px" class=""></div></font></div></div></div></blockquote></div></div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class=""><span id="m_-7432678922244347213cid:149AB015-99FC-4554-8B3C-255969944171@wp.comcast.net" class=""><clang.txt></span></div></blockquote></div></div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class=""><div style="word-wrap:break-word" class=""><div class=""><font face="Menlo" style="font-size:11px" class=""><div style="font-family:Helvetica;font-size:12px" class=""></div><div style="font-family:Helvetica;font-size:12px" class=""><br class=""></div><div class=""><span style="font-family:Helvetica;font-size:12px" class="">The corresponding patches (careful, they are big):</span></div><div class=""></div></font></div></div>
</div></blockquote></div></div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class=""><span id="m_-7432678922244347213cid:09AA8F05-10D5-4013-9A31-BB2AAA58F983@wp.comcast.net" class=""><llvm_redundant_headers.patch></span><div style="word-wrap:break-word" class=""><div class=""><font face="Menlo" style="font-size:11px" class=""><div class=""></div></font></div></div>
<span id="m_-7432678922244347213cid:CF813FF7-78EC-467A-868A-1F9CCB7C296F@wp.comcast.net" class=""><clang_redundant_headers.patch></span></div></blockquote></div></div></div><div style="word-wrap:break-word;line-break:after-white-space" class=""><div class=""><div class=""><blockquote type="cite" class=""><div class=""><div style="word-wrap:break-word" class=""><div class=""><font face="Menlo" style="font-size:11px" class=""><div class=""></div><div class=""><br class=""></div><div class=""><span style="font-family:Helvetica;font-size:12px" class=""><b class="">Methodology</b></span></div><div class=""><span style="font-family:Helvetica;font-size:12px" class="">My tool took the compile_commands.json from LLVM build and iterated over files trying to remove redundant headers. To find which header files could be removed it scanned the file for "#include" lines and tried to remove them one by one (checking if the file still compiles after the removal). When there were no more include lines to remove, we verified the change with ninja+ninja check. After it we compared preprocessed file size before and after the change hoping to see that it dropped and then checked the compile time impact.</span></div><div class=""><span style="font-family:Helvetica;font-size:12px" class="">NB: As a side effect of this approach we removed all include-lines from inactive "ifdef" sections, which means that the patches <b class="">*will*</b> break other configurations if applied as-is.</span></div><div class=""><span style="font-family:Helvetica;font-size:12px" class=""><br class=""></span></div><div class=""><span style="font-family:Helvetica;font-size:12px" class="">Thanks,</span></div><div class=""><span style="font-family:Helvetica;font-size:12px" class="">Michael</span></div></font></div></div>_______________________________________________<br class="">LLVM Developers mailing list<br class=""><a href="mailto:llvm-dev@lists.llvm.org" target="_blank" class="">llvm-dev@lists.llvm.org</a><br class=""><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" target="_blank" class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br class=""></div></blockquote></div></div></div>_______________________________________________<br class="">
LLVM Developers mailing list<br class="">
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank" class="">llvm-dev@lists.llvm.org</a><br class="">
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank" class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br class="">
</blockquote></div>
</div></blockquote></div><br class=""></body></html>