void WhileStmt::verify()
{
BlockStmt::verify();
if (condExprGet() == 0)
INT_FATAL(this, "WhileStmt::verify. condExpr is NULL");
if (BlockStmt::blockInfoGet() != 0)
INT_FATAL(this, "WhileStmt::verify. blockInfo is not NULL");
if (useList != 0)
INT_FATAL(this, "WhileStmt::verify. useList is not NULL");
if (byrefVars != 0)
INT_FATAL(this, "WhileStmt::verify. byrefVars is not NULL");
if (forallIntents != 0)
INT_FATAL(this, "WhileStmt::verify. forallIntents is not NULL");
}
GenRet DoWhileStmt::codegen()
{
GenInfo* info = gGenInfo;
FILE* outfile = info->cfile;
GenRet ret;
codegenStmt(this);
if (outfile)
{
codegenOrderIndependence();
info->cStatements.push_back("do ");
if (this != getFunction()->body)
info->cStatements.push_back("{\n");
body.codegen("");
std::string ftr= "} while (" + codegenValue(condExprGet()).c + ");\n";
info->cStatements.push_back(ftr);
}
else
{
#ifdef HAVE_LLVM
llvm::Function* func = info->builder->GetInsertBlock()->getParent();
llvm::BasicBlock* blockStmtBody = NULL;
llvm::BasicBlock* blockStmtEnd = NULL;
llvm::BasicBlock* blockStmtEndCond = NULL;
getFunction()->codegenUniqueNum++;
blockStmtBody = llvm::BasicBlock::Create(info->module->getContext(), FNAME("blk_body"));
blockStmtEnd = llvm::BasicBlock::Create(info->module->getContext(), FNAME("blk_end"));
info->builder->CreateBr(blockStmtBody);
// Now add the body.
func->getBasicBlockList().push_back(blockStmtBody);
info->builder->SetInsertPoint(blockStmtBody);
info->lvt->addLayer();
body.codegen("");
info->lvt->removeLayer();
// Add the condition block.
blockStmtEndCond = llvm::BasicBlock::Create(info->module->getContext(), FNAME("blk_end_cond"));
func->getBasicBlockList().push_back(blockStmtEndCond);
// Insert an explicit branch from the body block to the loop condition.
info->builder->CreateBr(blockStmtEndCond);
// set insert point
info->builder->SetInsertPoint(blockStmtEndCond);
GenRet condValueRet = codegenValue(condExprGet());
llvm::Value* condValue = condValueRet.val;
if (condValue->getType() != llvm::Type::getInt1Ty(info->module->getContext()))
{
condValue = info->builder->CreateICmpNE(condValue,
llvm::ConstantInt::get(condValue->getType(), 0),
FNAME("condition"));
}
info->builder->CreateCondBr(condValue, blockStmtBody, blockStmtEnd);
func->getBasicBlockList().push_back(blockStmtEnd);
info->builder->SetInsertPoint(blockStmtEnd);
if (blockStmtBody ) INT_ASSERT(blockStmtBody->getParent() == func);
if (blockStmtEndCond) INT_ASSERT(blockStmtEndCond->getParent() == func);
if (blockStmtEnd ) INT_ASSERT(blockStmtEnd->getParent() == func);
#endif
}
return ret;
}
