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)
commit995d40e1e29c85dbe301ab9fc44de1f2c0c52d72
treecafddfabd895f28daf383bd7171d6e474b6b63ad
parente5d8d0d64b6cc85e8aaa750cb68e90e672937517
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.

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