[PATCH] D28192: NewGVN: Fix PR31480, PR31483, PR31499, by rewriting how memory congruence handling works.

[Daniel Berlin via Phabricator via llvm-commits]

dberlin created this revision.
dberlin added a reviewer: davide.
dberlin added a subscriber: llvm-commits.

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.


https://reviews.llvm.org/D28192

Files:
  lib/Transforms/Scalar/NewGVN.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D28192.82757.patch
Type: text/x-patch
Size: 11081 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161231/63e5ea04/attachment.bin>