view ir/irtypefunction.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 46f6365a50d7
children 755abafbf25d
line wrap: on
line source

#include "llvm/DerivedTypes.h"
#include "mtype.h"

#include "gen/irstate.h"
#include "gen/tollvm.h"
#include "gen/functions.h"

#include "ir/irtypefunction.h"

IrTypeFunction::IrTypeFunction(Type * dt)
:   IrType(dt, llvm::OpaqueType::get())
{
    irfty = NULL;
}

const llvm::Type * IrTypeFunction::buildType()
{
    const llvm::Type* T;
    TypeFunction* tf = (TypeFunction*)dtype;
    if (tf->funcdecl)
        T = DtoFunctionType(tf->funcdecl);
    else
        T = DtoFunctionType(tf,NULL,NULL);

    llvm::cast<llvm::OpaqueType>(pa.get())->refineAbstractTypeTo(T);
    return pa.get();
}

//////////////////////////////////////////////////////////////////////////////

IrTypeDelegate::IrTypeDelegate(Type * dt)
:   IrType(dt, llvm::OpaqueType::get())
{
}

const llvm::Type * IrTypeDelegate::buildType()
{
    assert(dtype->ty == Tdelegate);
    const LLType* i8ptr = getVoidPtrType();
    const LLType* func = DtoFunctionType(dtype->nextOf(), NULL, Type::tvoid->pointerTo());
    const LLType* funcptr = getPtrToType(func);
    const LLStructType* dgtype = LLStructType::get(i8ptr, funcptr, NULL);
    gIR->module->addTypeName(dtype->toChars(), dgtype);

    llvm::cast<llvm::OpaqueType>(pa.get())->refineAbstractTypeTo(dgtype);
    return pa.get();
}