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

Remove tail marker when changing an argument to an alloca.

Browse Source 
Argument promotion can replace an argument of a call with an alloca. This
requires clearing the tail marker as it is very likely that the callee is now
using an alloca in the caller.

This fixes pr14710.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@199909 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Rafael Espindola 2014-01-23 17:19:42 +00:00
parent 7d3b9d96b6
commit 35b78fd04c
2 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -807,6 +807,16 @@ CallGraphNode *ArgPromotion::DoPromotion(Function *F,
I->replaceAllUsesWith(TheAlloca);
TheAlloca->takeName(I);
AA.replaceWithNewValue(I, TheAlloca);
// If the alloca is used in a call, we must clear the tail flag since
// the callee now uses an alloca from the caller.
for (Value::use_iterator UI = TheAlloca->use_begin(),
E = TheAlloca->use_end(); UI != E; ++UI) {
CallInst *Call = dyn_cast<CallInst>(*UI);
if (!Call)
continue;
Call->setTailCall(false);
}
continue;
}

19
test/Transforms/ArgumentPromotion/tail.ll Normal file
View File

@ -0,0 +1,19 @@
; RUN: opt %s -argpromotion -S -o - | FileCheck %s
%pair = type { i32, i32 }
declare i8* @foo(%pair*)
define internal void @bar(%pair* byval %Data) {
; CHECK: define internal void @bar(i32 %Data.0, i32 %Data.1)
; CHECK: %Data = alloca %pair
; CHECK-NOT: tail
; CHECK: call i8* @foo(%pair* %Data)
tail call i8* @foo(%pair* %Data)
ret void
}
define void @zed(%pair* byval %Data) {
call void @bar(%pair* byval %Data)
ret void
}