Mercurial > projects > ldc
view dmd/arraytypes.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 | c53b6e3fe49a |
children | 1b24e9c7cc26 |
line wrap: on
line source
// Compiler implementation of the D programming language // Copyright (c) 2006-2007 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_ARRAYTYPES_H #define DMD_ARRAYTYPES_H #ifdef __DMC__ #pragma once #endif /* __DMC__ */ #include "root.h" struct Expression; struct Statement; struct BaseClass; struct TemplateParameter; struct FuncDeclaration; struct Identifier; struct Initializer; struct TemplateParameters : Array { }; struct Expressions : Array { }; struct Statements : Array { }; struct BaseClasses : Array { }; struct ClassDeclarations : Array { }; struct Dsymbols : Array { }; struct Objects : Array { }; struct FuncDeclarations : Array { }; struct Arguments : Array { }; struct Identifiers : Array { }; struct Initializers : Array { }; #endif