// File: /workspace/github_cpp_makefile_star2_O2/aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: arithmetic_operators::multiplication::test_method()
BOOST_AUTO_TEST_CASE(multiplication) {
		BOOST_CHECK(one_rn * two_rn == two_rn);
		BOOST_CHECK(big_num_rn * zero_rn == zero_rn);
		BOOST_CHECK(two_rn * two_rn == RealNumber("4.0"));
		BOOST_CHECK(big_num_rn * small_num_rn < big_num_rn);
		BOOST_CHECK(two_rn < two_rn * RealNumber("1.01"));
		BOOST_CHECK(two_rn * very_small_num_rn > very_small_num_rn);
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1c8, %rsp            # imm = 0x1C8
movq %rdi, %rbx
movq 0xaf6c(%rip), %rdi      # 0x161f0
leaq 0x4da5(%rip), %r12      # 0x10030
leaq -0x1e0(%rbp), %rsi
movq %r12, (%rsi)
leaq 0x4dac(%rip), %r13      # 0x10048
movq %r13, 0x8(%rsi)
leaq 0x59f3(%rip), %rax      # 0x10c9a
leaq -0x1d0(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0xc5, %edx
callq 0x3340
leaq 0x108(%rbx), %rsi
leaq 0x110(%rbx), %r14
leaq -0x40(%rbp), %r15
movq %r15, %rdi
movq %r14, %rdx
callq 0xebc6
movq %r15, %rdi
movq %r14, %rsi
callq 0xea24
movq %r14, -0x70(%rbp)
leaq -0x90(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x553b(%rip), %rax      # 0x1083d
leaq -0x68(%rbp), %r14
movq %rax, (%r14)
leaq 0x5546(%rip), %rax      # 0x10856
movq %rax, 0x8(%r14)
leaq -0xb0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0xa9b2(%rip), %rax      # 0x15cd8
movq %rax, (%rsi)
movq 0xac98(%rip), %rax      # 0x15fc8
movq %rax, 0x10(%rsi)
movq %r14, 0x18(%rsi)
leaq -0x1c0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
movl $0xc5, %ecx
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x3330
leaq -0x80(%rbp), %rdi
callq 0xdfec
leaq -0x40(%rbp), %rdi
callq 0xe7ac
movq 0xae79(%rip), %rdi      # 0x161f0
leaq -0x1b0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x1a0(%rbp), %rcx
leaq 0x5907(%rip), %rax      # 0x10c9a
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0xc6, %edx
callq 0x3340
leaq 0x118(%rbx), %rsi
leaq 0x100(%rbx), %r12
movq %r13, %r15
leaq -0x40(%rbp), %r13
movq %r13, %rdi
movq %rsi, -0xc0(%rbp)
movq %r12, %rdx
callq 0xebc6
movq %r13, %rdi
movq %r12, %rsi
callq 0xea24
leaq -0x90(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x546a(%rip), %rax      # 0x10857
movq %rax, -0x68(%rbp)
leaq 0x547e(%rip), %rax      # 0x10876
movq %rax, -0x60(%rbp)
leaq -0xb0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0xa8ca(%rip), %rax      # 0x15cd8
movq %rax, (%rsi)
movq 0xabb0(%rip), %rax      # 0x15fc8
movq %rax, 0x10(%rsi)
movq %r14, 0x18(%rsi)
leaq -0x190(%rbp), %rdx
leaq 0x4c02(%rip), %r14      # 0x10030
movq %r14, (%rdx)
movq %r15, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
movl $0xc6, %ecx
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x3330
leaq -0x80(%rbp), %rdi
callq 0xdfec
movq %r13, %rdi
callq 0xe7ac
movq 0xad8b(%rip), %rdi      # 0x161f0
leaq -0x180(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x170(%rbp), %rcx
leaq 0x5819(%rip), %rax      # 0x10c9a
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0xc7, %edx
callq 0x3340
leaq -0x50(%rbp), %rdi
movq -0x70(%rbp), %rdx
movq %rdx, %rsi
callq 0xebc6
leaq 0x53ce(%rip), %rsi      # 0x10877
leaq -0xb0(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0xdae6
leaq -0x48(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0xe5fe
leaq -0x50(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xea24
leaq -0x68(%rbp), %r12
movb %al, (%r12)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r12)
leaq 0x538d(%rip), %rax      # 0x1087b
movq %rax, -0x40(%rbp)
leaq 0x53a6(%rip), %rax      # 0x1089f
movq %rax, -0x38(%rbp)
leaq -0x90(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0xa7c9(%rip), %rax      # 0x15cd8
movq %rax, (%rsi)
movq 0xaaaf(%rip), %rax      # 0x15fc8
movq %rax, 0x10(%rsi)
movq %r13, 0x18(%rsi)
leaq -0x160(%rbp), %rdx
movq %r14, (%rdx)
leaq 0x4b16(%rip), %r15      # 0x10048
movq %r15, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
movl $0xc7, %ecx
movq %r12, %rdi
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x3330
leaq -0x58(%rbp), %rdi
callq 0xdfec
leaq -0x48(%rbp), %rdi
callq 0xe7ac
leaq -0xb0(%rbp), %rdi
callq 0x30d0
leaq -0x50(%rbp), %rdi
callq 0xe7ac
movq 0xac71(%rip), %rdi      # 0x161f0
leaq -0x150(%rbp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x140(%rbp), %rcx
leaq 0x56ff(%rip), %rax      # 0x10c9a
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0xc8, %edx
callq 0x3340
movq %rbx, -0xb8(%rbp)
leaq 0x120(%rbx), %rdx
movq %r13, %rdi
movq %r14, %rbx
movq -0xc0(%rbp), %r14
movq %r14, %rsi
callq 0xebc6
movq %r13, %rdi
movq %r14, %rsi
callq 0xe97a
leaq -0x90(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x52af(%rip), %rax      # 0x108a0
movq %rax, -0x68(%rbp)
leaq 0x52ca(%rip), %rax      # 0x108c6
movq %rax, -0x60(%rbp)
leaq -0xb0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0xa6c6(%rip), %rax      # 0x15cd8
movq %rax, (%rsi)
movq 0xa9ac(%rip), %rax      # 0x15fc8
movq %rax, 0x10(%rsi)
movq %r12, 0x18(%rsi)
leaq -0x130(%rbp), %rdx
movq %rbx, (%rdx)
movq %r15, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
movl $0xc8, %ecx
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x3330
movq %r15, %r13
movq %rbx, %r14
leaq -0x80(%rbp), %rdi
callq 0xdfec
leaq -0x40(%rbp), %r12
movq %r12, %rdi
callq 0xe7ac
movq 0xab84(%rip), %rdi      # 0x161f0
leaq -0x120(%rbp), %rsi
movq %rbx, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x110(%rbp), %rcx
leaq 0x5612(%rip), %rax      # 0x10c9a
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0xc9, %edx
callq 0x3340
leaq 0x5227(%rip), %rsi      # 0x108c7
leaq -0xb0(%rbp), %rdi
leaq -0x29(%rbp), %rdx
callq 0xdae6
movq -0x70(%rbp), %r15
movq -0xb8(%rbp), %rbx
leaq -0x48(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0xe5fe
leaq -0x50(%rbp), %rdi
leaq -0x48(%rbp), %rdx
movq %r15, %rsi
callq 0xebc6
leaq -0x50(%rbp), %rsi
movq %r15, %rdi
callq 0xe97a
leaq -0x68(%rbp), %r15
movb %al, (%r15)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r15)
leaq 0x51cf(%rip), %rax      # 0x108cc
movq %rax, -0x40(%rbp)
leaq 0x51e8(%rip), %rax      # 0x108f0
movq %rax, -0x38(%rbp)
leaq -0x90(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0xa5ba(%rip), %rax      # 0x15cd8
movq %rax, (%rsi)
movq 0xa8a0(%rip), %rax      # 0x15fc8
movq %rax, 0x10(%rsi)
movq %r12, 0x18(%rsi)
leaq -0x100(%rbp), %rdx
movq %r14, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
movl $0xc9, %ecx
movq %r15, %rdi
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x3330
leaq -0x58(%rbp), %rdi
callq 0xdfec
leaq -0x50(%rbp), %rdi
callq 0xe7ac
leaq -0x48(%rbp), %rdi
callq 0xe7ac
leaq -0xb0(%rbp), %rdi
callq 0x30d0
movq 0xaa69(%rip), %rdi      # 0x161f0
leaq -0xf0(%rbp), %rsi
movq %r14, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0xe0(%rbp), %rcx
leaq 0x54f7(%rip), %rax      # 0x10c9a
movq %rax, (%rcx)
movq %rax, 0x8(%rcx)
movl $0xca, %edx
callq 0x3340
addq $0x128, %rbx            # imm = 0x128
movq %r12, %rdi
movq -0x70(%rbp), %rsi
movq %rbx, %rdx
callq 0xebc6
movq %r12, %rdi
movq %rbx, %rsi
callq 0xe8fc
leaq -0x90(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x5105(%rip), %rax      # 0x108f1
movq %rax, -0x68(%rbp)
leaq 0x5128(%rip), %rax      # 0x1091f
movq %rax, -0x60(%rbp)
leaq -0xb0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0xa4cb(%rip), %rax      # 0x15cd8
movq %rax, (%rsi)
movq 0xa7b1(%rip), %rax      # 0x15fc8
movq %rax, 0x10(%rsi)
movq %r15, 0x18(%rsi)
leaq -0xd0(%rbp), %rdx
movq %r14, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
movl $0xca, %ecx
xorl %r9d, %r9d
xorl %eax, %eax
callq 0x3330
leaq -0x80(%rbp), %rdi
callq 0xdfec
leaq -0x40(%rbp), %rdi
callq 0xe7ac
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xb8f1
jmp 0xb8ff
movq %rax, %rbx
leaq -0x58(%rbp), %rdi
callq 0xdfec
jmp 0xb884
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
callq 0xe7ac
jmp 0xb892
movq %rax, %rbx
leaq -0x48(%rbp), %rdi
callq 0xe7ac
jmp 0xb8a0
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x30d0
jmp 0xb90b
movq %rax, %rbx
jmp 0xb90b
jmp 0xb8f1
jmp 0xb8ff
movq %rax, %rbx
leaq -0x58(%rbp), %rdi
callq 0xdfec
jmp 0xb8c8
movq %rax, %rbx
leaq -0x48(%rbp), %rdi
callq 0xe7ac
jmp 0xb8d6
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x30d0
jmp 0xb8e7
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
jmp 0xb906
jmp 0xb8f1
jmp 0xb8ff
movq %rax, %rbx
leaq -0x80(%rbp), %rdi
callq 0xdfec
jmp 0xb902
movq %rax, %rbx
leaq -0x40(%rbp), %rdi
callq 0xe7ac
movq %rbx, %rdi
callq 0x3300