инвертирование(asm80836)

[NiCola999]

.intel_syntax noprefix
.global invert
.type invert, @function

invert:
        push ebx
	push ecx

	mov ebx, [esp+12]  # *a
	mov ecx, [esp+16]  # size_a

	cmp ecx, 0
	je end	
	
cycle:
	mov al,-1
	mov edx, [ebx+ecx-1]
	mul edx
	mov [ebx+ecx-1],al
	loop cycle

	mov eax,ebx
	pop ebx
	pop ecx
	ret

end:
        mov eax, ebx
	pop ebx
	pop ecx
	ret

препод сказал, что она неправильно работает при нулевом размере массива. Сделал условие на проверку размера если 0 , то возвращает указатель на массив который в аргументе. Что здесь не так ?

[Goodwin98]

А что не так? Только лишние 4 строки...

[NiCola999]

почемуто у препода неправильно она работает с нулевым размером. У него там какойто массив и он вызывает функцию от масива и размер 0 и ему выдаются какие-то числа странные... сам проверял , нормально возвращает указатель на 1 элемент при size=0

[airyashov]

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

А что не так? Только лишние 4 строки...

не 4 гораздо больше

cycle:
	mov al,-1
	mov edx, [ebx+ecx-1]
	mul edx
	mov [ebx+ecx-1],al
	loop cycle

странный код

[NiCola999]

че тут странного?

cycle:
	mov al,-1                  # al = -1 (8битная, т.к элемент char) 
	mov edx, [ebx+ecx-1] # edx = a[i]
	mul edx                    # al = edx*al ( a[i]*=-1)
	mov [ebx+ecx-1],al    # a[i] = al
	loop cycle

[Goodwin98]

Элемент char, а умножаете как long int. edx он 32разрядный.

[NiCola999]

можно конечно всё в 8битные занести, в edx заносится 8битное число и оно спокойно умножается на al. Причем тут вообще это всё. Функция инвертирования массива прекрасно работает, я спрашиваю что она должна вернуть, если размер массива будет 0. Если убрать cmp ecx,0... (проверку на размер) то при ecx=0 программа выдает ошибку сегментации.


ошибка я думаю связана с тем, что loop даже если ecx=0 выполнится всегда 1 раз. И при выполнении в edx заносится не то что надо
mov edx, [ebx+0-1]

[Goodwin98]

А зачем убирать эту проверку ?
Понятно, что у вас стоит [ebx+ecx-1] значит при ecx=0, программа будет обращаться к байту, который не входит в массив. Да и loop будет выполнятся далеко не 1 раз.

[NiCola999]

так что функция должна вернуть при ecx=0.

[Goodwin98]

Если убрать проверку, то ошибку времени выполнения Access violation