Don't constant propagate byval pointers, since they are not really pointers, but

rather structs passed by value.
This fixes PR5038.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82689 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Torok Edwin
2009-09-24 09:47:18 +00:00
parent 48f7ce88a6
commit 30a94e3b42
3 changed files with 30 additions and 1 deletions

View File

@@ -130,7 +130,8 @@ bool IPCP::PropagateConstantsIntoArguments(Function &F) {
Function::arg_iterator AI = F.arg_begin();
for (unsigned i = 0, e = ArgumentConstants.size(); i != e; ++i, ++AI) {
// Do we have a constant argument?
if (ArgumentConstants[i].second || AI->use_empty())
if (ArgumentConstants[i].second || AI->use_empty() ||
(AI->hasByValAttr() && isa<PointerType>(AI->getType())))
continue;
Value *V = ArgumentConstants[i].first;

View File

@@ -1267,6 +1267,10 @@ CallOverdefined:
for (Function::arg_iterator AI = F->arg_begin(), E = F->arg_end();
AI != E; ++AI, ++CAI) {
LatticeVal &IV = ValueState[AI];
if (AI->hasByValAttr() && isa<PointerType>(AI->getType())) {
IV.markOverdefined();
continue;
}
if (!IV.isOverdefined())
mergeInValue(IV, AI, getValueState(*CAI));
}