Mercurial > projects > ldc
view gen/abi.h @ 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 | 34f2fd925de3 |
children |
line wrap: on
line source
#ifndef __LDC_GEN_ABI_H__ #define __LDC_GEN_ABI_H__ #include <vector> struct Type; struct IrFuncTyArg; struct DValue; namespace llvm { class Type; class Value; } // return rewrite rule struct ABIRewrite { /// get a rewritten value back to its original form virtual LLValue* get(Type* dty, DValue* v) = 0; /// get a rewritten value back to its original form and store result in provided lvalue /// this one is optional and defaults to calling the one above virtual void getL(Type* dty, DValue* v, llvm::Value* lval); /// put out rewritten value virtual LLValue* put(Type* dty, DValue* v) = 0; /// should return the transformed type for this rewrite virtual const LLType* type(Type* dty, const LLType* t) = 0; }; // interface called by codegen struct TargetABI { /// Returns the ABI for the target we're compiling for static TargetABI* getTarget(); /// Returns the ABI for intrinsics static TargetABI* getIntrinsic(); virtual void newFunctionType(TypeFunction* tf) {} virtual bool returnInArg(TypeFunction* tf) = 0; virtual bool passByVal(Type* t) = 0; virtual void doneWithFunctionType() {} virtual void rewriteFunctionType(TypeFunction* t) = 0; }; #endif