Test for lazy value info's ability to prove the absense of NULLs in pointers.
authorNick Lewycky <nicholas@mxc.ca>
Sun, 16 Jan 2011 21:57:20 +0000 (21:57 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Sun, 16 Jan 2011 21:57:20 +0000 (21:57 +0000)
commit33d84007b55b526c355e0c9e25abc450f2732bc7
treeca6b26abf5e3a22f831a87cf7b3c5f4c88898566
parentddbb3bcdd7727a891eea5d52ad78dbb8c0be131c
Test for lazy value info's ability to prove the absense of NULLs in pointers.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123601 91177308-0d34-0410-b5e6-96231b3b80d8
test/Transforms/CorrelatedValuePropagation/non-null.ll [new file with mode: 0644]