// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: arithmetic_operators::subtraction_invoker()
BOOST_AUTO_TEST_CASE(subtraction) {
		RealNumber one_rn_copy(one_rn);
		BOOST_CHECK(one_rn - one_rn_copy == zero_rn);
		BOOST_CHECK(two_rn - one_rn == one_rn_copy);
		BOOST_CHECK(big_num_rn - very_small_num_rn < big_num_rn);
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb00, %rsp            # imm = 0xB00
movq 0x141b6(%rip), %rax     # 0x24298
movq %rax, -0xa20(%rbp)
leaq 0xbf14(%rip), %rsi      # 0x1c004
leaq -0x10(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
leaq -0x1b8(%rbp), %rdi
movq %rdi, -0xa18(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa18(%rbp), %rdi
callq 0x16580
movq -0xa18(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x1b9(%rbp)
leaq -0x1b9(%rbp), %rsi
callq 0x16540
movq %rax, -0xa10(%rbp)
jmp 0x1014f
movq -0xa10(%rbp), %rdi
leaq 0xc62e(%rip), %rsi      # 0x1c78b
callq 0x17bd0
movq %rax, -0xa28(%rbp)
jmp 0x1016b
movq -0xa28(%rbp), %rdi
leaq 0xca1a(%rip), %rsi      # 0x1cb93
callq 0x164e0
movq %rax, -0xa30(%rbp)
jmp 0x10187
movq -0xa30(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa38(%rbp)
jmp 0x1019c
movq -0xa38(%rbp), %rsi
leaq -0x20(%rbp), %rdi
callq 0x16480
jmp 0x101ae
movq -0xa20(%rbp), %rdi
leaq -0x10(%rbp), %rsi
movl $0xbd, %edx
leaq -0x20(%rbp), %rcx
callq 0x3470
jmp 0x101c9
leaq -0x1b8(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17c00
movq 0x140b0(%rip), %rax     # 0x24298
movq %rax, -0xa40(%rbp)
leaq 0xbe0e(%rip), %rsi      # 0x1c004
leaq -0x318(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x10209
leaq -0x4c0(%rbp), %rdi
movq %rdi, -0xa48(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa48(%rbp), %rdi
callq 0x16580
jmp 0x10231
leaq -0x4c0(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x4c1(%rbp)
leaq -0x4c1(%rbp), %rsi
callq 0x16540
movq %rax, -0xa50(%rbp)
jmp 0x1025c
movq -0xa50(%rbp), %rdi
leaq 0xc521(%rip), %rsi      # 0x1c78b
callq 0x17bd0
movq %rax, -0xa58(%rbp)
jmp 0x10278
movq -0xa58(%rbp), %rdi
leaq 0xc91c(%rip), %rsi      # 0x1cba2
callq 0x16660
movq %rax, -0xa60(%rbp)
jmp 0x10294
movq -0xa60(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa68(%rbp)
jmp 0x102a9
movq -0xa68(%rbp), %rsi
leaq -0x328(%rbp), %rdi
callq 0x16480
jmp 0x102be
movq -0xa40(%rbp), %rdi
leaq -0x318(%rbp), %rsi
movl $0xbd, %edx
leaq -0x328(%rbp), %rcx
callq 0x3470
jmp 0x102df
leaq -0x4c0(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17c20
jmp 0x102f9
movq 0x13f98(%rip), %rax     # 0x24298
movq %rax, -0xa70(%rbp)
leaq 0xbcf6(%rip), %rsi      # 0x1c004
leaq -0x4d8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x10321
leaq -0x680(%rbp), %rdi
movq %rdi, -0xa78(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xa78(%rbp), %rdi
callq 0x16580
jmp 0x10349
leaq -0x680(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x681(%rbp)
leaq -0x681(%rbp), %rsi
callq 0x16540
movq %rax, -0xa80(%rbp)
jmp 0x10374
movq -0xa80(%rbp), %rdi
leaq 0xc409(%rip), %rsi      # 0x1c78b
callq 0x17bd0
movq %rax, -0xa88(%rbp)
jmp 0x10390
movq -0xa88(%rbp), %rdi
leaq 0xc814(%rip), %rsi      # 0x1cbb2
callq 0x166b0
movq %rax, -0xa90(%rbp)
jmp 0x103ac
movq -0xa90(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa98(%rbp)
jmp 0x103c1
movq -0xa98(%rbp), %rsi
leaq -0x4e8(%rbp), %rdi
callq 0x16480
jmp 0x103d6
movq -0xa70(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
movl $0xbd, %edx
leaq -0x4e8(%rbp), %rcx
callq 0x3470
jmp 0x103f7
leaq -0x680(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x10720
jmp 0x10411
movq 0x13e80(%rip), %rax     # 0x24298
movq %rax, -0xaa0(%rbp)
leaq 0xbbde(%rip), %rsi      # 0x1c004
leaq -0x698(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x10439
leaq -0x840(%rbp), %rdi
movq %rdi, -0xaa8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xaa8(%rbp), %rdi
callq 0x16580
jmp 0x10461
leaq -0x840(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x841(%rbp)
leaq -0x841(%rbp), %rsi
callq 0x16540
movq %rax, -0xab0(%rbp)
jmp 0x1048c
movq -0xab0(%rbp), %rdi
leaq 0xc2f1(%rip), %rsi      # 0x1c78b
callq 0x17bd0
movq %rax, -0xab8(%rbp)
jmp 0x104a8
movq -0xab8(%rbp), %rdi
leaq 0xc709(%rip), %rsi      # 0x1cbbf
callq 0x166e0
movq %rax, -0xac0(%rbp)
jmp 0x104c4
movq -0xac0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xac8(%rbp)
jmp 0x104d9
movq -0xac8(%rbp), %rsi
leaq -0x6a8(%rbp), %rdi
callq 0x16480
jmp 0x104ee
movq -0xaa0(%rbp), %rdi
leaq -0x698(%rbp), %rsi
movl $0xbd, %edx
leaq -0x6a8(%rbp), %rcx
callq 0x3470
jmp 0x1050f
leaq -0x840(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17c40
jmp 0x10529
movq 0x13d68(%rip), %rax     # 0x24298
movq %rax, -0xad0(%rbp)
leaq 0xbac6(%rip), %rsi      # 0x1c004
leaq -0x858(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x10551
leaq -0xa00(%rbp), %rdi
movq %rdi, -0xad8(%rbp)
xorl %esi, %esi
movl $0x198, %edx            # imm = 0x198
callq 0x3100
movq -0xad8(%rbp), %rdi
callq 0x16580
jmp 0x10579
leaq -0xa00(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0xa01(%rbp)
leaq -0xa01(%rbp), %rsi
callq 0x16540
movq %rax, -0xae0(%rbp)
jmp 0x105a4
movq -0xae0(%rbp), %rdi
leaq 0xc1d9(%rip), %rsi      # 0x1c78b
callq 0x17bd0
movq %rax, -0xae8(%rbp)
jmp 0x105c0
movq -0xae8(%rbp), %rdi
leaq 0xc604(%rip), %rsi      # 0x1cbd2
callq 0x164e0
movq %rax, -0xaf0(%rbp)
jmp 0x105dc
movq -0xaf0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xaf8(%rbp)
jmp 0x105f1
movq -0xaf8(%rbp), %rsi
leaq -0x868(%rbp), %rdi
callq 0x16480
jmp 0x10606
movq -0xad0(%rbp), %rdi
leaq -0x858(%rbp), %rsi
movl $0xbd, %edx
leaq -0x868(%rbp), %rcx
callq 0x3470
jmp 0x10627
leaq -0xa00(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17c60
addq $0xb00, %rsp            # imm = 0xB00
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x16610
jmp 0x10709
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0x106fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x4c0(%rbp), %rdi
callq 0x16610
jmp 0x106fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x680(%rbp), %rdi
callq 0x16610
jmp 0x106fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x840(%rbp), %rdi
callq 0x16610
jmp 0x106fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0xa00(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17c60
movq -0x1c8(%rbp), %rdi
callq 0x3420
nopw %cs:(%rax,%rax)