diff options
| author | Torok Edwin <edwintorok@gmail.com> | 2009-09-24 09:47:18 +0000 |
|---|---|---|
| committer | Torok Edwin <edwintorok@gmail.com> | 2009-09-24 09:47:18 +0000 |
| commit | f95a450ef9d6d106af171c4f34b2427c32dfc91f (patch) | |
| tree | b024e29c898bcaa3c6310ffc86596cd5016659ab /llvm/lib/Transforms/Scalar | |
| parent | a5840dbcb55dd6757916446b442a97f12ff154ab (diff) | |
| download | bcm5719-llvm-f95a450ef9d6d106af171c4f34b2427c32dfc91f.tar.gz bcm5719-llvm-f95a450ef9d6d106af171c4f34b2427c32dfc91f.zip | |
Don't constant propagate byval pointers, since they are not really pointers, but
rather structs passed by value.
This fixes PR5038.
llvm-svn: 82689
Diffstat (limited to 'llvm/lib/Transforms/Scalar')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/SCCP.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Transforms/Scalar/SCCP.cpp b/llvm/lib/Transforms/Scalar/SCCP.cpp index f0b5d7702e3..bf9ec0e4adf 100644 --- a/llvm/lib/Transforms/Scalar/SCCP.cpp +++ b/llvm/lib/Transforms/Scalar/SCCP.cpp @@ -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)); } |
