move lots of source files around to match their actual placement in the original treemain

1 files changed, 2033 insertions, 0 deletions

diff --git a/compiler_and_linker/FrontEnd/C/CABI.c b/compiler_and_linker/FrontEnd/C/CABI.c
new file mode 100644
index 0000000..2a88de1
--- /dev/null
+++ b/compiler_and_linker/FrontEnd/C/CABI.c
@@ -0,0 +1,2033 @@
+#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;
+}