[PATCH] D29195: NewGVN: Fix bug exposed by PR31761

[Daniel Berlin via Phabricator via llvm-commits]

dberlin created this revision.

This does not actually fix the testcase in PR31761 (discussion is
ongoing on the testcase), but does fix a bug it exposes, where stores
were not properly clobbering loads.

We accomplish this by unifying the memory equivalence infratructure
back into the normal congruence infrastructure, and then properly
destroying congruence classes when memory state leaders disappear.


https://reviews.llvm.org/D29195

Files:
  lib/Transforms/Scalar/NewGVN.cpp
  test/Transforms/NewGVN/pr31594.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D29195.85952.patch
Type: text/x-patch
Size: 13699 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170126/b30271a3/attachment.bin>