// File: /workspace/github_cpp_makefile_star2_O2/aisthesis[P]realnumber/tst/array_arithmetic_test.cpp
// Function: conversion::one_billion_invoker()
BOOST_AUTO_TEST_CASE(one_billion) {
		const unsigned int ONE_BILLION = 1000000000;
		array_arithmetic::convert::from_int(ONE_BILLION, small_array, small);
		array_arithmetic::convert::from_int(ONE_BILLION, large_array, large);
		BOOST_CHECK_EQUAL(array_arithmetic::convert::to_int(small_array, small), ONE_BILLION);
		BOOST_CHECK_EQUAL(array_arithmetic::convert::to_int(large_array, large), ONE_BILLION);
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x250, %rsp            # imm = 0x250
movq 0x116ca(%rip), %rbx     # 0x16198
leaq 0xc586(%rip), %r15      # 0x1105b
movq %r15, -0x70(%rbp)
leaq 0xc598(%rip), %r12      # 0x11078
movq %r12, -0x68(%rbp)
leaq -0x220(%rbp), %r14
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30c0
movq %r14, %rdi
callq 0xeecc
pushq $0x22
popq %rsi
movq %r14, %rdi
callq 0x31a0
leaq 0xc5d9(%rip), %rsi      # 0x110ed
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq 0xcea8(%rip), %rsi      # 0x119cf
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq -0x220(%rbp), %rdi
callq 0xeefe
movq (%rax), %rdx
leaq -0x270(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x70(%rbp), %rsi
pushq $0x30
popq %rdx
movq %rbx, %rdi
callq 0x32a0
leaq -0x220(%rbp), %rdi
callq 0xef42
leaq -0x88(%rbp), %rdi
callq 0xef66
movq 0x11616(%rip), %rbx     # 0x16198
movq %r15, -0x60(%rbp)
movq %r12, -0x58(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30c0
movq %r14, %rdi
callq 0xeecc
leaq -0x220(%rbp), %rdi
pushq $0x22
popq %rsi
callq 0x31a0
leaq 0xc536(%rip), %rsi      # 0x110ed
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq 0xce14(%rip), %rsi      # 0x119de
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq -0x220(%rbp), %rdi
callq 0xeefe
movq (%rax), %rdx
leaq -0x260(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x60(%rbp), %rsi
pushq $0x30
popq %rdx
movq %rbx, %rdi
callq 0x32a0
leaq -0x220(%rbp), %rdi
callq 0xef42
movq 0x1157f(%rip), %rbx     # 0x16198
movq %r15, -0x50(%rbp)
movq %r12, -0x48(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30c0
movq %r14, %rdi
callq 0xeecc
leaq -0x220(%rbp), %rdi
pushq $0x22
popq %rsi
callq 0x31a0
leaq 0xc49f(%rip), %rsi      # 0x110ed
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq 0xcd8d(%rip), %rsi      # 0x119ee
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq -0x220(%rbp), %rdi
callq 0xeefe
movq (%rax), %rdx
leaq -0x250(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x50(%rbp), %rsi
pushq $0x30
popq %rdx
movq %rbx, %rdi
callq 0x32a0
leaq -0x220(%rbp), %rdi
callq 0xef42
leaq -0x88(%rbp), %rdi
callq 0x4e46
movq 0x114dc(%rip), %rbx     # 0x16198
movq %r15, -0x40(%rbp)
movq %r12, -0x38(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30c0
movq %r14, %rdi
callq 0xeecc
leaq -0x220(%rbp), %rdi
pushq $0x22
popq %rsi
callq 0x31a0
leaq 0xc3fc(%rip), %rsi      # 0x110ed
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq 0xccf7(%rip), %rsi      # 0x119fb
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq -0x220(%rbp), %rdi
callq 0xeefe
movq (%rax), %rdx
leaq -0x240(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x40(%rbp), %rsi
pushq $0x30
popq %rdx
movq %rbx, %rdi
callq 0x32a0
leaq -0x220(%rbp), %rdi
callq 0xef42
movq 0x11445(%rip), %rbx     # 0x16198
movq %r15, -0x30(%rbp)
movq %r12, -0x28(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30c0
movq %r14, %rdi
callq 0xeecc
leaq -0x220(%rbp), %rdi
pushq $0x22
popq %rsi
callq 0x31a0
leaq 0xc365(%rip), %rsi      # 0x110ed
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq 0xcc73(%rip), %rsi      # 0x11a0e
leaq -0x220(%rbp), %rdi
callq 0x3140
leaq -0x220(%rbp), %rdi
callq 0xeefe
movq (%rax), %rdx
leaq -0x230(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x30(%rbp), %rsi
pushq $0x30
popq %rdx
movq %rbx, %rdi
callq 0x32a0
leaq -0x220(%rbp), %rdi
callq 0xef42
leaq -0x88(%rbp), %rdi
callq 0xefd0
addq $0x250, %rsp            # imm = 0x250
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4e07
jmp 0x4e07
jmp 0x4e07
jmp 0x4e07
movq %rax, %rbx
jmp 0x4e21
jmp 0x4e12
jmp 0x4e12
jmp 0x4e12
movq %rax, %rbx
leaq -0x220(%rbp), %rdi
callq 0xef42
leaq -0x88(%rbp), %rdi
callq 0xefd0
movq %rbx, %rdi
callq 0x3260
movq %rax, %rbx
leaq -0x220(%rbp), %rdi
callq 0xef42
jmp 0x4e2d