<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">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 class="">On Fri, Dec 2, 2016 at 12:34 AM, Sean Silva via llvm-commits<br>
<<a href="mailto:llvm-commits@lists.llvm.org">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">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-<wbr>project?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><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="HOEnZb"><font color="#888888"><br>
--<br>
Davide<br>
</font></span></blockquote></div><br></div></div>