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