<div dir="ltr">I'm not familiar with GVN, but even if it is similar to it, I don' think I <i>should</i> use the same term used there. I originally chose GroupId because it was a group id (and the term "group" is used in gold's safe ICF paper to describe the concept <a href="http://static.googleusercontent.com/media/research.google.com/en//pubs/archive/36912.pdf">http://static.googleusercontent.com/media/research.google.com/en//pubs/archive/36912.pdf</a>), and then changed it to Color because it's one word and easy to digest than GroupId to me (e.g. we'll just color them in different colors!). Congruence class is, well, it sounds too technical and doesn't improve readability at least to me.</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Dec 2, 2016 at 12:46 AM, Sean Silva <span dir="ltr"><<a href="mailto:chisophugis@gmail.com" target="_blank">chisophugis@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><span class="">On Fri, Dec 2, 2016 at 12:35 AM, Davide Italiano <span dir="ltr"><<a href="mailto:davide@freebsd.org" target="_blank">davide@freebsd.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On Fri, Dec 2, 2016 at 12:34 AM, Sean Silva via llvm-commits<br>
<<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>> wrote:<br>
><br>
><br>
> On Thu, Dec 1, 2016 at 11:45 AM, Rui Ueyama via llvm-commits<br>
> <<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>> wrote:<br>
>><br>
>> Author: ruiu<br>
>> Date: Thu Dec  1 13:45:22 2016<br>
>> New Revision: 288409<br>
>><br>
>> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=288409&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-pr<wbr>oject?rev=288409&view=rev</a><br>
>> Log:<br>
>> Updates file comments and variable names.<br>
>><br>
>> Use "color" instead of "group id" to describe the ICF algorithm.<br>
><br>
><br>
> The right term is "congruence class"; I think you should use it. This ICF<br>
> algorithm is basically a simple "optimistic" GVN/CSE algorithm; all values<br>
> are initially assumed to be in the same congruence class and then that<br>
> equivalence class is iteratively split as contradictions are found until<br>
> there are no contradictions.<br>
><br>
<br>
</span>+1, I think the proper term is congruence here.<br></blockquote><div><br></div></span><div>I think you've been working on NewGVN for long enough to know better than "I think" ;)</div><div><br></div><div>-- Sean Silva</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="m_-4000831247460638509HOEnZb"><font color="#888888"><br><span class="HOEnZb"><font color="#888888">
--<br>
Davide<br>
</font></span></font></span></blockquote></div><br></div></div>
</blockquote></div><br></div>