diff options
-rw-r--r-- | lib/Transforms/IPO/StructRetPromotion.cpp | 28 | ||||
-rw-r--r-- | test/Transforms/SRETPromotion/2008-03-11-attributes.ll | 7 |
2 files changed, 21 insertions, 14 deletions
diff --git a/lib/Transforms/IPO/StructRetPromotion.cpp b/lib/Transforms/IPO/StructRetPromotion.cpp index 686ffda..c6b561d 100644 --- a/lib/Transforms/IPO/StructRetPromotion.cpp +++ b/lib/Transforms/IPO/StructRetPromotion.cpp @@ -210,17 +210,17 @@ Function *SRETPromotion::cloneFunctionBody(Function *F, // Skip first argument. Function::arg_iterator I = F->arg_begin(), E = F->arg_end(); ++I; - unsigned ParamIndex = 1; // 0th parameter attribute is reserved for return type. + // 0th parameter attribute is reserved for return type. + // 1th parameter attribute is for first 1st sret argument. + unsigned ParamIndex = 2; while (I != E) { Params.push_back(I->getType()); - ParameterAttributes Attrs = ParamAttr::None; if (PAL) { - Attrs = PAL->getParamAttrs(ParamIndex); - if (ParamIndex == 1) // Skip sret attribute - Attrs = Attrs ^ ParamAttr::StructRet; + ParameterAttributes Attrs = PAL->getParamAttrs(ParamIndex); + if (Attrs != ParamAttr::None) + ParamAttrsVec.push_back(ParamAttrsWithIndex::get(ParamIndex - 1, + Attrs)); } - if (Attrs != ParamAttr::None) - ParamAttrsVec.push_back(ParamAttrsWithIndex::get(ParamIndex, Attrs)); ++I; ++ParamIndex; } @@ -269,17 +269,17 @@ void SRETPromotion::updateCallSites(Function *F, Function *NF) { CallSite::arg_iterator AI = CS.arg_begin(), AE = CS.arg_end(); Value *FirstCArg = *AI; ++AI; - unsigned ParamIndex = 1; // 0th parameter attribute is reserved for return type. + // 0th parameter attribute is reserved for return type. + // 1th parameter attribute is for first 1st sret argument. + unsigned ParamIndex = 2; while (AI != AE) { Args.push_back(*AI); - ParameterAttributes Attrs = ParamAttr::None; if (PAL) { - Attrs = PAL->getParamAttrs(ParamIndex); - if (ParamIndex == 1) // Skip sret attribute - Attrs = Attrs ^ ParamAttr::StructRet; + ParameterAttributes Attrs = PAL->getParamAttrs(ParamIndex); + if (Attrs != ParamAttr::None) + ArgAttrsVec.push_back(ParamAttrsWithIndex::get(ParamIndex - 1, + Attrs)); } - if (Attrs != ParamAttr::None) - ArgAttrsVec.push_back(ParamAttrsWithIndex::get(Args.size(), Attrs)); ++ParamIndex; ++AI; } diff --git a/test/Transforms/SRETPromotion/2008-03-11-attributes.ll b/test/Transforms/SRETPromotion/2008-03-11-attributes.ll new file mode 100644 index 0000000..81a1476 --- /dev/null +++ b/test/Transforms/SRETPromotion/2008-03-11-attributes.ll @@ -0,0 +1,7 @@ +; RUN: llvm-as < %s | opt -sretpromotion -disable-output + %struct.ObjPoint = type { double, double, double, double, double, double } + +define void @RotatePoint(%struct.ObjPoint* sret %agg.result, %struct.ObjPoint* byval %a, double %rx, double %ry, double %rz) nounwind { +entry: + unreachable +} |