// File: /workspace/github_cpp_makefile_star2_O1/yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_sar_invoker()
BOOST_AUTO_TEST_CASE(test_sar) {
	BOOST_TEST(
			   sar_256("0x0",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x1");
	BOOST_TEST(
			   sar_256("0x01",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x0");
	BOOST_TEST(
			   sar_256("0x01",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0xc000000000000000000000000000000000000000000000000000000000000000");
	BOOST_TEST(
			   sar_256("0xff",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x100",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x0101",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x00",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x01",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0xff",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x0100",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x01",
					   "0x0000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x0");
	BOOST_TEST(
			   sar_256("0xfe",
					   "0x4000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x1");
	BOOST_TEST(
			   sar_256("0xf8",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x7f");
	BOOST_TEST(
			   sar_256("0xfe",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x1");
	BOOST_TEST(
			   sar_256("0xff",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x0");
	BOOST_TEST(
			   sar_256("0x0100",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x0");

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1b8, %rsp            # imm = 0x1B8
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
leaq -0x58(%rbp), %r15
movq %r15, -0x10(%r15)
movq $0x0, -0x8(%r15)
movb $0x0, (%r15)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x3844f(%rip), %rsi     # 0x6692a
leaq -0x1e0(%rbp), %rdi
movl $0x8, %edx
callq 0xe5d0
leaq 0x3f931(%rip), %rsi     # 0x6de24
leaq -0x1e0(%rbp), %rdi
movl $0xe, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2e53c
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1f25f
movq 0x64388(%rip), %rdx     # 0x928d8
leaq 0x64379(%rip), %rdi     # 0x928d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
leaq 0x3730e(%rip), %r13     # 0x65879
movq %r13, 0x64346(%rip)     # 0x928b8
leaq 0x3730f(%rip), %r12     # 0x65888
movq %r12, 0x64340(%rip)     # 0x928c0
movq $0xac, 0x6433d(%rip) # 0x928c8
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x2e5a0
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x61a11(%rip), %rsi     # 0x8ffb8
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
movq %r15, 0x178(%rbx)
movq $0x0, 0x180(%rbx)
movb $0x0, 0x188(%rbx)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x38319(%rip), %rsi     # 0x6692a
leaq -0x1e0(%rbp), %rdi
movl $0x8, %edx
callq 0xe5d0
leaq 0x3f80a(%rip), %rsi     # 0x6de33
leaq -0x1e0(%rbp), %rdi
movl $0xf, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2e672
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1f25f
movq 0x64252(%rip), %rdx     # 0x928d8
leaq 0x64243(%rip), %rdi     # 0x928d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
movq %r13, 0x64217(%rip)     # 0x928b8
movq %r12, 0x64218(%rip)     # 0x928c0
movq $0xac, 0x64215(%rip) # 0x928c8
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x2e6c8
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x618e9(%rip), %rsi     # 0x8ffb8
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
movq %r15, 0x178(%rbx)
movq $0x0, 0x180(%rbx)
movb $0x0, 0x188(%rbx)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x381f1(%rip), %rsi     # 0x6692a
leaq -0x1e0(%rbp), %rdi
movl $0x8, %edx
callq 0xe5d0
leaq 0x3f6f2(%rip), %rsi     # 0x6de43
leaq -0x1e0(%rbp), %rdi
movl $0xc, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2e79a
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1f25f
movq 0x6412a(%rip), %rdx     # 0x928d8
leaq 0x6411b(%rip), %rdi     # 0x928d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
movq %r13, 0x640ef(%rip)     # 0x928b8
movq %r12, 0x640f0(%rip)     # 0x928c0
movq $0xac, 0x640ed(%rip) # 0x928c8
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x2e7f0
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x617c1(%rip), %rsi     # 0x8ffb8
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
callq 0x2ea96
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
movq %r15, 0x178(%rbx)
movq $0x0, 0x180(%rbx)
movb $0x0, 0x188(%rbx)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x380c4(%rip), %rsi     # 0x6692a
leaq -0x1e0(%rbp), %rdi
movl $0x8, %edx
callq 0xe5d0
leaq 0x3f5d2(%rip), %rsi     # 0x6de50
leaq -0x1e0(%rbp), %rdi
movl $0x12, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2e8c7
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1f25f
movq 0x63ffd(%rip), %rdx     # 0x928d8
leaq 0x63fee(%rip), %rdi     # 0x928d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
movq %r13, 0x63fc2(%rip)     # 0x928b8
movq %r12, 0x63fc3(%rip)     # 0x928c0
movq $0xac, 0x63fc0(%rip) # 0x928c8
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x2e91d
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x61694(%rip), %rsi     # 0x8ffb8
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
leaq -0x1e0(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xe2d0
movq %rbx, %rdi
callq 0xe6e0
movq %r15, 0x178(%rbx)
movq $0x0, 0x180(%rbx)
movb $0x0, 0x188(%rbx)
leaq -0x48(%rbp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0xe5d0
leaq 0x37f9c(%rip), %rsi     # 0x6692a
leaq -0x1e0(%rbp), %rdi
movl $0x8, %edx
callq 0xe5d0
leaq 0x3f4bd(%rip), %rsi     # 0x6de63
leaq -0x1e0(%rbp), %rdi
movl $0xe, %edx
callq 0xe5d0
leaq -0x1d8(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0xe830
leaq -0x68(%rbp), %rdi
leaq -0x48(%rbp), %rbx
movq %rbx, %rsi
callq 0xe660
movq (%rbx), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x2e9ef
movq -0x38(%rbp), %rsi
incq %rsi
callq 0xe530
movq -0x68(%rbp), %rbx
movq -0x60(%rbp), %r14
callq 0x1f25f
movq 0x63ed5(%rip), %rdx     # 0x928d8
leaq 0x63ec6(%rip), %rdi     # 0x928d0
xorl %esi, %esi
movq %rbx, %rcx
movq %r14, %r8
callq 0xe800
movq %r13, 0x63e9a(%rip)     # 0x928b8
movq %r12, 0x63e9b(%rip)     # 0x928c0
movq $0xac, 0x63e98(%rip) # 0x928c8
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x2ea45
movq -0x58(%rbp), %rsi
incq %rsi
callq 0xe530
movq 0x6156c(%rip), %rsi     # 0x8ffb8
leaq -0x1e0(%rbp), %rdi
callq 0xe2a0
leaq -0x170(%rbp), %rdi
callq 0xe1e0
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2ea7e
jmp 0x2ea7e
jmp 0x2ea7e
jmp 0x2ea7e
movq %rax, %rbx
leaq -0x1e0(%rbp), %rdi
callq 0x398fa
movq %rbx, %rdi
callq 0xe950
nop