000000000000001c <bignum_add_aux>:
1c: 55 push rbp
1d: 53 push rbx
1e: 41 54 push r12
20: 41 55 push r13
22: 41 56 push r14
24: 48 31 c0 xor rax,rax
27: 49 89 fe mov r14,rdi
2a: 4c 8b 27 mov r12,QWORD PTR [rdi]
2d: 4c 8b 2e mov r13,QWORD PTR [rsi]
30: 48 8b 6f 10 mov rbp,QWORD PTR [rdi+0x10]
34: 48 8b 5e 10 mov rbx,QWORD PTR [rsi+0x10]
38: f8 clc
39: 48 31 d2 xor rdx,rdx
000000000000003c <bignum_add_aux_addloop>:
3c: 48 8b 7c d5 00 mov rdi,QWORD PTR [rbp+rdx*8+0x0]
41: 48 8b 34 d3 mov rsi,QWORD PTR [rbx+rdx*8]
45: 48 11 f7 adc rdi,rsi
48: 0f 92 c0 setb al
4b: 48 89 7c d5 00 mov QWORD PTR [rbp+rdx*8+0x0],rdi
50: 48 ff c2 inc rdx
53: 49 39 d4 cmp r12,rdx
56: 74 07 je 5f <bignum_add_aux_b1end>
58: 49 39 d5 cmp r13,rdx
5b: 74 0f je 6c <bignum_add_aux_b2end>
5d: eb dd jmp 3c <bignum_add_aux_addloop>
000000000000005f <bignum_add_aux_b1end>:
5f: 4d 89 ec mov r12,r13
62: 4c 39 e2 cmp rdx,r12
65: 74 25 je 8c <bignum_add_aux_funcend>
67: 4d 89 2e mov QWORD PTR [r14],r13
6a: eb 08 jmp 74 <bignum_add_aux_singleaddloop>
000000000000006c <bignum_add_aux_b2end>:
6c: 4c 39 e2 cmp rdx,r12
6f: 74 1b je 8c <bignum_add_aux_funcend>
71: 48 89 eb mov rbx,rbp
0000000000000074 <bignum_add_aux_singleaddloop>:
74: 48 8b 3c d3 mov rdi,QWORD PTR [rbx+rdx*8]
78: 48 83 d7 00 adc rdi,0x0
7c: 0f 92 c0 setb al
7f: 48 89 7c d5 00 mov QWORD PTR [rbp+rdx*8+0x0],rdi
84: 48 ff c2 inc rdx
87: 49 39 d4 cmp r12,rdx
8a: 74 00 je 8c <bignum_add_aux_funcend>
000000000000008c <bignum_add_aux_funcend>:
8c: 41 5e pop r14
8e: 41 5d pop r13
90: 41 5c pop r12
92: 5b pop rbx
93: 5d pop rbp
94: c3 ret