Mercurial > projects > ldc
view tools/binding/llvm-typemonitor.cpp @ 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 | 4ff9ab0d472c |
children |
line wrap: on
line source
/// Support for callbacks when an abstract type becomes more concrete. #include "llvm/Support/Streams.h" #include "llvm/Type.h" #include "llvm-c/Core.h" using namespace llvm; extern "C" typedef int (*RefineCallback)(void *handle, LLVMTypeRef newT); class TypeMonitor : AbstractTypeUser { void *handle_; RefineCallback callback_; void onRefineType(const Type* oldT, const Type* newT) { callback_(handle_, wrap(newT)); oldT->removeAbstractTypeUser(this); delete this; } public: TypeMonitor(Type* T, void *handle, RefineCallback callback) : handle_(handle), callback_(callback) { T->addAbstractTypeUser(this); } virtual void refineAbstractType(const DerivedType *OldTy, const Type *NewTy) { onRefineType(OldTy, NewTy); } virtual void typeBecameConcrete(const DerivedType *AbsTy) { onRefineType(AbsTy, AbsTy); } virtual void dump() const { cerr << "<TypeMonitor>"; } }; extern "C" void LLVMRegisterAbstractTypeCallback(LLVMTypeRef T, void *handle, RefineCallback callback) { new TypeMonitor(unwrap(T), handle, callback); }