diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2017-01-11 20:22:36 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@dberlin.org> | 2017-01-11 20:22:36 +0000 |
| commit | f6eba4be2c3511f0f8daf2b91f4d556d8f43704b (patch) | |
| tree | 505a7c4527b4b994ecf79f3b37da383b9af70d46 /llvm/lib/Fuzzer/FuzzerValueBitMap.h | |
| parent | 3a1bd0216aea283fe830c71a3f14351e93077f73 (diff) | |
| download | bcm5719-llvm-f6eba4be2c3511f0f8daf2b91f4d556d8f43704b.tar.gz bcm5719-llvm-f6eba4be2c3511f0f8daf2b91f4d556d8f43704b.zip | |
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.)
llvm-svn: 291698
Diffstat (limited to 'llvm/lib/Fuzzer/FuzzerValueBitMap.h')
0 files changed, 0 insertions, 0 deletions
