Mercurial > projects > ldc
view ir/irdsymbol.cpp @ 1499:df11cdec45a2
Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324.
The idea is to separate the notion of const from 'this variable can always be
replaced with its initializer' in the frontend. To do that, I introduced
Declaration::isSameAsInitializer, which is overridden in VarDeclaration to
return false for constants that have a struct literal initializer.
So
{{{
const S s = S(5);
void foo() { auto ps = &s; }
// is no longer replaced by
void foo() { auto ps = &(S(5)); }
}}}
To make taking the address of a struct constant with a struct-initializer
outside of function scope possible, I made sure that AddrExp::optimize doesn't
try to run the argument's optimization with WANTinterpret - that'd again
replace the constant with a struct literal temporary.
author | Christian Kamm <kamm incasoftware de> |
---|---|
date | Sun, 14 Jun 2009 19:49:58 +0200 |
parents | 229e02867307 |
children |
line wrap: on
line source
#include "gen/llvm.h" #include "ir/ir.h" #include "ir/irdsymbol.h" #include "ir/irvar.h" #include "gen/logger.h" std::set<IrDsymbol*> IrDsymbol::list; void IrDsymbol::resetAll() { Logger::println("resetting %zu Dsymbols", list.size()); std::set<IrDsymbol*>::iterator it; for(it = list.begin(); it != list.end(); ++it) (*it)->reset(); } IrDsymbol::IrDsymbol() { bool incr = list.insert(this).second; assert(incr); reset(); } IrDsymbol::IrDsymbol(const IrDsymbol& s) { bool incr = list.insert(this).second; assert(incr); DModule = s.DModule; irModule = s.irModule; irStruct = s.irStruct; irFunc = s.irFunc; resolved = s.resolved; declared = s.declared; initialized = s.initialized; defined = s.defined; irGlobal = s.irGlobal; irLocal = s.irLocal; irField = s.irField; } IrDsymbol::~IrDsymbol() { list.erase(this); } void IrDsymbol::reset() { DModule = NULL; irModule = NULL; irStruct = NULL; irFunc = NULL; resolved = declared = initialized = defined = false; irGlobal = NULL; irLocal = NULL; irField = NULL; } bool IrDsymbol::isSet() { return (irStruct || irFunc || irGlobal || irLocal || irField); } IrVar* IrDsymbol::getIrVar() { assert(irGlobal || irLocal || irField); return irGlobal ? (IrVar*)irGlobal : irLocal ? (IrVar*)irLocal : (IrVar*)irField; } llvm::Value*& IrDsymbol::getIrValue() { return getIrVar()->value; }