Обращение к элементу массива (встроенный Assembler)

@N_p · Регистрация: 09.05.2018

Студворк — интернет-сервис помощи студентам

Изучаю ассемблер. В этой задаче хочу в переменную ср положить какой-то элемент массива(массив и индекс элемента передаю в функцию), но выводит неверно. Например, если index=2, то выводит -9.22596e+61, хотя второй элемент равен 44(если с нуля считать).

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#include "stdafx.h"
#include "iostream"
using namespace std;
 
double func(double *mas1, double index)
{
    double cp;
    _asm
    {
        lea esi, mas1//кладу в esi адрес первого элемента массива mas1
        mov edx, dword ptr [index]//в edx помещаю индекс элемента, который хочу положить в cp
        mov eax, mas1[edx * 4]//заношу нужный элемент массива в регистр
        mov dword ptr [cp], eax
    }
    cout << cp << endl;
 
    return *mas1;
}
 
int main()
{
    int n;
    cout << "enter n: ";
    cin >> n;
    double mas1[10] = { 22, 100, 44, 15, 2, 36, 53, 23, 82, 5 };
    func(mas1, 2);
    for (int i = 0; i < n; i++)
        cout << mas1[i] << " ";
    return 0;
}

Где ошибка?

@Kukuxumushu · 09.05.2018, 21:32

Сообщение от N_p

dword ptr [index]

А вот тут по-вашему что произойти должно?
Особенно учитывая, что index имеет тип double, что уже само по себе дичайшая ошибка.
То же самое и с cp.

@N_p · 09.05.2018, 22:03 **[ТС]**

Сообщение от Kukuxumushu

А вот тут по-вашему что произойти должно?

Подразумевалось, что адрес переменной index имеет размер dword.
Но, очевидно, это неверно.
index - это константа, значит имеет фиксированный размер

С типом double сложнее. Нужно какое-то преобразование типов?

@Constantin Cat · 09.05.2018, 22:50

Сообщение от N_p

lea esi, mas1//кладу в esi адрес первого элемента массива mas1
* * * * mov edx, dword ptr [index]//в edx помещаю индекс элемента, который хочу положить в cp
* * * * mov eax, mas1[edx * 4]//заношу нужный элемент массива в регистр
* * * * mov dword ptr [cp], eax

по строкам:
1)зачем, если Вы его нигде больше не используете
2)индекс массива может быть только натуральным числом(первый, второй, . . . милионный). Компилятор С, считает, что массив начинается с нуля, компилятор Pascal, неважно с чег начинается, но автоматически приведит к нулю;
2)Вы читаете в EDX, что-то, что находится по адресу [полтора];
3)После этого в ЕАХ Вы читаете, с адреса, который равен сумме начала адреса массива и значению по адресу [полтора];
3-4)

double 8 байт от:-9 223 372 036 854 775 808 .0 , до:9 223 372 036 854 775 807.0

тип double размером 8-мь, а ЕАХ всего 4-е байта, т.е Вы впихиваете невпихуемое.

@Kukuxumushu · 09.05.2018, 22:52

Сообщение от N_p

Нужно какое-то преобразование типов?

Нужно во-1 назначить индексным переменным индексный тип, во-2 у вас какой-то неизвестный науке режим адресации используется, в-3, тип double занимает 8 байт и его за 1 раз не передашь, в-4 зачем функция возвращает всегда первый элемент???
Вот так может чего понятнее станет

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#include <iostream>
using namespace std;
 
double func(double *mas, int index)
{
double cp;
 
_asm
 {
 push esi
 push edi
 push eax
 
 mov esi,mas
 mov eax,index
 shl eax,3
 add esi,eax
 lea edi,cp
 cld
 movsd
 movsd
 
 pop eax
 pop edi
 pop esi
 }
return cp;
}
 
 
int main()
{
double A[5]={0.5, -3, 1.3, 22, -6.4};
cout<<func(A,2)<<endl;
 
system("pause");
return 0;
}

@N_p · 10.05.2018, 08:05 **[ТС]**

Здесь все понятно, кроме того, зачем movsd используется дважды?

А можно ли это сделать без использования стека?

@Kukuxumushu · 10.05.2018, 14:08

Сообщение от N_p

зачем movsd используется дважды?

2 раза по 4 байта пересылается, нельзя за 1 раз 8 байт переслать

Сообщение от N_p

А можно ли это сделать без использования стека?

Это зависит от компилятора. Стек используется для сохранения состояния в целях безопасности. Если вы уберёте push/pop и у вас всё продолжит работать - значит они не нужны.

Добавлено через 46 минут
Индексацию, конечно, можно проще сделать. Сразу не сообразил.

Assembler
1
2
3
mov esi,index
shl esi,3
add esi,mas

@N_p · 10.05.2018, 17:10 **[ТС]**

Хорошо, спасибо!

А что, если я хочу в этой же программе, сравнить (cmp) значения в mas[index_1] и mas[index_2]( index_1, index_2 даются на вход) и в зависимости от результата сравнения уже дальше что-то делать. Вопрос: т.к. movsd пересылает dword из esi в edi, тогда мне нужно и mas[index_1] и mas[index_2] заносить в отдельные переменные и сравнивать? Проблема в том, что при сравнении(как я понимаю) нужно работать именно со значениями массива, а значение получаю только используя movsd

@Kukuxumushu · 10.05.2018, 19:50

Сообщение от N_p

сравнить

Это вам уже надо задействовать FPU. Судя по вашему уровню владению ассемблером, это займёт у вас месяц гденить))

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@N_p 0 / 0 / 0 Регистрация: 09.05.2018 Сообщений: 16
	10.05.2018, 08:05 [ТС]
	Здесь все понятно, кроме того, зачем movsd используется дважды? А можно ли это сделать без использования стека? 0

@N_p 0 / 0 / 0 Регистрация: 09.05.2018 Сообщений: 16
	10.05.2018, 17:10 [ТС]
	Хорошо, спасибо! А что, если я хочу в этой же программе, сравнить (cmp) значения в mas[index_1] и mas[index_2]( index_1, index_2 даются на вход) и в зависимости от результата сравнения уже дальше что-то делать. Вопрос: т.к. movsd пересылает dword из esi в edi, тогда мне нужно и mas[index_1] и mas[index_2] заносить в отдельные переменные и сравнивать? Проблема в том, что при сравнении(как я понимаю) нужно работать именно со значениями массива, а значение получаю только используя movsd 0

Обращение к элементу массива (встроенный Assembler)

Решение