RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity

Simplify some code in MachineVerifier that was doing the correct thing, but not

Browse Source 
in the most obvious way.

llvm-svn: 122610
This commit is contained in:
Cameron Zwarich 2010-12-28 23:45:38 +00:00
parent d93ec3572d
commit 0fa638e27c
1 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
lib/CodeGen/MachineVerifier.cpp
View File

@ -1118,8 +1118,8 @@ void MachineVerifier::verifyLiveIntervals() {
// Now check all the basic blocks in this live segment.
MachineFunction::const_iterator MFI = MBB;
// Is LI live-in to MBB and not a PHIDef?
if (I->start == VNI->def) {
// Is this live range the beginning of a non-PHIDef VN?
if (I->start == VNI->def && !VNI->isPHIDef()) {
// Not live-in to any blocks.
if (MBB == EndMBB)
continue;
@ -1141,16 +1141,9 @@ void MachineVerifier::verifyLiveIntervals() {
PE = MFI->pred_end(); PI != PE; ++PI) {
SlotIndex PEnd = LiveInts->getMBBEndIdx(*PI).getPrevSlot();
const VNInfo *PVNI = LI.getVNInfoAt(PEnd);
if (!PVNI) {
report("Register not marked live out of predecessor", *PI);
*OS << "Valno #" << VNI->id << " live into BB#" << MFI->getNumber()
<< '@' << LiveInts->getMBBStartIdx(MFI) << ", not live at "
<< PEnd << " in " << LI << '\n';
continue;
}
if (VNI->isPHIDef() && VNI->def == LiveInts->getMBBStartIdx(MFI)) {
if (!PVNI->hasPHIKill()) {
if (PVNI && !PVNI->hasPHIKill()) {
report("Value live out of predecessor doesn't have PHIKill", MF);
*OS << "Valno #" << PVNI->id << " live out of BB#"
<< (*PI)->getNumber() << '@' << PEnd
@ -1162,6 +1155,14 @@ void MachineVerifier::verifyLiveIntervals() {
continue;
}
if (!PVNI) {
report("Register not marked live out of predecessor", *PI);
*OS << "Valno #" << VNI->id << " live into BB#" << MFI->getNumber()
<< '@' << LiveInts->getMBBStartIdx(MFI) << ", not live at "
<< PEnd << " in " << LI << '\n';
continue;
}
if (PVNI != VNI) {
report("Different value live out of predecessor", *PI);
*OS << "Valno #" << PVNI->id << " live out of BB#"