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

Daniel Berlin via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Dec 30 23:52:43 PST 2016


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>


More information about the llvm-commits mailing list