Don't try to promote the same alloca twice. Fixes PR13916!

Chandler, it's not obvious that it's okay that this alloca gets into the list
twice to begin with. Please review and see whether this is the fix you really
want, but I wanted to get a fix checked in quickly.

llvm-svn: 164634
This commit is contained in:
Nick Lewycky 2012-09-25 21:15:50 +00:00
parent 96ce37cbdf
commit 0c83ee116c
2 changed files with 28 additions and 0 deletions

View File

@ -3108,6 +3108,12 @@ bool SROA::promoteAllocas(Function &F) {
if (PromotableAllocas.empty())
return false;
// Ensure that the list is unique.
std::sort(PromotableAllocas.begin(), PromotableAllocas.end());
PromotableAllocas.erase(std::unique(PromotableAllocas.begin(),
PromotableAllocas.end()),
PromotableAllocas.end());
NumPromoted += PromotableAllocas.size();
if (DT && !ForceSSAUpdater) {

View File

@ -855,3 +855,25 @@ entry:
%result = or i8 %load, %load2
ret i8 %result
}
%test22.struct = type { i8 }
define void @test22() {
; CHECK: @test22
; CHECK-NOT: alloca
; CHECK: ret void
; PR13916
entry:
%A = alloca %test22.struct
br i1 undef, label %if.then, label %if.end
if.then: ; preds = %entry
%tmp = bitcast %test22.struct* %A to i8*
%tmp1 = bitcast %test22.struct* %A to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* %tmp, i8* %tmp1, i32 1, i32 1, i1 false)
unreachable
if.end: ; preds = %entry
%tmp2 = load %test22.struct* %A
ret void
}