mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-18 12:29:21 +00:00
PHI nodes are not allowed to exist with zero incoming values, check that
there aren't any like this. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@4044 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
2a408f06b5
commit
f6ffcb6b71
@ -17,6 +17,7 @@
|
||||
// * Only phi nodes can be self referential: 'add int %0, %0 ; <int>:0' is bad
|
||||
// * PHI nodes must have an entry for each predecessor, with no extras.
|
||||
// * PHI nodes must be the first thing in a basic block, all grouped together
|
||||
// * PHI nodes must have at least one entry
|
||||
// * All basic blocks should only end with terminator insts, not contain them
|
||||
// * The entry node to a function must not have predecessors
|
||||
// * All Instructions must be embeded into a basic block
|
||||
@ -258,6 +259,12 @@ void Verifier::visitPHINode(PHINode &PN) {
|
||||
"PHI nodes not grouped at top of basic block!",
|
||||
&PN, PN.getParent());
|
||||
|
||||
// Ensure that PHI nodes have at least one entry!
|
||||
Assert1(PN.getNumIncomingValues() != 0,
|
||||
"PHI nodes must have at least one entry. If the block is dead, "
|
||||
"the PHI should be removed!",
|
||||
&PN);
|
||||
|
||||
std::vector<BasicBlock*> Preds(pred_begin(PN.getParent()),
|
||||
pred_end(PN.getParent()));
|
||||
// Loop over all of the incoming values, make sure that there are
|
||||
|
Loading…
Reference in New Issue
Block a user