projects/ldc: dmd/cond.c annotate

annotate dmd/cond.c @ 1650:40bd4a0d4870

Update to work with LLVM 2.7. Removed use of dyn_cast, llvm no compiles without exceptions and rtti by default. We do need exceptions for the libconfig stuff, but rtti isn't necessary (anymore). Debug info needs to be rewritten, as in LLVM 2.7 the format has completely changed. To have something to look at while rewriting, the old code has been wrapped inside #ifndef DISABLE_DEBUG_INFO , this means that you have to define this to compile at the moment. Updated tango 0.99.9 patch to include updated EH runtime code, which is needed for LLVM 2.7 as well.

author	Tomas Lindquist Olsen
date	Wed, 19 May 2010 12:42:32 +0200
parents	44b145be2ef5
children

rev	line source
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	1
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	2 // Compiler implementation of the D programming language
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 990 diff changeset	3 // Copyright (c) 1999-2008 by Digital Mars
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	4 // All Rights Reserved
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	5 // written by Walter Bright
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	6 // http://www.digitalmars.com
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	7 // License for redistribution is by either the Artistic License
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	9 // See the included readme.txt for details.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	10
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	11 #include <stdio.h>
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	12 #include <assert.h>
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	13
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	14 #include "id.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	15 #include "init.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	16 #include "declaration.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	17 #include "identifier.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	18 #include "expression.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	19 #include "cond.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	20 #include "module.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	21 #include "template.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	22 #include "lexer.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	23 #ifdef _DH
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	24 #include "mtype.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	25 #include "scope.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	26 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	27
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	28 int findCondition(Array ids, Identifier ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	29 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	30 if (ids)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	31 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	32 for (int i = 0; i < ids->dim; i++)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	33 {
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 990 diff changeset	34 const char id = (const char )ids->data[i];
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	35
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	36 if (strcmp(id, ident->toChars()) == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	37 return TRUE;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	38 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	39 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	40
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	41 return FALSE;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	42 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	43
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	44 /* ============================================================ */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	45
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	46 Condition::Condition(Loc loc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	47 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	48 this->loc = loc;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	49 inc = 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	50 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	51
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	52 /* ============================================================ */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	53
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	54 DVCondition::DVCondition(Module mod, unsigned level, Identifier ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	55 : Condition(0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	56 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	57 this->mod = mod;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	58 this->level = level;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	59 this->ident = ident;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	60 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	61
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	62 Condition *DVCondition::syntaxCopy()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	63 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	64 return this; // don't need to copy
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	65 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	66
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	67 /* ============================================================ */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	68
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	69 void DebugCondition::setGlobalLevel(unsigned level)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	70 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	71 global.params.debuglevel = level;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	72 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	73
990 2137797748a8 oups, seems like I broke some constness in D1 last commit, compiles again! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 875 diff changeset	74 void DebugCondition::addGlobalIdent(const char *ident)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	75 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	76 if (!global.params.debugids)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	77 global.params.debugids = new Array();
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 990 diff changeset	78 global.params.debugids->push((void *)ident);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	79 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	80
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	81
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	82 DebugCondition::DebugCondition(Module mod, unsigned level, Identifier ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	83 : DVCondition(mod, level, ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	84 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	85 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	86
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	87 int DebugCondition::include(Scope sc, ScopeDsymbol s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	88 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	89 //printf("DebugCondition::include() level = %d, debuglevel = %d\n", level, global.params.debuglevel);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	90 if (inc == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	91 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	92 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	93 if (ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	94 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	95 if (findCondition(mod->debugids, ident))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	96 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	97 else if (findCondition(global.params.debugids, ident))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	98 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	99 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	100 { if (!mod->debugidsNot)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	101 mod->debugidsNot = new Array();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	102 mod->debugidsNot->push(ident->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	103 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	104 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	105 else if (level <= global.params.debuglevel \|\| level <= mod->debuglevel)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	106 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	107 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	108 return (inc == 1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	109 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	110
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	111 void DebugCondition::toCBuffer(OutBuffer buf, HdrGenState hgs)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	112 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	113 if (ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	114 buf->printf("debug (%s)", ident->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	115 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	116 buf->printf("debug (%u)", level);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	117 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	118
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	119 /* ============================================================ */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	120
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	121 void VersionCondition::setGlobalLevel(unsigned level)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	122 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	123 global.params.versionlevel = level;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	124 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	125
990 2137797748a8 oups, seems like I broke some constness in D1 last commit, compiles again! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 875 diff changeset	126 void VersionCondition::checkPredefined(Loc loc, const char *ident)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	127 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	128 static const char* reserved[] =
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	129 {
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 990 diff changeset	130 "DigitalMars", "X86", "X86_64",
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	131 "Windows", "Win32", "Win64",
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	132 "linux",
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	133 #if DMDV2
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	134 /* Although Posix is predefined by D1, disallowing its
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	135 * redefinition breaks makefiles and older builds.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	136 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	137 "Posix",
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	138 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	139 "OSX", "FreeBSD",
1367 8026319762be Merged DMD 1.045 !!! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1195 diff changeset	140 "Solaris",
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	141 "LittleEndian", "BigEndian",
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	142 "all",
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	143 "none",
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 990 diff changeset	144
1630 44b145be2ef5 Merge dmd 1.056. Robert Clipsham <robert@octarineparrot.com> parents: 1387 diff changeset	145 #if IN_LLVM
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 990 diff changeset	146 "LLVM", "LDC", "LLVM64",
b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 990 diff changeset	147 "PPC", "PPC64",
1387 5855958073a9 Added new FreeBSD and Solaris predefined version identifiers. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1367 diff changeset	148 "darwin","solaris","freebsd"
1630 44b145be2ef5 Merge dmd 1.056. Robert Clipsham <robert@octarineparrot.com> parents: 1387 diff changeset	149 #endif
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	150 };
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	151
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	152 for (unsigned i = 0; i < sizeof(reserved) / sizeof(reserved[0]); i++)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	153 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	154 if (strcmp(ident, reserved[i]) == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	155 goto Lerror;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	156 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	157
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	158 if (ident[0] == 'D' && ident[1] == '_')
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	159 goto Lerror;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	160
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	161 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	162
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	163 Lerror:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	164 error(loc, "version identifier '%s' is reserved and cannot be set", ident);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	165 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	166
990 2137797748a8 oups, seems like I broke some constness in D1 last commit, compiles again! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 875 diff changeset	167 void VersionCondition::addGlobalIdent(const char *ident)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	168 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	169 checkPredefined(0, ident);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	170 addPredefinedGlobalIdent(ident);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	171 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	172
990 2137797748a8 oups, seems like I broke some constness in D1 last commit, compiles again! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 875 diff changeset	173 void VersionCondition::addPredefinedGlobalIdent(const char *ident)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	174 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	175 if (!global.params.versionids)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	176 global.params.versionids = new Array();
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 990 diff changeset	177 global.params.versionids->push((void *)ident);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	178 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	179
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	180
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	181 VersionCondition::VersionCondition(Module mod, unsigned level, Identifier ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	182 : DVCondition(mod, level, ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	183 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	184 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	185
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	186 int VersionCondition::include(Scope sc, ScopeDsymbol s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	187 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	188 //printf("VersionCondition::include() level = %d, versionlevel = %d\n", level, global.params.versionlevel);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	189 //if (ident) printf("\tident = '%s'\n", ident->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	190 if (inc == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	191 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	192 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	193 if (ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	194 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	195 if (findCondition(mod->versionids, ident))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	196 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	197 else if (findCondition(global.params.versionids, ident))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	198 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	199 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	200 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	201 if (!mod->versionidsNot)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	202 mod->versionidsNot = new Array();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	203 mod->versionidsNot->push(ident->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	204 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	205 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	206 else if (level <= global.params.versionlevel \|\| level <= mod->versionlevel)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	207 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	208 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	209 return (inc == 1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	210 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	211
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	212 void VersionCondition::toCBuffer(OutBuffer buf, HdrGenState hgs)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	213 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	214 if (ident)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	215 buf->printf("version (%s)", ident->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	216 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	217 buf->printf("version (%u)", level);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	218 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	219
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	220
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	221 /************************** StaticIfCondition *****************************/
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	222
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	223 StaticIfCondition::StaticIfCondition(Loc loc, Expression *exp)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	224 : Condition(loc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	225 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	226 this->exp = exp;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	227 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	228
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	229 Condition *StaticIfCondition::syntaxCopy()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	230 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	231 return new StaticIfCondition(loc, exp->syntaxCopy());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	232 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	233
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	234 int StaticIfCondition::include(Scope sc, ScopeDsymbol s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	235 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	236 #if 0
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	237 printf("StaticIfCondition::include(sc = %p, s = %p)\n", sc, s);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	238 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	239 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	240 printf("\ts = '%s', kind = %s\n", s->toChars(), s->kind());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	241 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	242 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	243 if (inc == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	244 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	245 if (!sc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	246 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	247 error(loc, "static if conditional cannot be at global scope");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	248 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	249 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	250 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	251
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	252 sc = sc->push(sc->scopesym);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	253 sc->sd = s; // s gets any addMember()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	254 sc->flags \|= SCOPEstaticif;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	255 Expression *e = exp->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	256 sc->pop();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	257 e = e->optimize(WANTvalue \| WANTinterpret);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	258 if (e->isBool(TRUE))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	259 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	260 else if (e->isBool(FALSE))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	261 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	262 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	263 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	264 e->error("expression %s is not constant or does not evaluate to a bool", e->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	265 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	266 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	267 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	268 return (inc == 1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	269 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	270
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	271 void StaticIfCondition::toCBuffer(OutBuffer buf, HdrGenState hgs)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	272 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	273 buf->writestring("static if(");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	274 exp->toCBuffer(buf, hgs);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	275 buf->writeByte(')');
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	276 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	277
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	278
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	279 /************************** IftypeCondition *****************************/
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	280
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	281 IftypeCondition::IftypeCondition(Loc loc, Type targ, Identifier id, enum TOK tok, Type *tspec)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	282 : Condition(loc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	283 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	284 this->targ = targ;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	285 this->id = id;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	286 this->tok = tok;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	287 this->tspec = tspec;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	288 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	289
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	290 Condition *IftypeCondition::syntaxCopy()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	291 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	292 return new IftypeCondition(loc,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	293 targ->syntaxCopy(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	294 id,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	295 tok,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	296 tspec ? tspec->syntaxCopy() : NULL);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	297 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	298
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	299 int IftypeCondition::include(Scope sc, ScopeDsymbol sd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	300 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	301 //printf("IftypeCondition::include()\n");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	302 if (inc == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	303 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	304 if (!sc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	305 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	306 error(loc, "iftype conditional cannot be at global scope");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	307 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	308 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	309 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	310 unsigned errors = global.errors;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	311 global.gag++; // suppress printing of error messages
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	312 targ = targ->semantic(loc, sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	313 global.gag--;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	314 if (errors != global.errors) // if any errors happened
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	315 { inc = 2; // then condition is false
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	316 global.errors = errors;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	317 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	318 else if (id && tspec)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	319 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	320 /* Evaluate to TRUE if targ matches tspec.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	321 * If TRUE, declare id as an alias for the specialized type.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	322 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	323
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	324 MATCH m;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	325 TemplateTypeParameter tp(loc, id, NULL, NULL);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	326
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	327 TemplateParameters parameters;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	328 parameters.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	329 parameters.data[0] = (void *)&tp;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	330
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	331 Objects dedtypes;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	332 dedtypes.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	333
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	334 m = targ->deduceType(NULL, tspec, &parameters, &dedtypes);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	335 if (m == MATCHnomatch \|\|
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	336 (m != MATCHexact && tok == TOKequal))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	337 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	338 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	339 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	340 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	341 Type tded = (Type )dedtypes.data[0];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	342 if (!tded)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	343 tded = targ;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	344 Dsymbol *s = new AliasDeclaration(loc, id, tded);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	345 s->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	346 sc->insert(s);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	347 if (sd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	348 s->addMember(sc, sd, 1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	349 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	350 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	351 else if (id)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	352 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	353 /* Declare id as an alias for type targ. Evaluate to TRUE
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	354 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	355 Dsymbol *s = new AliasDeclaration(loc, id, targ);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	356 s->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	357 sc->insert(s);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	358 if (sd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	359 s->addMember(sc, sd, 1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	360 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	361 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	362 else if (tspec)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	363 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	364 /* Evaluate to TRUE if targ matches tspec
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	365 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	366 tspec = tspec->semantic(loc, sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	367 //printf("targ = %s\n", targ->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	368 //printf("tspec = %s\n", tspec->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	369 if (tok == TOKcolon)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	370 { if (targ->implicitConvTo(tspec))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	371 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	372 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	373 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	374 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	375 else /* == */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	376 { if (targ->equals(tspec))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	377 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	378 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	379 inc = 2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	380 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	381 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	382 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	383 inc = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	384 //printf("inc = %d\n", inc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	385 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	386 return (inc == 1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	387 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	388
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	389 void IftypeCondition::toCBuffer(OutBuffer buf, HdrGenState hgs)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	390 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	391 buf->writestring("iftype(");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	392 targ->toCBuffer(buf, id, hgs);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	393 if (tspec)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	394 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	395 if (tok == TOKcolon)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	396 buf->writestring(" : ");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	397 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	398 buf->writestring(" == ");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	399 tspec->toCBuffer(buf, NULL, hgs);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	400 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	401 buf->writeByte(')');
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	402 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	403
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	404

Mercurial > projects > ldc

annotate dmd/cond.c @ 1650:40bd4a0d4870