Method sv_trySimulate_Field

src/ast/ast_simulate.cpp:2388–2444

    }

    SimNode * SimulateVisitor::sv_trySimulate_Field(const ExprField * expr, uint32_t extraOffset, const TypeDeclPtr & r2vType) {
        const auto &at = expr->at;
        if ( expr->value->type->isBitfield() ) {
            return nullptr;
        }
        int fieldOffset = -1;
        if ( !expr->fieldRef && expr->fieldIndex==-1 ) {
            fieldOffset = (int) expr->annotation->getFieldOffset(expr->name);
        } else if ( expr->fieldIndex != - 1 ) {
            if ( expr->value->type->isPointer() ) {
                if ( expr->value->type->firstType->isVariant() ) {
                    fieldOffset = expr->value->type->firstType->getVariantFieldOffset(expr->fieldIndex);
                } else {
                    fieldOffset = expr->value->type->firstType->getTupleFieldOffset(expr->fieldIndex);
                }
            } else {
                if ( expr->value->type->isVariant() ) {
                    fieldOffset = expr->value->type->getVariantFieldOffset(expr->fieldIndex);
                } else {
                    fieldOffset = expr->value->type->getTupleFieldOffset(expr->fieldIndex);
                }
            }
        } else {
            DAS_ASSERTF(expr->fieldRef, "field can't be null");
            if (!expr->fieldRef) return nullptr;
            fieldOffset = expr->fieldRef->offset;
        }
        DAS_ASSERTF(fieldOffset>=0,"field offset is somehow not there");
        if (expr->value->type->isPointer()) {
            if ( expr->unsafeDeref ) {
                auto simV = simulateExpression(expr->value);
                if ( r2vType->baseType!=Type::none ) {
                    return context.code->makeValueNode<SimNode_FieldDerefR2V>(r2vType->getR2VType(), at, simV, fieldOffset + extraOffset);
                } else {
                    return context.code->makeNode<SimNode_FieldDeref>(at, simV, fieldOffset + extraOffset);
                }
            } else {
                auto simV = simulateExpression(expr->value);
                auto errorMessage = context.code->allocateName(", "+expr->value->describe()+" is null");
                if ( r2vType->baseType!=Type::none ) {
                    return context.code->makeValueNode<SimNode_PtrFieldDerefR2V>(r2vType->getR2VType(), at, simV, fieldOffset + extraOffset, errorMessage);
                } else {
                    return context.code->makeNode<SimNode_PtrFieldDeref>(at, simV, fieldOffset + extraOffset, errorMessage);
                }
            }
        } else {
            if ( auto chain = sv_trySimulate(expr->value, extraOffset + fieldOffset, r2vType) ) {
                return chain;
            }
            auto simV = simulateExpression(expr->value);
            if ( r2vType->baseType!=Type::none ) {
                return context.code->makeValueNode<SimNode_FieldDerefR2V>(r2vType->getR2VType(), at, simV, extraOffset + fieldOffset);
            } else {
                return context.code->makeNode<SimNode_FieldDeref>(at, simV, extraOffset + fieldOffset);
            }
        }
    }