Mercurial > projects > ldc
view dmd2/aliasthis.h @ 1491:360a8e8eea51
Teach stack promotion to walk the CFG when a potential reuse of an allocation
is found to see if it can actually happen instead of just assuming it will.
This allows it to catch cases like
{{{
int i;
Foo f;
while (cond(i))
f = new Foo(i++);
return f.value;
}}}
where it previously wouldn't because a phi using the allocation would appear in
the condition block to propagate it to the use after the loop.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Thu, 11 Jun 2009 02:04:44 +0200 |
parents | 638d16625da2 |
children |
line wrap: on
line source
// Compiler implementation of the D programming language // Copyright (c) 2009-2009 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_ALIASTHIS_H #define DMD_ALIASTHIS_H #ifdef __DMC__ #pragma once #endif /* __DMC__ */ #include "mars.h" #include "dsymbol.h" /**************************************************************/ #if DMDV2 struct AliasThis : Dsymbol { // alias Identifier this; Identifier *ident; AliasThis(Loc loc, Identifier *ident); Dsymbol *syntaxCopy(Dsymbol *); void semantic(Scope *sc); const char *kind(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); AliasThis *isAliasThis() { return this; } }; #endif #endif