projects/ldc: gen/statements.cpp annotate

annotate gen/statements.cpp @ 132:1700239cab2e trunk

[svn r136] MAJOR UNSTABLE UPDATE!!! Initial commit after moving to Tango instead of Phobos. Lots of bugfixes... This build is not suitable for most things.

author	lindquist
date	Fri, 11 Jan 2008 17:57:40 +0100
parents	5825d48b27d1
children	44a95ac7368a

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
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	9 #include "gen/llvm.h"
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	10 #include "llvm/InlineAsm.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	11
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	12 #include "mars.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	13 #include "total.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	14 #include "init.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	15 #include "mtype.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	16 #include "hdrgen.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	17 #include "port.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	18
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	19 #include "gen/irstate.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	20 #include "gen/logger.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	21 #include "gen/tollvm.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	22 #include "gen/runtime.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	23 #include "gen/arrays.h"
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	24 #include "gen/todebug.h"
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	25 #include "gen/dvalue.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	26
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	27 //////////////////////////////////////////////////////////////////////////////
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	28
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	29 void CompoundStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	30 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	31 Logger::println("CompoundStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	32 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	33
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	34 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	35 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	36 Statement* s = (Statement*)statements->data[i];
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	37 if (s) {
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	38 s->toIR(p);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	39 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	40 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	41 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	42
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	43 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	44
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	45 void ReturnStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	46 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	47 Logger::println("ReturnStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	48 LOG_SCOPE;
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 if (exp)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	51 {
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	52 Logger::println("return type is: %s", exp->type->toChars());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	53
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	54 Type* exptype = DtoDType(exp->type);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	55 TY expty = exptype->ty;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	56 if (p->topfunc()->getReturnType() == llvm::Type::VoidTy) {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	57 assert(DtoIsPassedByRef(exptype));
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	58
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 109 diff changeset	59 IRFunction* f = p->func();
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 109 diff changeset	60 assert(f->type->llvmRetInPtr);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 109 diff changeset	61 assert(f->decl->llvmRetArg);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	62
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	63 if (global.params.symdebug) DtoDwarfStopPoint(loc.linnum);
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	64
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 109 diff changeset	65 DValue* rvar = new DVarValue(f->type->next, f->decl->llvmRetArg, true);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	66
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	67 p->exps.push_back(IRExp(NULL,exp,rvar));
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	68 DValue* e = exp->toElem(p);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	69 p->exps.pop_back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	70
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	71 if (!e->inPlace())
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	72 DtoAssign(rvar, e);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	73
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 109 diff changeset	74 IRFunction::FinallyVec& fin = f->finallys;
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	75 if (fin.empty()) {
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 109 diff changeset	76 if (global.params.symdebug) DtoDwarfFuncEnd(f->decl);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	77 new llvm::ReturnInst(p->scopebb());
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	78 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	79 else {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	80 new llvm::BranchInst(fin.back().retbb, p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	81 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	82 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	83 else {
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	84 if (global.params.symdebug) DtoDwarfStopPoint(loc.linnum);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	85 DValue* e = exp->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	86 llvm::Value* v = e->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	87 delete e;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	88 Logger::cout() << "return value is '" <<*v << "'\n";
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	89
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	90 IRFunction::FinallyVec& fin = p->func()->finallys;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	91 if (fin.empty()) {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	92 if (global.params.symdebug) DtoDwarfFuncEnd(p->func()->decl);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	93 new llvm::ReturnInst(v, p->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	94 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	95 else {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	96 if (!p->func()->finallyretval)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	97 p->func()->finallyretval = new llvm::AllocaInst(v->getType(),"tmpreturn",p->topallocapoint());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	98 llvm::Value* rettmp = p->func()->finallyretval;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	99 new llvm::StoreInst(v,rettmp,p->scopebb());
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	100 new llvm::BranchInst(fin.back().retbb, p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	101 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	102 }
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 else
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	105 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	106 if (p->topfunc()->getReturnType() == llvm::Type::VoidTy) {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	107 IRFunction::FinallyVec& fin = p->func()->finallys;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	108 if (fin.empty()) {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	109 if (global.params.symdebug) DtoDwarfFuncEnd(p->func()->decl);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	110 new llvm::ReturnInst(p->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	111 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	112 else {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	113 new llvm::BranchInst(fin.back().retbb, p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	114 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	115 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	116 else {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	117 assert(0); // why should this ever happen?
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	118 new llvm::UnreachableInst(p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	119 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	120 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	121 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	122
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	123 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	124
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	125 void ExpStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	126 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	127 Logger::println("ExpStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	128 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	129
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	130 if (global.params.llvmAnnotate)
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	131 DtoAnnotation(exp->toChars());
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	132
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	133 if (global.params.symdebug)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	134 DtoDwarfStopPoint(loc.linnum);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	135
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	136 if (exp != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	137 elem* e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	138 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	139 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	140 /elem e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	141 p->buf.printf("%s", e->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	142 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	143 p->buf.writenl();*/
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	144 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	145
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	146 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	147
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	148 void IfStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	149 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	150 Logger::println("IfStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	151 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	152
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	153 DValue* cond_e = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	154 llvm::Value* cond_val = cond_e->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	155 delete cond_e;
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 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	158
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	159 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	160 llvm::BasicBlock* endbb = new llvm::BasicBlock("endif", gIR->topfunc(), oldend);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	161 llvm::BasicBlock* elsebb = elsebody ? new llvm::BasicBlock("else", gIR->topfunc(), endbb) : endbb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	162
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	163 if (cond_val->getType() != llvm::Type::Int1Ty) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	164 Logger::cout() << "if conditional: " << *cond_val << '\n';
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	165 cond_val = DtoBoolean(cond_val);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	166 }
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	167 llvm::Value* ifgoback = new llvm::BranchInst(ifbb, elsebb, cond_val, gIR->scopebb());
14 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 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	170 gIR->scope() = IRScope(ifbb,elsebb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	171
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	172 // do scoped statements
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	173 ifbody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	174 if (!gIR->scopereturned()) {
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	175 new llvm::BranchInst(endbb,gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	176 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	177
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	178 if (elsebody) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	179 //assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	180 gIR->scope() = IRScope(elsebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	181 elsebody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	182 if (!gIR->scopereturned()) {
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	183 new llvm::BranchInst(endbb,gIR->scopebb());
14 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
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	187 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	188 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	189 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	190
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	191 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	192
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	193 void ScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	194 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	195 Logger::println("ScopeStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	196 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	197
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	198 llvm::BasicBlock* oldend = p->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	199
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	200 llvm::BasicBlock* beginbb = 0;
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	201
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	202 // remove useless branches by clearing and reusing the current basicblock
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	203 llvm::BasicBlock* bb = p->scopebb();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	204 if (bb->empty()) {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	205 beginbb = bb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	206 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	207 else {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	208 assert(!p->scopereturned());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	209 beginbb = new llvm::BasicBlock("scope", p->topfunc(), oldend);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	210 new llvm::BranchInst(beginbb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	211 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	212 llvm::BasicBlock* endbb = new llvm::BasicBlock("endscope", p->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	213
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	214 gIR->scope() = IRScope(beginbb, endbb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	215
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	216 statement->toIR(p);
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 p->scope() = IRScope(p->scopebb(),oldend);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	219 endbb->eraseFromParent();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	220 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	221
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	222 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	223
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	224 void WhileStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	225 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	226 Logger::println("WhileStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	227 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	228
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	229 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	230 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	231 llvm::BasicBlock* whilebb = new llvm::BasicBlock("whilecond", gIR->topfunc(), oldend);
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	232 llvm::BasicBlock* whilebodybb = new llvm::BasicBlock("whilebody", gIR->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	233 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	234
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	235 // move into the while block
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	236 p->ir->CreateBr(whilebb);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	237 //new llvm::BranchInst(whilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	238
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	239 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	240 gIR->scope() = IRScope(whilebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	241
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	242 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	243 DValue* cond_e = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	244 llvm::Value* cond_val = DtoBoolean(cond_e->getRVal());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	245 delete cond_e;
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 // conditional branch
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	248 llvm::Value* ifbreak = new llvm::BranchInst(whilebodybb, endbb, cond_val, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	249
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	250 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	251 gIR->scope() = IRScope(whilebodybb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	252
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	253 // while body code
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	254 p->loopbbs.push_back(IRScope(whilebb,endbb));
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	255 body->toIR(p);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	256 p->loopbbs.pop_back();
14 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 // loop
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	259 if (!gIR->scopereturned())
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	260 new llvm::BranchInst(whilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	261
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	262 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	263 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	264 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	265
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	266 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	267
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	268 void DoStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	269 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	270 Logger::println("DoStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	271 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	272
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	273 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	274 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	275 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	276 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	277
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	278 // move into the while block
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	279 assert(!gIR->scopereturned());
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	280 new llvm::BranchInst(dowhilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	281
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	282 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	283 gIR->scope() = IRScope(dowhilebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	284
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	285 // do-while body code
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	286 p->loopbbs.push_back(IRScope(dowhilebb,endbb));
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	287 body->toIR(p);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	288 p->loopbbs.pop_back();
14 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 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	291 DValue* cond_e = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	292 llvm::Value* cond_val = DtoBoolean(cond_e->getRVal());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	293 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	294
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	295 // conditional branch
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	296 llvm::Value* ifbreak = new llvm::BranchInst(dowhilebb, endbb, cond_val, gIR->scopebb());
14 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 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	299 gIR->scope() = IRScope(endbb,oldend);
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
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	302 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	303
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	304 void ForStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	305 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	306 Logger::println("ForStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	307 LOG_SCOPE;
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 // create for blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	310 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	311 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	312 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	313 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	314 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	315
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	316 // init
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	317 if (init != 0)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	318 init->toIR(p);
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 // move into the for condition block, ie. start the loop
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	321 new llvm::BranchInst(forbb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	322
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	323 p->loopbbs.push_back(IRScope(forincbb,endbb));
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	324
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	325 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	326 gIR->scope() = IRScope(forbb,forbodybb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	327
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	328 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	329 DValue* cond_e = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	330 llvm::Value* cond_val = DtoBoolean(cond_e->getRVal());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	331 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	332
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	333 // conditional branch
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	334 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	335
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	336 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	337 gIR->scope() = IRScope(forbodybb,forincbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	338
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	339 // do for body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	340 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	341
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	342 // move into the for increment block
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	343 if (!gIR->scopereturned())
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	344 new llvm::BranchInst(forincbb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	345 gIR->scope() = IRScope(forincbb, endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	346
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	347 // increment
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	348 if (increment) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	349 DValue* inc = increment->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	350 delete inc;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	351 }
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 // loop
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	354 if (!gIR->scopereturned())
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	355 new llvm::BranchInst(forbb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	356
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	357 p->loopbbs.pop_back();
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 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	360 gIR->scope() = IRScope(endbb,oldend);
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
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	363 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	364
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	365 void BreakStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	366 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	367 Logger::println("BreakStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	368 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	369
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	370 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	371 Logger::println("ident = %s", ident->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	372 assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	373 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	374 else {
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	375 new llvm::BranchInst(gIR->loopbbs.back().end, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	376 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	377 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	378
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	379 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	380
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	381 void ContinueStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	382 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	383 Logger::println("ContinueStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	384 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	385
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	386 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	387 Logger::println("ident = %s", ident->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	388 assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	389 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	390 else {
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	391 new llvm::BranchInst(gIR->loopbbs.back().begin, gIR->scopebb());
14 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 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	394
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	395 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	396
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	397 void OnScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	398 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	399 Logger::println("OnScopeStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	400 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	401
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	402 assert(statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	403 //statement->toIR(p); // this seems to be redundant
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	404 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	405
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	406 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	407
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	408 void TryFinallyStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	409 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	410 Logger::println("TryFinallyStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	411 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	412
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	413 // create basic blocks
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	414 llvm::BasicBlock* oldend = p->scopeend();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	415
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	416 llvm::BasicBlock* trybb = new llvm::BasicBlock("try", p->topfunc(), oldend);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	417 llvm::BasicBlock* finallybb = new llvm::BasicBlock("finally", p->topfunc(), oldend);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	418 llvm::BasicBlock* finallyretbb = new llvm::BasicBlock("finallyreturn", p->topfunc(), oldend);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	419 llvm::BasicBlock* endbb = new llvm::BasicBlock("endtryfinally", p->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	420
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	421 // pass the previous BB into this
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	422 assert(!gIR->scopereturned());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	423 new llvm::BranchInst(trybb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	424
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	425 // do the try block
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	426 p->scope() = IRScope(trybb,finallybb);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	427 gIR->func()->finallys.push_back(IRFinally(finallybb,finallyretbb));
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	428 IRFinally& fin = p->func()->finallys.back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	429
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	430 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	431 body->toIR(p);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	432
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	433 // terminate try BB
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	434 if (!p->scopereturned())
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	435 new llvm::BranchInst(finallybb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	436
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	437 // do finally block
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	438 p->scope() = IRScope(finallybb,finallyretbb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	439 assert(finalbody);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	440 finalbody->toIR(p);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	441
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	442 // terminate finally
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	443 if (!gIR->scopereturned()) {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	444 new llvm::BranchInst(endbb, p->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	445 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	446
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	447 // do finally block (return path)
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	448 p->scope() = IRScope(finallyretbb,endbb);
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	449 assert(finalbody);
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	450 finalbody->toIR(p); // hope this will work, otherwise it's time it gets fixed
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	451
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	452 // terminate finally (return path)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	453 size_t nfin = p->func()->finallys.size();
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	454 if (nfin > 1) {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	455 IRFinally& ofin = p->func()->finallys[nfin-2];
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	456 p->ir->CreateBr(ofin.retbb);
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	457 }
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	458 // no outer
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	459 else
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	460 {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	461 if (global.params.symdebug) DtoDwarfFuncEnd(p->func()->decl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	462 llvm::Value* retval = p->func()->finallyretval;
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	463 if (retval) {
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	464 retval = p->ir->CreateLoad(retval,"tmp");
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	465 p->ir->CreateRet(retval);
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	466 }
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	467 else {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	468 FuncDeclaration* fd = p->func()->decl;
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	469 if (fd->isMain()) {
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	470 assert(fd->type->next->ty == Tvoid);
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	471 p->ir->CreateRet(DtoConstInt(0));
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	472 }
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	473 else {
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	474 p->ir->CreateRetVoid();
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	475 }
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	476 }
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	477 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	478
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	479 // rewrite the scope
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	480 p->func()->finallys.pop_back();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	481 p->scope() = IRScope(endbb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	482 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	483
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	484 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	485
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	486 void TryCatchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	487 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	488 Logger::println("TryCatchStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	489 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	490
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	491 Logger::attention(loc, "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	492
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	493 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	494 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	495
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	496 /*assert(catches);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	497 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	498 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	499 Catch* c = (Catch*)catches->data[i];
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	500 c->handler->toIR(p);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	501 }*/
14 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
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	504 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	505
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	506 void ThrowStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	507 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	508 Logger::println("ThrowStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	509 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	510
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	511 Logger::attention(loc, "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	512
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	513 DtoAssert(NULL, &loc, NULL);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	514
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	515 /*
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	516 assert(exp);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	517 DValue* e = exp->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	518 delete e;
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	519 */
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	520 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	521
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	522 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	523
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	524 // used to build the sorted list of cases
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	525 struct Case : Object
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	526 {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	527 StringExp* str;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	528 size_t index;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	529
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	530 Case(StringExp* s, size_t i) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	531 str = s;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	532 index = i;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	533 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	534
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	535 int compare(Object *obj) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	536 Case* c2 = (Case*)obj;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	537 return str->compare(c2->str);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	538 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	539 };
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	540
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	541 static llvm::Value* call_string_switch_runtime(llvm::GlobalVariable* table, Expression* e)
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	542 {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	543 Type* dt = DtoDType(e->type);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	544 Type* dtnext = DtoDType(dt->next);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	545 TY ty = dtnext->ty;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	546 const char* fname;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	547 if (ty == Tchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	548 fname = "_d_switch_string";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	549 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	550 else if (ty == Twchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	551 fname = "_d_switch_ustring";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	552 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	553 else if (ty == Tdchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	554 fname = "_d_switch_dstring";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	555 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	556 else {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	557 assert(0 && "not char/wchar/dchar");
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	558 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	559
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	560 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, fname);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	561 std::vector<llvm::Value*> args;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	562 args.push_back(table);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	563 args.push_back(e->toElem(gIR)->getRVal());
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	564 return gIR->ir->CreateCall(fn, args.begin(), args.end(), "tmp");
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	565 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	566
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	567 void SwitchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	568 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	569 Logger::println("SwitchStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	570 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	571
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	572 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	573
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	574 // collect the needed cases
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	575 typedef std::pair<llvm::BasicBlock, std::vector<llvm::ConstantInt> > CasePair;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	576 std::vector<CasePair> vcases;
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	577 std::vector<Statement*> vbodies;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	578 Array caseArray;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	579 for (int i=0; i<cases->dim; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	580 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	581 CaseStatement* cs = (CaseStatement*)cases->data[i];
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	582
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	583 std::string lblname("case");
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	584 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	585
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	586 std::vector<llvm::ConstantInt*> tmp;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	587 CaseStatement* last;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	588 bool first = true;
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	589 do {
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	590 // integral case
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	591 if (cs->exp->type->isintegral()) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	592 llvm::Constant* c = cs->exp->toConstElem(p);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	593 tmp.push_back(isaConstantInt(c));
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	594 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	595 // string case
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	596 else {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	597 assert(cs->exp->op == TOKstring);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	598 // for string switches this is unfortunately necessary or there will be duplicates in the list
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	599 if (first) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	600 caseArray.push(new Case((StringExp*)cs->exp, i));
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	601 first = false;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	602 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	603 }
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	604 last = cs;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	605 }
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	606 while (cs = cs->statement->isCaseStatement());
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	607
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	608 vcases.push_back(CasePair(bb, tmp));
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	609 vbodies.push_back(last->statement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	610 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	611
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	612 // string switch?
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	613 llvm::GlobalVariable* switchTable = 0;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	614 if (!condition->type->isintegral())
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	615 {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	616 // first sort it
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	617 caseArray.sort();
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	618 // iterate and add indices to cases
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	619 std::vector<llvm::Constant*> inits;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	620 for (size_t i=0; i<caseArray.dim; ++i)
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	621 {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	622 Case* c = (Case*)caseArray.data[i];
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	623 vcases[c->index].second.push_back(DtoConstUint(i));
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	624 inits.push_back(c->str->toConstElem(p));
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	625 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	626 // build static array for ptr or final array
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	627 const llvm::Type* elemTy = DtoType(condition->type);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	628 const llvm::ArrayType* arrTy = llvm::ArrayType::get(elemTy, inits.size());
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	629 llvm::Constant* arrInit = llvm::ConstantArray::get(arrTy, inits);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	630 llvm::GlobalVariable* arr = new llvm::GlobalVariable(arrTy, true, llvm::GlobalValue::InternalLinkage, arrInit, "string_switch_table_data", gIR->module);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	631
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	632 const llvm::Type* elemPtrTy = llvm::PointerType::get(elemTy);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	633 llvm::Constant* arrPtr = llvm::ConstantExpr::getBitCast(arr, elemPtrTy);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	634
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	635 // build the static table
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	636 std::vector<const llvm::Type*> types;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	637 types.push_back(DtoSize_t());
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	638 types.push_back(elemPtrTy);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	639 const llvm::StructType* sTy = llvm::StructType::get(types);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	640 std::vector<llvm::Constant*> sinits;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	641 sinits.push_back(DtoConstSize_t(inits.size()));
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	642 sinits.push_back(arrPtr);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	643 llvm::Constant* sInit = llvm::ConstantStruct::get(sTy, sinits);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	644
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	645 switchTable = new llvm::GlobalVariable(sTy, true, llvm::GlobalValue::InternalLinkage, sInit, "string_switch_table", gIR->module);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	646 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	647
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	648 // default
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	649 llvm::BasicBlock* defbb = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	650 if (!hasNoDefault) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	651 defbb = new llvm::BasicBlock("default", p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	652 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	653
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	654 // end (break point)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	655 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	656
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	657 // condition var
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	658 llvm::Value* condVal;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	659 // integral switch
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	660 if (condition->type->isintegral()) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	661 DValue* cond = condition->toElem(p);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	662 condVal = cond->getRVal();
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	663 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	664 // string switch
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	665 else {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	666 condVal = call_string_switch_runtime(switchTable, condition);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	667 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	668 llvm::SwitchInst* si = new llvm::SwitchInst(condVal, defbb ? defbb : endbb, cases->dim, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	669
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	670 // add the cases
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	671 size_t n = vcases.size();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	672 for (size_t i=0; i<n; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	673 {
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	674 size_t nc = vcases[i].second.size();
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	675 for (size_t j=0; j<nc; ++j)
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	676 {
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	677 si->addCase(vcases[i].second[j], vcases[i].first);
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	678 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	679 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	680
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	681 // insert case statements
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	682 for (size_t i=0; i<n; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	683 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	684 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	685 p->scope() = IRScope(vcases[i].first,nextbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	686
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	687 p->loopbbs.push_back(IRScope(p->scopebb(),endbb));
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	688 vbodies[i]->toIR(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	689 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	690
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	691 llvm::BasicBlock* curbb = p->scopebb();
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	692 if (curbb->empty() \|\| !curbb->back().isTerminator())
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	693 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	694 new llvm::BranchInst(nextbb, curbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	695 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	696 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	697
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	698 // default statement
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	699 if (defbb)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	700 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	701 p->scope() = IRScope(defbb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	702 p->loopbbs.push_back(IRScope(defbb,endbb));
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	703 Logger::println("doing default statement");
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	704 sdefault->statement->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	705 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	706
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	707 llvm::BasicBlock* curbb = p->scopebb();
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	708 if (curbb->empty() \|\| !curbb->back().isTerminator())
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	709 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	710 new llvm::BranchInst(endbb, curbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	711 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	712 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	713
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	714 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	715 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	716
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	717 //////////////////////////////////////////////////////////////////////////////
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	718 void CaseStatement::toIR(IRState* p)
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	719 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	720 Logger::println("CaseStatement::toIR(): %s", loc.toChars());
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	721 LOG_SCOPE;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	722
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	723 assert(0);
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	724 }
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	725
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	726 //////////////////////////////////////////////////////////////////////////////
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	727
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	728 void UnrolledLoopStatement::toIR(IRState* p)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	729 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	730 Logger::println("UnrolledLoopStatement::toIR(): %s", loc.toChars());
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	731 LOG_SCOPE;
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	732
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	733 llvm::BasicBlock* oldend = gIR->scopeend();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	734 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	735
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	736 p->scope() = IRScope(p->scopebb(),endbb);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	737 p->loopbbs.push_back(IRScope(p->scopebb(),endbb));
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	738
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	739 for (int i=0; i<statements->dim; ++i)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	740 {
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	741 Statement* s = (Statement*)statements->data[i];
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	742 s->toIR(p);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	743 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	744
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	745 p->loopbbs.pop_back();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	746
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	747 new llvm::BranchInst(endbb, p->scopebb());
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	748 p->scope() = IRScope(endbb,oldend);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	749 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	750
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	751 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	752
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	753 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	754 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	755 Logger::println("ForeachStatement::toIR(): %s", loc.toChars());
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	756 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	757
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	758 //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	759 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	760 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	761 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	762 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	763
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	764 //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	765 //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	766
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	767 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	768
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	769 // key
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	770 const llvm::Type* keytype = key ? DtoType(key->type) : DtoSize_t();
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	771 llvm::Value* keyvar = new llvm::AllocaInst(keytype, "foreachkey", p->topallocapoint());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	772 if (key) key->llvmValue = keyvar;
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	773 llvm::Value* zerokey = llvm::ConstantInt::get(keytype,0,false);
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	774
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	775 // value
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	776 const llvm::Type* valtype = DtoType(value->type);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	777 llvm::Value* valvar = NULL;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	778 if (!value->isRef() && !value->isOut())
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	779 valvar = new llvm::AllocaInst(valtype, "foreachval", p->topallocapoint());
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	780
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	781 // what to iterate
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	782 DValue* aggrval = aggr->toElem(p);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	783 Type* aggrtype = DtoDType(aggr->type);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	784
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	785 // get length and pointer
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	786 llvm::Value* val = 0;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	787 llvm::Value* niters = 0;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	788
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	789 // static array
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	790 if (aggrtype->ty == Tsarray)
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	791 {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	792 Logger::println("foreach over static array");
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	793 val = aggrval->getRVal();
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	794 assert(isaPointer(val->getType()));
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	795 const llvm::ArrayType* arrty = isaArray(val->getType()->getContainedType(0));
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	796 assert(arrty);
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	797 size_t nelems = arrty->getNumElements();
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	798 assert(nelems > 0);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	799 niters = llvm::ConstantInt::get(keytype,nelems,false);
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	800 }
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	801 // dynamic array
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	802 else if (aggrtype->ty == Tarray)
ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	803 {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	804 if (DSliceValue* slice = aggrval->isSlice()) {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	805 Logger::println("foreach over slice");
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	806 niters = slice->len;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	807 assert(niters);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	808 val = slice->ptr;
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	809 assert(val);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	810 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	811 else {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	812 Logger::println("foreach over dynamic array");
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	813 val = aggrval->getRVal();
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	814 niters = DtoGEPi(val,0,0,"tmp",p->scopebb());
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	815 niters = p->ir->CreateLoad(niters, "numiterations");
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	816 val = DtoGEPi(val,0,1,"tmp",p->scopebb());
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	817 val = p->ir->CreateLoad(val, "collection");
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	818 }
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	819 }
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	820 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	821 {
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	822 assert(0 && "aggregate type is not Tarray or Tsarray");
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	823 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	824
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	825 if (niters->getType() != keytype)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	826 {
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	827 size_t sz1 = gTargetData->getTypeSize(niters->getType());
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	828 size_t sz2 = gTargetData->getTypeSize(keytype);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	829 if (sz1 < sz2)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	830 niters = gIR->ir->CreateZExt(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	831 else if (sz1 > sz2)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	832 niters = gIR->ir->CreateTrunc(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	833 else
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	834 niters = gIR->ir->CreateBitCast(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	835 }
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	836
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	837 llvm::Constant* delta = 0;
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	838 if (op == TOKforeach) {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	839 new llvm::StoreInst(zerokey, keyvar, 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	840 }
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	841 else {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	842 new llvm::StoreInst(niters, keyvar, 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	843 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	844
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	845 llvm::BasicBlock* oldend = gIR->scopeend();
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	846 llvm::BasicBlock* condbb = new llvm::BasicBlock("foreachcond", p->topfunc(), oldend);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	847 llvm::BasicBlock* bodybb = new llvm::BasicBlock("foreachbody", p->topfunc(), oldend);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	848 llvm::BasicBlock* nextbb = 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	849 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	850
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	851 new llvm::BranchInst(condbb, 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	852
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	853 // condition
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	854 p->scope() = IRScope(condbb,bodybb);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	855
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	856 llvm::Value* done = 0;
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	857 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	858 if (op == TOKforeach) {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	859 done = new llvm::ICmpInst(llvm::ICmpInst::ICMP_ULT, load, niters, "tmp", p->scopebb());
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	860 }
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	861 else if (op == TOKforeach_reverse) {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	862 done = new llvm::ICmpInst(llvm::ICmpInst::ICMP_UGT, load, zerokey, "tmp", p->scopebb());
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	863 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	864 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	865 }
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	866 new llvm::BranchInst(bodybb, endbb, done, p->scopebb());
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	867
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	868 // init body
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	869 p->scope() = IRScope(bodybb,nextbb);
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	870
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	871 // get value for this iteration
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	872 llvm::Constant* zero = llvm::ConstantInt::get(keytype,0,false);
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	873 llvm::Value* loadedKey = p->ir->CreateLoad(keyvar,"tmp");
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	874 if (aggrtype->ty == Tsarray)
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	875 value->llvmValue = DtoGEP(val,zero,loadedKey,"tmp");
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	876 else if (aggrtype->ty == Tarray)
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	877 value->llvmValue = new llvm::GetElementPtrInst(val,loadedKey,"tmp",p->scopebb());
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	878
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	879 if (!value->isRef() && !value->isOut()) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	880 DValue* dst = new DVarValue(value->type, valvar, true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	881 DValue* src = new DVarValue(value->type, value->llvmValue, true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	882 DtoAssign(dst, src);
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	883 value->llvmValue = valvar;
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	884 }
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	885
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	886 // emit body
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	887 p->loopbbs.push_back(IRScope(nextbb,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	888 body->toIR(p);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	889 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	890
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	891 if (!p->scopereturned())
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	892 new llvm::BranchInst(nextbb, p->scopebb());
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	893
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	894 // next
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	895 p->scope() = IRScope(nextbb,endbb);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	896 if (op == TOKforeach) {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	897 llvm::Value* load = DtoLoad(keyvar);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	898 load = p->ir->CreateAdd(load, llvm::ConstantInt::get(keytype, 1, false), "tmp");
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	899 DtoStore(load, keyvar);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	900 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	901 new llvm::BranchInst(condbb, 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	902
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	903 // 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	904 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	905 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	906
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	907 //////////////////////////////////////////////////////////////////////////////
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	908
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	909 void LabelStatement::toIR(IRState* p)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	910 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	911 Logger::println("LabelStatement::toIR(): %s", loc.toChars());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	912 LOG_SCOPE;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	913
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	914 assert(tf == NULL);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	915 assert(!isReturnLabel);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	916
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	917 llvm::BasicBlock* oldend = gIR->scopeend();
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	918 if (llvmBB)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	919 llvmBB->moveBefore(oldend);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	920 else
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	921 llvmBB = new llvm::BasicBlock("label", p->topfunc(), oldend);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	922
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	923 if (!p->scopereturned())
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	924 new llvm::BranchInst(llvmBB, p->scopebb());
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	925
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	926 p->scope() = IRScope(llvmBB,oldend);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	927 if (statement)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	928 statement->toIR(p);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	929 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	930
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	931 //////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	932
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	933 void GotoStatement::toIR(IRState* p)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	934 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	935 Logger::println("GotoStatement::toIR(): %s", loc.toChars());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	936 LOG_SCOPE;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	937
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	938 assert(tf == NULL);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	939
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	940 llvm::BasicBlock* oldend = gIR->scopeend();
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	941 llvm::BasicBlock* bb = new llvm::BasicBlock("aftergoto", p->topfunc(), oldend);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	942
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	943 if (label->statement->llvmBB == NULL)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	944 label->statement->llvmBB = new llvm::BasicBlock("label", p->topfunc());
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	945 assert(!p->scopereturned());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	946 new llvm::BranchInst(label->statement->llvmBB, p->scopebb());
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	947 p->scope() = IRScope(bb,oldend);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	948 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	949
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	950 //////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	951
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	952 void WithStatement::toIR(IRState* p)
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	953 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	954 Logger::println("WithStatement::toIR(): %s", loc.toChars());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	955 LOG_SCOPE;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	956
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	957 assert(exp);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	958 assert(body);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	959
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	960 DValue* e = exp->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	961 wthis->llvmValue = e->getRVal();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	962 delete e;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	963
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	964 body->toIR(p);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	965 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	966
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	967 //////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	968
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	969 void SynchronizedStatement::toIR(IRState* p)
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	970 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	971 Logger::println("SynchronizedStatement::toIR(): %s", loc.toChars());
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	972 LOG_SCOPE;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	973
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	974 Logger::attention(loc, "synchronized is currently ignored. only the body will be emitted");
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	975
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	976 body->toIR(p);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	977 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	978
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	979 //////////////////////////////////////////////////////////////////////////////
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	980
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	981 void AsmStatement::toIR(IRState* p)
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	982 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	983 Logger::println("AsmStatement::toIR(): %s", loc.toChars());
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	984 LOG_SCOPE;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	985 error("%s: inline asm is not yet implemented", loc.toChars());
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	986 fatal();
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	987
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	988 assert(!asmcode && !asmalign && !refparam && !naked && !regs);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	989
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	990 Token* t = tokens;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	991 assert(t);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	992
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	993 std::string asmstr;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	994
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	995 do {
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	996 Logger::println("token: %s", t->toChars());
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	997 asmstr.append(t->toChars());
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	998 asmstr.append(" ");
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	999 } while (t = t->next);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1000
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1001 Logger::println("asm expr = '%s'", asmstr.c_str());
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1002
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1003 // create function type
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1004 std::vector<const llvm::Type*> args;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1005 const llvm::FunctionType* fty = llvm::FunctionType::get(DtoSize_t(), args, false);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1006
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1007 // create inline asm callee
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1008 llvm::InlineAsm* inasm = llvm::InlineAsm::get(fty, asmstr, "r,r", false);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1009
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1010 assert(0);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1011 }
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1012
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1013 //////////////////////////////////////////////////////////////////////////////
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1014
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1015 void VolatileStatement::toIR(IRState* p)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1016 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1017 Logger::println("VolatileStatement::toIR(): %s", loc.toChars());
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1018 LOG_SCOPE;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1019
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1020 Logger::attention(loc, "volatile is currently ignored. only the body will be emitted");
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1021
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1022 statement->toIR(p);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1023 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1024
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1025 //////////////////////////////////////////////////////////////////////////////
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1026
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1027 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1028
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1029 #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	1030 //STUBST(BreakStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1031 //STUBST(ForStatement);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1032 //STUBST(WithStatement);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1033 //STUBST(SynchronizedStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1034 //STUBST(ReturnStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1035 //STUBST(ContinueStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1036 STUBST(DefaultStatement);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	1037 //STUBST(CaseStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1038 //STUBST(SwitchStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1039 STUBST(SwitchErrorStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1040 STUBST(Statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1041 //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	1042 //STUBST(ForeachStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1043 //STUBST(DoStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1044 //STUBST(WhileStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1045 //STUBST(ExpStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1046 //STUBST(CompoundStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1047 //STUBST(ScopeStatement);
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1048 //STUBST(AsmStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1049 //STUBST(TryCatchStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1050 //STUBST(TryFinallyStatement);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1051 //STUBST(VolatileStatement);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1052 //STUBST(LabelStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1053 //STUBST(ThrowStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1054 STUBST(GotoCaseStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1055 STUBST(GotoDefaultStatement);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1056 //STUBST(GotoStatement);
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1057 //STUBST(UnrolledLoopStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1058 //STUBST(OnScopeStatement);

Mercurial > projects > ldc

annotate gen/statements.cpp @ 132:1700239cab2e trunk