Method simulateExprMakeStruct

src/ast/ast_simulate.cpp:853–1038

    }

    vector<SimNode *> SimulateVisitor::simulateExprMakeStruct(const ExprMakeStruct *mks) {
        gc_guard gc_scope;
        vector<SimNode *> simlist;
        // init with 0
        int total = int(mks->structs.size());
        int stride = mks->makeType->getStride();
        // note: if its an empty tuple init, like [[tuple<int;float>]] and its embedded - we need to zero it out
        bool emptyEmbeddedTuple = ( mks->makeType->baseType==Type::tTuple && total==0);
        bool partialyInitStruct = !mks->doesNotNeedInit && !mks->initAllFields;
        if ( (emptyEmbeddedTuple || partialyInitStruct) && stride ) {
            int bytes = das::max(total,1) * stride;
            SimNode * init0;
            if ( mks->useCMRES ) {
                if ( bytes==0 ) {
                    init0 = nullptr;
                } else if ( bytes <= 32 ) {
                    init0 = context.code->makeNodeUnrollNZ<SimNode_InitLocalCMResN>(bytes, mks->at, mks->extraOffset);
                } else {
                    init0 = context.code->makeNode<SimNode_InitLocalCMRes>(mks->at, mks->extraOffset, bytes);
                }
            } else if ( mks->useStackRef ) {
                init0 = context.code->makeNode<SimNode_InitLocalRef>(mks->at, mks->stackTop, mks->extraOffset, bytes);
            } else {
                init0 = context.code->makeNode<SimNode_InitLocal>(mks->at, mks->stackTop + mks->extraOffset, bytes);
            }
            if (init0) simlist.push_back(init0);
        }
        if ( mks->makeType->baseType == Type::tStructure ) {
            for ( int index=0; index != total; ++index ) {
                if ( mks->constructor ) {
                    uint32_t offset = mks->extraOffset + index*stride;
                    SimNode_CallBase * pCall = (SimNode_CallBase *) context.code->makeNodeUnrollAny<SimNode_CallAndCopyOrMove>(0, mks->at);
                    DAS_ASSERT(mks->constructor->index!=-1 && "should have failed in type infer otherwise");
                    pCall->fnPtr = context.getFunction(mks->constructor->index);
                    if ( mks->useCMRES ) {
                        pCall->cmresEval = context.code->makeNode<SimNode_GetCMResOfs>(mks->at, offset);
                    } else if ( mks->useStackRef ) {
                        pCall->cmresEval = context.code->makeNode<SimNode_GetLocalRefOff>(mks->at, mks->stackTop, offset);
                    } else {
                        pCall->cmresEval = context.code->makeNode<SimNode_GetLocal>(mks->at, mks->stackTop + offset);
                    }
                    simlist.push_back(pCall);
                }
                auto & fields = mks->structs[index];
                for ( const auto & decl : *fields ) {
                    auto field = mks->makeType->structType->findField(decl->name);
                    DAS_ASSERT(field && "should have failed in type infer otherwise");
                    uint32_t offset = mks->extraOffset + index*stride + field->offset;
                    SimNode * cpy;
                    if ( decl->value->rtti_isMakeLocal() ) {
                        // so what happens here, is we ask it for the generated commands and append it to this list only
                        auto mkl = static_cast<ExprMakeLocal*>(decl->value);
                        auto lsim = sv_simulateLocal(mkl);
                        simlist.insert(simlist.end(), lsim.begin(), lsim.end());
                        continue;
                    } else if ( mks->useCMRES ) {
                        if ( decl->moveSemantics ){
                            cpy = sv_makeLocalCMResMove(mks->at, offset, decl->value);