#include "compiler/CABI.h"
#include "compiler/CClass.h"
#include "compiler/CDecl.h"
#include "compiler/CError.h"
#include "compiler/CException.h"
#include "compiler/CExpr.h"
#include "compiler/CFunc.h"
#include "compiler/CInit.h"
#include "compiler/CInline.h"
#include "compiler/CMachine.h"
#include "compiler/CMangler.h"
#include "compiler/CParser.h"
#include "compiler/CScope.h"
#include "compiler/CSOM.h"
#include "compiler/CompilerTools.h"
#include "compiler/objects.h"
#include "compiler/scopes.h"
#include "compiler/types.h"

typedef struct OffsetList {
    struct OffsetList *next;
    SInt32 offset;
} OffsetList;

static OffsetList *trans_vtboffsets;
static BClassList cabi_pathroot;
static BClassList *cabi_pathcur;
static TypeClass *cabi_loop_class;
static Boolean cabi_loop_construct;

short CABI_GetStructResultArgumentIndex(TypeFunc *tfunc) {
    return 0;
}

Type *CABI_GetSizeTType(void) {
    return TYPE(&stunsignedlong);
}

Type *CABI_GetPtrDiffTType(void) {
    return TYPE(&stsignedlong);
}

SInt16 CABI_StructSizeAlignValue(Type *type, SInt32 size) {
    SInt16 align = CMach_GetTypeAlign(type);
    if (align <= 1)
        return 0;
    else
        return (align - 1) & (align - ((size & (align - 1))));
}

void CABI_ReverseBitField(TypeBitfield *tbitfield) {
    UInt8 bits;
    UInt8 a;
    UInt8 b;

    switch (tbitfield->bitfieldtype->size) {
        case 1:
            bits = 8;
            break;
        case 2:
            bits = 16;
            break;
        case 4:
            bits = 32;
            break;
        case 8:
            bits = 64;
            break;
        default:
            CError_FATAL(172);
    }

    b = tbitfield->bitlength;
    a = tbitfield->offset;
    tbitfield->offset = (bits - a) - b;
}

static void CABI_AllocateZeroVTablePointer(void *unk, TypeClass *tclass) {
    ClassList *base;

    for (base = tclass->bases; base; base = base->next) {
        if (!base->is_virtual && base->base->vtable)
            return;
    }

    tclass->size += void_ptr.size;
}

static SInt32 CABI_GetBaseSize(TypeClass *tclass) {
    SInt32 size = tclass->size;

    if (copts.vbase_abi_v2 && tclass->vbases)
        return tclass->vbases->offset;

    return size;
}

static void CABI_AllocateBases(ClassLayout *layout, TypeClass *tclass) {
    Boolean flag;
    TypeClass *baseclass;
    ClassList *base;
    VClassList *vbase;
    SInt32 size;

    flag = 0;
    size = tclass->size;

    for (base = tclass->bases; base; base = base->next) {
        if (!base->is_virtual) {
            baseclass = base->base;
            if (!(baseclass->flags & CLASS_EMPTY)) {
                base->offset = size + CMach_MemberAlignValue(TYPE(baseclass), size);
                if (copts.vbase_abi_v2) {
                    size = base->offset + CABI_GetBaseSize(baseclass);
                } else {
                    size = base->offset + baseclass->size;
                    for (vbase = baseclass->vbases; vbase; vbase = vbase->next)
                        size -= vbase->base->size;
                }
                flag = 0;
            } else {
                if (flag)
                    base->offset = ++size;
                else
                    base->offset = size;
                flag = 1;
            }
        }
    }

    tclass->size = size;
}

static void CABI_AllocateVirtualBasePointers(ClassLayout *layout, TypeClass *tclass) {
    ClassList *base;
    SInt32 size;

    size = tclass->size;

    for (base = tclass->bases; base; base = base->next) {
        if (base->is_virtual) {
            base->offset = size + CMach_MemberAlignValue(TYPE(&void_ptr), size);
            size = base->offset + void_ptr.size;
        }
    }

    tclass->size = size;
}

static SInt32 CABI_GetMemberOffset(TypeClass *tclass, HashNameNode *name) {
    ObjMemberVar *ivar;

    if (!name)
        return 0;

    ivar = tclass->ivars;
    while (1) {
        if (ivar->name == name)
            return ivar->offset;

        if (!(ivar = ivar->next))
            CError_FATAL(362);
    }
}

static void CABI_AllocateMembers(ClassLayout *layout, TypeClass *tclass) {
    ObjMemberVar *ivar;
    SInt32 initialSize;
    SInt32 maxSize;
    TypeClass *unionClass;
    SInt32 unionStart;
    Boolean inAnonUnion;
    Boolean removeNoNameIvars;

    removeNoNameIvars = 0;
    initialSize = maxSize = tclass->size;
    CMach_StructLayoutInitOffset(maxSize);

    unionClass = NULL;
    for (ivar = tclass->ivars; ivar; ivar = ivar->next) {
        if (!ivar->anonunion) {
            if (!(ivar->offset & 0x80000000)) {
                if (tclass->mode == CLASS_MODE_UNION)
                    CMach_StructLayoutInitOffset(initialSize);

                if (IS_TYPE_BITFIELD(ivar->type))
                    ivar->offset = CMach_StructLayoutBitfield(TYPE_BITFIELD(ivar->type), ivar->qual);
                else
                    ivar->offset = CMach_StructLayoutGetOffset(ivar->type, ivar->qual);

                if (tclass->mode == CLASS_MODE_UNION) {
                    SInt32 tmp = CMach_StructLayoutGetCurSize();
                    if (tmp > maxSize)
                        maxSize = tmp;
                }

                unionClass = NULL;
            } else {
                CError_ASSERT(412, unionClass);
                ivar->offset = unionStart + CABI_GetMemberOffset(unionClass, ivar->name);
                if (!inAnonUnion)
                    ivar->anonunion = 1;
                inAnonUnion = 0;
            }

            if (ivar->name == no_name_node || ivar->name == NULL)
                removeNoNameIvars = 1;
        } else {
            CError_ASSERT(422, IS_TYPE_CLASS(ivar->type));

            if (tclass->mode == CLASS_MODE_UNION)
                CMach_StructLayoutInitOffset(initialSize);

            unionStart = CMach_StructLayoutGetOffset(ivar->type, ivar->qual);
            unionClass = TYPE_CLASS(ivar->type);
            inAnonUnion = 1;

            if (tclass->mode == CLASS_MODE_UNION) {
                SInt32 tmp = CMach_StructLayoutGetCurSize();
                if (tmp > maxSize)
                    maxSize = tmp;
            }

            removeNoNameIvars = 1;
        }

        if (layout->vtable_ivar == ivar)
            tclass->vtable->offset = ivar->offset;
    }

    if (removeNoNameIvars) {
        ObjMemberVar **ptr = &tclass->ivars;
        while (*ptr) {
            if ((*ptr)->name == NULL || (*ptr)->name == no_name_node)
                *ptr = (*ptr)->next;
            else
                ptr = &(*ptr)->next;
        }
    }

    if (tclass->mode == CLASS_MODE_UNION)
        tclass->size = maxSize;
    else
        tclass->size = CMach_StructLayoutGetCurSize();

    if (copts.reverse_bitfields) {
        for (ivar = tclass->ivars; ivar; ivar = ivar->next) {
            if (IS_TYPE_BITFIELD(ivar->type))
                CABI_ReverseBitField(TYPE_BITFIELD(ivar->type));
        }
    }
}

static void CABI_AllocateVirtualBases(ClassLayout *layout, TypeClass *tclass) {
    VClassList *vbase;
    SInt32 size;

    size = tclass->size;

    for (vbase = tclass->vbases; vbase; vbase = vbase->next) {
        vbase->offset = size + CMach_MemberAlignValue(TYPE(vbase->base), size);
        size = vbase->offset + CABI_GetBaseSize(vbase->base);

        if (vbase->has_override)
            size += CMach_MemberAlignValue(TYPE(&stunsignedlong), size) + 4;
    }

    tclass->size = size;
}

static Boolean CABI_FindZeroDeltaVPtr(TypeClass *tclass) {
    ClassList *base;

    for (base = tclass->bases; base; base = base->next) {
        if (!base->is_virtual && base->base->vtable && !base->offset) {
            tclass->vtable->offset = base->base->vtable->offset;
            return 1;
        }
    }

    return 0;
}

static Object *CABI_FindZeroVirtualBaseMember(TypeClass *tclass, Object *obj) {
    NameSpaceObjectList *nsol;
    ClassList *base;
    Object *chk;

    for (base = tclass->bases; base; base = base->next) {
        if (!base->is_virtual && !base->offset && !base->voffset && base->base->vtable) {
            for (nsol = CScope_FindName(base->base->nspace, obj->name); nsol; nsol = nsol->next) {
                chk = OBJECT(nsol->object);
                if (
                    chk->otype == OT_OBJECT &&
                    chk->datatype == DVFUNC &&
                    CClass_GetOverrideKind(TYPE_FUNC(chk->type), TYPE_FUNC(obj->type), 0) == 1
                    )
                    return chk;
            }

            if ((chk = CABI_FindZeroVirtualBaseMember(base->base, obj)))
                return chk;
        }
    }

    return NULL;
}

void CABI_AddVTable(TypeClass *tclass) {
    tclass->vtable = galloc(sizeof(VTable));
    memclrw(tclass->vtable, sizeof(VTable));
}

SInt32 CABI_GetVTableOffset(TypeClass *tclass) {
    return 0;
}

static SInt32 CABI_GetBaseVTableSize(TypeClass *tclass) {
    VClassList *vbase;
    SInt32 size;

    size = tclass->vtable->size;

    for (vbase = tclass->vbases; vbase; vbase = vbase->next) {
        if (vbase->base->vtable)
            size -= CABI_GetBaseVTableSize(vbase->base);
    }

    return size;
}

static void CABI_ApplyClassFlags(Object *obj, UInt8 flags, Boolean unused) {
    if (flags & CLASS_EFLAGS_INTERNAL)
        obj->flags = obj->flags | OBJECT_INTERNAL;
    if (flags & CLASS_EFLAGS_IMPORT)
        obj->flags = obj->flags | OBJECT_IMPORT;
    if (flags & CLASS_EFLAGS_EXPORT)
        obj->flags = obj->flags | OBJECT_EXPORT;
}

static void CABI_AllocateVTable(ClassLayout *layout, TypeClass *tclass) {
    SInt32 size;
    ObjBase *objbase;
    Object *obj;
    ObjMemberVar *ivar;
    ClassList *base;
    VClassList *vbase;
    int i;

    size = 0;

    if (!tclass->vtable) {
        CABI_AddVTable(tclass);
        layout->xA = layout->lex_order_count - 1;
    }

    if (!CABI_FindZeroDeltaVPtr(tclass)) {
        ivar = galloc(sizeof(ObjMemberVar));
        memclrw(ivar, sizeof(ObjMemberVar));

        ivar->otype = OT_MEMBERVAR;
        ivar->access = ACCESSPUBLIC;
        ivar->name = vptr_name_node;
        ivar->type = TYPE(&void_ptr);
        layout->vtable_ivar = ivar;

        for (i = layout->xA; ; i--) {
            if (i < 0) {
                ivar->next = tclass->ivars;
                tclass->ivars = ivar;
                break;
            }

            CError_ASSERT(666, layout->objlist[i]);

            if (layout->objlist[i]->otype == OT_MEMBERVAR) {
                ivar->next = OBJ_MEMBER_VAR(layout->objlist[i])->next;
                OBJ_MEMBER_VAR(layout->objlist[i])->next = ivar;
                break;
            }
        }

        if (tclass->flags & (CLASS_SINGLE_OBJECT | CLASS_COM_OBJECT))
            size = void_ptr.size;
        else
            size = 8;
    } else {
        layout->vtable_ivar = NULL;
    }

    for (base = tclass->bases; base; base = base->next) {
        if (base->base->vtable && !base->is_virtual) {
            base->voffset = size;
            if (copts.vbase_abi_v2) {
                size += CABI_GetBaseVTableSize(base->base);
            } else {
                size += base->base->vtable->size;
                for (vbase = base->base->vbases; vbase; vbase = vbase->next) {
                    if (vbase->base->vtable)
                        size -= vbase->base->vtable->size;
                }
            }
        }
    }

    for (i = 0; i < layout->lex_order_count; i++) {
        CError_ASSERT(714, objbase = layout->objlist[i]);

        if (objbase->otype == OT_OBJECT && OBJECT(objbase)->datatype == DVFUNC) {
            TypeMemberFunc *tmethod = TYPE_METHOD(OBJECT(objbase)->type);
            Object *baseobj = CABI_FindZeroVirtualBaseMember(tclass, OBJECT(objbase));

            if (baseobj) {
                tmethod->vtbl_index = TYPE_METHOD(baseobj->type)->vtbl_index;
            } else {
                tmethod->vtbl_index = size;
                size += 4;
            }
        }
    }

    for (vbase = tclass->vbases; vbase; vbase = vbase->next) {
        if (vbase->base->vtable) {
            vbase->voffset = size;
            if (copts.vbase_abi_v2)
                size += CABI_GetBaseVTableSize(vbase->base);
            else
                size += vbase->base->vtable->size;
        }
    }

    obj = CParser_NewCompilerDefDataObject();
    CABI_ApplyClassFlags(obj, tclass->eflags, 0);

    obj->name = CMangler_VTableName(tclass);
    obj->type = CDecl_NewStructType(size, 4);
    obj->qual = Q_CONST;
    obj->nspace = tclass->nspace;
    switch (tclass->action) {
        case CLASS_ACTION_0:
            obj->sclass = TK_STATIC;
            obj->qual |= Q_20000;
            break;
    }

    CParser_UpdateObject(obj, NULL);

    tclass->vtable->object = obj;
    tclass->vtable->owner = tclass;
    tclass->vtable->size = size;
}

void CABI_LayoutClass(ClassLayout *layout, TypeClass *tclass) {
    char saveAlignMode = copts.structalignment;

    tclass->size = 0;
    if (!tclass->sominfo) {
        if (tclass->bases)
            CABI_AllocateBases(layout, tclass);
        if (tclass->flags & CLASS_HAS_VBASES)
            CABI_AllocateVirtualBasePointers(layout, tclass);
        if (layout->has_vtable)
            CABI_AllocateVTable(layout, tclass);
        CABI_AllocateMembers(layout, tclass);
        if (tclass->flags & CLASS_HAS_VBASES)
            CABI_AllocateVirtualBases(layout, tclass);
    } else {
        copts.structalignment = AlignMode2_PPC;
        CABI_AllocateMembers(layout, tclass);
    }

    tclass->align = CMach_GetClassAlign(tclass);
    if (tclass->size == 0) {
        tclass->size = 1;
        tclass->flags = tclass->flags | CLASS_EMPTY;
    } else {
        tclass->size += CABI_StructSizeAlignValue(TYPE(tclass), tclass->size);
    }

    tclass->flags = tclass->flags | CLASS_COMPLETED;

    copts.structalignment = saveAlignMode;
}

void CABI_MakeDefaultArgConstructor(TypeClass *tclass, Object *func) {
    DefArgCtorInfo *info;
    Boolean saveDebugInfo;
    ENodeList *copied;
    ENodeList *argexprs;
    FuncArg *args;
    CScopeSave savedScope;
    Statement firstStmt;
    Statement returnStmt;

    CError_FATAL(860);

    if (anyerrors || func->access == ACCESSNONE)
        return;

    CError_ASSERT(866, info = func->u.func.defargdata);

    CABI_ApplyClassFlags(func, tclass->eflags, 0);

    CScope_SetFunctionScope(func, &savedScope);

    CFunc_FuncGenSetup(&firstStmt, func);

    saveDebugInfo = copts.filesyminfo;
    copts.filesyminfo = 0;

    CFunc_SetupNewFuncArgs(func, TYPE_FUNC(func->type)->args);

    if (tclass->flags & CLASS_HAS_VBASES)
        arguments->next->object->name = no_name_node;

    firstStmt.next = &returnStmt;

    memclrw(&returnStmt, sizeof(Statement));
    returnStmt.type = ST_RETURN;
    returnStmt.expr = lalloc(sizeof(ENode));
    returnStmt.expr->type = EFUNCCALL;
    returnStmt.expr->cost = 200;
    returnStmt.expr->flags = 0;
    returnStmt.expr->rtype = TYPE(&void_ptr);

    returnStmt.expr->data.funccall.funcref = CExpr_MakeObjRefNode(info->default_func, 0);
    returnStmt.expr->data.funccall.functype = TYPE_FUNC(info->default_func->type);
    args = TYPE_FUNC(info->default_func->type)->args;
    returnStmt.expr->data.funccall.args = lalloc(sizeof(ENodeList));
    argexprs = returnStmt.expr->data.funccall.args;

    argexprs->node = create_objectnode(arguments->object);

    if (tclass->flags & CLASS_HAS_VBASES) {
        args = args->next;
        argexprs->next = lalloc(sizeof(ENodeList));
        argexprs = argexprs->next;
        argexprs->node = create_objectnode(arguments->next->object);
    }

    args = args->next;
    argexprs->next = lalloc(sizeof(ENodeList));
    argexprs = argexprs->next;
    argexprs->node = CInline_CopyExpression(info->default_arg, CopyMode0);

    while ((args = args->next) && args->dexpr) {
        argexprs->next = lalloc(sizeof(ENodeList));
        argexprs = argexprs->next;
        argexprs->node = CInline_CopyExpression(args->dexpr, CopyMode0);
    }

    argexprs->next = NULL;

    CFunc_CodeCleanup(&firstStmt);
    CFunc_Gen(&firstStmt, func, 0);

    CScope_RestoreScope(&savedScope);
    copts.filesyminfo = saveDebugInfo;

    func->u.func.defargdata = NULL;
}

static Object *CABI_ThisArg(void) {
    CError_ASSERT(931, arguments && IS_TYPE_POINTER_ONLY(arguments->object->type));
    return arguments->object;
}

ENode *CABI_MakeThisExpr(TypeClass *tclass, SInt32 offset) {
    ENode *expr;

    if (tclass) {
        if (!tclass->sominfo) {
            expr = create_objectnode(CABI_ThisArg());
            if (tclass->flags & CLASS_HANDLEOBJECT)
                expr = makemonadicnode(expr, EINDIRECT);
        } else {
            expr = CSOM_SOMSelfObjectExpr(tclass);
        }
    } else {
        expr = create_objectnode(CABI_ThisArg());
        expr->rtype = TYPE(&void_ptr);
    }

    if (offset)
        expr = makediadicnode(expr, intconstnode(TYPE(&stunsignedlong), offset), EADD);

    return expr;
}

static Object *CABI_VArg(void) {
    CError_ASSERT(976, arguments && arguments->next && IS_TYPE_INT(arguments->next->object->type));
    return arguments->next->object;
}

static ENode *CABI_MakeVArgExpr(void) {
    return create_objectnode(CABI_VArg());
}

static ENode *CABI_MakeCopyConArgExpr(TypeClass *tclass, Boolean flag) {
    ObjectList *args;

    CError_ASSERT(1000, args = arguments);
    CError_ASSERT(1001, args = args->next);
    if (flag && (tclass->flags & CLASS_HAS_VBASES))
        CError_ASSERT(1002, args = args->next);
    CError_ASSERT(1003, IS_TYPE_POINTER_ONLY(args->object->type));

    return create_objectnode(args->object);
}

static ENode *CABI_InitVBasePtr1(ENode *expr, TypeClass *tclass1, TypeClass *tclass2, TypeClass *tclass3, SInt32 offset) {
    ClassList *base;
    SInt32 newOffset;
    OffsetList *list;

    for (base = tclass2->bases; base; base = base->next) {
        if (base->base == tclass3 && base->is_virtual) {
            newOffset = offset + base->offset;

            for (list = trans_vtboffsets; list; list = list->next) {
                if (newOffset == list->offset)
                    break;
            }

            if (!list) {
                list = lalloc(sizeof(OffsetList));
                list->offset = newOffset;
                list->next = trans_vtboffsets;
                trans_vtboffsets = list;

                expr = makediadicnode(
                    makemonadicnode(CABI_MakeThisExpr(NULL, newOffset), EINDIRECT),
                    expr,
                    EASS);
            }
        }

        if (base->is_virtual)
            newOffset = CClass_VirtualBaseOffset(tclass1, base->base);
        else
            newOffset = offset + base->offset;

        expr = CABI_InitVBasePtr1(expr, tclass1, base->base, tclass3, newOffset);
    }

    return expr;
}

static Statement *CABI_InitVBasePtrs(Statement *stmt, TypeClass *tclass) {
    ENode *expr;
    VClassList *vbase;

    for (vbase = tclass->vbases, trans_vtboffsets = NULL; vbase; vbase = vbase->next) {
        expr = CABI_InitVBasePtr1(CABI_MakeThisExpr(NULL, vbase->offset), tclass, tclass, vbase->base, 0);
        stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
        stmt->expr = expr;
    }

    return stmt;
}

static OffsetList *CABI_GetVBasePath(TypeClass *tclass, TypeClass *baseclass) {
    ClassList *base;
    OffsetList *best;
    OffsetList *list;
    OffsetList *scan;
    short bestLength;
    short length;

    for (base = tclass->bases; base; base = base->next) {
        if (base->base == baseclass && base->is_virtual) {
            best = lalloc(sizeof(OffsetList));
            best->next = NULL;
            best->offset = base->offset;
            return best;
        }
    }

    best = NULL;

    for (base = tclass->bases; base; base = base->next) {
        if ((list = CABI_GetVBasePath(base->base, baseclass))) {
            for (scan = list->next, length = 1; scan; scan = scan->next)
                length++;

            if (base->is_virtual)
                length++;

            if (!best || length < bestLength) {
                if (base->is_virtual) {
                    best = lalloc(sizeof(OffsetList));
                    best->next = list;
                    best->offset = base->offset;
                } else {
                    best = list;
                    best->offset += base->offset;
                }
                bestLength = length;
            }
        }
    }

    return best;
}

static ENode *CABI_GetVBasePtr(TypeClass *tclass, TypeClass *baseclass) {
    OffsetList *path;
    ENode *expr;

    CError_ASSERT(1127, path = CABI_GetVBasePath(tclass, baseclass));

    expr = makemonadicnode(CABI_MakeThisExpr(NULL, path->offset), EINDIRECT);

    while ((path = path->next)) {
        if (path->offset)
            expr = makediadicnode(expr, intconstnode(TYPE(&stunsignedlong), path->offset), EADD);
        expr = makemonadicnode(expr, EINDIRECT);
    }

    return expr;
}

static SInt32 CABI_FindNVBase(TypeClass *tclass, TypeClass *baseclass, SInt32 offset) {
    ClassList *base;
    SInt32 tmp;

    if (tclass == baseclass)
        return offset;

    for (base = tclass->bases; base; base = base->next) {
        if (!base->is_virtual && (tmp = CABI_FindNVBase(base->base, baseclass, offset + base->offset)) >= 0)
            return tmp;
    }

    return -1;
}

SInt32 CABI_GetCtorOffsetOffset(TypeClass *tclass, TypeClass *baseclass) {
    SInt32 baseSize;
    SInt32 size;
    char saveAlignMode;

    size = CABI_GetBaseSize(tclass);
    if (baseclass) {
        baseSize = CABI_FindNVBase(tclass, baseclass, 0);
        CError_ASSERT(1178, baseSize >= 0);
        size -= baseSize;
    }

    saveAlignMode = copts.structalignment;
    if (tclass->eflags & CLASS_EFLAGS_F0)
        copts.structalignment = ((tclass->eflags & CLASS_EFLAGS_F0) >> 4) - 1;
    size += CMach_MemberAlignValue(TYPE(&stunsignedlong), size);
    copts.structalignment = saveAlignMode;

    return size;
}

static Statement *CABI_InitVBaseCtorOffsets(Statement *stmt, TypeClass *tclass) {
    VClassList *vbase;
    Object *tempObj;
    ENode *expr;
    ENode *vbaseptr;
    SInt32 vboffset;
    SInt32 ctorOffsetOffset;

    tempObj = NULL;

    for (vbase = tclass->vbases; vbase; vbase = vbase->next) {
        if (vbase->has_override) {
            if (!tempObj)
                tempObj = create_temp_object(TYPE(&void_ptr));

            vboffset = CClass_VirtualBaseOffset(tclass, vbase->base);
            ctorOffsetOffset = CABI_GetCtorOffsetOffset(vbase->base, NULL);
            vbaseptr = CABI_GetVBasePtr(tclass, vbase->base);
            CError_ASSERT(1215, vbaseptr);

            expr = makediadicnode(create_objectnode(tempObj), vbaseptr, EASS);
            stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
            stmt->expr = expr;

            expr = makediadicnode(
                create_objectnode(tempObj),
                intconstnode(TYPE(&stunsignedlong), ctorOffsetOffset),
                EADD);
            expr = makemonadicnode(expr, EINDIRECT);
            expr->rtype = TYPE(&stunsignedlong);
            expr = makediadicnode(
                expr,
                makediadicnode(
                    CABI_MakeThisExpr(NULL, vboffset),
                    create_objectnode(tempObj),
                    ESUB),
                EASS);
            stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
            stmt->expr = expr;
        }
    }

    return stmt;
}

static Statement *CABI_InitVTablePtrs(Statement *stmt, Object *vtableObj, TypeClass *tclass, TypeClass *baseclass, SInt32 offset, SInt32 voffset) {
    ClassList *base;
    BClassList *orig_pathcur;
    SInt32 newOffset;
    SInt32 newVOffset;
    OffsetList *offsetList;
    SInt32 vtblOffset;
    ENode *vtblExpr;
    ENode *pathExpr;
    BClassList path;

    if (baseclass->vtable->owner == baseclass) {
        vtblOffset = offset + baseclass->vtable->offset;
        for (offsetList = trans_vtboffsets; offsetList; offsetList = offsetList->next) {
            if (vtblOffset == offsetList->offset)
                break;
        }

        if (!offsetList) {
            offsetList = lalloc(sizeof(OffsetList));
            offsetList->offset = vtblOffset;
            offsetList->next = trans_vtboffsets;
            trans_vtboffsets = offsetList;

            vtblExpr = create_objectrefnode(vtableObj);
            vtblExpr->rtype = TYPE(&void_ptr);
            if ((vtblOffset = voffset + CABI_GetVTableOffset(baseclass)))
                vtblExpr = makediadicnode(vtblExpr, intconstnode(TYPE(&stunsignedlong), vtblOffset), EADD);

            pathExpr = CClass_AccessPathCast(&cabi_pathroot, CABI_MakeThisExpr(tclass, 0), 0);
            if (baseclass->vtable->offset && !canadd(pathExpr, baseclass->vtable->offset)) {
                pathExpr = makediadicnode(pathExpr, intconstnode(TYPE(&stunsignedlong), baseclass->vtable->offset), EADD);
                optimizecomm(pathExpr);
            }

            stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
            stmt->expr = makediadicnode(makemonadicnode(pathExpr, EINDIRECT), vtblExpr, EASS);
        }
    }

    for (base = baseclass->bases; base; base = base->next) {
        if (base->base->vtable) {
            orig_pathcur = cabi_pathcur;

            cabi_pathcur->next = &path;
            path.next = NULL;
            path.type = TYPE(base->base);
            cabi_pathcur = &path;

            if (base->is_virtual) {
                newOffset = CClass_VirtualBaseOffset(tclass, base->base);
                newVOffset = CClass_VirtualBaseVTableOffset(tclass, base->base);
            } else {
                newOffset = offset + base->offset;
                newVOffset = voffset + base->voffset;
            }

            stmt = CABI_InitVTablePtrs(stmt, vtableObj, tclass, base->base, newOffset, newVOffset);

            cabi_pathcur = orig_pathcur;
        }
    }

    return stmt;
}

static Boolean CABI_IsOperatorNew(ObjBase *obj) {
    return
        obj->otype == OT_OBJECT &&
        IS_TYPE_FUNC(OBJECT(obj)->type) &&
        TYPE_FUNC(OBJECT(obj)->type)->args &&
        TYPE_FUNC(OBJECT(obj)->type)->args->type == CABI_GetSizeTType() &&
        !TYPE_FUNC(OBJECT(obj)->type)->args->next;
}

Object *CABI_ConstructorCallsNew(TypeClass *tclass) {
    NameSpaceObjectList *nsol;
    NameResult pr;

    if (!tclass->sominfo && (tclass->flags & CLASS_HANDLEOBJECT)) {
        if (CScope_FindClassMemberObject(tclass, &pr, CMangler_OperatorName(TK_NEW))) {
            if (pr.obj_10) {
                if (CABI_IsOperatorNew(pr.obj_10))
                    return OBJECT(pr.obj_10);
            } else {
                for (nsol = pr.nsol_14; nsol; nsol = nsol->next) {
                    if (CABI_IsOperatorNew(nsol->object))
                        return OBJECT(nsol->object);
                }
            }
        }

        return newh_func;
    }

    return NULL;
}

void CABI_TransConstructor(Object *obj, Statement *firstStmt, TypeClass *tclass, TransConstructorCallback callback, Boolean has_try) {
    Statement *stmt;
    Object *tmpfunc;
    Object *tmpfunc2;
    CLabel *label;
    ENode *expr;
    ClassList *base;
    VClassList *vbase;
    ObjMemberVar *ivar;
    Type *type;
    CtorChain *chain;
    Boolean errorflag;

    stmt = firstStmt;

    if ((tmpfunc = CABI_ConstructorCallsNew(tclass))) {
        label = newlabel();

        stmt = CFunc_InsertStatement(ST_IFGOTO, firstStmt);
        stmt->expr = CABI_MakeThisExpr(NULL, 0);
        stmt->label = label;

        expr = makediadicnode(
            CABI_MakeThisExpr(NULL, 0),
            funccallexpr(tmpfunc, intconstnode(CABI_GetSizeTType(), tclass->size), NULL, NULL, NULL),
            EASS);
        stmt = CFunc_InsertStatement(ST_IFGOTO, stmt);
        stmt->expr = expr;
        stmt->label = label;

        stmt = CFunc_InsertStatement(ST_RETURN, stmt);
        stmt->expr = NULL;

        stmt = CFunc_InsertStatement(ST_LABEL, stmt);
        stmt->label = label;
        label->stmt = stmt;
    }

    if (has_try) {
        for (stmt = firstStmt; ; stmt = stmt->next) {
            CError_ASSERT(1408, stmt);
            if (stmt->type == ST_BEGINCATCH)
                break;
        }
    }

    if (!tclass->sominfo) {
        if (tclass->flags & CLASS_HAS_VBASES) {
            label = newlabel();

            stmt = CFunc_InsertStatement(ST_IFGOTO, stmt);
            stmt->expr = CExpr_New_EEQU_Node(CABI_MakeVArgExpr(), intconstnode(TYPE(&stsignedshort), 0));
            stmt->label = label;

            stmt = CABI_InitVBasePtrs(stmt, tclass);

            for (vbase = tclass->vbases; vbase; vbase = vbase->next) {
                if (!callback) {
                    for (chain = ctor_chain; chain; chain = chain->next) {
                        if (chain->what == CtorChain_VBase && chain->u.vbase == vbase)
                            break;
                    }

                    if (chain) {
                        stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                        stmt->expr = chain->objexpr;
                    } else {
                        expr = CClass_DefaultConstructorCall(
                            vbase->base,
                            tclass,
                            CABI_MakeThisExpr(NULL, vbase->offset),
                            0, 1, 1, &errorflag);
                        if (expr) {
                            stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                            stmt->expr = expr;
                        } else if (errorflag) {
                            CError_Error(CErrorStr213, tclass, 0, vbase->base, 0);
                        }
                    }
                } else {
                    stmt = callback(stmt, tclass, vbase->base, vbase->offset, 1);
                }

                if ((tmpfunc = CClass_Destructor(vbase->base)))
                    CExcept_RegisterMember(stmt, CABI_ThisArg(), vbase->offset, tmpfunc, CABI_VArg(), 0);
            }

            stmt = CFunc_InsertStatement(ST_LABEL, stmt);
            stmt->label = label;
            label->stmt = stmt;
        }

        for (base = tclass->bases; base; base = base->next) {
            if (base->is_virtual)
                continue;

            if (!callback) {
                for (chain = ctor_chain; chain; chain = chain->next) {
                    if (chain->what == CtorChain_Base && chain->u.base == base)
                        break;
                }

                if (chain) {
                    stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                    stmt->expr = chain->objexpr;
                } else {
                    expr = CClass_DefaultConstructorCall(
                        base->base,
                        tclass,
                        CABI_MakeThisExpr(NULL, base->offset),
                        0, 1, 0, &errorflag);
                    if (expr) {
                        stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                        stmt->expr = expr;
                    } else if (errorflag) {
                        CError_Error(CErrorStr213, tclass, 0, base->base, 0);
                    }
                }
            } else {
                stmt = callback(stmt, tclass, base->base, base->offset, 1);
            }

            if ((tmpfunc = CClass_Destructor(base->base)))
                CExcept_RegisterMember(stmt, CABI_ThisArg(), base->offset, tmpfunc, NULL, 0);
        }

        if (tclass->vtable && tclass->vtable->object && tclass->vtable->owner == tclass) {
            cabi_pathroot.next = NULL;
            cabi_pathroot.type = TYPE(tclass);
            cabi_pathcur = &cabi_pathroot;
            trans_vtboffsets = NULL;

            stmt = CABI_InitVTablePtrs(stmt, tclass->vtable->object, tclass, tclass, 0, 0);
        }
    }

    if (!tclass->sominfo && (tclass->flags & CLASS_FLAGS_8000))
        stmt = CABI_InitVBaseCtorOffsets(stmt, tclass);

    if (!callback) {
        for (ivar = tclass->ivars; ivar; ivar = ivar->next) {
            for (chain = ctor_chain; chain; chain = chain->next) {
                if (chain->what == CtorChain_MemberVar && chain->u.membervar == ivar) {
                    if (IS_TYPE_ARRAY(ivar->type))
                        chain = NULL;
                    break;
                }
            }

            if (chain) {
                stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                stmt->expr = chain->objexpr;
                type = ivar->type;
                switch (type->type) {
                    case TYPEARRAY:
                        do {
                            type = TPTR_TARGET(type);
                        } while (IS_TYPE_ARRAY(type));
                        if (IS_TYPE_CLASS(type)) {
                            if ((tmpfunc = CClass_Destructor(TYPE_CLASS(type)))) {
                                CError_ASSERT(1560, type->size);
                                CExcept_RegisterMemberArray(
                                    stmt,
                                    CABI_ThisArg(),
                                    ivar->offset,
                                    tmpfunc,
                                    ivar->type->size / type->size,
                                    type->size);
                            }
                        }
                        break;
                    case TYPECLASS:
                        if ((tmpfunc = CClass_Destructor(TYPE_CLASS(type)))) {
                            CExcept_RegisterMember(
                                stmt,
                                CABI_ThisArg(),
                                ivar->offset,
                                tmpfunc,
                                NULL,
                                1);
                        }
                        break;
                }
            } else {
                type = ivar->type;
                switch (type->type) {
                    case TYPEARRAY:
                        do {
                            type = TPTR_TARGET(type);
                        } while (IS_TYPE_ARRAY(type));
                        if (IS_TYPE_CLASS(type) && CClass_Constructor(TYPE_CLASS(type))) {
                            if (
                                (tmpfunc = CClass_DefaultConstructor(TYPE_CLASS(type))) ||
                                (tmpfunc = CClass_DummyDefaultConstructor(TYPE_CLASS(type)))
                                )
                            {
                                tmpfunc2 = CClass_Destructor(TYPE_CLASS(type));
                                if (tmpfunc2)
                                    tmpfunc2 = CABI_GetDestructorObject(tmpfunc2, 1);

                                stmt = CInit_ConstructClassArray(
                                    stmt,
                                    TYPE_CLASS(type),
                                    tmpfunc,
                                    tmpfunc2,
                                    CABI_MakeThisExpr(tclass, ivar->offset),
                                    ivar->type->size / type->size);

                                if (tmpfunc2)
                                    CExcept_RegisterMemberArray(
                                        stmt,
                                        CABI_ThisArg(),
                                        ivar->offset,
                                        tmpfunc2,
                                        ivar->type->size / type->size,
                                        type->size);
                            } else {
                                CError_Error(CErrorStr214, tclass, 0, ivar->name->name);
                            }
                        }
                        break;
                    case TYPECLASS:
                        expr = CClass_DefaultConstructorCall(
                            TYPE_CLASS(type),
                            NULL,
                            CABI_MakeThisExpr(tclass, ivar->offset),
                            1, 1, 0, &errorflag);
                        if (expr) {
                            stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                            stmt->expr = expr;
                        } else if (errorflag) {
                            CError_Error(CErrorStr214, tclass, 0, ivar->name->name);
                        }

                        if ((tmpfunc = CClass_Destructor(TYPE_CLASS(type)))) {
                            if (!expr) {
                                stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                                stmt->expr = nullnode();
                            }
                            CExcept_RegisterMember(
                                stmt,
                                CABI_ThisArg(),
                                ivar->offset,
                                tmpfunc,
                                NULL,
                                1);
                        }
                        break;
                }
            }
        }
    } else {
        stmt = callback(stmt, tclass, NULL, 0, 1);
    }

    if (!tclass->sominfo) {
        for (stmt = firstStmt->next; stmt; stmt = stmt->next) {
            if (stmt->type == ST_RETURN) {
                CError_ASSERT(1661, !stmt->expr);
                stmt->expr = CABI_MakeThisExpr(NULL, 0);
            }
        }
    }
}

void CABI_MakeDefaultConstructor(TypeClass *tclass, Object *func) {
    Boolean saveDebugInfo;
    CScopeSave savedScope;
    Statement firstStmt;
    Statement returnStmt;

    if (anyerrors || func->access == ACCESSNONE)
        return;

    CABI_ApplyClassFlags(func, tclass->eflags, 0);

    CScope_SetFunctionScope(func, &savedScope);

    CFunc_FuncGenSetup(&firstStmt, func);

    saveDebugInfo = copts.filesyminfo;
    copts.filesyminfo = 0;

    CFunc_SetupNewFuncArgs(func, TYPE_FUNC(func->type)->args);

    ctor_chain = NULL;
    if (tclass->flags & CLASS_HAS_VBASES)
        arguments->next->object->name = CParser_GetUniqueName();

    firstStmt.next = &returnStmt;

    memclrw(&returnStmt, sizeof(Statement));
    returnStmt.type = ST_RETURN;

    CABI_TransConstructor(func, &firstStmt, tclass, NULL, 0);

    CFunc_CodeCleanup(&firstStmt);
    CFunc_Gen(&firstStmt, func, 0);

    CScope_RestoreScope(&savedScope);
    copts.filesyminfo = saveDebugInfo;
}

static ENode *CABI_AssignObject(TypeClass *tclass, ENode *expr1, ENode *expr2) {
    Object *assignfunc;
    FuncArg *arg;

    assignfunc = CClass_AssignmentOperator(tclass);
    if (!assignfunc) {
        expr1 = makemonadicnode(expr1, EINDIRECT);
        expr1->rtype = TYPE(tclass);
        return makediadicnode(expr1, expr2, EASS);
    }

    CError_ASSERT(1731,
                  IS_TYPE_FUNC(assignfunc->type) &&
                  (arg = TYPE_FUNC(assignfunc->type)->args) &&
                  (arg = arg->next));

    expr2 = argumentpromotion(expr2, arg->type, arg->qual, 1);
    return funccallexpr(assignfunc, expr1, expr2, NULL, NULL);
}

static Type *CABI_FindIntegralSizeType(SInt32 size) {
    if (stunsignedchar.size == size)
        return TYPE(&stunsignedchar);
    if (stunsignedshort.size == size)
        return TYPE(&stunsignedshort);
    if (stunsignedint.size == size)
        return TYPE(&stunsignedint);
    if (stunsignedlong.size == size)
        return TYPE(&stunsignedlong);
    if (stunsignedlonglong.size == size)
        return TYPE(&stunsignedlonglong);

    CError_FATAL(1756);
    return NULL;
}

#ifdef __MWERKS__
#pragma options align=mac68k
#endif
typedef struct CopyRegion {
    struct CopyRegion *next;
    Type *type;
    SInt32 start;
    SInt32 end;
    Boolean flag;
} CopyRegion;
#ifdef __MWERKS__
#pragma options align=reset
#endif

static CopyRegion *CABI_AppendCopyRegion(CopyRegion *regions, Type *type, SInt32 start, Boolean flag) {
    CopyRegion *region;
    SInt32 end;

    if (IS_TYPE_BITFIELD(type))
        type = TYPE_BITFIELD(type)->bitfieldtype;

    end = start + type->size;

    if (flag) {
        for (region = regions; region; region = region->next) {
            if (region->flag) {
                if (region->start <= start && region->end >= end)
                    return regions;

                if (region->start >= start && region->end <= end) {
                    region->type = type;
                    region->start = start;
                    region->end = end;
                    for (region = region->next; region; region = region->next) {
                        if (region->start >= start && region->end <= end)
                            region->end = region->start;
                    }
                    return regions;
                }
            }
        }
    }

    if (regions) {
        region = regions;
        while (region->next)
            region = region->next;

        region->next = lalloc(sizeof(CopyRegion));
        region = region->next;
    } else {
        regions = lalloc(sizeof(CopyRegion));
        region = regions;
    }

    region->next = NULL;
    region->type = type;
    region->start = start;
    region->end = end;
    region->flag = flag;

    return regions;
}

static ENode *CABI_ClassInitLoopCallBack(ENode *var1, ENode *var2) {
    ENodeList *list;

    var2 = makemonadicnode(var2, EINDIRECT);
    var2->rtype = TYPE(cabi_loop_class);

    if (cabi_loop_construct) {
        list = lalloc(sizeof(ENodeList));
        memclrw(list, sizeof(ENodeList));
        list->node = var2;
        return CExpr_ConstructObject(cabi_loop_class, var1, list, 1, 1, 0, 1, 1);
    } else {
        return CABI_AssignObject(cabi_loop_class, var1, var2);
    }
}

static Statement *CABI_CopyConAssignCB(Statement *stmt, TypeClass *tclass, TypeClass *baseclass, SInt32 offset, Boolean flag) {
    ENode *expr;
    ENode *expr2;
    ENode *startExpr;
    ENode *endExpr;
    ENodeList *list;
    ObjMemberVar *ivar;
    CopyRegion *regions;
    Type *type;
    SInt32 i;
    SInt32 count;
    Boolean isFlagNotSet;
    Object *tmpfunc;

    if (baseclass) {
        if (baseclass->flags & CLASS_EMPTY) {
            if (
                (flag && !CClass_CopyConstructor(baseclass)) ||
                (!flag && !CClass_AssignmentOperator(baseclass))
                )
                return stmt;
        }

        expr = CABI_MakeCopyConArgExpr(tclass, flag);
        expr->rtype = TYPE(baseclass);
        expr->data.monadic = CClass_DirectBasePointerCast(expr->data.monadic, tclass, baseclass);

        stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
        if (flag) {
            list = lalloc(sizeof(ENodeList));
            list->next = NULL;
            list->node = expr;

            stmt->expr = CExpr_ConstructObject(
                baseclass,
                CABI_MakeThisExpr(NULL, offset),
                list,
                1, 0, 0, 0, 1);
        } else {
            stmt->expr = CABI_AssignObject(
                baseclass,
                CClass_DirectBasePointerCast(CABI_MakeThisExpr(NULL, 0), tclass, baseclass),
                expr);
        }
    } else {
        isFlagNotSet = !flag;
        for (ivar = tclass->ivars, regions = NULL; ivar; ivar = ivar->next) {
            if (ivar->name == vptr_name_node)
                continue;

            type = ivar->type;
            if (isFlagNotSet) {
                if (CParser_IsConst(type, ivar->qual) || IS_TYPE_REFERENCE(type) != 0) {
                    CError_Error(CErrorStr387, tclass, 0);
                    isFlagNotSet = 0;
                }
            }

            switch (type->type) {
                case TYPEARRAY:
                    while (IS_TYPE_ARRAY(type))
                        type = TPTR_TARGET(type);
                    if (!IS_TYPE_CLASS(type)) {
                        regions = CABI_AppendCopyRegion(regions, ivar->type, ivar->offset, 1);
                        break;
                    }
                case TYPECLASS:
                    if (flag) {
                        if (CClass_CopyConstructor(TYPE_CLASS(type)) || CClass_CopyConstructor(TYPE_CLASS(type))) {
                            regions = CABI_AppendCopyRegion(regions, ivar->type, ivar->offset, 0);
                            break;
                        }
                    } else {
                        if (CClass_AssignmentOperator(TYPE_CLASS(type))) {
                            regions = CABI_AppendCopyRegion(regions, ivar->type, ivar->offset, 0);
                            break;
                        }
                    }
                default:
                    regions = CABI_AppendCopyRegion(regions, ivar->type, ivar->offset, 1);
            }
        }

        for (; regions; regions = regions->next) {
            if (regions->start >= regions->end)
                continue;

            type = regions->type;
            expr = CABI_MakeCopyConArgExpr(tclass, flag);
            expr->rtype = type;

            if (!canadd(expr->data.monadic, regions->start)) {
                expr->data.monadic = makediadicnode(
                    expr->data.monadic,
                    intconstnode(TYPE(&stunsignedlong), regions->start),
                    EADD);
                optimizecomm(expr->data.monadic);
            }

            if (!regions->flag) {
                if (IS_TYPE_ARRAY(type)) {
                    while (IS_TYPE_ARRAY(type))
                        type = TPTR_TARGET(type);

                    CError_ASSERT(1966, IS_TYPE_CLASS(type));

                    if (type->size) {
                        count = regions->type->size / type->size;
                        if (count > 4) {
                            startExpr = CABI_MakeThisExpr(tclass, regions->start);
                            endExpr = CABI_MakeThisExpr(tclass, regions->start + regions->type->size);
                            expr = CABI_MakeCopyConArgExpr(tclass, flag)->data.monadic;
                            if (!canadd(expr, regions->start)) {
                                expr = makediadicnode(
                                    expr,
                                    intconstnode(TYPE(&stunsignedlong), regions->start),
                                    EADD);
                                optimizecomm(expr);
                            }

                            cabi_loop_class = TYPE_CLASS(type);
                            cabi_loop_construct = flag;
                            stmt = CFunc_GenerateLoop(
                                stmt,
                                CDecl_NewPointerType(type),
                                startExpr,
                                endExpr,
                                intconstnode(TYPE(&stunsignedlong), type->size),
                                expr,
                                CABI_ClassInitLoopCallBack);
                        } else {
                            for (i = 0, offset = regions->start; i < count; i++, offset += type->size) {
                                expr = CABI_MakeCopyConArgExpr(tclass, flag);
                                expr->rtype = type;

                                if (!canadd(expr->data.monadic, offset)) {
                                    expr->data.monadic = makediadicnode(
                                        expr->data.monadic,
                                        intconstnode(TYPE(&stunsignedlong), offset),
                                        EADD);
                                    optimizecomm(expr->data.monadic);
                                }

                                stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                                if (flag) {
                                    list = lalloc(sizeof(ENodeList));
                                    memclrw(list, sizeof(ENodeList));
                                    list->node = expr;
                                    stmt->expr = CExpr_ConstructObject(
                                        TYPE_CLASS(type),
                                        CABI_MakeThisExpr(tclass, offset),
                                        list,
                                        1, 1, 0, 1, 1);
                                } else {
                                    stmt->expr = CABI_AssignObject(
                                        TYPE_CLASS(type),
                                        CABI_MakeThisExpr(tclass, offset),
                                        expr);
                                }
                            }
                        }

                        if (flag && (tmpfunc = CClass_Destructor(TYPE_CLASS(type))))
                            CExcept_RegisterMemberArray(stmt, CABI_ThisArg(), regions->start, tmpfunc, count, type->size);
                    }
                } else {
                    CError_ASSERT(2027, IS_TYPE_CLASS(type));

                    stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);

                    if (flag) {
                        list = lalloc(sizeof(ENodeList));
                        memclrw(list, sizeof(ENodeList));
                        list->node = expr;
                        stmt->expr = CExpr_ConstructObject(
                            TYPE_CLASS(type),
                            CABI_MakeThisExpr(tclass, regions->start),
                            list,
                            1, 1, 0, 1, 1);

                        if ((tmpfunc = CClass_Destructor(TYPE_CLASS(type))))
                            CExcept_RegisterMember(stmt, CABI_ThisArg(), regions->start, tmpfunc, NULL, 1);
                    } else {
                        stmt->expr = CABI_AssignObject(
                            TYPE_CLASS(type),
                            CABI_MakeThisExpr(tclass, regions->start),
                            expr);
                    }
                }
            } else {
                if (IS_TYPE_ARRAY(type)) {
                    if (type->size > 1 && ((regions->start & 1) || (type->size & 1))) {
                        stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                        stmt->expr = funccallexpr(
                            copy_func,
                            CABI_MakeThisExpr(tclass, regions->start),
                            getnodeaddress(expr, 0),
                            intconstnode(CABI_GetSizeTType(), type->size),
                            NULL);
                        continue;
                    }

                    type = CDecl_NewStructType(type->size, CMach_GetTypeAlign(type));
                    expr->rtype = type;
                }

                expr2 = makemonadicnode(CABI_MakeThisExpr(tclass, regions->start), EINDIRECT);
                expr2->rtype = type;
                stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                stmt->expr = makediadicnode(expr2, expr, EASS);
            }
        }
    }

    return stmt;
}

void CABI_MakeDefaultCopyConstructor(TypeClass *tclass, Object *func) {
    Boolean saveDebugInfo;
    CScopeSave savedScope;
    Statement firstStmt;
    Statement returnStmt;

    if (anyerrors || func->access == ACCESSNONE)
        return;

    CABI_ApplyClassFlags(func, tclass->eflags, 0);

    CScope_SetFunctionScope(func, &savedScope);

    CFunc_FuncGenSetup(&firstStmt, func);

    saveDebugInfo = copts.filesyminfo;
    copts.filesyminfo = 0;

    CFunc_SetupNewFuncArgs(func, TYPE_FUNC(func->type)->args);

    ctor_chain = NULL;
    if (tclass->flags & CLASS_HAS_VBASES)
        arguments->next->object->name = CParser_GetUniqueName();

    firstStmt.next = &returnStmt;

    memclrw(&returnStmt, sizeof(Statement));
    returnStmt.type = ST_RETURN;

    CABI_TransConstructor(func, &firstStmt, tclass, CABI_CopyConAssignCB, 0);

    CFunc_CodeCleanup(&firstStmt);
    CFunc_Gen(&firstStmt, func, 0);

    CScope_RestoreScope(&savedScope);
    copts.filesyminfo = saveDebugInfo;
}

void CABI_MakeDefaultAssignmentOperator(TypeClass *tclass, Object *func) {
    Boolean saveDebugInfo;
    Statement *stmt;
    ClassList *base;
    VClassList *vbase;
    ENode *expr1;
    ENode *expr2;
    CScopeSave savedScope;
    Statement firstStmt;

    if (anyerrors || func->access == ACCESSNONE)
        return;

    CABI_ApplyClassFlags(func, tclass->eflags, 0);

    CScope_SetFunctionScope(func, &savedScope);

    CFunc_FuncGenSetup(&firstStmt, func);

    saveDebugInfo = copts.filesyminfo;
    copts.filesyminfo = 0;

    CFunc_SetupNewFuncArgs(func, TYPE_FUNC(func->type)->args);

    stmt = curstmt;

    if (tclass->mode == CLASS_MODE_UNION) {
        expr1 = makemonadicnode(CABI_MakeThisExpr(tclass, 0), EINDIRECT);
        expr1->rtype = TYPE(tclass);

        expr2 = CABI_MakeCopyConArgExpr(tclass, 0);
        expr2->rtype = TYPE(tclass);

        stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
        stmt->expr = makediadicnode(expr1, expr2, EASS);
    } else {
        for (vbase = tclass->vbases; vbase; vbase = vbase->next) {
            stmt = CABI_CopyConAssignCB(stmt, tclass, vbase->base, vbase->offset, 0);
        }

        for (base = tclass->bases; base; base = base->next) {
            if (!base->is_virtual)
                stmt = CABI_CopyConAssignCB(stmt, tclass, base->base, base->offset, 0);
        }

        stmt = CABI_CopyConAssignCB(stmt, tclass, NULL, 0, 0);
    }

    stmt = CFunc_InsertStatement(ST_RETURN, stmt);
    stmt->expr = CABI_MakeThisExpr(NULL, 0);

    CFunc_CodeCleanup(&firstStmt);
    CFunc_Gen(&firstStmt, func, 0);

    CScope_RestoreScope(&savedScope);
    copts.filesyminfo = saveDebugInfo;
}

static Statement *CABI_DestroyMembers(Statement *stmt, ObjMemberVar *ivars, TypeClass *tclass) {
    Type *type;
    Object *dtor;
    ENode *expr;

    for (; ivars; ivars = ivars->next) {
        type = ivars->type;

        if (IS_TYPE_ARRAY(type)) {
            while (IS_TYPE_ARRAY(type))
                type = TPTR_TARGET(type);

            if (IS_TYPE_CLASS(type) && (dtor = CClass_Destructor(TYPE_CLASS(type)))) {
                dtor = CABI_GetDestructorObject(dtor, 1);
                stmt = CABI_DestroyMembers(stmt, ivars->next, tclass);
                expr = create_objectrefnode(dtor);
                expr->flags = expr->flags | ENODE_FLAG_80;

                stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                stmt->expr = funccallexpr(
                    darr_func,
                    CABI_MakeThisExpr(tclass, ivars->offset),
                    expr,
                    intconstnode(TYPE(&stsignedlong), type->size),
                    intconstnode(TYPE(&stsignedlong), ivars->type->size / type->size)
                    );
                return stmt;
            }
        } else {
            if (IS_TYPE_CLASS(type) && (dtor = CClass_Destructor(TYPE_CLASS(type)))) {
                stmt = CABI_DestroyMembers(stmt, ivars->next, tclass);

                stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
                stmt->expr = CABI_DestroyObject(
                    dtor,
                    CABI_MakeThisExpr(tclass, ivars->offset),
                    CABIDestroy1,
                    1,
                    0
                );
                return stmt;
            }
        }
    }

    return stmt;
}

static Statement *CABI_DestroyBases(Statement *stmt, ClassList *bases) {
    ClassList *base;
    Object *dtor;
    SInt32 count;
    SInt32 i;

    base = bases;
    count = 0;
    while (base) {
        base = base->next;
        count++;
    }

    while (count > 0) {
        base = bases;
        i = count;
        while (i-- > 1)
            base = base->next;

        if (!base->is_virtual && (dtor = CClass_Destructor(base->base))) {
            stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
            stmt->expr = CABI_DestroyObject(
                dtor,
                CABI_MakeThisExpr(NULL, base->offset),
                CABIDestroy0,
                1,
                0);
        }

        count--;
    }

    return stmt;
}

static Statement *CABI_DestroyVBases(Statement *stmt, VClassList *vbases) {
    Object *dtor;

    for (; vbases; vbases = vbases->next) {
        if ((dtor = CClass_Destructor(vbases->base))) {
            stmt = CABI_DestroyVBases(stmt, vbases->next);
            stmt = CFunc_InsertStatement(ST_EXPRESSION, stmt);
            stmt->expr = CABI_DestroyObject(
                dtor,
                CABI_MakeThisExpr(NULL, vbases->offset),
                CABIDestroy0,
                1,
                0);
            break;
        }
    }

    return stmt;
}

void CABI_TransDestructor(Object *obj1, Object *obj2, Statement *stmt, TypeClass *tclass, CABIDestroyMode mode) {
    CLabel *label2;
    Boolean flag29;
    CLabel *label;
    Statement *scan;
    Boolean flag25;
    Boolean flag24;
    Boolean flag23;
    CLabel *label3;
    Object *dealloc;
    Boolean deallocFlag;

    if (tclass->sominfo) {
        flag24 = 0;
        flag25 = 0;
        flag29 = 0;
        flag23 = 1;
    } else {
        flag24 = 1;
        flag23 = 1;
        flag25 = 1;
        flag29 = 1;
    }

    label = newlabel();

    for (scan = stmt; scan; scan = scan->next) {
        if (scan->type == ST_RETURN) {
            CError_ASSERT(2329, !scan->expr);
            scan->type = ST_GOTO;
            scan->label = label;
        }

        if (scan->next && scan->next->type == ST_RETURN && !scan->next->next) {
            CError_ASSERT(2334, !scan->next->expr);
            scan->next = NULL;
            break;
        }
    }

    scan = stmt;

    if (flag29) {
        label2 = newlabel();
        scan = CFunc_InsertStatement(ST_IFNGOTO, scan);
        scan->expr = CABI_MakeThisExpr(NULL, 0);
        scan->label = label2;
    }

    if (flag25 && tclass->vtable && tclass->vtable->object && tclass->vtable->owner == tclass) {
        cabi_pathroot.next = NULL;
        cabi_pathroot.type = TYPE(tclass);
        cabi_pathcur = &cabi_pathroot;
        trans_vtboffsets = NULL;
        scan = CABI_InitVTablePtrs(scan, tclass->vtable->object, tclass, tclass, 0, 0);
    }

    if (!tclass->sominfo && (tclass->flags & CLASS_FLAGS_8000))
        CABI_InitVBaseCtorOffsets(scan, tclass);

    scan = stmt;
    while (scan->next)
        scan = scan->next;

    scan = CFunc_InsertStatement(ST_LABEL, scan);
    scan->label = label;
    scan->dobjstack = NULL;
    label->stmt = scan;

    if (flag23 && !(tclass->flags & CLASS_HANDLEOBJECT))
        scan = CABI_DestroyMembers(scan, tclass->ivars, tclass);

    if (flag25 && tclass->bases)
        scan = CABI_DestroyBases(scan, tclass->bases);

    if (flag24 && (tclass->flags & CLASS_HAS_VBASES)) {
        label3 = newlabel();
        scan = CFunc_InsertStatement(ST_IFNGOTO, scan);
        scan->expr = CABI_MakeVArgExpr();
        scan->label = label3;

        scan = CABI_DestroyVBases(scan, tclass->vbases);

        scan = CFunc_InsertStatement(ST_LABEL, scan);
        scan->label = label3;
        label3->stmt = scan;
    }

    if (flag29) {
        scan = CFunc_InsertStatement(ST_IFGOTO, scan);
        scan->expr = CExpr_New_ELESSEQU_Node(CABI_MakeVArgExpr(), intconstnode(TYPE(&stsignedshort), 0));
        scan->label = label2;

        scan = CFunc_InsertStatement(ST_EXPRESSION, scan);
        dealloc = CParser_FindDeallocationObject(TYPE(tclass), NULL, 0, 0, &deallocFlag);
        if (deallocFlag) {
            scan->expr = funccallexpr(
                dealloc,
                CABI_MakeThisExpr(NULL, 0),
                intconstnode(CABI_GetSizeTType(), tclass->size),
                NULL,
                NULL);
        } else {
            scan->expr = funccallexpr(dealloc, CABI_MakeThisExpr(NULL, 0), NULL, NULL, NULL);
        }

        scan = CFunc_InsertStatement(ST_LABEL, scan);
        scan->label = label2;
        label2->stmt = scan;
    }

    scan = CFunc_InsertStatement(ST_RETURN, scan);
    if (tclass->sominfo)
        scan->expr = NULL;
    else
        scan->expr = CABI_MakeThisExpr(NULL, 0);
}

void CABI_MakeDefaultDestructor(TypeClass *tclass, Object *func) {
    Boolean saveDebugInfo;
    CScopeSave savedScope;
    Statement firstStmt;
    Statement returnStmt;

    if (anyerrors || func->access == ACCESSNONE)
        return;

    CABI_ApplyClassFlags(func, tclass->eflags, 0);

    CScope_SetFunctionScope(func, &savedScope);

    CFunc_FuncGenSetup(&firstStmt, func);

    saveDebugInfo = copts.filesyminfo;
    copts.filesyminfo = 0;

    CFunc_SetupNewFuncArgs(func, TYPE_FUNC(func->type)->args);

    firstStmt.next = &returnStmt;

    memclrw(&returnStmt, sizeof(Statement));
    returnStmt.type = ST_RETURN;

    CFunc_CodeCleanup(&firstStmt);

    CABI_TransDestructor(func, func, &firstStmt, tclass, CABIDestroy0);

    CFunc_Gen(&firstStmt, func, 0);

    CScope_RestoreScope(&savedScope);
    copts.filesyminfo = saveDebugInfo;
}

static void CABI_CreateLayeredDestructor(TypeClass *tclass, Object *obj1, Object *func, CABIDestroyMode mode) {
    Boolean saveDebugInfo;
    CScopeSave savedScope;
    Statement firstStmt;
    Statement returnStmt;

    CError_FATAL(2524);

    CScope_SetFunctionScope(func, &savedScope);

    CFunc_FuncGenSetup(&firstStmt, func);

    saveDebugInfo = copts.filesyminfo;
    copts.filesyminfo = 0;

    CFunc_SetupNewFuncArgs(func, TYPE_FUNC(func->type)->args);

    firstStmt.next = &returnStmt;

    memclrw(&returnStmt, sizeof(Statement));
    returnStmt.type = ST_RETURN;

    CFunc_CodeCleanup(&firstStmt);

    CABI_TransDestructor(obj1, func, &firstStmt, tclass, mode);

    CFunc_Gen(&firstStmt, func, 0);

    CScope_RestoreScope(&savedScope);
    copts.filesyminfo = saveDebugInfo;
}

void CABI_MakeLayeredDestructor(TypeClass *tclass, Object *func) {
    Object *dtor;
    CABIDestroyMode mode;

    CError_FATAL(2557);

    if (anyerrors || func->access == ACCESSNONE)
        return;

    if ((dtor = CClass_Destructor(tclass))) {
        if (CABI_GetDestructorObject(dtor, CABIDestroy0) == func)
            mode = CABIDestroy0;
        else if (CABI_GetDestructorObject(dtor, CABIDestroy2) == func)
            mode = CABIDestroy2;
        else if (CABI_GetDestructorObject(dtor, CABIDestroy3) == func)
            mode = CABIDestroy3;
        else if (CABI_GetDestructorObject(dtor, CABIDestroy1) == func)
            mode = CABIDestroy1;
        else
            CError_FATAL(2567);
    }

    CABI_CreateLayeredDestructor(tclass, dtor, func, mode);
}

Object *CABI_GetDestructorObject(Object *obj, CABIDestroyMode mode) {
    return obj;
}

static void CABI_AddLayeredDestructor(TypeClass *tclass, Object *dtor, HashNameNode *name, Boolean is_virtual) {
    Object *func;

    CError_FATAL(2667);

    func = CParser_NewFunctionObject(NULL);
    func->nspace = dtor->nspace;
    func->name = name;
    func->type = TYPE(CDecl_MakeDefaultDtorType(tclass, is_virtual));
    func->qual = Q_20000 | Q_MANGLE_NAME;
    func->qual |= Q_INLINE;
    CABI_ApplyClassFlags(func, tclass->eflags, 1);

    CError_ASSERT(2678, IS_TYPE_FUNC(func->type));
    TYPE_FUNC(func->type)->flags |= FUNC_AUTO_GENERATED;

    if (dtor->datatype == DVFUNC) {
        func->datatype = DVFUNC;
        CMangler_GetLinkName(func);
        func->datatype = DFUNC;
    }

    CScope_AddObject(func->nspace, func->name, OBJ_BASE(func));
}

void CABI_AddLayeredDestructors(TypeClass *tclass) {
    Object *dtor;

    CError_FATAL(2707);

    if ((dtor = CClass_Destructor(tclass))) {
        CABI_AddLayeredDestructor(tclass, dtor, CMangler_DeleteDtorName(), 1);
        CABI_AddLayeredDestructor(tclass, dtor, CMangler_SDeleteDtorName(), 1);
        if (tclass->vbases)
            CABI_AddLayeredDestructor(tclass, dtor, CMangler_VBaseDtorName(), 0);
    }
}

ENode *CABI_DestroyObject(Object *dtor, ENode *objexpr, CABIDestroyMode mode, Boolean flag1, Boolean flag2) {
    ENode *expr;
    short arg;
    ENodeList *list;

    switch (mode) {
        case CABIDestroy2:
        case CABIDestroy3:
            if (flag2)
                arg = 1;
            else
                arg = -1;
            break;
        case CABIDestroy1:
            arg = -1;
            break;
        case CABIDestroy0:
            arg = 0;
            break;
        default:
            CError_FATAL(2786);
    }

    expr = lalloc(sizeof(ENode));
    expr->type = EFUNCCALL;
    expr->cost = 200;
    expr->flags = 0;
    expr->rtype = &stvoid;
    expr->data.funccall.funcref = create_objectrefnode(dtor);
    if (flag1)
        expr->data.funccall.funcref->flags = expr->data.funccall.funcref->flags | ENODE_FLAG_80;
    expr->data.funccall.functype = TYPE_FUNC(dtor->type);
    dtor->flags = dtor->flags | OBJECT_USED;

    list = lalloc(sizeof(ENodeList));
    list->node = objexpr;
    expr->data.funccall.args = list;

    list->next = lalloc(sizeof(ENodeList));
    list = list->next;
    list->next = NULL;
    list->node = intconstnode(TYPE(&stsignedshort), arg);

    return expr;
}