Mercurial > projects > ldc
view dmd2/irstate.c @ 1605:1d5721f9ae18
[WIP] Merge DMD r251: bugzilla 111 (appending a dchar to a char[])
This patch needs some work in the code generation, because of the runtime
changes (functions "_d_arrayappendcd" and "_d_arrayappendwd" are added).
This doesn't affect existing code though, it just makes with patch
a little useless, because something like this:
char [] s;
s ~= '\u6211';
That failed to compile with a nice error message previously to this
change, now fails with and ugly error message (a failed assertion).
Apparently there is a regression introduced by this patch too, when
compiling Dil I get this assertion message:
ldc: /home/luca/tesis/ldc/gen/statements.cpp:132: virtual void ReturnStatement::toIR(IRState*): Assertion `p->topfunc()->getReturnType() == llvm::Type::getVoidTy(gIR->context())' failed.
0 ldc 0x08a91628
Thank god we have bisecting capabilities in VCSs now ;)
---
dmd/expression.c | 47 +++++++++++++++++++++++++++++++++++++++++------
1 files changed, 41 insertions(+), 6 deletions(-)
author | Leandro Lucarella <llucax@gmail.com> |
---|---|
date | Wed, 06 Jan 2010 15:18:19 -0300 |
parents | 638d16625da2 |
children |
line wrap: on
line source
// Compiler implementation of the D programming language // Copyright (c) 1999-2008 by Digital Mars // All Rights Reserved // written by Walter Bright // http://www.digitalmars.com #include <stdio.h> #include "irstate.h" IRState::IRState(IRState *irs, Statement *s) { prev = irs; statement = s; symbol = NULL; breakBlock = NULL; contBlock = NULL; switchBlock = NULL; defaultBlock = NULL; ident = NULL; ehidden = NULL; startaddress = NULL; if (irs) { m = irs->m; shidden = irs->shidden; sclosure = irs->sclosure; sthis = irs->sthis; blx = irs->blx; deferToObj = irs->deferToObj; } else { m = NULL; shidden = NULL; sclosure = NULL; sthis = NULL; blx = NULL; deferToObj = NULL; } } IRState::IRState(IRState *irs, Dsymbol *s) { prev = irs; statement = NULL; symbol = s; breakBlock = NULL; contBlock = NULL; switchBlock = NULL; defaultBlock = NULL; ident = NULL; ehidden = NULL; startaddress = NULL; if (irs) { m = irs->m; shidden = irs->shidden; sclosure = irs->sclosure; sthis = irs->sthis; blx = irs->blx; deferToObj = irs->deferToObj; } else { m = NULL; shidden = NULL; sclosure = NULL; sthis = NULL; blx = NULL; deferToObj = NULL; } } IRState::IRState(Module *m, Dsymbol *s) { prev = NULL; statement = NULL; this->m = m; symbol = s; breakBlock = NULL; contBlock = NULL; switchBlock = NULL; defaultBlock = NULL; ident = NULL; ehidden = NULL; shidden = NULL; sclosure = NULL; sthis = NULL; blx = NULL; deferToObj = NULL; startaddress = NULL; } block *IRState::getBreakBlock(Identifier *ident) { IRState *bc; for (bc = this; bc; bc = bc->prev) { if (ident) { if (bc->prev && bc->prev->ident == ident) return bc->breakBlock; } else if (bc->breakBlock) return bc->breakBlock; } return NULL; } block *IRState::getContBlock(Identifier *ident) { IRState *bc; for (bc = this; bc; bc = bc->prev) { if (ident) { if (bc->prev && bc->prev->ident == ident) return bc->contBlock; } else if (bc->contBlock) return bc->contBlock; } return NULL; } block *IRState::getSwitchBlock() { IRState *bc; for (bc = this; bc; bc = bc->prev) { if (bc->switchBlock) return bc->switchBlock; } return NULL; } block *IRState::getDefaultBlock() { IRState *bc; for (bc = this; bc; bc = bc->prev) { if (bc->defaultBlock) return bc->defaultBlock; } return NULL; } FuncDeclaration *IRState::getFunc() { IRState *bc; for (bc = this; bc->prev; bc = bc->prev) { } return (FuncDeclaration *)(bc->symbol); }