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

[svn r37] * Initial support for foreach on static arrays. Not 100% complete

Browse Source
This commit is contained in:
Tomas Lindquist Olsen
2007-10-04 22:38:53 +02:00
parent e4eaf0455d
commit e17f720cce
2 changed files with 43 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
gen/statements.c
+26 -13
View File
@@ -659,42 +659,55 @@ void ForeachStatement::toIR(IRState* p)
assert(0); assert(0);
} }
if (op == TOKforeach) if (op == TOKforeach) {
{
new llvm::StoreInst(llvm::ConstantInt::get(keytype,0,false), keyvar, p->scopebb()); new llvm::StoreInst(llvm::ConstantInt::get(keytype,0,false), keyvar, p->scopebb());
} }
else if (op == TOKforeach_reverse) else if (op == TOKforeach_reverse) {
{
llvm::Value* v = llvm::BinaryOperator::createSub(numiters, llvm::ConstantInt::get(keytype,1,false),"tmp",p->scopebb()); llvm::Value* v = llvm::BinaryOperator::createSub(numiters, llvm::ConstantInt::get(keytype,1,false),"tmp",p->scopebb());
new llvm::StoreInst(v, keyvar, p->scopebb()); new llvm::StoreInst(v, keyvar, p->scopebb());
} }
else
assert(0);
delete arr; delete arr;
llvm::BasicBlock* oldend = gIR->scopeend(); llvm::BasicBlock* oldend = gIR->scopeend();
llvm::BasicBlock* begbb = new llvm::BasicBlock("foreachbegin", p->topfunc(), oldend);
llvm::BasicBlock* nexbb = new llvm::BasicBlock("foreachnext", p->topfunc(), oldend); llvm::BasicBlock* nexbb = new llvm::BasicBlock("foreachnext", p->topfunc(), oldend);
llvm::BasicBlock* begbb = new llvm::BasicBlock("foreachbegin", p->topfunc(), oldend);
llvm::BasicBlock* endbb = new llvm::BasicBlock("foreachend", p->topfunc(), oldend); llvm::BasicBlock* endbb = new llvm::BasicBlock("foreachend", p->topfunc(), oldend);
new llvm::BranchInst(begbb, p->scopebb()); new llvm::BranchInst(begbb, p->scopebb());
// next
p->scope() = IRScope(nexbb,begbb);
llvm::Value* done = 0;
llvm::Value* load = new llvm::LoadInst(keyvar, "tmp", p->scopebb());
if (op == TOKforeach) {
load = llvm::BinaryOperator::createAdd(load,llvm::ConstantInt::get(keytype, 1, false),"tmp",p->scopebb());
new llvm::StoreInst(load, keyvar, p->scopebb());
done = new llvm::ICmpInst(llvm::ICmpInst::ICMP_ULT, load, numiters, "tmp", p->scopebb());
}
else if (op == TOKforeach_reverse) {
done = new llvm::ICmpInst(llvm::ICmpInst::ICMP_UGT, load, llvm::ConstantInt::get(keytype, 0, false), "tmp", p->scopebb());
load = llvm::BinaryOperator::createSub(load,llvm::ConstantInt::get(keytype, 1, false),"tmp",p->scopebb());
new llvm::StoreInst(load, keyvar, p->scopebb());
}
new llvm::BranchInst(begbb, endbb, done, p->scopebb());
// begin // begin
p->scope() = IRScope(begbb,nexbb); p->scope() = IRScope(begbb,nexbb);
value->llvmValue = LLVM_DtoGEP(val,llvm::ConstantInt::get(keytype,0,false),keyvar,"tmp",p->scopebb()); // get value for this iteration
value->llvmValue = LLVM_DtoGEP(val,llvm::ConstantInt::get(keytype,0,false),new llvm::LoadInst(keyvar,"tmp",p->scopebb()),"tmp",p->scopebb());
// body // body
p->scope() = IRScope(p->scopebb(),endbb);
p->loopbbs.push_back(IRScope(nexbb,endbb));
body->toIR(p); body->toIR(p);
p->loopbbs.pop_back();
// next if (!p->scope().returned)
p->scope() = IRScope(nexbb,endbb); new llvm::BranchInst(nexbb, p->scopebb());
new llvm::BranchInst(endbb, p->scopebb());
// end // end
if (!p->scope().returned)
new llvm::BranchInst(endbb, p->scopebb());
p->scope() = IRScope(endbb,oldend); p->scope() = IRScope(endbb,oldend);
} }
test/foreach1.d
+17
View File
@@ -0,0 +1,17 @@
module foreach1;
import std.stdio;
void main()
{
static arr = [1,2,3,4,5];
writef("forward");
foreach(v;arr) {
writef(' ',v);
}
writef("\nreverse");
foreach_reverse(v;arr) {
writef(' ',v);
}
writef("\n");
}