Lines Matching full:basic
26 // * PHI nodes must be the first thing in a basic block, all grouped together
28 // * All basic blocks should only end with terminator insts, not contain them
30 // * All Instructions must be embedded into a basic block
161 /// \brief When verifying a basic block, keep track of all of the
194 OS << "Basic Block in function '" << F.getName()
1127 // verifyBasicBlock - Verify that a basic block is well formed...
1132 // Ensure that basic blocks have terminators!
1133 Assert1(BB.getTerminator(), "Basic Block does not have terminator!", &BB);
1135 // Check constraints that this basic block imposes on all of the PHI nodes in
1149 "parent basic block!", PN);
1161 // particular basic block in this PHI node, that the incoming values are
1166 "PHI node has multiple entries for the same basic block with "
1181 // Ensure that terminators only exist at the end of the basic block.
1183 "Terminator found in the middle of a basic block!", I.getParent());
1509 "PHI nodes not grouped at top of basic block!",
1513 // result, and that the incoming blocks are really basic blocks.
2160 Assert1(BB, "Instruction not embedded in basic block!", &I);
2186 // themselves, actually have parent basic blocks. If the use is not an
2191 " instruction not embedded in a basic block!", &I, Used);
2219 "Referring to a basic block in another function!", &I);
