forked from OSchip/llvm-project
parent
7cb5070672
commit
3b93c91836
llvm/lib/VMCore
|
@ -340,6 +340,12 @@ void Verifier::visitPHINode(PHINode &PN) {
|
||||||
"PHI nodes not grouped at top of basic block!",
|
"PHI nodes not grouped at top of basic block!",
|
||||||
&PN, PN.getParent());
|
&PN, PN.getParent());
|
||||||
|
|
||||||
|
// Check that all of the operands of the PHI node have the same type as the
|
||||||
|
// result.
|
||||||
|
for (unsigned i = 0, e = PN.getNumIncomingValues(); i != e; ++i)
|
||||||
|
Assert1(PN.getType() == PN.getIncomingValue(i)->getType(),
|
||||||
|
"PHI node operands are not the same type as the result!", &PN);
|
||||||
|
|
||||||
// All other PHI node constraints are checked in the visitBasicBlock method.
|
// All other PHI node constraints are checked in the visitBasicBlock method.
|
||||||
|
|
||||||
visitInstruction(PN);
|
visitInstruction(PN);
|
||||||
|
|
Loading…
Reference in New Issue