Rewrite instsimplify's handling if icmp on pointer values to remove the
authorDan Gohman <dan433584@gmail.com>
Fri, 1 Feb 2013 00:11:13 +0000 (00:11 +0000)
committerDan Gohman <dan433584@gmail.com>
Fri, 1 Feb 2013 00:11:13 +0000 (00:11 +0000)
commitfdd1eafe867734df285bbdb01cf1d21f63716798
tree9761f678d70c837174e7664fc45f04554bb03810
parent3529d1aa8df3cfd9e37b1a4252cabc0f01652e94
Rewrite instsimplify's handling if icmp on pointer values to remove the
remaining use of AliasAnalysis concepts such as isIdentifiedObject to
prove pointer inequality.

@external_compare in test/Transforms/InstSimplify/compare.ll shows a simple
case where a noalias argument can be equal to a global variable address, and
while AliasAnalysis can get away with saying that these pointers don't alias,
instsimplify cannot say that they are not equal.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174122 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/InstructionSimplify.cpp
test/Transforms/InstSimplify/compare.ll