Строка с максимальной суммой элементов в массиве

@luninok · Регистрация: 01.08.2016

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

Здравствуйте, начала изучать ассемблер совсем недавно. И определенно в код закралась какая-то дурацкая ошибка.
Не могли бы вы подсказать, в чем дело?

Assembler

.data
printf_format:
 .string "%d\n"
array:
 .long 100, 15, 148, 12, 351, 3
array_end:
m:
 .long 3
.text
.globl main
main:
  movl $0, %eax /* в %eax будет храниться результат; в начале наибольшее значение - 0 */
 movl $0, %ebx /* в %ebx находится адрес текущего элемента массива */
 movl $0, %edx /* здесь будет храниться промежуточная сумма */
 
 
loop_start: /* начало цикла */
movl m, %ecx /* количество повторов цикла sum */
 cmpl %eax, %edx /* сравнить текущую сумму с текущим наибольшим значением из %eax */
 jbe sum /* если текущий сумма меньше или равен наибольшей*/
 movl %edx, %eax /* а вот если текущая сумма превосходит наибольшую, значит, её значение и есть новый максимум */
 
sum:
addl array(,%ebx,4), %edx
incl %ebx /* увеличить %ebx на размер одного элемента массива, 4 байта */
loop sum
 
less:
cmpl $array_end, %ebx /* сравнить адрес текущего элемента и адрес конца массива */
 jae loop_end /* если они равны, выйти из цикла */
jmp loop_start
 
 
loop_end:
/*
* следующий код выводит число из %eax на экран и завершает программу
*/
 pushl %eax
 pushl $printf_format
 call printf
 addl $8, %esp
 movl $0, %eax
 ret

ФедосеевПавел · 17.12.2016, 19:20

Перед суммированием по строке не обнуляется текущая сумма (edx).
Строка 25 - комментарий правильный, но inc - всего лишь увеличение на 1. Нужно add.

Добавлено через 1 минуту

Не по теме:

Немного растерялся. Назовите, пожалуйста компилятор и ОС. Подозреваю gas и Linux.

@luninok · 17.12.2016, 19:25 **[ТС]**

Синтаксис AT&T, да, действительно gas, Linux

ФедосеевПавел · 17.12.2016, 19:31

Не по теме:

Sorry, за стохастические перемещения.

Но всё остальное - должно помочь.

@luninok · 17.12.2016, 19:36 **[ТС]**

Но он ведь благодаря inc все равно проходит по каждому элементу массива...
Проблема еще была почему-то в размере массива. Написала константой и тогда проверка прошла.
Я добавила обнуление текущей суммы, но теперь у меня конечный результат - это сумма последней строки.
Хотя edx (текущая сумма) считается верно в каждой строке...

Assembler

.data
printf_format:
 .string "%d\n"
array:
 .long 3, 20, 3, 4
array_end:
 
m:
 .long 2
.text
.globl main
main:
 movl $0, %eax /* в %eax будет храниться результат; в начале наибольшее значение - 0 */
 movl $0, %ebx /* в %ebx находится адрес текущего элемента массива */
 movl $0, %edx /* здесь будет храниться промежуточная сумма */
 
 
loop_start: /* начало цикла */
pushl %edx
 pushl $printf_format
 call printf
movl m, %ecx /* количество повторов цикла sum */
 cmpl %eax, %edx /* сравнить текущую сумму с текущим наибольшим значением из %eax */
 jbe sum /* если текущий сумма меньше или равен наибольшей*/
 movl %edx, %eax /* а вот если текущая сумма превосходит наибольшую, значит, её значение и есть новый максимум */
cmpl $4, %ebx /* сравнить адрес текущего элемента и адрес конца массива */
 jae loop_end /* если они равны, выйти из цикла */
 
 
null:
movl $0, %edx
 
sum:
addl array(,%ebx,4), %edx
incl %ebx /* увеличить %ebx на размер одного элемента массива, 4 байта */
loop sum
 
less:
jmp loop_start
 
 
loop_end:
/*
* следующий код выводит число из %eax на экран и завершает программу
*/
 pushl %eax
 pushl $printf_format
 call printf
 addl $8, %esp
 movl $0, %eax
 ret

ФедосеевПавел · 17.12.2016, 20:05

addl array(,%ebx,4), %edx означает примерно addl array(%ebx*4), %edx. Я ошибался. Всё правильно с incl %ebx.

Вы не туда отправляете в строке 24

У вас должно быть 2 цикла. Один по строкам, и вложенный по столбцам.
Без проверки наберу, а вы проверьте

Assembler

    movl 0,%eax
    movl 0, %edx
 
loop_start: /* начало цикла */
    pushl %eax
 
    pushl %edx
    pushl $printf_format
    call printf
 
    popl %eax
 
    cmpl %eax, %edx /* сравнить текущую сумму с текущим наибольшим значением из %eax */
    jbe sum /* если текущий сумма меньше или равен наибольшей*/
    movl %edx, %eax /* а вот если текущая сумма превосходит наибольшую, значит, её значение и есть новый максимум */
    cmpl $4, %ebx /* сравнить адрес текущего элемента и адрес конца массива */
    jae loop_end /* если они равны, выйти из цикла */
sum:
    movl $0, %edx
    movl m, %ecx /* количество повторов цикла sum - цикл по столбцам в строке*/
ByString:
    addl array(,%ebx,4), %edx
    incl %ebx /* увеличить %ebx на размер одного элемента массива, 4 байта */
loop ByString
 
jmp loop_start
 
loop_end:

С адресом вместо константы у вас не получилось потому, что ebx меняется в цикле от 0 до 4, а значение array_end: равно скорее всего 4+4*4=20 - т.е. смещению от начала сегмента до метки в байтах. А это будет длина строки printf_format и длина массива.

Может быть хранить в стеке eax перед вызовом printf ?

Добавлено через 4 минуты
Адрес последнего элемента можно вычислить так
(array_end-array)/4

Assembler

1	cmpl $((array_end-array)/4), %ebx /* сравнить адрес текущего элемента и адрес конца массива */

@luninok · 17.12.2016, 20:26 **[ТС]**

Это для отслеживания значения? Поясните, пожалуйста

Assembler

pushl %eax
 
    pushl %edx
    pushl $printf_format
    call printf
 
    popl %eax

Запустила, выводит сначала
0
23
7
2
Далее огромное количество нулей, потом выдает ошибку сегментирования, дамп памяти
Длина массива вычисляется верно

Весь код выглядит так:

Assembler

.data
printf_format:
 .string "%d\n"
array:
 .long 3, 20, 3, 4
array_end:
 
m:
 .long 2
.text
.globl main
main:
 movl $0, %eax /* в %eax будет храниться результат; в начале наибольшее значение - 0 */
 movl $0, %ebx /* в %ebx находится адрес текущего элемента массива */
 movl $0, %edx /* здесь будет храниться промежуточная сумма */
 
 
loop_start: /* начало цикла */
 
    pushl %eax
 
    pushl %edx
    pushl $printf_format
    call printf
 
    popl %eax
    cmpl %eax, %edx /* сравнить текущую сумму с текущим наибольшим значением из %eax */
    jbe sum /* если текущий сумма меньше или равен наибольшей*/
    movl %edx, %eax /* а вот если текущая сумма превосходит наибольшую, значит, её значение и есть новый максимум */
    cmpl $((array_end-array)/4), %ebx /* сравнить адрес текущего элемента и адрес конца массива */
    jae loop_end /* если они равны, выйти из цикла */
sum:
    movl $0, %edx
    movl m, %ecx /* количество повторов цикла sum - цикл по столбцам в строке*/
ByString:
    addl array(,%ebx,4), %edx
    incl %ebx /* увеличить %ebx на размер одного элемента массива, 4 байта */
loop ByString
 
jmp loop_start
 
loop_end:
/*
* следующий код выводит число из %eax на экран и завершает программу
*/
 pushl %eax
 pushl $printf_format
 call printf
 addl $8, %esp
 movl $0, %eax
 ret

ФедосеевПавел · 17.12.2016, 20:35

После строки 24 нужно чистить стек? Или printf сама очищает?

@luninok · 17.12.2016, 20:47 **[ТС]**

На сколько я знаю, функция не очищает стек от параметров. Поэтому в loop_end

Assembler

pushl %eax
 pushl $printf_format
 call printf
 addl $8, %esp
 movl $0, %eax
 ret

Прописывается строка

Assembler

1	addl $8, %esp

ФедосеевПавел · 17.12.2016, 20:56

Вот её бы в 25 строку.

@luninok · 17.12.2016, 21:00 **[ТС]**

Я уже добавляла, тот же результат, к сожалению.

ФедосеевПавел · 17.12.2016, 21:34

Что-то не так с вычислением условия окончания цикла.
Хоть MinGW ставь для проверки...

Сейчас попробую набрать под masm32 и проверить под отладчиком. Если что - должно перенестись и работать нормально.

Добавлено через 1 минуту
Набрал и увидел - после сравнения в строке 28 переход на цикл суммирования, а нужно на проверку ebx.

Добавлено через 32 секунды
Ну и после printf в 25 строке очистить стек.

Добавлено через 1 минуту
Я воспользовался отладчиком под Windows - OllyDbg. Под Linux тоже должны существовать отладчики.

@luninok · 17.12.2016, 22:07 **[ТС]**

А почему нельзя просто условие поменять на ja?

Assembler

pushl %eax
    pushl %edx
    pushl $printf_format
    call printf
    addl $8, %esp
    popl %eax
 
    cmpl %eax, %edx /* сравнить текущую сумму с текущим наибольшим значением из %eax */
    ja sum /* если текущий сумма меньше или равен наибольшей*/
    movl %edx, %eax /* а вот если текущая сумма превосходит наибольшую, значит, её значение и есть новый максимум */
    cmpl $((array_end-array)/4), %ebx /* сравнить адрес текущего элемента и адрес конца массива */
    jae loop_end /* если они равны, выйти из цикла */

Выводит только программа, если я заменяю, как выше, конечный результат 0...

ФедосеевПавел · 17.12.2016, 22:14

В псевдокоде должно быть

Код

  if edx>eax then
    eax:=edx;
  if ebx>=4 then
    break;

Но сейчас

Код

  if edx>eax then
  begin
    eax:=edx;
    if ebx>=4 then
      break;
  end;

Т.е. сейчас завершение цикла зависит от того, будет ли обновлён максимум. Очевидно, что это неверно.

Assembler

loop_start: /* начало цикла */
 
    pushl %edx
    pushl $printf_format
    call printf
    addl $8, %esp
 
    cmpl %eax, %edx /* сравнить текущую сумму с текущим наибольшим значением из %eax */
    jbe IndexTest /* если текущий сумма меньше или равен наибольшей*/
    movl %edx, %eax /* а вот если текущая сумма превосходит наибольшую, значит, её значение и есть новый максимум */
IndexTest:
    cmpl $((array_end-array)/4), %ebx /* сравнить адрес текущего элемента и адрес конца массива */
    jae loop_end /* если они равны, выйти из цикла */
sum:

@luninok · 17.12.2016, 22:38 **[ТС]**

Огромнейшее вам спасибо за такое подробное объяснение! Все замечательно работает

И конечный код:

Assembler

.data
printf_format:
 .string "%d\n"
array:
 .long 3, 20, 3, 4
array_end:
 
m:
 .long 2
.text
.globl main
main:
 movl $0, %eax /* в %eax будет храниться результат; в начале наибольшее значение - 0 */
 movl $0, %ebx /* в %ebx находится адрес текущего элемента массива */
 movl $0, %edx /* здесь будет храниться промежуточная сумма */
 
 
loop_start: /* начало цикла */
    cmpl %eax, %edx /* сравнить текущую сумму с текущим наибольшим значением из %eax */
    jbe IndexTest /* если текущий сумма меньше или равен наибольшей*/
    movl %edx, %eax /* а вот если текущая сумма превосходит наибольшую, значит, её значение и есть новый максимум */
IndexTest:
    cmpl $((array_end-array)/4), %ebx /* сравнить адрес текущего элемента и адрес конца массива */
    jae loop_end /* если они равны, выйти из цикла */
 
sum:
    movl $0, %edx
    movl m, %ecx /* количество повторов цикла sum - цикл по столбцам в строке*/
ByString:
    addl array(,%ebx,4), %edx
    incl %ebx /* увеличить %ebx на размер одного элемента массива, 4 байта */
loop ByString
 
jmp loop_start
 
 
loop_end:
/*
* следующий код выводит число из %eax на экран и завершает программу
*/
 pushl %eax
 pushl $printf_format
 call printf
 addl $8, %esp
 movl $0, %eax
 ret

@luninok 0 / 0 / 1 Регистрация: 01.08.2016 Сообщений: 11
	17.12.2016, 21:00 [ТС]	11
	Я уже добавляла, тот же результат, к сожалению. 0

Строка с максимальной суммой элементов в массиве

Решение

Решение

ФедосеевПавел Модератор 8384 / 4264 / 1620 Регистрация: 01.02.2015 Сообщений: 13,278 Записей в блоге: 5
	17.12.2016, 19:20	2
	Перед суммированием по строке не обнуляется текущая сумма (edx). Строка 25 - комментарий правильный, но inc - всего лишь увеличение на 1. Нужно add. Добавлено через 1 минуту Не по теме: Немного растерялся. Назовите, пожалуйста компилятор и ОС. Подозреваю gas и Linux. 1

@luninok 0 / 0 / 1 Регистрация: 01.08.2016 Сообщений: 11
	17.12.2016, 19:25 [ТС]	3
	Синтаксис AT&T, да, действительно gas, Linux 0

ФедосеевПавел Модератор 8384 / 4264 / 1620 Регистрация: 01.02.2015 Сообщений: 13,278 Записей в блоге: 5
	17.12.2016, 19:31	4
	Не по теме: Sorry, за стохастические перемещения. Но всё остальное - должно помочь. 0

ФедосеевПавел Модератор 8384 / 4264 / 1620 Регистрация: 01.02.2015 Сообщений: 13,278 Записей в блоге: 5
	17.12.2016, 20:35	8
	После строки 24 нужно чистить стек? Или printf сама очищает? 0

ФедосеевПавел Модератор 8384 / 4264 / 1620 Регистрация: 01.02.2015 Сообщений: 13,278 Записей в блоге: 5
	17.12.2016, 20:56	10
	Вот её бы в 25 строку. 0

ФедосеевПавел Модератор 8384 / 4264 / 1620 Регистрация: 01.02.2015 Сообщений: 13,278 Записей в блоге: 5
	17.12.2016, 21:34	12
	Что-то не так с вычислением условия окончания цикла. Хоть MinGW ставь для проверки... Сейчас попробую набрать под masm32 и проверить под отладчиком. Если что - должно перенестись и работать нормально. Добавлено через 1 минуту Набрал и увидел - после сравнения в строке 28 переход на цикл суммирования, а нужно на проверку ebx. Добавлено через 32 секунды Ну и после printf в 25 строке очистить стек. Добавлено через 1 минуту Я воспользовался отладчиком под Windows - OllyDbg. Под Linux тоже должны существовать отладчики. 1