Mercurial > projects > ldc
view lphobos/typeinfos1.d @ 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 | 3efbcc81ba45 |
children |
line wrap: on
line source
module typeinfos1; import typeinfo1.ti_byte, typeinfo1.ti_cdouble, typeinfo1.ti_cfloat, typeinfo1.ti_char, typeinfo1.ti_creal, typeinfo1.ti_dchar, typeinfo1.ti_delegate, typeinfo1.ti_double, typeinfo1.ti_float, typeinfo1.ti_idouble, typeinfo1.ti_ifloat, typeinfo1.ti_int, typeinfo1.ti_ireal, typeinfo1.ti_long, typeinfo1.ti_ptr, typeinfo1.ti_real, typeinfo1.ti_short, typeinfo1.ti_ubyte, typeinfo1.ti_uint, typeinfo1.ti_ulong, typeinfo1.ti_ushort, typeinfo1.ti_void, typeinfo1.ti_wchar;