[llvm] r290815 - NewGVN: Fix PR31480, PR31483, PR31499, by rewriting how memory congruence handling works.

[Davide Italiano via llvm-commits]

On Mon, Jan 2, 2017 at 10:00 AM, Daniel Berlin via llvm-commits
<llvm-commits at lists.llvm.org> wrote:
> Author: dannyb
> Date: Mon Jan  2 12:00:46 2017
> New Revision: 290815
>
> URL: http://llvm.org/viewvc/llvm-project?rev=290815&view=rev
> Log:
> NewGVN: Fix PR31480, PR31483, PR31499, by rewriting how memory congruence handling works.
>
> Summary: Previously, we tried to fix up the equivalences during symbolic evaluation.  This does not work. Now, we change the equivalences during congruence finding, where it belongs.  We also initialize the equivalence table to give a maximal answer.
>

Did you mean to push this or it went in accidentally when you
committed the other change?

-- 
Davide

"There are no solved problems; there are only problems that are more
or less solved" -- Henri Poincare