fix PR3217: fully cached queries need to be verified against the
authorChris Lattner <sabre@nondot.org>
Tue, 16 Dec 2008 07:10:09 +0000 (07:10 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 16 Dec 2008 07:10:09 +0000 (07:10 +0000)
commitf478951b0eeed2f8a9e39254f65458c9325dab91
treed2c4899df814822e49ce59b20406dac2ab066c6f
parent812d7506d0c55fbb0eee522cb77b62e4ab777dea
fix PR3217: fully cached queries need to be verified against the
visited set before they are used.  If used, their blocks need to be
added to the visited set so that subsequent queries don't use conflicting
pointer values in the cache result blocks.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61080 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/MemoryDependenceAnalysis.cpp
test/Transforms/GVN/2008-12-15-CacheVisited.ll [new file with mode: 0644]