
<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">Hi,</div><div class=""><br class=""></div><div class="">TLDR: I’m fairly adamantly opposed to most of what is proposed/discussed here.</div><div class=""><br class=""></div><div class="">Long version:</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">1) Large scale formatting is not welcome.</div><div class=""><br class=""></div><div class="">This is a valid point, I totally agree with it and I’m not asking to change this: we’re not welcoming applying clang-format or other formatting only changes to an entire file, at least for no other reason than “just doing it”.</div><div class="">The reason, I believe, is that there is little perceived value to formatting-only change by themselves, and thus such changes can’t by themselves offset the little cost they incur (blame is a little bit less straightforward, conflict with existing patches, etc.). Note that the cost here is incurred by the fact that global formatting changes are usually associated with “a very large part of the file is affected”.</div><div class=""><br class=""></div><div class="">Reformatting a file as a whole is only accepted (AFAIK) as a pre-step for another commit that touches “most” of the file anyway. As Reid describes it: "In effect you're taking some ownership for it” and “it also usually reduces the patch size of the eventual functional change, which makes it easier to understand the patch during code review”.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">2) Refactoring and other cleanup *are* welcome.</div><div class=""><br class=""></div><div class="">I believe that it is one core strength of the LLVM project: we’re aggressively refactoring and cleaning up the codebase as we go. We already have some "good practices” and/or coding guidelines [0] [1]. We’re not enforcing these as strict rules, but I have never seen any push-back on NFC commits that are pure cleanup.</div><div class=""><br class=""></div><div class="">For example, the include style from our coding standard [2] aren’t well enforced, yet many people in the community felt that it is worthwhile fixing when they encountered such cases (e.g [3][4][5][6]).</div><div class="">Another one is to prefer for-range loop when possible, Sanjay Patel commit a bunch of cleanup on this aspect (e.g [7][8][9][10]), and I already praised this at the time it happened [11] !!</div><div class=""><br class=""></div><div class="">I have never seen any push back on such commits and I don’t want to see this changing at all.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">3) "if people want to make global pattern-based cleanups (push_back -> emplace_back, range-based-for, etc), we should just raise it on llvm-dev and make a decision about the value of the cleanup.”</div><div class=""><br class=""></div><div class="">This seems to me to be in line with existing practices. </div><div class=""><br class=""></div><div class="">However I’d like to be very careful about this: there is already a lot of things that are accepted (e.g. include only header you’re using, sort headers, etc.). There is no reason to block such change on a llvm-dev discussion. These have either already been discussed, considered, and sometimes even specified in the coding standard ; or are widely accepted practices (according to the commit history).</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">4) Fallacy: these commits were targeted while tool-based large-scale changes are not.</div><div class=""><br class=""></div><div class="">Just because I’ll use clang-tidy to reorder the header instead of doing it manually does not change the nature of the patch neither its practical consequence, so I don’t see any rational to differentiate them.</div><div class="">I believe the same reasoning applies if I update a single file in my commit or 100 of them. If this is really a problem to people, we can have 100 single file commits, with the *exact same result* (I’m not in favor of this, and I’d have to read some reasoning about doing it this way).</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">5) Fallacy: "Usually some amount of cleanup has been acceptable if the code was generally being churned anyway”</div><div class=""><br class=""></div><div class="">While this sentence is strictly correct, inferring that cleanup is *only* acceptable if the code was being churned anyway is totally false IMO, and the history of the repository proves it largely.</div><div class="">I cite some commits below, but there are hundreds others of them!</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">6) We should have pre-commit reviews for cleanups.</div><div class=""><br class=""></div><div class="">What makes such changes so critical that they require a pre-commit review while we don’t have a pre-commit review policy for bug fixes or other commits? I don’t get it. Really.</div><div class=""><br class=""></div><div class="">We trust committers to use their best judgement to decide if they need or not pre-commit review or if post-commit is good enough.</div><div class=""><br class=""></div><div class="">I personally don’t feel I need to get through pre-commit review for reordering the headers in *any* part of the codebase today, and I’m opposed to change this (and I’m saying this being part of the crowd the most in favor of pre-commit review in general).</div><div class=""><br class=""></div><div class="">We already suffer from lack of reviewer bandwidth for meaningful changes, we don’t need to waste time on such trivial changes. If you feel like you want to post-commit review these, good for you, but there is no justification to add overhead on the people who try to make things better here.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— </div><div class="">Mehdi</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">[0] <a href="http://llvm.org/docs/CodingStandards.html" class="">http://llvm.org/docs/CodingStandards.html</a></div><div class="">[1] <a href="http://llvm.org/docs/ProgrammersManual.html" class="">http://llvm.org/docs/ProgrammersManual.html</a></div><div class="">[2] <a href="http://llvm.org/docs/CodingStandards.html#include-style" class="">http://llvm.org/docs/CodingStandards.html#include-style</a></div><div class="">[3] r253915 <a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20151123/314999.html" class="">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20151123/314999.html</a></div><div class="">[4] r254005 <a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20151123/315227.html" class="">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20151123/315227.html</a></div><div class="">[5] r225439 <a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20150105/251346.html" class="">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20150105/251346.html</a></div><div class="">[6] r222151 <a href="http://lists.llvm.org/pipermail/cfe-commits/Week-of-Mon-20141117/118559.html" class="">http://lists.llvm.org/pipermail/cfe-commits/Week-of-Mon-20141117/118559.html</a> </div><div class="">[7] r256891 <a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160104/322749.html" class="">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160104/322749.html</a> </div><div class="">[8] r256998 <a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160104/323008.html" class="">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160104/323008.html</a></div><div class="">[9] r257500 <a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160111/324186.html" class="">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160111/324186.html</a></div><div class="">[10] <span style="color: rgba(0, 0, 0, 0.85098); font-family: 'Helvetica Neue';" class="">r257845 </span><font color="rgba(0, 0, 0, 0.85098)" face="Helvetica Neue" class=""><a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160111/325042.html" class="">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160111/325042.html</a></font></div><div class="">[11] <span style="color: rgba(0, 0, 0, 0.85098); font-family: 'Helvetica Neue';" class=""><a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160111/325043.html" class="">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20160111/325043.html</a></span></div><div class=""><span style="color: rgba(0, 0, 0, 0.85098); font-family: 'Helvetica Neue';" class=""><br class=""></span></div><div class=""><br class=""></div><div class="">— </div><div class="">Mehdi</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><br class=""><div><blockquote type="cite" class=""><div class="">On Apr 7, 2017, at 3:49 PM, David Blaikie <<a href="mailto:dblaikie@gmail.com" class="">dblaikie@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br class=""><br class=""><div class="gmail_quote"><div dir="ltr" class="">On Fri, Apr 7, 2017 at 3:14 PM Adrian Prantl <<a href="mailto:aprantl@apple.com" class="">aprantl@apple.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); padding-left: 1ex;"><br class="gmail_msg">> On Apr 7, 2017, at 3:05 PM, David Blaikie via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="gmail_msg" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br class="gmail_msg">><br class="gmail_msg">> There have been some efforts recently to use clang-tidy or similar automated refactoring to make project-wide cleanups/improvements to the LLVM codebase that appear to me to be a bit out of character with the sort of changes & philosophies that have been applied in the past.<br class="gmail_msg">><br class="gmail_msg">> I think there are a few issues at hand which I'll try to summarize:<br class="gmail_msg">><br class="gmail_msg">> * Churn/blame-convenience:<br class="gmail_msg">> Previously, large scale changes (classically whitespace cleanup, with things like clang-format) have been rejected or discouraged due to the risk of making it harder to find the original source of a semantic change.<br class="gmail_msg">> I'm not too wedded to this issue myself, but it did seem to be the status-quo previously so I'm curious to better understand if/how people see this applying or not, to more semantic changes.<br class="gmail_msg"><br class="gmail_msg">Personally I think that this is a shortcoming of one's tooling if this is a problem. Many git-blame viewers allow you to roll back to the previous revision at the current line at one keypress.<br class="gmail_msg"><br class="gmail_msg">><br class="gmail_msg">> * Efficiency:<br class="gmail_msg">> Sending individual or even batched reviews for automated changes like this seems inefficient. I'd rather see, for example, an email to llvm-dev to discuss whether a particular change makes sense to make across the project (ie: does the LLVM project want to cleanup all instances of classic for to range-based-for when clang-tidy can do so?) and then not send the individual changes for review, but commit them directly where possible. (if the person doing this automated cleanup doesn't have permission, yeah, send it out and reference the original discussion thread).<br class="gmail_msg"><br class="gmail_msg">I think it makes sense to send out a phabricator review per kind of clang-tidy change, i.e., one patch that performs the same kind of change all over the project. Having only one kind of transformation per review will make it really easy to skim over the patch and detect situations where clang-tidy changes the code for the worse.<br class="gmail_msg"></blockquote><div class=""><br class="">Reckon it's worth elevating these reviews to llvm-dev rather than only llvm-commits? (in effect what I'd expect to see is a "hey, thinking about applying this pattern-based* cleanup - here are some examples of what it does, the corner cases, cases it doesn't handle, etc (and, as an aside, the attached patch shows the changes created by applying this tool to all of LLVM (or LLVM+Clang, etc))")<br class=""><br class="">Anyone have opinions on whether llvm-dev would be a sufficient medium to approve automated cleanup of other subprojects? (Clang? compiler-rt? lld? lldb?). Or would it be necessary to have a discussion aobut each subproject? (roughly I feel like LLVM+Clang are close enough together that a single approval would suffice there at least - but maybe Clang devs** have other ideas... )<br class=""><br class="">*thanks, Reid, for that choice of terminology<br class=""><br class="">** Pure Clang devs notably not included in this email thread... <br class=""> </div><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); padding-left: 1ex;"><br class="gmail_msg">-- adrian<br class="gmail_msg">><br class="gmail_msg">> Some points of comparison: sometimes there's similar cleanup done in a non-automated fashion as Mehdi pointed out in one of the threads I brought this up (see this thread:<span class="Apple-converted-space"> </span><a href="http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20170403/443547.html" rel="noreferrer" class="gmail_msg" target="_blank">http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20170403/443547.html</a><span class="Apple-converted-space"> </span>). Usually some amount of cleanup has been acceptable if the code was generally being churned anyway (eg: clang-formatting a file so it's consistent, before doing major surgery to it anyway, so the surgical changes don't create formatting inconsistencies), or as a result of a new API change (add a range-based accessor then fix up existing call sites to use range-based-for). I'd also not be surprised by a whitespace cleanup shortly after new code was committed - and have done this myself "oops, forgot to format my commit, here's a new commit that does the formatting". That seems different to me from these wider-scale cleanups.<br class="gmail_msg">><br class="gmail_msg">> I think I'm personally mostly in favor of this sort of stuff (though I think I would like some community buy-in to sign off project-wide on each clang-tidy rule/pattern/etc that's going to be applied) but it does seem new/different from the way some things have been done in the past so I'm curious how other people think about the differences/similarities/guiding principles.<br class="gmail_msg">><br class="gmail_msg">> - David<br class="gmail_msg">> _______________________________________________<br class="gmail_msg">> LLVM Developers mailing list<br class="gmail_msg">><span class="Apple-converted-space"> </span><a href="mailto:llvm-dev@lists.llvm.org" class="gmail_msg" target="_blank">llvm-dev@lists.llvm.org</a><br class="gmail_msg">><span class="Apple-converted-space"> </span><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" class="gmail_msg" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a></blockquote></div></div></div></blockquote></div><br class=""></body></html>