An alloca can be equal to an argument. It can't *alias* an alloca, but it could
authorDan Gohman <dan433584@gmail.com>
Thu, 31 Jan 2013 23:49:33 +0000 (23:49 +0000)
committerDan Gohman <dan433584@gmail.com>
Thu, 31 Jan 2013 23:49:33 +0000 (23:49 +0000)
commitac08785edaac826afe11a4e596a46fc693848848
tree3113dd8303ade3bda241d64bc22e2ced5e711207
parent27aacedf7d975243170206efb948a20d6fd4a2c1
An alloca can be equal to an argument. It can't *alias* an alloca, but it could
be equal, since there's nothing preventing a caller from correctly predicting
the stack location of an alloca.

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