Консультация по коду

[dorr]

Добрый день! Прошу вашей помощи в решении задачи. Нужно посчитать вот такую штуку: Σ (|Ai | * |Bi |), где Ai и Bi элементы массива размера три. Реализовать как ассемблерную вставку. У меня вышел вот такой вот код:

	int result = 0;
	int a[3] = { 1, 2, 3 };
	int b[3] = { 4, 5, 6 };

	_asm {
		xor ecx, ecx;
		xor esi, esi;
		xor ebx, ebx;

	cycle: 
		//Σ (|Ai | * |Bi |)

		//get elem from a
		lea ebx, dword ptr[a + ecx];

		//module Ai
		cmp ebx, 0;
		jns posa;
		neg ebx;

	posa:

		//get elem from b
		lea esi, dword ptr[b + ecx];

		//module Bi
		cmp esi, 0;
		jns posb;
		neg esi;

	posb:
		//Ai + Bi
		mov eax, esi;
		mul ebx;
		
		add result, ebx;

		//condition
		inc ecx;
		cmp ecx, 3;
		jne cycle;
	}

	return result;

Проблема в том, что он некорректно считает значения, выводит рандомное число. Думаю проблема с каким-то из регистров. Буду благодарен за помощь. Также интересно будет послушать замечания по коду. Спасибо!

[Somebody]

mov вместо lea; ecx в адресе элемента массива надо умножать на размер int'а; ebx и esi надо сохранять и восстанавливать; результат умножения в (edx:)eax, а не в ebx; модуль можно брать после умножения.

[dorr]

Somebody, спасибо! Насколько я понимаю, для перемещения по элемента массива вместо :

mov ebx, dword ptr[a + ecx*4];

можно использовать конструкцию вроде:

lea ebx, a+ecx*4

, никаких принципиальных различий ведь нет?

ebx и esi надо сохранять и восстанавливать

Не пойму, зачем здесь это делать?

Ещё такой вопрос: если вдруг во время умножения результат разместился в edx:eax, выходит, int переполнился, и результат, который представлен уже 64мя битами, вывести в int возможным не представляется. Как можно предотвратить вылет программы из-за такого рода ошибок?

[Somebody]

mov - копирование из одного места в другое; lea - просто расчёт выражения:

mov reg, [addr]
; это как
lea tmp, [addr]
mov reg, [tmp]
; или, если адрес - константа
mov tmp, addr
mov reg, [tmp]
; просто арифметика:
lea eax, [ecx + edx*2 + 3] ; eax = ecx + edx*2 + 3

Насчёт ebx и esi - надо смотреть документацию к компилятору. Например, про VS2013 написано, что сохраняются компилятором. А вообще обычно можно менять eax, ecd, edx, а остальное надо сохранять (там могут быть какие-то переменные или что-то ещё).

Ещё такой вопрос: если вдруг во время умножения результат разместился в edx:eax, выходит, int переполнился, и результат, который представлен уже 64мя битами, вывести в int возможным не представляется. Как можно предотвратить вылет программы из-за такого рода ошибок?

Так причин для вылета тут нет. Кстати, вообще-то с int'ами надо imul использовать, а если тут mul (так как результат неотрицательный), то тогда лучше unsigned. Если хочется получить весь результат, используй 64-битный тип.

[dorr]

В VS2013 странное умножение какое-то, кстати. По идее mul не должен учитывать знака, насколько я знаю. Но отрицательные он нормально себе умножает.