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)
commitb3e2d3a638e9a8dd1140d46d541d61fb92a0b7ee
tree13b857ad26320b72bbb6c943f569a040e8ad528c
parent339468ece6f27db88843a8887fa820f230787ac4
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.

llvm-svn: 174122
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstSimplify/compare.ll