// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: comparison_operators::greater_than_invoker()
BOOST_AUTO_TEST_CASE(greater_than) {
		BOOST_CHECK(big_num_rn > two_rn);
		BOOST_CHECK(big_num_rn > small_num_rn);
		BOOST_CHECK(!(one_rn > two_rn));
		BOOST_CHECK(!(two_rn > two_rn));
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb00, %rsp            # imm = 0xB00
movq 0x1a5b6(%rip), %rax     # 0x24298
movq %rax, -0xa20(%rbp)
leaq 0x12314(%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 0x9d4f
movq -0xa10(%rbp), %rdi
leaq 0x1269f(%rip), %rsi     # 0x1c3fc
callq 0x166b0
movq %rax, -0xa28(%rbp)
jmp 0x9d6b
movq -0xa28(%rbp), %rdi
leaq 0x12e1a(%rip), %rsi     # 0x1cb93
callq 0x164e0
movq %rax, -0xa30(%rbp)
jmp 0x9d87
movq -0xa30(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa38(%rbp)
jmp 0x9d9c
movq -0xa38(%rbp), %rsi
leaq -0x20(%rbp), %rdi
callq 0x16480
jmp 0x9dae
movq -0xa20(%rbp), %rdi
leaq -0x10(%rbp), %rsi
movl $0x7e, %edx
leaq -0x20(%rbp), %rcx
callq 0x3470
jmp 0x9dc9
leaq -0x1b8(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x176b0
movq 0x1a4b0(%rip), %rax     # 0x24298
movq %rax, -0xa40(%rbp)
leaq 0x1220e(%rip), %rsi     # 0x1c004
leaq -0x318(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x9e09
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 0x9e31
leaq -0x4c0(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x4c1(%rbp)
leaq -0x4c1(%rbp), %rsi
callq 0x16540
movq %rax, -0xa50(%rbp)
jmp 0x9e5c
movq -0xa50(%rbp), %rdi
leaq 0x12592(%rip), %rsi     # 0x1c3fc
callq 0x166b0
movq %rax, -0xa58(%rbp)
jmp 0x9e78
movq -0xa58(%rbp), %rdi
leaq 0x12d1c(%rip), %rsi     # 0x1cba2
callq 0x16660
movq %rax, -0xa60(%rbp)
jmp 0x9e94
movq -0xa60(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa68(%rbp)
jmp 0x9ea9
movq -0xa68(%rbp), %rsi
leaq -0x328(%rbp), %rdi
callq 0x16480
jmp 0x9ebe
movq -0xa40(%rbp), %rdi
leaq -0x318(%rbp), %rsi
movl $0x7e, %edx
leaq -0x328(%rbp), %rcx
callq 0x3470
jmp 0x9edf
leaq -0x4c0(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x176d0
jmp 0x9ef9
movq 0x1a398(%rip), %rax     # 0x24298
movq %rax, -0xa70(%rbp)
leaq 0x120f6(%rip), %rsi     # 0x1c004
leaq -0x4d8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0x9f21
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 0x9f49
leaq -0x680(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x681(%rbp)
leaq -0x681(%rbp), %rsi
callq 0x16540
movq %rax, -0xa80(%rbp)
jmp 0x9f74
movq -0xa80(%rbp), %rdi
leaq 0x1247a(%rip), %rsi     # 0x1c3fc
callq 0x166b0
movq %rax, -0xa88(%rbp)
jmp 0x9f90
movq -0xa88(%rbp), %rdi
leaq 0x12c14(%rip), %rsi     # 0x1cbb2
callq 0x166b0
movq %rax, -0xa90(%rbp)
jmp 0x9fac
movq -0xa90(%rbp), %rdi
callq 0x165c0
movq %rax, -0xa98(%rbp)
jmp 0x9fc1
movq -0xa98(%rbp), %rsi
leaq -0x4e8(%rbp), %rdi
callq 0x16480
jmp 0x9fd6
movq -0xa70(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
movl $0x7e, %edx
leaq -0x4e8(%rbp), %rcx
callq 0x3470
jmp 0x9ff7
leaq -0x680(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0xa320
jmp 0xa011
movq 0x1a280(%rip), %rax     # 0x24298
movq %rax, -0xaa0(%rbp)
leaq 0x11fde(%rip), %rsi     # 0x1c004
leaq -0x698(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xa039
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 0xa061
leaq -0x840(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0x841(%rbp)
leaq -0x841(%rbp), %rsi
callq 0x16540
movq %rax, -0xab0(%rbp)
jmp 0xa08c
movq -0xab0(%rbp), %rdi
leaq 0x12362(%rip), %rsi     # 0x1c3fc
callq 0x166b0
movq %rax, -0xab8(%rbp)
jmp 0xa0a8
movq -0xab8(%rbp), %rdi
leaq 0x12b09(%rip), %rsi     # 0x1cbbf
callq 0x166e0
movq %rax, -0xac0(%rbp)
jmp 0xa0c4
movq -0xac0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xac8(%rbp)
jmp 0xa0d9
movq -0xac8(%rbp), %rsi
leaq -0x6a8(%rbp), %rdi
callq 0x16480
jmp 0xa0ee
movq -0xaa0(%rbp), %rdi
leaq -0x698(%rbp), %rsi
movl $0x7e, %edx
leaq -0x6a8(%rbp), %rcx
callq 0x3470
jmp 0xa10f
leaq -0x840(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x176f0
jmp 0xa129
movq 0x1a168(%rip), %rax     # 0x24298
movq %rax, -0xad0(%rbp)
leaq 0x11ec6(%rip), %rsi     # 0x1c004
leaq -0x858(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xa151
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 0xa179
leaq -0xa00(%rbp), %rdi
callq 0x165b0
movq %rax, %rdi
movb $0x22, -0xa01(%rbp)
leaq -0xa01(%rbp), %rsi
callq 0x16540
movq %rax, -0xae0(%rbp)
jmp 0xa1a4
movq -0xae0(%rbp), %rdi
leaq 0x1224a(%rip), %rsi     # 0x1c3fc
callq 0x166b0
movq %rax, -0xae8(%rbp)
jmp 0xa1c0
movq -0xae8(%rbp), %rdi
leaq 0x12a04(%rip), %rsi     # 0x1cbd2
callq 0x164e0
movq %rax, -0xaf0(%rbp)
jmp 0xa1dc
movq -0xaf0(%rbp), %rdi
callq 0x165c0
movq %rax, -0xaf8(%rbp)
jmp 0xa1f1
movq -0xaf8(%rbp), %rsi
leaq -0x868(%rbp), %rdi
callq 0x16480
jmp 0xa206
movq -0xad0(%rbp), %rdi
leaq -0x858(%rbp), %rsi
movl $0x7e, %edx
leaq -0x868(%rbp), %rcx
callq 0x3470
jmp 0xa227
leaq -0xa00(%rbp), %rdi
callq 0x16610
leaq -0x308(%rbp), %rdi
callq 0x17710
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 0xa309
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0xa2fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x4c0(%rbp), %rdi
callq 0x16610
jmp 0xa2fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x680(%rbp), %rdi
callq 0x16610
jmp 0xa2fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x840(%rbp), %rdi
callq 0x16610
jmp 0xa2fd
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 0x17710
movq -0x1c8(%rbp), %rdi
callq 0x3420
nopw %cs:(%rax,%rax)