D/ldc
1
0
Fork 0
mirror of https://github.com/xomboverlord/ldc.git synced 2026-02-09 00:13:14 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix continue inside dowhile statements.

Browse Source 
Fixes:
run/do_while_02
This commit is contained in:
Christian Kamm
2008-08-16 11:19:34 +02:00
parent 406cefb53f
commit ceb292ed85
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
gen/statements.cpp
View File

@@ -282,6 +282,7 @@ void DoStatement::toIR(IRState* p)
// create while blocks
llvm::BasicBlock* oldend = gIR->scopeend();
llvm::BasicBlock* dowhilebb = llvm::BasicBlock::Create("dowhile", gIR->topfunc(), oldend);
llvm::BasicBlock* condbb = llvm::BasicBlock::Create("dowhilecond", gIR->topfunc(), oldend);
llvm::BasicBlock* endbb = llvm::BasicBlock::Create("enddowhile", gIR->topfunc(), oldend);
// move into the while block
@@ -289,13 +290,17 @@ void DoStatement::toIR(IRState* p)
llvm::BranchInst::Create(dowhilebb, gIR->scopebb());
// replace current scope
gIR->scope() = IRScope(dowhilebb,endbb);
gIR->scope() = IRScope(dowhilebb,condbb);
// do-while body code
p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,dowhilebb,endbb));
p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,condbb,endbb));
body->toIR(p);
p->loopbbs.pop_back();
// branch to condition block
llvm::BranchInst::Create(condbb, gIR->scopebb());
gIR->scope() = IRScope(condbb,endbb);
// create the condition
DValue* cond_e = condition->toElem(p);
LLValue* cond_val = DtoBoolean(loc, cond_e);