void cvMemberCommon(Dsymbol *s, char *id, idx_t typidx)
{
if (!p)
result = cv_stringbytes(id);
switch (config.fulltypes)
{
case CV8:
if (!p)
{
result += 8;
result = cv_align(NULL, result);
}
else
{
TOWORD(p,LF_NESTTYPE_V3);
TOWORD(p + 2,0);
TOLONG(p + 4,typidx);
result = 8 + cv_namestring(p + 8, id);
result = cv_align(p + result, result);
}
break;
case CV4:
if (!p)
{
result += 4;
}
else
{
TOWORD(p,LF_NESTTYPE);
TOWORD(p + 2,typidx);
result = 4 + cv_namestring(p + 4, id);
}
break;
default:
assert(0);
}
#ifdef DEBUG
if (p)
{
int save = result;
p = NULL;
cvMemberCommon(s, id, typidx);
assert(result == save);
}
#endif
}
int cvMember(unsigned char *p, char *id, idx_t typidx)
{
int nwritten = 0;
if (!p)
nwritten = cv_stringbytes(id);
switch (config.fulltypes)
{
case CV8:
if (!p)
{
nwritten += 8;
nwritten = cv_align(NULL, nwritten);
}
else
{
TOWORD(p,LF_NESTTYPE_V3);
TOWORD(p + 2,0);
TOLONG(p + 4,typidx);
nwritten = 8 + cv_namestring(p + 8, id);
nwritten = cv_align(p + nwritten, nwritten);
}
break;
case CV4:
if (!p)
{
nwritten += 4;
}
else
{
TOWORD(p,LF_NESTTYPE);
TOWORD(p + 2,typidx);
nwritten = 4 + cv_namestring(p + 4, id);
}
break;
default:
assert(0);
}
#ifdef DEBUG
if (p)
assert(nwritten == cvMember(NULL, id, typidx));
#endif
return nwritten;
}
int VarDeclaration::cvMember(unsigned char *p)
{
int nwritten = 0;
//printf("VarDeclaration::cvMember(p = %p) '%s'\n", p, toChars());
if (type->toBasetype()->ty == Ttuple)
return 0;
char *id = toChars();
if (!p)
{
if (isField())
{
if (config.fulltypes == CV8)
nwritten += 2;
nwritten += 6 + cv_stringbytes(id);
nwritten += cv4_numericbytes(offset);
}
else if (isStatic())
{
if (config.fulltypes == CV8)
nwritten += 2;
nwritten += 6 + cv_stringbytes(id);
}
nwritten = cv_align(NULL, nwritten);
}
else
{
idx_t typidx = cv_typidx(type->toCtype());
unsigned attribute = PROTtoATTR(prot());
assert((attribute & ~3) == 0);
switch (config.fulltypes)
{
case CV8:
if (isField())
{
TOWORD(p,LF_MEMBER_V3);
TOWORD(p + 2,attribute);
TOLONG(p + 4,typidx);
cv4_storenumeric(p + 8, offset);
nwritten = 8 + cv4_numericbytes( offset);
nwritten += cv_namestring(p + nwritten, id);
}
else if (isStatic())
{
TOWORD(p,LF_STMEMBER_V3);
TOWORD(p + 2,attribute);
TOLONG(p + 4,typidx);
nwritten = 8;
nwritten += cv_namestring(p + nwritten, id);
}
break;
case CV4:
if (isField())
{
TOWORD(p,LF_MEMBER);
TOWORD(p + 2,typidx);
TOWORD(p + 4,attribute);
cv4_storenumeric(p + 6, offset);
nwritten = 6 + cv4_numericbytes( offset);
nwritten += cv_namestring(p + nwritten, id);
}
else if (isStatic())
{
TOWORD(p,LF_STMEMBER);
TOWORD(p + 2,typidx);
TOWORD(p + 4,attribute);
nwritten = 6;
nwritten += cv_namestring(p + nwritten, id);
}
break;
default:
assert(0);
}
nwritten = cv_align(p + nwritten, nwritten);
#ifdef DEBUG
assert(nwritten == cvMember(NULL));
#endif
}
return nwritten;
}
int FuncDeclaration::cvMember(unsigned char *p)
{
int nwritten = 0;
//printf("FuncDeclaration::cvMember() '%s'\n", toChars());
if (!type) // if not compiled in,
return 0; // skip it
char *id = toChars();
if (!p)
{
nwritten = 2 + 2 + cgcv.sz_idx + cv_stringbytes(id);
nwritten = cv_align(NULL, nwritten);
return nwritten;
}
else
{
int count = 0;
int mlen = 2;
{
if (introducing)
mlen += 4;
mlen += cgcv.sz_idx * 2;
count++;
}
// Allocate and fill it in
debtyp_t *d = debtyp_alloc(mlen);
unsigned char *q = d->data;
TOWORD(q,config.fulltypes == CV8 ? LF_METHODLIST_V2 : LF_METHODLIST);
q += 2;
// for (s = sf; s; s = s->Sfunc->Foversym)
{
unsigned attribute = PROTtoATTR(prot());
/* 0*4 vanilla method
* 1*4 virtual method
* 2*4 static method
* 3*4 friend method
* 4*4 introducing virtual method
* 5*4 pure virtual method
* 6*4 pure introducing virtual method
* 7*4 reserved
*/
if (isStatic())
attribute |= 2*4;
else if (isVirtual())
{
if (introducing)
{
if (isAbstract())
attribute |= 6*4;
else
attribute |= 4*4;
}
else
{
if (isAbstract())
attribute |= 5*4;
else
attribute |= 1*4;
}
}
else
attribute |= 0*4;
TOIDX(q,attribute);
q += cgcv.sz_idx;
TOIDX(q, cv4_memfunctypidx(this));
q += cgcv.sz_idx;
if (introducing)
{ TOLONG(q, vtblIndex * Target::ptrsize);
q += 4;
}
}
assert(q - d->data == mlen);
idx_t typidx = cv_debtyp(d);
if (typidx)
{
switch (config.fulltypes)
{
case CV8:
TOWORD(p,LF_METHOD_V3);
goto Lmethod;
case CV4:
TOWORD(p,LF_METHOD);
Lmethod:
TOWORD(p + 2,count);
nwritten = 4;
TOIDX(p + nwritten, typidx);
nwritten += cgcv.sz_idx;
nwritten += cv_namestring(p + nwritten, id);
break;
default:
assert(0);
}
}
nwritten = cv_align(p + nwritten, nwritten);
#ifdef DEBUG
assert(nwritten == cvMember(NULL));
#endif
}
return nwritten;
}
void ClassDeclaration::toDebug()
{
idx_t typidx = 0;
//printf("ClassDeclaration::toDebug('%s')\n", toChars());
assert(config.fulltypes >= CV4);
if (isAnonymous())
return /*0*/;
if (typidx) // if reference already generated
return /*typidx*/; // use already existing reference
targ_size_t size;
unsigned property = 0;
if (!members)
{ size = 0;
property |= 0x80; // forward reference
}
else
size = structsize;
if (parent->isAggregateDeclaration()) // if class is nested
property |= 8;
if (ctor || dtors.dim)
property |= 2; // class has ctors and/or dtors
// if (st->Sopoverload)
// property |= 4; // class has overloaded operators
// if (st->Scastoverload)
// property |= 0x40; // class has casting methods
// if (st->Sopeq && !(st->Sopeq->Sfunc->Fflags & Fnodebug))
// property |= 0x20; // class has overloaded assignment
#if DMDV1
const char *id = toPrettyChars();
#else
const char *id = isCPPinterface() ? ident->toChars() : toPrettyChars();
#endif
unsigned leaf = config.fulltypes == CV8 ? LF_CLASS_V3 : LF_CLASS;
unsigned numidx = (leaf == LF_CLASS_V3) ? 18 : 12;
unsigned len = numidx + cv4_numericbytes(size);
debtyp_t *d = debtyp_alloc(len + cv_stringbytes(id));
cv4_storenumeric(d->data + numidx,size);
len += cv_namestring(d->data + len,id);
idx_t vshapeidx = 0;
if (1)
{
size_t n = vtbl.dim; // number of virtual functions
if (n)
{ // 4 bits per descriptor
debtyp_t *vshape = debtyp_alloc(4 + (n + 1) / 2);
TOWORD(vshape->data,LF_VTSHAPE);
TOWORD(vshape->data + 2,n);
n = 0;
unsigned char descriptor = 0;
for (size_t i = 0; i < vtbl.dim; i++)
{ FuncDeclaration *fd = (FuncDeclaration *)vtbl[i];
//if (intsize == 4)
descriptor |= 5;
vshape->data[4 + n / 2] = descriptor;
descriptor <<= 4;
n++;
}
vshapeidx = cv_debtyp(vshape);
}
}
if (leaf == LF_CLASS)
{
TOWORD(d->data + 8,0); // dList
TOWORD(d->data + 10,vshapeidx);
}
else if (leaf == LF_CLASS_V3)
{
TOLONG(d->data + 10,0); // dList
TOLONG(d->data + 14,vshapeidx);
}
TOWORD(d->data,leaf);
// Assign a number to prevent infinite recursion if a struct member
// references the same struct.
unsigned length_save = d->length;
d->length = 0; // so cv_debtyp() will allocate new
typidx = cv_debtyp(d);
d->length = length_save; // restore length
if (!members) // if reference only
{
if (leaf == LF_CLASS_V3)
{
TOWORD(d->data + 2,0); // count: number of fields is 0
TOLONG(d->data + 6,0); // field list is 0
TOWORD(d->data + 4,property);
}
else
{
TOWORD(d->data + 2,0); // count: number of fields is 0
TOWORD(d->data + 4,0); // field list is 0
TOWORD(d->data + 6,property);
}
return /*typidx*/;
}
// Compute the number of fields (nfields), and the length of the fieldlist record (fnamelen)
CvMemberCount mc;
mc.nfields = 0;
mc.fnamelen = 2;
/* Adding in the base classes causes VS 2010 debugger to refuse to display any
* of the fields. I have not been able to determine why.
* (Could it be because the base class is "forward referenced"?)
* It does work with VS 2012.
*/
bool addInBaseClasses = true;
if (addInBaseClasses)
{
// Add in base classes
for (size_t i = 0; i < baseclasses->dim; i++)
{ BaseClass *bc = (*baseclasses)[i];
mc.nfields++;
unsigned elementlen = 4 + cgcv.sz_idx + cv4_numericbytes(bc->offset);
elementlen = cv_align(NULL, elementlen);
mc.fnamelen += elementlen;
}
}
for (size_t i = 0; i < members->dim; i++)
{ Dsymbol *s = (*members)[i];
s->apply(&cv_mem_count, &mc);
}
unsigned nfields = mc.nfields;
unsigned fnamelen = mc.fnamelen;
int count = nfields;
TOWORD(d->data + 2,count);
// Generate fieldlist type record
debtyp_t *dt = debtyp_alloc(fnamelen);
unsigned char *p = dt->data;
// And fill it in
TOWORD(p,config.fulltypes == CV8 ? LF_FIELDLIST_V2 : LF_FIELDLIST);
p += 2;
if (addInBaseClasses)
{
// Add in base classes
for (size_t i = 0; i < baseclasses->dim; i++)
{ BaseClass *bc = (*baseclasses)[i];
idx_t typidx = cv4_typidx(bc->base->type->toCtype()->Tnext);
unsigned attribute = PROTtoATTR(bc->protection);
unsigned elementlen;
switch (config.fulltypes)
{
case CV8:
TOWORD(p, LF_BCLASS_V2);
TOWORD(p + 2,attribute);
TOLONG(p + 4,typidx);
elementlen = 8;
break;
case CV4:
TOWORD(p, LF_BCLASS);
TOWORD(p + 2,typidx);
TOWORD(p + 4,attribute);
elementlen = 6;
break;
}
cv4_storenumeric(p + elementlen, bc->offset);
elementlen += cv4_numericbytes(bc->offset);
elementlen = cv_align(p + elementlen, elementlen);
p += elementlen;
}
}
for (size_t i = 0; i < members->dim; i++)
{ Dsymbol *s = (*members)[i];
s->apply(&cv_mem_p, &p);
}
//dbg_printf("fnamelen = %d, p-dt->data = %d\n",fnamelen,p-dt->data);
assert(p - dt->data == fnamelen);
idx_t fieldlist = cv_debtyp(dt);
TOWORD(d->data + 2,count);
if (config.fulltypes == CV8)
{
TOWORD(d->data + 4,property);
TOLONG(d->data + 6,fieldlist);
}
else
{
TOWORD(d->data + 4,fieldlist);
TOWORD(d->data + 6,property);
}
// cv4_outsym(s);
if (config.fulltypes == CV8)
cv8_udt(id, typidx);
else
{
size_t idlen = strlen(id);
unsigned char *debsym = (unsigned char *) alloca(39 + IDOHD + idlen);
// Output a 'user-defined type' for the tag name
TOWORD(debsym + 2,S_UDT);
TOIDX(debsym + 4,typidx);
unsigned length = 2 + 2 + cgcv.sz_idx;
length += cv_namestring(debsym + length,id);
TOWORD(debsym,length - 2);
assert(length <= 40 + idlen);
objmod->write_bytes(SegData[DEBSYM],length,debsym);
}
// return typidx;
}
void visit(VarDeclaration *vd)
{
//printf("VarDeclaration::cvMember(p = %p) '%s'\n", p, vd->toChars());
if (vd->type->toBasetype()->ty == Ttuple)
return;
char *id = vd->toChars();
if (!p)
{
if (vd->isField())
{
if (config.fulltypes == CV8)
result += 2;
result += 6 + cv_stringbytes(id);
result += cv4_numericbytes(vd->offset);
}
else if (vd->isStatic())
{
if (config.fulltypes == CV8)
result += 2;
result += 6 + cv_stringbytes(id);
}
result = cv_align(NULL, result);
}
else
{
idx_t typidx = cv_typidx(Type_toCtype(vd->type));
unsigned attribute = PROTtoATTR(vd->prot());
assert((attribute & ~3) == 0);
switch (config.fulltypes)
{
case CV8:
if (vd->isField())
{
TOWORD(p,LF_MEMBER_V3);
TOWORD(p + 2,attribute);
TOLONG(p + 4,typidx);
cv4_storenumeric(p + 8, vd->offset);
result = 8 + cv4_numericbytes(vd->offset);
result += cv_namestring(p + result, id);
}
else if (vd->isStatic())
{
TOWORD(p,LF_STMEMBER_V3);
TOWORD(p + 2,attribute);
TOLONG(p + 4,typidx);
result = 8;
result += cv_namestring(p + result, id);
}
break;
case CV4:
if (vd->isField())
{
TOWORD(p,LF_MEMBER);
TOWORD(p + 2,typidx);
TOWORD(p + 4,attribute);
cv4_storenumeric(p + 6, vd->offset);
result = 6 + cv4_numericbytes(vd->offset);
result += cv_namestring(p + result, id);
}
else if (vd->isStatic())
{
TOWORD(p,LF_STMEMBER);
TOWORD(p + 2,typidx);
TOWORD(p + 4,attribute);
result = 6;
result += cv_namestring(p + result, id);
}
break;
default:
assert(0);
}
result = cv_align(p + result, result);
#ifdef DEBUG
int save = result;
result = 0;
p = NULL;
visit(vd);
assert(result == save);
#endif
}
}
