maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Verify that phi instructions refer to MBBs in the CFG. 

The machine code verifier no longer tolerates phi instructions with noop
operands. All MBBs on a phi instruction must be in the CFG.

llvm-svn: 82448
This commit is contained in:
Jakob Stoklund Olesen 2009-09-21 07:19:08 +00:00
parent 4d8af2f1ae
commit f6eb7d83d1
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
llvm/lib/CodeGen/MachineVerifier.cpp
View File

@ -592,13 +592,14 @@ MachineVerifier::visitMachineOperand(const MachineOperand *MO, unsigned MONum)
}
break;
}
// Can PHI instrs refer to MBBs not in the CFG? X86 and ARM do.
// case MachineOperand::MO_MachineBasicBlock:
// if (MI->getOpcode() == TargetInstrInfo::PHI) {
// if (!MO->getMBB()->isSuccessor(MI->getParent()))
// report("PHI operand is not in the CFG", MO, MONum);
// }
// break;
case MachineOperand::MO_MachineBasicBlock:
if (MI->getOpcode() == TargetInstrInfo::PHI) {
if (!MO->getMBB()->isSuccessor(MI->getParent()))
report("PHI operand is not in the CFG", MO, MONum);
}
break;
default:
break;
}