An argument and a local identified object (eg. a noalias call) could turn out
authorNick Lewycky <nicholas@mxc.ca>
Sat, 25 Feb 2012 20:19:07 +0000 (20:19 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Sat, 25 Feb 2012 20:19:07 +0000 (20:19 +0000)
commit28e215ba63164f201292f8c77bf038b4282aa052
tree39f1ffa20bb69ab0f1d72207445d08f400eff7cf
parent6bfb9d6a13261948c07599922246ac80e2ba66d0
An argument and a local identified object (eg. a noalias call) could turn out
equal if both are null. In the test, scope type %t and global @y by adding a
'gep' prefix to them.

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