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