<div dir="ltr"><div dir="ltr">On Sat, 24 Oct 2020 at 23:13, Nicolai Hähnle via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Maybe David wants to forbid this use of dynamic polymorphism outright.<br>
I think this is unacceptable, so in that case, it seems we have no<br>
choice but to start a formal process for resolving contentious<br>
decisions.</blockquote><div><br></div><div>If this ends up being the case, then you *must* revert the patch until the matter can be solved.</div><div><br></div><div>But as I said before, I would have reverted it a long time ago.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">(I would still ask people to _please_ be good citizens and allow us to<br>
make upstream progress in AMDGPU as we usually do while this is<br>
happening -- I explain my reasoning a bit more below -- but I'd accept<br>
it based on the rules that are in effect today. Invoking the formal<br>
process should give all participants the confidence that the question<br>
doesn't just end up dropped on the floor, and that the in-tree status<br>
of the code wouldn't implicitly favor either side of the discussion.)<br></blockquote><div><br></div><div>The AMD backend doesn't trump a high-level CFG design decision that affects *all* back-ends, front-ends and middle-ends. </div><div><br></div><div>If you progress your AMD work on your current assumption and it turns out people decide against it you will have to revert *all* of it, which is a lot more substantial (and a potentially dangerous merge) than just this CFG change.</div><div><br></div><div>I'd also strongly advise people reviewing the remaining work from approving the patches until this matter can be resolved. This is not a trivial issue and can have further consequences than just a simple revert.</div><div><br></div><div>And please, do not assume what being a good citizens is. We can all be good citizens and still overwhelmingly disagree with each other, as long as we keep it civil.</div><div><br></div><div>I see no evidence of lack of civility from either David or Mehdi. On the contrary, they're being extremely kind and patient.</div><div><br></div><div>cheers,</div><div>--renato</div></div></div>