Mercurial > projects > ldc
view dmd/dump.c @ 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 | eeb8b95ea92e |
children |
line wrap: on
line source
// Compiler implementation of the D programming language // Copyright (c) 1999-2006 by Digital Mars // All Rights Reserved // written by Walter Bright // http://www.digitalmars.com // License for redistribution is by either the Artistic License // in artistic.txt, or the GNU General Public License in gnu.txt. // See the included readme.txt for details. #include <stdio.h> #include <ctype.h> #include <assert.h> #include "mars.h" #include "mtype.h" #include "declaration.h" #include "expression.h" #include "template.h" static void indent(int indent) { int i; for (i = 0; i < indent; i++) printf(" "); } static char *type_print(Type *type) { return type ? type->toChars() : (char *) "null"; } void dumpExpressions(int i, Expressions *exps) { for (size_t j = 0; j < exps->dim; j++) { Expression *e = (Expression *)exps->data[j]; indent(i); printf("(\n"); e->dump(i + 2); indent(i); printf(")\n"); } } void Expression::dump(int i) { indent(i); printf("%p %s type=%s\n", this, Token::toChars(op), type_print(type)); } void IntegerExp::dump(int i) { indent(i); printf("%p %jd type=%s\n", this, (intmax_t)value, type_print(type)); } void IdentifierExp::dump(int i) { indent(i); printf("%p ident '%s' type=%s\n", this, ident->toChars(), type_print(type)); } void DsymbolExp::dump(int i) { indent(i); printf("%p %s type=%s\n", this, s->toChars(), type_print(type)); } void VarExp::dump(int i) { indent(i); printf("%p %s var=%s type=%s\n", this, Token::toChars(op), var->toChars(), type_print(type)); } void UnaExp::dump(int i) { indent(i); printf("%p %s type=%s e1=%p\n", this, Token::toChars(op), type_print(type), e1); if (e1) e1->dump(i + 2); } void CallExp::dump(int i) { UnaExp::dump(i); dumpExpressions(i, arguments); } void SliceExp::dump(int i) { indent(i); printf("%p %s type=%s e1=%p\n", this, Token::toChars(op), type_print(type), e1); if (e1) e1->dump(i + 2); if (lwr) lwr->dump(i + 2); if (upr) upr->dump(i + 2); } void DotIdExp::dump(int i) { indent(i); printf("%p %s type=%s ident=%s e1=%p\n", this, Token::toChars(op), type_print(type), ident->toChars(), e1); if (e1) e1->dump(i + 2); } void DotVarExp::dump(int i) { indent(i); printf("%p %s type=%s var='%s' e1=%p\n", this, Token::toChars(op), type_print(type), var->toChars(), e1); if (e1) e1->dump(i + 2); } void DotTemplateInstanceExp::dump(int i) { indent(i); printf("%p %s type=%s ti='%s' e1=%p\n", this, Token::toChars(op), type_print(type), ti->toChars(), e1); if (e1) e1->dump(i + 2); } void DelegateExp::dump(int i) { indent(i); printf("%p %s func=%s type=%s e1=%p\n", this, Token::toChars(op), func->toChars(), type_print(type), e1); if (e1) e1->dump(i + 2); } void BinExp::dump(int i) { indent(i); printf("%p %s type=%s e1=%p e2=%p\n", this, Token::toChars(op), type_print(type), e1, e2); if (e1) e1->dump(i + 2); if (e2) e2->dump(i + 2); }