// File: aisthesis[P]realnumber/tst/array_arithmetic_test.cpp
// Function: subtraction::uniform_length_invoker()
BOOST_AUTO_TEST_CASE(uniform_length) {
		array_arithmetic::convert::from_int(three_billion, bigger_arr1, bigger_arr_len);
		array_arithmetic::convert::from_int(two_billion, bigger_arr2, bigger_arr_len);
		array_arithmetic::subtract(bigger_arr1, bigger_arr2, bigger_arr3, bigger_arr_len);
		BOOST_CHECK_EQUAL(array_arithmetic::convert::to_int(bigger_arr3, bigger_arr_len),
			one_billion);
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa50, %rsp            # imm = 0xA50
movq 0x12a6e(%rip), %rax     # 0x25220
movq %rax, -0x970(%rbp)
leaq 0xa84f(%rip), %rsi      # 0x1d00f
leaq -0x10(%rbp), %rdi
movl $0x1d, %edx
callq 0x17390
leaq -0x1b8(%rbp), %rdi
movq %rdi, -0x968(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x30d0
movq -0x968(%rbp), %rdi
callq 0x18120
movq -0x968(%rbp), %rdi
callq 0x18150
movq %rax, %rdi
movb $0x22, -0x1b9(%rbp)
leaq -0x1b9(%rbp), %rsi
callq 0x180e0
movq %rax, -0x960(%rbp)
jmp 0x1281f
movq -0x960(%rbp), %rdi
leaq 0xae49(%rip), %rsi      # 0x1d676
callq 0x18080
movq %rax, -0x978(%rbp)
jmp 0x1283b
movq -0x978(%rbp), %rdi
leaq 0xb140(%rip), %rsi      # 0x1d989
callq 0x18080
movq %rax, -0x980(%rbp)
jmp 0x12857
movq -0x980(%rbp), %rdi
callq 0x18160
movq %rax, -0x988(%rbp)
jmp 0x1286c
movq -0x988(%rbp), %rsi
leaq -0x20(%rbp), %rdi
callq 0x18020
jmp 0x1287e
movq -0x970(%rbp), %rdi
leaq -0x10(%rbp), %rsi
movl $0x146, %edx            # imm = 0x146
leaq -0x20(%rbp), %rcx
callq 0x3390
jmp 0x12899
leaq -0x1b8(%rbp), %rdi
callq 0x181b0
leaq -0x258(%rbp), %rdi
callq 0x19230
movq 0x12968(%rip), %rax     # 0x25220
movq %rax, -0x990(%rbp)
leaq 0xa749(%rip), %rsi      # 0x1d00f
leaq -0x268(%rbp), %rdi
movl $0x1d, %edx
callq 0x17390
jmp 0x128d9
leaq -0x410(%rbp), %rdi
movq %rdi, -0x998(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x30d0
movq -0x998(%rbp), %rdi
callq 0x18120
jmp 0x12901
leaq -0x410(%rbp), %rdi
callq 0x18150
movq %rax, %rdi
movb $0x22, -0x411(%rbp)
leaq -0x411(%rbp), %rsi
callq 0x180e0
movq %rax, -0x9a0(%rbp)
jmp 0x1292c
movq -0x9a0(%rbp), %rdi
leaq 0xad3c(%rip), %rsi      # 0x1d676
callq 0x18080
movq %rax, -0x9a8(%rbp)
jmp 0x12948
movq -0x9a8(%rbp), %rdi
leaq 0xb042(%rip), %rsi      # 0x1d998
callq 0x18200
movq %rax, -0x9b0(%rbp)
jmp 0x12964
movq -0x9b0(%rbp), %rdi
callq 0x18160
movq %rax, -0x9b8(%rbp)
jmp 0x12979
movq -0x9b8(%rbp), %rsi
leaq -0x278(%rbp), %rdi
callq 0x18020
jmp 0x1298e
movq -0x990(%rbp), %rdi
leaq -0x268(%rbp), %rsi
movl $0x146, %edx            # imm = 0x146
leaq -0x278(%rbp), %rcx
callq 0x3390
jmp 0x129af
leaq -0x410(%rbp), %rdi
callq 0x181b0
leaq -0x258(%rbp), %rdi
callq 0x19250
jmp 0x129c9
movq 0x12850(%rip), %rax     # 0x25220
movq %rax, -0x9c0(%rbp)
leaq 0xa631(%rip), %rsi      # 0x1d00f
leaq -0x428(%rbp), %rdi
movl $0x1d, %edx
callq 0x17390
jmp 0x129f1
leaq -0x5d0(%rbp), %rdi
movq %rdi, -0x9c8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x30d0
movq -0x9c8(%rbp), %rdi
callq 0x18120
jmp 0x12a19
leaq -0x5d0(%rbp), %rdi
callq 0x18150
movq %rax, %rdi
movb $0x22, -0x5d1(%rbp)
leaq -0x5d1(%rbp), %rsi
callq 0x180e0
movq %rax, -0x9d0(%rbp)
jmp 0x12a44
movq -0x9d0(%rbp), %rdi
leaq 0xac24(%rip), %rsi      # 0x1d676
callq 0x18080
movq %rax, -0x9d8(%rbp)
jmp 0x12a60
movq -0x9d8(%rbp), %rdi
leaq 0xaf3a(%rip), %rsi      # 0x1d9a8
callq 0x18250
movq %rax, -0x9e0(%rbp)
jmp 0x12a7c
movq -0x9e0(%rbp), %rdi
callq 0x18160
movq %rax, -0x9e8(%rbp)
jmp 0x12a91
movq -0x9e8(%rbp), %rsi
leaq -0x438(%rbp), %rdi
callq 0x18020
jmp 0x12aa6
movq -0x9c0(%rbp), %rdi
leaq -0x428(%rbp), %rsi
movl $0x146, %edx            # imm = 0x146
leaq -0x438(%rbp), %rcx
callq 0x3390
jmp 0x12ac7
leaq -0x5d0(%rbp), %rdi
callq 0x181b0
leaq -0x258(%rbp), %rdi
callq 0x12df0
jmp 0x12ae1
movq 0x12738(%rip), %rax     # 0x25220
movq %rax, -0x9f0(%rbp)
leaq 0xa519(%rip), %rsi      # 0x1d00f
leaq -0x5e8(%rbp), %rdi
movl $0x1d, %edx
callq 0x17390
jmp 0x12b09
leaq -0x790(%rbp), %rdi
movq %rdi, -0x9f8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x30d0
movq -0x9f8(%rbp), %rdi
callq 0x18120
jmp 0x12b31
leaq -0x790(%rbp), %rdi
callq 0x18150
movq %rax, %rdi
movb $0x22, -0x791(%rbp)
leaq -0x791(%rbp), %rsi
callq 0x180e0
movq %rax, -0xa00(%rbp)
jmp 0x12b5c
movq -0xa00(%rbp), %rdi
leaq 0xab0c(%rip), %rsi      # 0x1d676
callq 0x18080
movq %rax, -0xa08(%rbp)
jmp 0x12b78
movq -0xa08(%rbp), %rdi
leaq 0xae2f(%rip), %rsi      # 0x1d9b5
callq 0x18280
movq %rax, -0xa10(%rbp)
jmp 0x12b94
movq -0xa10(%rbp), %rdi
callq 0x18160
movq %rax, -0xa18(%rbp)
jmp 0x12ba9
movq -0xa18(%rbp), %rsi
leaq -0x5f8(%rbp), %rdi
callq 0x18020
jmp 0x12bbe
movq -0x9f0(%rbp), %rdi
leaq -0x5e8(%rbp), %rsi
movl $0x146, %edx            # imm = 0x146
leaq -0x5f8(%rbp), %rcx
callq 0x3390
jmp 0x12bdf
leaq -0x790(%rbp), %rdi
callq 0x181b0
leaq -0x258(%rbp), %rdi
callq 0x19270
jmp 0x12bf9
movq 0x12620(%rip), %rax     # 0x25220
movq %rax, -0xa20(%rbp)
leaq 0xa401(%rip), %rsi      # 0x1d00f
leaq -0x7a8(%rbp), %rdi
movl $0x1d, %edx
callq 0x17390
jmp 0x12c21
leaq -0x950(%rbp), %rdi
movq %rdi, -0xa28(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x30d0
movq -0xa28(%rbp), %rdi
callq 0x18120
jmp 0x12c49
leaq -0x950(%rbp), %rdi
callq 0x18150
movq %rax, %rdi
movb $0x22, -0x951(%rbp)
leaq -0x951(%rbp), %rsi
callq 0x180e0
movq %rax, -0xa30(%rbp)
jmp 0x12c74
movq -0xa30(%rbp), %rdi
leaq 0xa9f4(%rip), %rsi      # 0x1d676
callq 0x18080
movq %rax, -0xa38(%rbp)
jmp 0x12c90
movq -0xa38(%rbp), %rdi
leaq 0xad2a(%rip), %rsi      # 0x1d9c8
callq 0x18080
movq %rax, -0xa40(%rbp)
jmp 0x12cac
movq -0xa40(%rbp), %rdi
callq 0x18160
movq %rax, -0xa48(%rbp)
jmp 0x12cc1
movq -0xa48(%rbp), %rsi
leaq -0x7b8(%rbp), %rdi
callq 0x18020
jmp 0x12cd6
movq -0xa20(%rbp), %rdi
leaq -0x7a8(%rbp), %rsi
movl $0x146, %edx            # imm = 0x146
leaq -0x7b8(%rbp), %rcx
callq 0x3390
jmp 0x12cf7
leaq -0x950(%rbp), %rdi
callq 0x181b0
leaq -0x258(%rbp), %rdi
callq 0x19290
addq $0xa50, %rsp            # imm = 0xA50
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x181b0
jmp 0x12dd9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0x12dcd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x410(%rbp), %rdi
callq 0x181b0
jmp 0x12dcd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x5d0(%rbp), %rdi
callq 0x181b0
jmp 0x12dcd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x790(%rbp), %rdi
callq 0x181b0
jmp 0x12dcd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x950(%rbp), %rdi
callq 0x181b0
leaq -0x258(%rbp), %rdi
callq 0x19290
movq -0x1c8(%rbp), %rdi
callq 0x3340
nopw %cs:(%rax,%rax)