projects/ldc: gen/statements.c annotate

annotate gen/statements.c @ 34:4648206ca213 trunk

[svn r38] * resizing dynamic arrays support * throw is replaced with assert(0) * catch is ignored * better foreach support * various bugfixes

author	lindquist
date	Tue, 09 Oct 2007 02:50:00 +0200
parents	bc641b23a714
children	77cdca8c210f

rev	line source
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1 // Statements: D -> LLVM glue
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	2
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	3 #include <stdio.h>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	4 #include <math.h>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	5 #include <sstream>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	6 #include <fstream>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	7 #include <iostream>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	8
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	9 #include "llvm/Type.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	10 #include "llvm/DerivedTypes.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	11 #include "llvm/Constants.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	12 #include "llvm/Instructions.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	13 #include "llvm/IntrinsicInst.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	14 #include "llvm/CallingConv.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	15
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	16 #include "total.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	17 #include "init.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	18 #include "symbol.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	19 #include "mtype.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	20 #include "hdrgen.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	21 #include "port.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	22
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	23 #include "gen/irstate.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	24 #include "gen/elem.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	25 #include "gen/logger.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	26 #include "gen/tollvm.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	27 #include "gen/runtime.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	28 #include "gen/arrays.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	29
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	30 //////////////////////////////////////////////////////////////////////////////
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	31
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	32 void CompoundStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	33 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	34 static int csi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	35 Logger::println("CompoundStatement::toIR(%d):\n<<<\n%s>>>", csi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	36 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	37
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	38 for (int i=0; i<statements->dim; i++)
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	39 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	40 Statement* s = (Statement*)statements->data[i];
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	41 if (s)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	42 s->toIR(p);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	43 else {
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	44 Logger::println("NULL statement found in CompoundStatement !! :S");
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	45 assert(0);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	46 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	47 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	48
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	49 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	50
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	51 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	52
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	53 void ReturnStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	54 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	55 static int rsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	56 Logger::println("ReturnStatement::toIR(%d): %s", rsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	57 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	58
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	59 if (exp)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	60 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	61 TY expty = exp->type->ty;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	62 if (p->topfunc()->getReturnType() == llvm::Type::VoidTy) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	63 assert(expty == Tstruct \|\| expty == Tdelegate \|\| expty == Tarray);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	64
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	65 TypeFunction* f = p->topfunctype();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	66 assert(f->llvmRetInPtr && f->llvmRetArg);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	67
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	68 p->lvals.push_back(f->llvmRetArg);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	69 elem* e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	70 p->lvals.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	71
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	72 // structliterals do this themselves
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	73 // also they dont produce any value
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	74 if (expty == Tstruct) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	75 if (!e->inplace) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	76 TypeStruct* ts = (TypeStruct*)exp->type;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	77 assert(e->mem);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	78 LLVM_DtoStructCopy(ts,f->llvmRetArg,e->mem);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	79 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	80 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	81 else if (expty == Tdelegate) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	82 // do nothing, handled by the DelegateExp
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	83 LLVM_DtoDelegateCopy(f->llvmRetArg,e->mem);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	84 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	85 else if (expty == Tarray) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	86 if (e->type == elem::SLICE) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	87 LLVM_DtoSetArray(f->llvmRetArg,e->arg,e->mem);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	88 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	89 // else the return value is a variable and should already have been assigned by now
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	90 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	91 else
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	92 assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	93
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	94 new llvm::ReturnInst(p->scopebb());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	95 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	96 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	97 else {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	98 elem* e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	99 llvm::Value* v = e->getValue();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	100 Logger::cout() << *v << '\n';
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	101 new llvm::ReturnInst(v, p->scopebb());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	102 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	103 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	104 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	105 else
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	106 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	107 if (p->topfunc()->getReturnType() == llvm::Type::VoidTy)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	108 new llvm::ReturnInst(p->scopebb());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	109 else
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	110 new llvm::UnreachableInst(p->scopebb());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	111 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	112
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	113 p->scope().returned = true;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	114 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	115
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	116 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	117
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	118 void ExpStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	119 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	120 static int esi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	121 Logger::println("ExpStatement::toIR(%d): %s", esi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	122 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	123
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	124 if (exp != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	125 elem* e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	126 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	127 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	128 /elem e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	129 p->buf.printf("%s", e->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	130 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	131 p->buf.writenl();*/
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	132 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	133
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	134 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	135
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	136 void IfStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	137 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	138 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	139 Logger::println("IfStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	140 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	141
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	142 elem* cond_e = condition->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	143 llvm::Value* cond_val = cond_e->getValue();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	144 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	145
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	146 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	147
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	148 llvm::BasicBlock* ifbb = new llvm::BasicBlock("if", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	149 llvm::BasicBlock* endbb = new llvm::BasicBlock("endif", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	150 llvm::BasicBlock* elsebb = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	151 if (elsebody) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	152 elsebb = new llvm::BasicBlock("else", gIR->topfunc(), endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	153 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	154 else {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	155 elsebb = endbb;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	156 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	157
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	158 if (cond_val->getType() != llvm::Type::Int1Ty) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	159 Logger::cout() << "if conditional: " << *cond_val << '\n';
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	160 cond_val = LLVM_DtoBoolean(cond_val);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	161 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	162 llvm::Value* ifgoback = new llvm::BranchInst(ifbb, elsebb, cond_val, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	163
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	164 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	165 gIR->scope() = IRScope(ifbb,elsebb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	166
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	167 bool endifUsed = false;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	168
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	169 // do scoped statements
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	170 ifbody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	171 if (!gIR->scopereturned()) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	172 new llvm::BranchInst(endbb,gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	173 endifUsed = true;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	174 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	175
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	176 if (elsebody) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	177 //assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	178 gIR->scope() = IRScope(elsebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	179 elsebody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	180 if (!gIR->scopereturned()) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	181 new llvm::BranchInst(endbb,gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	182 endifUsed = true;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	183 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	184 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	185
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	186 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	187 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	188 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	189
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	190 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	191
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	192 void ScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	193 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	194 Logger::println("ScopeStatement::toIR(): %s", toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	195 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	196
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	197 llvm::BasicBlock* oldend = p->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	198
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	199 IRScope irs;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	200 // remove useless branches by clearing and reusing the current basicblock
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	201 llvm::BasicBlock* bb = p->scopebegin();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	202 if (bb->empty()) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	203 irs.begin = bb;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	204 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	205 else {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	206 irs.begin = new llvm::BasicBlock("scope", p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	207 new llvm::BranchInst(irs.begin, p->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	208 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	209 irs.end = new llvm::BasicBlock("endscope", p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	210
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	211 gIR->scope() = irs;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	212
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	213 statement->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	214
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	215 p->scope() = IRScope(p->scopebb(),oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	216 irs.end->eraseFromParent();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	217
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	218 /*
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	219 if (!gIR->scopereturned()) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	220 new llvm::BranchInst(irs.end, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	221 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	222
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	223 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	224 gIR->scope() = IRScope(irs.end,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	225 */
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	226 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	227
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	228 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	229
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	230 void WhileStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	231 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	232 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	233 Logger::println("WhileStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	234 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	235
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	236 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	237 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	238 llvm::BasicBlock* whilebb = new llvm::BasicBlock("whilecond", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	239 llvm::BasicBlock* endbb = new llvm::BasicBlock("endwhile", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	240
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	241 // move into the while block
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	242 new llvm::BranchInst(whilebb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	243
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	244 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	245 gIR->scope() = IRScope(whilebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	246
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	247 // create the condition
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	248 elem* cond_e = condition->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	249 llvm::Value* cond_val = LLVM_DtoBoolean(cond_e->getValue());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	250 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	251
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	252 // while body block
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	253 llvm::BasicBlock* whilebodybb = new llvm::BasicBlock("whilebody", gIR->topfunc(), endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	254
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	255 // conditional branch
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	256 llvm::Value* ifbreak = new llvm::BranchInst(whilebodybb, endbb, cond_val, whilebb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	257
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	258 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	259 gIR->scope() = IRScope(whilebodybb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	260
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	261 // do while body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	262 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	263
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	264 // loop
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	265 new llvm::BranchInst(whilebb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	266
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	267 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	268 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	269 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	270
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	271 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	272
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	273 void DoStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	274 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	275 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	276 Logger::println("DoStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	277 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	278
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	279 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	280 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	281 llvm::BasicBlock* dowhilebb = new llvm::BasicBlock("dowhile", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	282 llvm::BasicBlock* endbb = new llvm::BasicBlock("enddowhile", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	283
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	284 // move into the while block
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	285 new llvm::BranchInst(dowhilebb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	286
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	287 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	288 gIR->scope() = IRScope(dowhilebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	289
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	290 // do do-while body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	291 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	292
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	293 // create the condition
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	294 elem* cond_e = condition->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	295 llvm::Value* cond_val = LLVM_DtoBoolean(cond_e->getValue());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	296 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	297
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	298 // conditional branch
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	299 llvm::Value* ifbreak = new llvm::BranchInst(dowhilebb, endbb, cond_val, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	300
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	301 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	302 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	303 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	304
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	305 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	306
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	307 void ForStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	308 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	309 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	310 Logger::println("ForStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	311 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	312
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	313 // create for blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	314 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	315 llvm::BasicBlock* forbb = new llvm::BasicBlock("forcond", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	316 llvm::BasicBlock* forbodybb = new llvm::BasicBlock("forbody", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	317 llvm::BasicBlock* forincbb = new llvm::BasicBlock("forinc", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	318 llvm::BasicBlock* endbb = new llvm::BasicBlock("endfor", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	319
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	320 // init
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	321 if (init != 0)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	322 init->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	323
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	324 // move into the for condition block, ie. start the loop
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	325 new llvm::BranchInst(forbb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	326
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	327 IRScope loop;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	328 loop.begin = forincbb;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	329 loop.end = endbb;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	330 p->loopbbs.push_back(loop);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	331
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	332 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	333 gIR->scope() = IRScope(forbb,forbodybb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	334
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	335 // create the condition
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	336 elem* cond_e = condition->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	337 llvm::Value* cond_val = LLVM_DtoBoolean(cond_e->getValue());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	338 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	339
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	340 // conditional branch
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	341 llvm::Value* ifbreak = new llvm::BranchInst(forbodybb, endbb, cond_val, forbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	342
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	343 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	344 gIR->scope() = IRScope(forbodybb,forincbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	345
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	346 // do for body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	347 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	348
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	349 // move into the for increment block
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	350 new llvm::BranchInst(forincbb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	351 gIR->scope() = IRScope(forincbb, endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	352
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	353 // increment
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	354 if (increment) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	355 elem* inc = increment->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	356 delete inc;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	357 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	358
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	359 // loop
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	360 new llvm::BranchInst(forbb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	361
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	362 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	363
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	364 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	365 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	366 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	367
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	368 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	369
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	370 void BreakStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	371 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	372 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	373 Logger::println("BreakStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	374 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	375
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	376 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	377 Logger::println("ident = %s", ident->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	378 assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	379 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	380 else {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	381 new llvm::BranchInst(gIR->loopbbs.back().end, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	382 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	383 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	384
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	385 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	386
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	387 void ContinueStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	388 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	389 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	390 Logger::println("ContinueStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	391 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	392
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	393 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	394 Logger::println("ident = %s", ident->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	395 assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	396 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	397 else {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	398 new llvm::BranchInst(gIR->loopbbs.back().begin, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	399 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	400 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	401
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	402 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	403
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	404 void OnScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	405 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	406 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	407 Logger::println("OnScopeStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	408 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	409
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	410 assert(statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	411 //statement->toIR(p); // this seems to be redundant
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	412 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	413
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	414 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	415
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	416 void TryFinallyStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	417 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	418 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	419 Logger::println("TryFinallyStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	420 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	421
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	422 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	423
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	424 llvm::BasicBlock* trybb = new llvm::BasicBlock("try", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	425 llvm::BasicBlock* finallybb = new llvm::BasicBlock("finally", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	426 llvm::BasicBlock* endbb = new llvm::BasicBlock("endtryfinally", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	427
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	428 // pass the previous BB into this
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	429 new llvm::BranchInst(trybb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	430
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	431 gIR->scope() = IRScope(trybb,finallybb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	432
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	433 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	434 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	435 new llvm::BranchInst(finallybb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	436
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	437 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	438 gIR->scope() = IRScope(finallybb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	439
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	440 assert(finalbody);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	441 finalbody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	442 new llvm::BranchInst(endbb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	443
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	444 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	445 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	446 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	447
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	448 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	449
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	450 void TryCatchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	451 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	452 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	453 Logger::println("TryCatchStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	454 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	455
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	456 Logger::println("*** ATTENTION: try-catch is not yet fully implemented, only the try block will be emitted.");
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	457
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	458 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	459 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	460
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	461 /*assert(catches);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	462 for(size_t i=0; i<catches->dim; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	463 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	464 Catch* c = (Catch*)catches->data[i];
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	465 c->handler->toIR(p);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	466 }*/
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	467 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	468
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	469 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	470
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	471 void ThrowStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	472 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	473 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	474 Logger::println("ThrowStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	475 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	476
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	477 Logger::println("*** ATTENTION: throw is not yet implemented, replacing expression with assert(0);");
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	478
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	479 llvm::Value* line = llvm::ConstantInt::get(llvm::Type::Int32Ty, loc.linnum, false);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	480 LLVM_DtoAssert(NULL, line, NULL);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	481
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	482 /*
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	483 assert(exp);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	484 elem* e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	485 delete e;
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	486 */
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	487 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	488
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	489 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	490
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	491 void SwitchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	492 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	493 Logger::println("SwitchStatement::toIR(): %s", toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	494 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	495
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	496 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	497
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	498 // collect the needed cases
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	499 typedef std::pair<llvm::BasicBlock, llvm::ConstantInt> CasePair;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	500 std::vector<CasePair> vcases;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	501 for (int i=0; i<cases->dim; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	502 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	503 CaseStatement* cs = (CaseStatement*)cases->data[i];
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	504
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	505 // get the case value
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	506 elem* e = cs->exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	507 assert(e->val && llvm::isa<llvm::ConstantInt>(e->val));
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	508 llvm::ConstantInt* ec = llvm::cast<llvm::ConstantInt>(e->val);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	509 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	510
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	511 // create the case bb with a nice label
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	512 std::string lblname("case"+std::string(cs->exp->toChars()));
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	513 llvm::BasicBlock* bb = new llvm::BasicBlock(lblname, p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	514
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	515 vcases.push_back(CasePair(bb,ec));
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	516 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	517
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	518 // default
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	519 llvm::BasicBlock* defbb = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	520 if (!hasNoDefault) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	521 defbb = new llvm::BasicBlock("default", p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	522 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	523
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	524 // end (break point)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	525 llvm::BasicBlock* endbb = new llvm::BasicBlock("switchend", p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	526
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	527 // condition var
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	528 elem* cond = condition->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	529 llvm::SwitchInst* si = new llvm::SwitchInst(cond->getValue(), defbb ? defbb : endbb, cases->dim, p->scopebb());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	530 delete cond;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	531
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	532 // add the cases
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	533 size_t n = vcases.size();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	534 for (size_t i=0; i<n; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	535 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	536 si->addCase(vcases[i].second, vcases[i].first);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	537 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	538
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	539 // insert case statements
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	540 for (size_t i=0; i<n; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	541 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	542 llvm::BasicBlock* nextbb = (i == n-1) ? (defbb ? defbb : endbb) : vcases[i+1].first;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	543 p->scope() = IRScope(vcases[i].first,nextbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	544
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	545 p->loopbbs.push_back(IRScope(p->scopebb(),endbb));
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	546 static_cast<CaseStatement*>(cases->data[i])->statement->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	547 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	548
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	549 llvm::BasicBlock* curbb = p->scopebb();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	550 if (!curbb->empty() && !curbb->back().isTerminator())
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	551 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	552 new llvm::BranchInst(nextbb, curbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	553 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	554 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	555
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	556 // default statement
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	557 if (defbb)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	558 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	559 p->scope() = IRScope(defbb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	560 p->loopbbs.push_back(IRScope(defbb,endbb));
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	561 sdefault->statement->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	562 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	563
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	564 llvm::BasicBlock* curbb = p->scopebb();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	565 if (!curbb->empty() && !curbb->back().isTerminator())
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	566 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	567 new llvm::BranchInst(endbb, curbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	568 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	569 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	570
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	571 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	572 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	573
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	574 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	575
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	576 void UnrolledLoopStatement::toIR(IRState* p)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	577 {
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	578 Logger::println("UnrolledLoopStatement::toIR(): %s", toChars());
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	579 LOG_SCOPE;
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	580
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	581 llvm::BasicBlock* oldend = gIR->scopeend();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	582 llvm::BasicBlock* endbb = new llvm::BasicBlock("unrolledend", p->topfunc(), oldend);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	583
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	584 p->scope() = IRScope(p->scopebb(),endbb);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	585 p->loopbbs.push_back(IRScope(p->scopebb(),endbb));
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	586
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	587 for (int i=0; i<statements->dim; ++i)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	588 {
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	589 Statement* s = (Statement*)statements->data[i];
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	590 s->toIR(p);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	591 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	592
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	593 p->loopbbs.pop_back();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	594
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	595 new llvm::BranchInst(endbb, p->scopebb());
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	596 p->scope() = IRScope(endbb,oldend);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	597 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	598
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	599 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	600
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	601 void ForeachStatement::toIR(IRState* p)
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	602 {
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	603 Logger::println("ForeachStatement::toIR(): %s", toChars());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	604 LOG_SCOPE;
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	605
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	606 //assert(arguments->dim == 1);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	607 assert(value != 0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	608 assert(body != 0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	609 assert(aggr != 0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	610 assert(func != 0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	611
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	612 //Argument* arg = (Argument*)arguments->data[0];
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	613 //Logger::println("Argument is %s", arg->toChars());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	614
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	615 Logger::println("aggr = %s", aggr->toChars());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	616 Logger::println("func = %s", func->toChars());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	617
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	618 elem* arr = aggr->toElem(p);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	619 llvm::Value* val = arr->getValue();
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	620 Logger::cout() << "aggr2llvm = " << *val << '\n';
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	621
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	622 llvm::Value* numiters = 0;
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	623
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	624 const llvm::Type* keytype = key ? LLVM_DtoType(key->type) : LLVM_DtoSize_t();
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	625 llvm::Value* keyvar = new llvm::AllocaInst(keytype, "foreachkey", p->topallocapoint());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	626 if (key) key->llvmValue = keyvar;
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	627
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	628 const llvm::Type* valtype = LLVM_DtoType(value->type);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	629 llvm::Value* valvar = new llvm::AllocaInst(keytype, "foreachval", p->topallocapoint());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	630
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	631 if (aggr->type->ty == Tsarray)
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	632 {
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	633 assert(llvm::isa<llvm::PointerType>(val->getType()));
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	634 assert(llvm::isa<llvm::ArrayType>(val->getType()->getContainedType(0)));
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	635 size_t n = llvm::cast<llvm::ArrayType>(val->getType()->getContainedType(0))->getNumElements();
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	636 assert(n > 0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	637 numiters = llvm::ConstantInt::get(keytype,n,false);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	638 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	639 else
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	640 {
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	641 assert(0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	642 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	643
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	644 if (op == TOKforeach) {
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	645 new llvm::StoreInst(llvm::ConstantInt::get(keytype,0,false), keyvar, p->scopebb());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	646 }
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	647 else if (op == TOKforeach_reverse) {
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	648 llvm::Value* v = llvm::BinaryOperator::createSub(numiters, llvm::ConstantInt::get(keytype,1,false),"tmp",p->scopebb());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	649 new llvm::StoreInst(v, keyvar, p->scopebb());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	650 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	651
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	652 delete arr;
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	653
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	654 llvm::BasicBlock* oldend = gIR->scopeend();
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	655 llvm::BasicBlock* nexbb = new llvm::BasicBlock("foreachnext", p->topfunc(), oldend);
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	656 llvm::BasicBlock* begbb = new llvm::BasicBlock("foreachbegin", p->topfunc(), oldend);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	657 llvm::BasicBlock* endbb = new llvm::BasicBlock("foreachend", p->topfunc(), oldend);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	658
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	659 new llvm::BranchInst(begbb, p->scopebb());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	660
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	661 // next
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	662 p->scope() = IRScope(nexbb,begbb);
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	663 llvm::Value* done = 0;
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	664 llvm::Value* load = new llvm::LoadInst(keyvar, "tmp", p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	665 if (op == TOKforeach) {
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	666 load = llvm::BinaryOperator::createAdd(load,llvm::ConstantInt::get(keytype, 1, false),"tmp",p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	667 new llvm::StoreInst(load, keyvar, p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	668 done = new llvm::ICmpInst(llvm::ICmpInst::ICMP_ULT, load, numiters, "tmp", p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	669 }
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	670 else if (op == TOKforeach_reverse) {
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	671 done = new llvm::ICmpInst(llvm::ICmpInst::ICMP_UGT, load, llvm::ConstantInt::get(keytype, 0, false), "tmp", p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	672 load = llvm::BinaryOperator::createSub(load,llvm::ConstantInt::get(keytype, 1, false),"tmp",p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	673 new llvm::StoreInst(load, keyvar, p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	674 }
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	675 new llvm::BranchInst(begbb, endbb, done, p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	676
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	677 // begin
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	678 p->scope() = IRScope(begbb,nexbb);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	679
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	680 // get value for this iteration
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	681 value->llvmValue = LLVM_DtoGEP(val,llvm::ConstantInt::get(keytype,0,false),new llvm::LoadInst(keyvar,"tmp",p->scopebb()),"tmp",p->scopebb());
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	682
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	683 // body
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	684 p->scope() = IRScope(p->scopebb(),endbb);
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	685 p->loopbbs.push_back(IRScope(nexbb,endbb));
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	686 body->toIR(p);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	687 p->loopbbs.pop_back();
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	688
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	689 if (!p->scope().returned)
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	690 new llvm::BranchInst(nexbb, p->scopebb());
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	691
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	692 // end
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	693 p->scope() = IRScope(endbb,oldend);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	694 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	695
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	696 //////////////////////////////////////////////////////////////////////////////
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	697
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	698 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	699
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	700 #define STUBST(x) void x::toIR(IRState * p) {error("Statement type "#x" not implemented: %s", toChars());fatal();}
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	701 //STUBST(BreakStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	702 //STUBST(ForStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	703 STUBST(WithStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	704 STUBST(SynchronizedStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	705 //STUBST(ReturnStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	706 //STUBST(ContinueStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	707 STUBST(DefaultStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	708 STUBST(CaseStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	709 //STUBST(SwitchStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	710 STUBST(SwitchErrorStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	711 STUBST(Statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	712 //STUBST(IfStatement);
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	713 //STUBST(ForeachStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	714 //STUBST(DoStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	715 //STUBST(WhileStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	716 //STUBST(ExpStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	717 //STUBST(CompoundStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	718 //STUBST(ScopeStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	719 STUBST(AsmStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	720 //STUBST(TryCatchStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	721 //STUBST(TryFinallyStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	722 STUBST(VolatileStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	723 STUBST(LabelStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	724 //STUBST(ThrowStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	725 STUBST(GotoCaseStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	726 STUBST(GotoDefaultStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	727 STUBST(GotoStatement);
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	728 //STUBST(UnrolledLoopStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	729 //STUBST(OnScopeStatement);

Mercurial > projects > ldc

annotate gen/statements.c @ 34:4648206ca213 trunk