Update the callgraph correctly in ArgumentPromotion.

llvm-svn: 55895
This commit is contained in:
Duncan Sands 2008-09-08 11:07:35 +00:00
parent 58d434d3e8
commit 62431a29a5
3 changed files with 44 additions and 0 deletions

View File

@ -607,6 +607,10 @@ Function *ArgPromotion::DoPromotion(Function *F,
// changes.
AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
// Get the callgraph information that we need to update to reflect our
// changes.
CallGraph &CG = getAnalysis<CallGraph>();
// Loop over all of the callers of the function, transforming the call sites
// to pass in the loaded pointers.
//
@ -710,6 +714,9 @@ Function *ArgPromotion::DoPromotion(Function *F,
// the old call with a new one.
AA.replaceWithNewValue(Call, New);
// Update the callgraph to know that the callsite has been transformed.
CG[Call->getParent()->getParent()]->replaceCallSite(Call, New);
if (!Call->use_empty()) {
Call->replaceAllUsesWith(New);
New->takeName(Call);

View File

@ -0,0 +1,12 @@
; RUN: llvm-as < %s | opt -inline -argpromotion -disable-output
define internal fastcc i32 @hash(i32* %ts, i32 %mod) nounwind {
entry:
unreachable
}
define void @encode(i32* %m, i32* %ts, i32* %new) nounwind {
entry:
%0 = call fastcc i32 @hash( i32* %ts, i32 0 ) nounwind ; <i32> [#uses=0]
unreachable
}

View File

@ -0,0 +1,25 @@
; RUN: llvm-as < %s | opt -argpromotion -disable-output
define internal fastcc i32 @term_SharingList(i32* %Term, i32* %List) nounwind {
entry:
br i1 false, label %bb, label %bb5
bb: ; preds = %entry
%0 = call fastcc i32 @term_SharingList( i32* null, i32* %List ) nounwind ; <i32> [#uses=0]
unreachable
bb5: ; preds = %entry
ret i32 0
}
define i32 @term_Sharing(i32* %Term) nounwind {
entry:
br i1 false, label %bb.i, label %bb14
bb.i: ; preds = %entry
%0 = call fastcc i32 @term_SharingList( i32* null, i32* null ) nounwind ; <i32> [#uses=0]
ret i32 1
bb14: ; preds = %entry
ret i32 0
}