Add IsFinished arg to EmitBlock.

- Indicates that caller is done with the block and it can be dropped
   if it has no predecessors. Useful for callers who need to make
   landing pads but which may not be reached.

No functionality change.

llvm-svn: 59207
This commit is contained in:
Daniel Dunbar 2008-11-13 01:24:05 +00:00
parent d0e32791d5
commit fcac22eac1
2 changed files with 13 additions and 2 deletions

View File

@ -157,9 +157,15 @@ RValue CodeGenFunction::EmitCompoundStmt(const CompoundStmt &S, bool GetLast,
return EmitAnyExpr(cast<Expr>(LastStmt), AggLoc);
}
void CodeGenFunction::EmitBlock(llvm::BasicBlock *BB) {
void CodeGenFunction::EmitBlock(llvm::BasicBlock *BB, bool IsFinished) {
// Fall out of the current block (if necessary).
EmitBranch(BB);
if (IsFinished && BB->use_empty()) {
delete BB;
return;
}
CurFn->getBasicBlockList().push_back(BB);
Builder.SetInsertPoint(BB);
}

View File

@ -237,7 +237,12 @@ public:
/// insert point, adding a fall-through branch from the current
/// insert block if necessary. It is legal to call this function
/// even if there is no current insertion point.
void EmitBlock(llvm::BasicBlock *BB);
///
/// IsFinished - If true, indicates that the caller has finished
/// emitting branches to the given block and does not expect to emit
/// code into it. This means the block can be ignored if it is
/// unreachable.
void EmitBlock(llvm::BasicBlock *BB, bool IsFinished=false);
/// EmitBranch - Emit a branch to the specified basic block from the
/// current insert block, taking care to avoid creation of branches