Mercurial > projects > ldc
view dmd/cond.h @ 1418:f5f8c21ce6ef
Make "`aa[key]`" use the same runtime call as "`key in aa`". The runtime calls
these were using were different, but with equivalent definitions.
With `ldc -O3`, the following functions now all compile to the exact same code:
{{{
int[int] y;
void foo(int x) {
if (x in y) {
auto z = x in y;
sink(*z);
}
}
void bar(int x) {
if (x in y) {
sink(y[x]);
}
}
void baz(int x) {
if (auto p = x in y) {
sink(*p);
}
}
}}}
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Mon, 25 May 2009 12:50:40 +0200 |
parents | b30fe7e1dbb9 |
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 // License for redistribution is by either the Artistic License // in artistic.txt, or the GNU General Public License in gnu.txt. // See the included readme.txt for details. #ifndef DMD_DEBCOND_H #define DMD_DEBCOND_H struct Expression; struct Identifier; struct OutBuffer; struct Module; struct Scope; struct ScopeDsymbol; #ifdef _DH #include "lexer.h" // dmdhg #endif enum TOK; #ifdef _DH struct HdrGenState; #endif int findCondition(Array *ids, Identifier *ident); struct Condition { Loc loc; int inc; // 0: not computed yet // 1: include // 2: do not include Condition(Loc loc); virtual Condition *syntaxCopy() = 0; virtual int include(Scope *sc, ScopeDsymbol *s) = 0; virtual void toCBuffer(OutBuffer *buf, HdrGenState *hgs) = 0; }; struct DVCondition : Condition { unsigned level; Identifier *ident; Module *mod; DVCondition(Module *mod, unsigned level, Identifier *ident); Condition *syntaxCopy(); }; struct DebugCondition : DVCondition { static void setGlobalLevel(unsigned level); static void addGlobalIdent(const char *ident); static void addPredefinedGlobalIdent(const char *ident); DebugCondition(Module *mod, unsigned level, Identifier *ident); int include(Scope *sc, ScopeDsymbol *s); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; struct VersionCondition : DVCondition { static void setGlobalLevel(unsigned level); static void checkPredefined(Loc loc, const char *ident); static void addGlobalIdent(const char *ident); static void addPredefinedGlobalIdent(const char *ident); VersionCondition(Module *mod, unsigned level, Identifier *ident); int include(Scope *sc, ScopeDsymbol *s); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; struct StaticIfCondition : Condition { Expression *exp; StaticIfCondition(Loc loc, Expression *exp); Condition *syntaxCopy(); int include(Scope *sc, ScopeDsymbol *s); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; struct IftypeCondition : Condition { /* iftype (targ id tok tspec) */ Type *targ; Identifier *id; // can be NULL enum TOK tok; // ':' or '==' Type *tspec; // can be NULL IftypeCondition(Loc loc, Type *targ, Identifier *id, enum TOK tok, Type *tspec); Condition *syntaxCopy(); int include(Scope *sc, ScopeDsymbol *s); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); }; #endif