Mercurial > projects > ldc
view ir/irstruct.h @ 1410:cc2d8a7388c7
Count the sret register as well when keeping track of how many integer registers
are available for extern(C) functions on x86-64.
Interestingly, llvm-g++ seems to have a very similar bug: http://llvm.org/pr4242
(So this breaks ABI-compatibility with llvm-gcc for this corner case, but gains
it with gcc...)
To clarify, this is about code like this:
{{{
struct S { void*[3] data; }
struct T { void*[2] data; }
// The T should be passed in memory, and p in the last int register.
extern(C) S fail(int, int, int, int, T t, void* p) {
S s;
s.data[0] = t.data[0];
s.data[1] = t.data[1];
s.data[2] = p;
return s;
}
}}}
which should generate code functionally equivalent to this:
{{{
extern(C) S* succeed(S* s, int, int, int, int, T t, void* p) {
s.data[0] = t.data[0];
s.data[1] = t.data[1];
s.data[2] = p;
return s;
}
}}}
(with the same definitions for S and T)
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Fri, 22 May 2009 13:17:06 +0200 |
parents | dd135ff697fa |
children |
line wrap: on
line source
#ifndef LDC_IR_IRSTRUCT_H #define LDC_IR_IRSTRUCT_H #include "ir/ir.h" #include <vector> #include <map> // DMD forward declarations struct StructInitializer; ////////////////////////////////////////////////////////////////////////////// // represents a struct or class // it is used during codegen to hold all the vital info we need struct IrStruct : IrBase { /// Constructor. IrStruct(AggregateDeclaration* agg); ////////////////////////////////////////////////////////////////////////// // public fields, // FIXME this is basically stuff I just haven't gotten around to yet. /// The D aggregate. AggregateDeclaration* aggrdecl; /// Aggregate D type. Type* type; /// true only for: align(1) struct S { ... } bool packed; /// Composite type debug description. llvm::DICompositeType diCompositeType; ////////////////////////////////////////////////////////////////////////// /// Create the __initZ symbol lazily. LLGlobalVariable* getInitSymbol(); /// Builds the __initZ initializer constant lazily. LLConstant* getDefaultInit(); /// Create the __vtblZ symbol lazily. LLGlobalVariable* getVtblSymbol(); /// Builds the __vtblZ initializer constant lazily. LLConstant* getVtblInit(); /// Create the __ClassZ symbol lazily. LLGlobalVariable* getClassInfoSymbol(); /// Builds the __ClassZ initializer constant lazily. LLConstant* getClassInfoInit(); /// Create the __interfaceInfos symbol lazily. LLGlobalVariable* getInterfaceArraySymbol(); /// Creates a StructInitializer constant. LLConstant* createStructInitializer(StructInitializer* si); ////////////////////////////////////////////////////////////////////////// /// Initialize interface. void initializeInterface(); ////////////////////////////////////////////////////////////////////////// protected: /// Static default initializer global. llvm::GlobalVariable* init; /// Static default initializer constant. LLConstant* constInit; /// Static default initialier type holder. llvm::PATypeHolder init_pa; /// Vtbl global. llvm::GlobalVariable* vtbl; /// Vtbl initializer constant. LLConstant* constVtbl; /// ClassInfo global. llvm::GlobalVariable* classInfo; /// ClassInfo initializer constant. LLConstant* constClassInfo; /// Map for mapping ClassDeclaration* to LLVM GlobalVariable. typedef std::map<ClassDeclaration*, llvm::GlobalVariable*> ClassGlobalMap; /// Map from of interface vtbls implemented by this class. ClassGlobalMap interfaceVtblMap; /// Interface info array global. /// Basically: static object.Interface[num_interfaces] llvm::GlobalVariable* classInterfacesArray; /// std::vector of BaseClass* typedef std::vector<BaseClass*> BaseClassVector; /// Array of all interface vtbl implementations - in order - implemented /// by this class. /// Corresponds to the Interface instances needed to be output. BaseClassVector interfacesWithVtbls; ////////////////////////////////////////////////////////////////////////// /// Create static default initializer for struct. LLConstant* createStructDefaultInitializer(); /// Create static default initializer for class. LLConstant* createClassDefaultInitializer(); /// Returns vtbl for interface implementation, creates it if not already built. llvm::GlobalVariable* getInterfaceVtbl( BaseClass* b, bool new_inst, size_t interfaces_index); /// Add base class data to initializer list. /// Also creates the IrField instance for each data field. void addBaseClassInits( std::vector<llvm::Constant*>& constants, ClassDeclaration* base, size_t& offset, size_t& field_index); // FIXME make this a member instead friend LLConstant* DtoDefineClassInfo(ClassDeclaration* cd); /// Create the Interface[] interfaces ClassInfo field initializer. LLConstant* getClassInfoInterfaces(); }; ////////////////////////////////////////////////////////////////////////////// #endif