большие числа

[airyashov]

ongavg:
            push ebx
            push edx
            push esi
            push ecx

# загрузка аргументов функции
            mov ebx, [esp+20] # *a
            mov edx, [esp+24] # *b
            mov esi, [esp+28]  # *c
            mov ecx, [esp+32] # size (size_a = size_b)

            clc  # clear cary
cycle:
          mov eax, [ebx+4*ecx-4]  # сохранение каждого элемента первого массива в eax для сложения       
          
          adc eax, [edx+4*ecx-4]  # сложением с каждым элементов второго массива с учетом cary
          mov [esi+4*ecx-4],eax   # в массив c кладется результат
          loop cycle # ecx --//не уверен что loop не заденет флаг CF

          mov ecx, [esp+32] # size (size_a = size_b)
cycle1:
          rcr dword ptr [esi+4*ecx-4],1 
          loop cycle1 # ecx --
          
          mov eax,esi
          pop ebx
          pop edx
          pop esi
          pop ecx
          ret

[NiCola999]

не заденет
спасибо

[airyashov]

точно не заденет, если loop эквивалент
dec
jnz

[NiCola999]

а если быть точнее то loop эквивалент

         mov edi,0 ; не обязательно edi, любой другой не занятый
cycle:
         cmp ecx,edi
         jz end
       ; тут что-то делается
         jmp cycle
end:
         ; действия после завершения цикла

[Goodwin98]

Нет. Как сказал airyashov, loop эквивалентен

dec ecx
jnz metka

только на флаги не влияет вроде.

[NiCola999]

Приветствую еще раз=), в общем я не совсем правильно делал.
допустим такой пример
1, 0, 0xffffffff
1, 0, 1

после сложения(ADC) получается такой массив
2, 1, 0

дальше начинается сдвиг элементов с учетом переполнения ОТ ПРЕДЫДУЩЕГО элемента
CF = 0
a[0] >> 1 CF = 2>>1 = 1, CF = 0
a[1] >> 1 CF = 1>>1 = 0, CF = 1
a[2] >> 1 CF = 0>>1 = 0 и бит из CF переходит в старший бит, т.е получается 0x80000000
итого получается
1 0 0x80000000

подскажите нормальный алгоритм...
есть небольшая идея, но реализовать пока не получилось
CF будет в 1 когда младший бит числа равен 1
Надо проверять младший бит если он равен 1 CF = 1 сдвигать это число затем переходить к следующему элементу и делать ИЛИ с 0x80000000 (установка в 1 старшего бита)
либо просто устанавливать CF в единицу и на следующей итерации цикла сдвигать с RCR

[airyashov]

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

П
a[2] >> 1 CF = 0>>1 = 0 и бит из CF переходит в старший бит, т.е получается 0xffffffff

с какой это радости так получается должно быть 0x80000000

[NiCola999]

да , я ошибся 0x80000000, алгоритм подскажи
лучше всего будет проверить младший бит btr eax,0 , в CF установится его значение
потом на следующей итерации сдвиг делать с помощью rcr, вот как сделать второе

[airyashov]

rcr крутит биты через CF, так что младший сразу в CF после окажется

[NiCola999]

вот что у меня получилось...
в esi хранится указатель на массив суммы (2 1 0)

shift:	
	mov eax, [esi+edx] ;загрузка arr[edx] в eax
	bt eax,0  ; CF = младший бит eax
        jc next ; перейти на next если CF = 1
	shr eax,1 ; сдвиг без учета CF
	mov [esi+edx],eax ; положить результат в arr[edx]
	add edx,4  ; перейти к сл элементу        
	loop shift
	jmp end

next:
        shr eax,1
	or eax,0x80000000
	mov [esi+edx],eax
	add edx,4
	loop shift

результат
1
80000000
0
почему он считает что CF=1 на втором элементе?
после сдвига двойки поулчается 1 в CF не должно ничего попасть