RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-01 00:25:01 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix PR9324 / <rdar://problem/9052489> by handling the case where a PHI has no uses.

Browse Source 
llvm-svn: 126567
This commit is contained in:
Cameron Zwarich 2011-02-27 08:06:01 +00:00
parent 1409977fe2
commit 764320383d
2 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
include/llvm/CodeGen/FunctionLoweringInfo.h
View File

@ -187,7 +187,12 @@ public:
/// InvalidatePHILiveOutRegInfo - Invalidates a PHI's LiveOutInfo, to be
/// called when a block is visited before all of its predecessors.
void InvalidatePHILiveOutRegInfo(const PHINode *PN) {
unsigned Reg = ValueMap[PN];
// PHIs with no uses have no ValueMap entry.
DenseMap<const Value*, unsigned>::const_iterator It = ValueMap.find(PN);
if (It == ValueMap.end())
return;
unsigned Reg = It->second;
LiveOutRegInfo.grow(Reg);
LiveOutRegInfo[Reg].IsValid = false;
}

20
test/CodeGen/X86/phi-bit-propagation.ll
View File

@ -33,3 +33,23 @@ return: ; preds = %for.body, %for.cond
%retval.0 = phi i1 [ true, %for.body ], [ false, %for.cond ]
ret i1 %retval.0
}
; This test case caused an assertion failure; see PR9324.
define void @func_37() noreturn nounwind ssp {
entry:
br i1 undef, label %lbl_919, label %entry.for.inc_crit_edge
entry.for.inc_crit_edge: ; preds = %entry
br label %for.inc
lbl_919: ; preds = %for.cond7.preheader, %entry
br label %for.cond7.preheader
for.cond7.preheader: ; preds = %for.inc, %lbl_919
%storemerge.ph = phi i8 [ 0, %lbl_919 ], [ %add, %for.inc ]
br i1 undef, label %for.inc, label %lbl_919
for.inc: ; preds = %for.cond7.preheader, %entry.for.inc_crit_edge
%add = add i8 undef, 1
br label %for.cond7.preheader
}