Rational<Arbint> now passes realops.test
[ipdf/code.git] / src / sub_digits_asm.s
1 .section .text
2 .globl sub_digits
3 .type sub_digits, @function
4
5 # Subtract two arrays of 64 bit digits, with carry, modifying the first argument
6 # Address at first argument %rdi is array to add and modify
7 # Address at second %rsi will be added (not modified)
8 # Third argument is counter of number of digits
9 # Result in %rax is the final result in the carry flag
10 # Exploits the fact that inc and dec do not affect the carry flag
11 sub_digits:
12         loop:
13                 movq (%rsi), %rax # Temporarily store digit from second array
14                 sbbq %rax, (%rdi) # Subtract digits in second and first array, store in first
15                 dec %rdx # Decrement counter
16                 jz end_loop # We are done
17                 
18                 # Move to next element in the first array
19                 leaq 8(,%rdi,1), %rdi
20                 # Move to next element in the second array
21                 leaq 8(,%rsi,1), %rsi
22                 jmp loop # Repeat
23         end_loop:
24                 movq $0, %rax
25                 jnc end
26                 movq $1, %rax
27         end:
28                 ret # We are done

UCC git Repository :: git.ucc.asn.au