// File: /workspace/github_cpp_makefile_star2_O2/yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_shl::test_method()
BOOST_AUTO_TEST_CASE(test_shl) {
	BOOST_TEST(
			   shl_256("0x0",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x1");
	BOOST_TEST(
			   shl_256("0x1",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x2");
	BOOST_TEST(
			   shl_256("0xff",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x8000000000000000000000000000000000000000000000000000000000000000");
	BOOST_TEST(
			   shl_256("0x100",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x0");
	BOOST_TEST(
			   shl_256("0x101",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x0");
	BOOST_TEST(
			   shl_256("0x00",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   shl_256("0x01",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe");
	BOOST_TEST(
			   shl_256("0xff",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x8000000000000000000000000000000000000000000000000000000000000000");
	BOOST_TEST(
			   shl_256("0x100",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x0");
	BOOST_TEST(
			   shl_256("0x01",
					   "0x0000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x0");
	BOOST_TEST(
			   shl_256("0x01",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x278, %rsp            # imm = 0x278
leaq 0x33a12(%rip), %rbx     # 0x5a873
leaq -0x290(%rbp), %rsi
movq %rbx, (%rsi)
leaq 0x33a10(%rip), %r13     # 0x5a882
movq %r13, 0x8(%rsi)
leaq 0x3f36f(%rip), %r12     # 0x661ec
leaq -0x280(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x31
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33dec(%rip), %rdi     # 0x5ac8a
leaq 0x33de9(%rip), %rsi     # 0x5ac8e
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x33e19(%rip), %rax     # 0x5acd1
movq %rax, 0x8(%rsi)
leaq -0x50(%rbp), %r15
movq %r15, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x33e04(%rip), %rax     # 0x5acd5
leaq -0x38(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x33e53(%rip), %rax     # 0x5ad32
movq %rax, 0x8(%rcx)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65e5e(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x66b74(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
movq %rcx, 0x18(%rsi)
leaq -0x270(%rbp), %rdx
movq %rbx, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x260(%rbp), %rsi
leaq 0x33930(%rip), %rbx     # 0x5a873
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x250(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x36
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33d66(%rip), %rdi     # 0x5acd1
leaq 0x33d1c(%rip), %rsi     # 0x5ac8e
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x33dae(%rip), %rax     # 0x5ad33
movq %rax, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x33d9d(%rip), %rax     # 0x5ad37
movq %rax, -0x38(%rbp)
leaq 0x33def(%rip), %rax     # 0x5ad94
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65d98(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x66aae(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x240(%rbp), %rdx
movq %rbx, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x230(%rbp), %rsi
leaq 0x33866(%rip), %rbx     # 0x5a873
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x220(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x3b
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33d60(%rip), %rdi     # 0x5ad95
leaq 0x33c52(%rip), %rsi     # 0x5ac8e
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x33d4b(%rip), %rax     # 0x5ad9a
movq %rax, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x33d79(%rip), %rax     # 0x5addd
movq %rax, -0x38(%rbp)
leaq 0x33e0b(%rip), %rax     # 0x5ae7a
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65cce(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x669e4(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x210(%rbp), %rdx
movq %rbx, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x200(%rbp), %rsi
leaq 0x3379c(%rip), %rbx     # 0x5a873
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x1f0(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x40
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33d7c(%rip), %rdi     # 0x5ae7b
leaq 0x33b88(%rip), %rsi     # 0x5ac8e
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r13, %r12
leaq 0x33b6e(%rip), %r13     # 0x5ac8a
movq %r13, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x33d50(%rip), %rax     # 0x5ae81
movq %rax, -0x38(%rbp)
leaq 0x33da4(%rip), %rax     # 0x5aee0
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65c01(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x66917(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x1e0(%rbp), %rdx
movq %rbx, (%rdx)
movq %r12, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x1d0(%rbp), %rsi
leaq 0x336cf(%rip), %rbx     # 0x5a873
movq %rbx, (%rsi)
leaq 0x336d4(%rip), %r15     # 0x5a882
movq %r15, 0x8(%rsi)
leaq -0x1c0(%rbp), %rcx
leaq 0x3f02c(%rip), %r12     # 0x661ec
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x45
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33d07(%rip), %rdi     # 0x5aee1
leaq 0x33aad(%rip), %rsi     # 0x5ac8e
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r13, 0x8(%rsi)
movq %r15, %r13
leaq -0x50(%rbp), %r15
movq %r15, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x33cde(%rip), %rax     # 0x5aee7
movq %rax, -0x38(%rbp)
leaq 0x33d32(%rip), %rax     # 0x5af46
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65b29(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x6683f(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x1b0(%rbp), %rdx
movq %rbx, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x1a0(%rbp), %rsi
leaq 0x335f7(%rip), %rbx     # 0x5a873
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x190(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x4a
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33ca3(%rip), %rdi     # 0x5af47
leaq 0x33ca1(%rip), %r15     # 0x5af4c
movq %r15, %rsi
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x50(%rbp), %r15
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x33cbc(%rip), %rax     # 0x5af8f
movq %rax, -0x38(%rbp)
leaq 0x33d4e(%rip), %rax     # 0x5b02c
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65a5f(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x66775(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x180(%rbp), %rdx
movq %rbx, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x170(%rbp), %rsi
leaq 0x3352d(%rip), %rbx     # 0x5a873
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x160(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x4f
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33cbf(%rip), %rdi     # 0x5b02d
leaq 0x33bd7(%rip), %rsi     # 0x5af4c
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x33caa(%rip), %rax     # 0x5b032
movq %rax, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x33cd8(%rip), %rax     # 0x5b075
movq %rax, -0x38(%rbp)
leaq 0x33d6a(%rip), %rax     # 0x5b112
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65995(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x666ab(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x150(%rbp), %rdx
movq %rbx, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x140(%rbp), %rsi
leaq 0x33463(%rip), %rbx     # 0x5a873
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x130(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x54
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x3395d(%rip), %rdi     # 0x5ad95
leaq 0x33b0d(%rip), %rsi     # 0x5af4c
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x33948(%rip), %rax     # 0x5ad9a
movq %rax, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x33cac(%rip), %rax     # 0x5b113
movq %rax, -0x38(%rbp)
leaq 0x33d3e(%rip), %rax     # 0x5b1b0
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x658cb(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x665e1(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x120(%rbp), %rdx
movq %rbx, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x110(%rbp), %rsi
leaq 0x33399(%rip), %rbx     # 0x5a873
movq %rbx, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x100(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x59
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33979(%rip), %rdi     # 0x5ae7b
leaq 0x33a43(%rip), %rsi     # 0x5af4c
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r13, %r12
leaq 0x3376b(%rip), %r13     # 0x5ac8a
movq %r13, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x33c7d(%rip), %rax     # 0x5b1b1
movq %rax, -0x38(%rbp)
leaq 0x33cd1(%rip), %rax     # 0x5b210
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x657fe(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x66514(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0xf0(%rbp), %rdx
movq %rbx, (%rdx)
movq %r12, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r15, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0xe0(%rbp), %rsi
leaq 0x332cc(%rip), %r15     # 0x5a873
movq %r15, (%rsi)
leaq 0x332d1(%rip), %rbx     # 0x5a882
movq %rbx, 0x8(%rsi)
leaq -0xd0(%rbp), %rcx
leaq 0x3ec29(%rip), %r12     # 0x661ec
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x5e
popq %r14
movq %r14, %rdx
callq 0x1cad0
leaq 0x33a50(%rip), %rdi     # 0x5b02d
leaq 0x33c2d(%rip), %rsi     # 0x5b211
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r13, 0x8(%rsi)
movq %rbx, %r13
leaq -0x50(%rbp), %rbx
movq %rbx, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x33c48(%rip), %rax     # 0x5b254
movq %rax, -0x38(%rbp)
leaq 0x33c9b(%rip), %rax     # 0x5b2b2
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65726(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x6643c(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0xc0(%rbp), %rdx
movq %r15, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %rbx, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0xb0(%rbp), %rsi
leaq 0x331f4(%rip), %r15     # 0x5a873
movq %r15, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0xa0(%rbp), %rcx
movq %r12, (%rcx)
movq %r12, 0x8(%rcx)
pushq $0x63
popq %rbx
movq %rbx, %rdx
callq 0x1cad0
leaq 0x33987(%rip), %rdi     # 0x5b02d
leaq 0x33c06(%rip), %rsi     # 0x5b2b3
callq 0x25931
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x33972(%rip), %rax     # 0x5b032
movq %rax, 0x8(%rsi)
leaq -0x50(%rbp), %r14
movq %r14, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x33c1d(%rip), %rax     # 0x5b2f6
movq %rax, -0x38(%rbp)
leaq 0x33caf(%rip), %rax     # 0x5b393
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x65659(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x6636f(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x90(%rbp), %rdx
movq %r15, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movq %r14, %rdi
movq %rbx, %rcx
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
addq $0x278, %rsp            # imm = 0x278
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x27764
jmp 0x27764
jmp 0x27764
jmp 0x27764
jmp 0x27764
jmp 0x27764
jmp 0x27764
jmp 0x27764
jmp 0x27764
jmp 0x27764
movq %rax, %rbx
leaq -0x40(%rbp), %rdi
callq 0x373c8
movq %rbx, %rdi
callq 0xf9a0