// Continue carry propagation until the end of the buffer.
0: add [edi], eax
mov eax, 0 // preserves flags
- adcd [edi + 4], 0
- adcd [edi + 8], 0
- adcd [edi + 12], 0
+ adc dword ptr [edi + 4], 0
+ adc dword ptr [edi + 8], 0
+ adc dword ptr [edi + 12], 0
adc eax, 0
add edi, 16
cmp edi, esi