diff options
| author | Dan Gohman <dan433584@gmail.com> | 2013-02-01 00:11:13 +0000 |
|---|---|---|
| committer | Dan Gohman <dan433584@gmail.com> | 2013-02-01 00:11:13 +0000 |
| commit | b3e2d3a638e9a8dd1140d46d541d61fb92a0b7ee (patch) | |
| tree | 13b857ad26320b72bbb6c943f569a040e8ad528c /llvm/lib/IR/PassManager.cpp | |
| parent | 339468ece6f27db88843a8887fa820f230787ac4 (diff) | |
| download | bcm5719-llvm-b3e2d3a638e9a8dd1140d46d541d61fb92a0b7ee.tar.gz bcm5719-llvm-b3e2d3a638e9a8dd1140d46d541d61fb92a0b7ee.zip | |
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
Diffstat (limited to 'llvm/lib/IR/PassManager.cpp')
0 files changed, 0 insertions, 0 deletions
