// File: /workspace/github_cpp_makefile_star2_O2/aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: comparison_operators::greater_or_equal_invoker()
BOOST_AUTO_TEST_CASE(greater_or_equal) {
		RealNumber one_rn_again(one_str);
		BOOST_CHECK(big_num_rn >= one_rn);
		BOOST_CHECK(one_rn_again >= one_rn);
		BOOST_CHECK(one_rn >= one_rn_again);
		BOOST_CHECK(two_rn >= two_rn);
		BOOST_CHECK(one_rn >= small_num_rn);
		BOOST_CHECK(!(one_rn >= big_num_rn));
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x370, %rsp            # imm = 0x370
movq 0xe932(%rip), %rbx      # 0x161f0
leaq 0x876b(%rip), %r15      # 0x10030
movq %r15, -0x70(%rbp)
leaq 0x8778(%rip), %r12      # 0x10048
movq %r12, -0x68(%rbp)
leaq -0x208(%rbp), %r14
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30f0
movq %r14, %rdi
callq 0xdb40
pushq $0x22
popq %rsi
movq %r14, %rdi
callq 0x3220
leaq 0x8b85(%rip), %rsi      # 0x10489
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq 0x92a8(%rip), %rsi      # 0x10bbf
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq -0x208(%rbp), %rdi
callq 0xdb72
movq (%rax), %rdx
leaq -0x258(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x70(%rbp), %rsi
movl $0x85, %edx
movq %rbx, %rdi
callq 0x3340
leaq -0x208(%rbp), %rdi
callq 0xdbb6
leaq -0x390(%rbp), %rdi
callq 0xdbda
movq 0xe87c(%rip), %rbx      # 0x161f0
movq %r15, -0x60(%rbp)
movq %r12, -0x58(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30f0
movq %r14, %rdi
callq 0xdb40
leaq -0x208(%rbp), %rdi
pushq $0x22
popq %rsi
callq 0x3220
leaq 0x8ae0(%rip), %rsi      # 0x10489
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq 0x9212(%rip), %rsi      # 0x10bce
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq -0x208(%rbp), %rdi
callq 0xdb72
movq (%rax), %rdx
leaq -0x248(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x60(%rbp), %rsi
movl $0x85, %edx
movq %rbx, %rdi
callq 0x3340
leaq -0x208(%rbp), %rdi
callq 0xdbb6
movq 0xe7e3(%rip), %rbx      # 0x161f0
movq %r15, -0x50(%rbp)
movq %r12, -0x48(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30f0
movq %r14, %rdi
callq 0xdb40
leaq -0x208(%rbp), %rdi
pushq $0x22
popq %rsi
callq 0x3220
leaq 0x8a47(%rip), %rsi      # 0x10489
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq 0x9189(%rip), %rsi      # 0x10bde
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq -0x208(%rbp), %rdi
callq 0xdb72
movq (%rax), %rdx
leaq -0x238(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x50(%rbp), %rsi
movl $0x85, %edx
movq %rbx, %rdi
callq 0x3340
leaq -0x208(%rbp), %rdi
callq 0xdbb6
leaq -0x390(%rbp), %rdi
callq 0x7c40
movq 0xe73e(%rip), %rbx      # 0x161f0
movq %r15, -0x40(%rbp)
movq %r12, -0x38(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30f0
movq %r14, %rdi
callq 0xdb40
leaq -0x208(%rbp), %rdi
pushq $0x22
popq %rsi
callq 0x3220
leaq 0x89a2(%rip), %rsi      # 0x10489
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq 0x90f1(%rip), %rsi      # 0x10beb
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq -0x208(%rbp), %rdi
callq 0xdb72
movq (%rax), %rdx
leaq -0x228(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x40(%rbp), %rsi
movl $0x85, %edx
movq %rbx, %rdi
callq 0x3340
leaq -0x208(%rbp), %rdi
callq 0xdbb6
movq 0xe6a5(%rip), %rbx      # 0x161f0
movq %r15, -0x30(%rbp)
movq %r12, -0x28(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %r14, %rdi
xorl %esi, %esi
callq 0x30f0
movq %r14, %rdi
callq 0xdb40
leaq -0x208(%rbp), %rdi
pushq $0x22
popq %rsi
callq 0x3220
leaq 0x8909(%rip), %rsi      # 0x10489
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq 0x906b(%rip), %rsi      # 0x10bfe
leaq -0x208(%rbp), %rdi
callq 0x3190
leaq -0x208(%rbp), %rdi
callq 0xdb72
movq (%rax), %rdx
leaq -0x218(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x30(%rbp), %rsi
movl $0x85, %edx
movq %rbx, %rdi
callq 0x3340
leaq -0x208(%rbp), %rdi
callq 0xdbb6
leaq -0x390(%rbp), %rdi
callq 0xe03a
addq $0x370, %rsp            # imm = 0x370
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x7c01
jmp 0x7c01
jmp 0x7c01
jmp 0x7c01
movq %rax, %rbx
jmp 0x7c1b
jmp 0x7c0c
jmp 0x7c0c
jmp 0x7c0c
movq %rax, %rbx
leaq -0x208(%rbp), %rdi
callq 0xdbb6
leaq -0x390(%rbp), %rdi
callq 0xe03a
movq %rbx, %rdi
callq 0x3300
movq %rax, %rbx
leaq -0x208(%rbp), %rdi
callq 0xdbb6
jmp 0x7c27