RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-12-12 14:17:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Don't drop function/call return attributes like 'nounwind'.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@46645 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Duncan Sands 2008-02-01 20:37:16 +00:00
parent 8e34250820
commit 532d022794
2 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/Transforms/IPO/ArgumentPromotion.cpp
View File

@ -404,6 +404,10 @@ Function *ArgPromotion::DoPromotion(Function *F,
ParamAttrsVector ParamAttrsVec; ParamAttrsVector ParamAttrsVec;
const ParamAttrsList *PAL = F->getParamAttrs(); const ParamAttrsList *PAL = F->getParamAttrs();
// Add any return attributes.
if (unsigned attrs = PAL ? PAL->getParamAttrs(0) : 0)
ParamAttrsVec.push_back(ParamAttrsWithIndex::get(0, attrs));
unsigned ArgIndex = 1; unsigned ArgIndex = 1;
for (Function::arg_iterator I = F->arg_begin(), E = F->arg_end(); I != E; for (Function::arg_iterator I = F->arg_begin(), E = F->arg_end(); I != E;
++I, ++ArgIndex) { ++I, ++ArgIndex) {
@ -491,6 +495,10 @@ Function *ArgPromotion::DoPromotion(Function *F,
Instruction *Call = CS.getInstruction(); Instruction *Call = CS.getInstruction();
PAL = CS.getParamAttrs(); PAL = CS.getParamAttrs();
// Add any return attributes.
if (unsigned attrs = PAL ? PAL->getParamAttrs(0) : 0)
ParamAttrsVec.push_back(ParamAttrsWithIndex::get(0, attrs));
// Loop over the operands, inserting GEP and loads in the caller as // Loop over the operands, inserting GEP and loads in the caller as
// appropriate. // appropriate.
CallSite::arg_iterator AI = CS.arg_begin(); CallSite::arg_iterator AI = CS.arg_begin();

15
test/Transforms/ArgumentPromotion/2008-02-01-ReturnAttrs.ll Normal file
View File

@ -0,0 +1,15 @@
; RUN: llvm-as < %s | opt -argpromotion | llvm-dis | grep nounwind | count 2
define internal i32 @deref(i32* %x) nounwind {
entry:
%tmp2 = load i32* %x, align 4 ; <i32> [#uses=1]
ret i32 %tmp2
}
define i32 @f(i32 %x) {
entry:
%x_addr = alloca i32 ; <i32*> [#uses=2]
store i32 %x, i32* %x_addr, align 4
%tmp1 = call i32 @deref( i32* %x_addr ) nounwind ; <i32> [#uses=1]
ret i32 %tmp1
}