]> granicus.if.org Git - llvm/commit
NewGVN: Fix PR31594, by tracking the store count of congruence
authorDaniel Berlin <dberlin@dberlin.org>
Wed, 11 Jan 2017 20:22:36 +0000 (20:22 +0000)
committerDaniel Berlin <dberlin@dberlin.org>
Wed, 11 Jan 2017 20:22:36 +0000 (20:22 +0000)
commit42f1f6e771df5a450033067fcbff2ddb57f70c14
tree5b79240da6b9cc579b508ae18e776c9b762583e5
parent06963901efd099d90476480a92aed9f60a9af623
NewGVN: Fix PR31594, by tracking the store count of congruence
classes, and updating checking to allow for equivalence through
reachability.

(Sadly, the checking here is not perfect, and can't be made perfect,
so we'll have to disable it after we are satisfied with correctness.
Right now it is just "very unlikely" to happen.)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@291698 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/NewGVN.cpp
test/Transforms/NewGVN/pr31594.ll [new file with mode: 0644]