Method sv_trySimulate_At

src/ast/ast_simulate.cpp:1879–1994

    }

    SimNode * SimulateVisitor::sv_trySimulate_At(const ExprAt * expr, uint32_t extraOffset, const TypeDeclPtr & r2vType) {
        const auto &at = expr->at;
        if ( expr->subexpr->type->isVectorType() ) {
            return nullptr;
        } else if ( expr->subexpr->type->isGoodTableType() ) {
            return nullptr;
        } else if ( expr->subexpr->type->isHandle() ) {
            SimNode * result;
            if ( r2vType->baseType!=Type::none ) {
                result = expr->subexpr->type->annotation->simulateGetAtR2V(context, at, r2vType, expr->subexpr, expr->index, extraOffset);
                if ( !result ) {
                    context.thisProgram->error("integration error, simulateGetAtR2V returned null", "", "",
                                               at, CompilationError::internal_expression );
                }
            } else {
                result = expr->subexpr->type->annotation->simulateGetAt(context, at, r2vType, expr->subexpr, expr->index, extraOffset);
                if ( !result ) {
                    context.thisProgram->error("integration error, simulateGetAt returned null", "", "",
                                               at, CompilationError::internal_expression );
                }
            }
            return result;
        } else if ( expr->subexpr->type->isGoodArrayType() ) {
            auto prv = simulateExpression(expr->subexpr);
            auto pidx = simulateExpression(expr->index);
            uint32_t stride = expr->subexpr->type->firstType->getSizeOf();
            if ( r2vType->baseType!=Type::none ) {
                switch ( expr->index->type->baseType ) {
                case Type::tInt64:  return context.code->makeValueNode<SimNode_ArrayAtR2V_I64>(r2vType->getR2VType(), at, prv, pidx, stride, extraOffset);
                case Type::tUInt64: return context.code->makeValueNode<SimNode_ArrayAtR2V_U64>(r2vType->getR2VType(), at, prv, pidx, stride, extraOffset);
                default:            return context.code->makeValueNode<SimNode_ArrayAtR2V>(r2vType->getR2VType(), at, prv, pidx, stride, extraOffset);
                }
            } else {
                switch ( expr->index->type->baseType ) {
                case Type::tInt64:  return context.code->makeNode<SimNode_ArrayAt_I64>(at, prv, pidx, stride, extraOffset);
                case Type::tUInt64: return context.code->makeNode<SimNode_ArrayAt_U64>(at, prv, pidx, stride, extraOffset);
                default:            return context.code->makeNode<SimNode_ArrayAt>(at, prv, pidx, stride, extraOffset);
                }
            }
        } else if ( expr->subexpr->type->isPointer() ) {
            uint32_t stride = expr->subexpr->type->firstType->getSizeOf();
            auto prv = simulateExpression(expr->subexpr);
            auto pidx = simulateExpression(expr->index);
            if ( r2vType->baseType!=Type::none ) {
                switch ( expr->index->type->baseType ) {
                case Type::tInt:    return context.code->makeValueNode<SimNode_PtrAtR2V_Int>(r2vType->getR2VType(), at, prv, pidx, stride, extraOffset);
                case Type::tUInt:   return context.code->makeValueNode<SimNode_PtrAtR2V_UInt>(r2vType->getR2VType(), at, prv, pidx, stride, extraOffset);
                case Type::tInt64:  return context.code->makeValueNode<SimNode_PtrAtR2V_Int64>(r2vType->getR2VType(), at, prv, pidx, stride, extraOffset);
                case Type::tUInt64: return context.code->makeValueNode<SimNode_PtrAtR2V_UInt64>(r2vType->getR2VType(), at, prv, pidx, stride, extraOffset);
                default:
                    context.thisProgram->error("internal compilation error, generating ptr at for unsupported index type " + expr->index->type->describe(), "", "", at, CompilationError::internal_expression);
                    return nullptr;
                };
            } else {
                switch ( expr->index->type->baseType ) {
                case Type::tInt:    return context.code->makeNode<SimNode_PtrAt<int32_t>>(at, prv, pidx, stride, extraOffset);
                case Type::tUInt:   return context.code->makeNode<SimNode_PtrAt<uint32_t>>(at, prv, pidx, stride, extraOffset);
                case Type::tInt64:  return context.code->makeNode<SimNode_PtrAt<int64_t>>(at, prv, pidx, stride, extraOffset);