// File: /workspace/github_c_makefile_star2_O2/Tarsnap[P]kivaloo/liball/../libcperciva/alg/sha256_sse2.c
// Function: SHA256_Transform_sse2
void
SHA256_Transform_sse2(uint32_t state[static restrict 8],
    const uint8_t block[static restrict 64], uint32_t W[static restrict 64],
    uint32_t S[static restrict 8])
#endif
{
	__m128i Y[4];
	int i;

	/* 1. Prepare the first part of the message schedule W. */
	Y[0] = mm_bswap_epi32(_mm_loadu_si128((const __m128i *)&block[0]));
	_mm_storeu_si128((__m128i *)&W[0], Y[0]);
	Y[1] = mm_bswap_epi32(_mm_loadu_si128((const __m128i *)&block[16]));
	_mm_storeu_si128((__m128i *)&W[4], Y[1]);
	Y[2] = mm_bswap_epi32(_mm_loadu_si128((const __m128i *)&block[32]));
	_mm_storeu_si128((__m128i *)&W[8], Y[2]);
	Y[3] = mm_bswap_epi32(_mm_loadu_si128((const __m128i *)&block[48]));
	_mm_storeu_si128((__m128i *)&W[12], Y[3]);

	/* 2. Initialize working variables. */
	memcpy(S, state, 32);

	/* 3. Mix. */
	for (i = 0; i < 64; i += 16) {
		RNDr(S, W, 0, i);
		RNDr(S, W, 1, i);
		RNDr(S, W, 2, i);
		RNDr(S, W, 3, i);
		RNDr(S, W, 4, i);
		RNDr(S, W, 5, i);
		RNDr(S, W, 6, i);
		RNDr(S, W, 7, i);
		RNDr(S, W, 8, i);
		RNDr(S, W, 9, i);
		RNDr(S, W, 10, i);
		RNDr(S, W, 11, i);
		RNDr(S, W, 12, i);
		RNDr(S, W, 13, i);
		RNDr(S, W, 14, i);
		RNDr(S, W, 15, i);

		if (i == 48)
			break;
		Y[0] = MSG4(Y[0], Y[1], Y[2], Y[3]);
		_mm_storeu_si128((__m128i *)&W[16 + i + 0], Y[0]);
		Y[1] = MSG4(Y[1], Y[2], Y[3], Y[0]);
		_mm_storeu_si128((__m128i *)&W[16 + i + 4], Y[1]);
		Y[2] = MSG4(Y[2], Y[3], Y[0], Y[1]);
		_mm_storeu_si128((__m128i *)&W[16 + i + 8], Y[2]);
		Y[3] = MSG4(Y[3], Y[0], Y[1], Y[2]);
		_mm_storeu_si128((__m128i *)&W[16 + i + 12], Y[3]);
	}

	/* 4. Mix local working variables into global state. */
	for (i = 0; i < 8; i++)
		state[i] += S[i];
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movdqu (%rsi), %xmm0
movdqa %xmm0, %xmm1
psrlw $0x8, %xmm1
psllw $0x8, %xmm0
por %xmm1, %xmm0
pshuflw $0xb1, %xmm0, %xmm0     # xmm0 = xmm0[1,0,3,2,4,5,6,7]
pshufhw $0xb1, %xmm0, %xmm2     # xmm2 = xmm0[0,1,2,3,5,4,7,6]
movdqu %xmm2, (%rdx)
movdqu 0x10(%rsi), %xmm0
movdqa %xmm0, %xmm1
psrlw $0x8, %xmm1
psllw $0x8, %xmm0
por %xmm1, %xmm0
pshuflw $0xb1, %xmm0, %xmm0     # xmm0 = xmm0[1,0,3,2,4,5,6,7]
pshufhw $0xb1, %xmm0, %xmm0     # xmm0 = xmm0[0,1,2,3,5,4,7,6]
movdqa %xmm0, 0x40(%rsp)
movdqu %xmm0, 0x10(%rdx)
movdqu 0x20(%rsi), %xmm0
movdqa %xmm0, %xmm1
psrlw $0x8, %xmm1
psllw $0x8, %xmm0
por %xmm1, %xmm0
pshuflw $0xb1, %xmm0, %xmm0     # xmm0 = xmm0[1,0,3,2,4,5,6,7]
pshufhw $0xb1, %xmm0, %xmm0     # xmm0 = xmm0[0,1,2,3,5,4,7,6]
movdqa %xmm0, 0x30(%rsp)
movdqu %xmm0, 0x20(%rdx)
movdqu 0x30(%rsi), %xmm0
movdqa %xmm0, %xmm1
psrlw $0x8, %xmm1
psllw $0x8, %xmm0
por %xmm1, %xmm0
pshuflw $0xb1, %xmm0, %xmm0     # xmm0 = xmm0[1,0,3,2,4,5,6,7]
pshufhw $0xb1, %xmm0, %xmm3     # xmm3 = xmm0[0,1,2,3,5,4,7,6]
movq %rdx, 0x18(%rsp)
movdqu %xmm3, 0x30(%rdx)
movdqu (%rdi), %xmm0
movq %rdi, 0x60(%rsp)
movups 0x10(%rdi), %xmm1
movups %xmm1, 0x10(%rcx)
movdqu %xmm0, (%rcx)
movl 0x10(%rcx), %r15d
movl 0x14(%rcx), %r13d
movl (%rcx), %ebp
movl 0x4(%rcx), %r12d
movl 0x18(%rcx), %eax
movl %eax, 0xc(%rsp)
movl 0x1c(%rcx), %eax
movl %eax, 0x8(%rsp)
movl 0xc(%rcx), %ebx
movq %rcx, 0x68(%rsp)
movl 0x8(%rcx), %r14d
movq $0x0, 0x10(%rsp)
movd %xmm2, %eax
movl %r15d, %ecx
roll $0x1a, %ecx
movl %r15d, %edx
roll $0x15, %edx
xorl %ecx, %edx
movl %r15d, %ecx
roll $0x7, %ecx
xorl %edx, %ecx
addl %eax, %ecx
movl 0xc(%rsp), %r10d
movl %r10d, %eax
xorl %r13d, %eax
andl %r15d, %eax
xorl %r10d, %eax
addl 0x8(%rsp), %eax
leaq 0x3791(%rip), %rdx      # 0x12690
movq 0x10(%rsp), %r9
addl (%rdx,%r9,4), %ecx
movq %rdx, %r11
addl %eax, %ecx
addl %ecx, %ebx
movl %ebp, %eax
roll $0x1e, %eax
movl %ebp, %edx
roll $0x13, %edx
xorl %eax, %edx
movl %ebp, %esi
roll $0xa, %esi
xorl %edx, %esi
movl %r14d, %edx
orl %r12d, %edx
andl %ebp, %edx
movl %r14d, %eax
andl %r12d, %eax
movl %ebx, %edi
roll $0x1a, %edi
orl %edx, %eax
movl %ebx, %edx
roll $0x15, %edx
addl %esi, %eax
movl %ebx, %r8d
roll $0x7, %r8d
xorl %edi, %edx
xorl %edx, %r8d
movl %r13d, %esi
xorl %r15d, %esi
andl %ebx, %esi
xorl %r13d, %esi
addl %r10d, %esi
addl %r8d, %esi
movq 0x18(%rsp), %rdx
addl 0x4(%rdx,%r9,4), %esi
movq %rdx, %r10
addl 0x4(%r11,%r9,4), %esi
addl %ecx, %eax
movl %eax, %ecx
roll $0x1e, %ecx
addl %esi, %r14d
movl %eax, %edx
roll $0x13, %edx
xorl %ecx, %edx
movl %eax, %ecx
roll $0xa, %ecx
xorl %edx, %ecx
movl %r12d, %edi
orl %ebp, %edi
andl %eax, %edi
movl %r12d, %edx
andl %ebp, %edx
orl %edi, %edx
addl %ecx, %edx
addl %esi, %edx
movl %r14d, %ecx
roll $0x1a, %ecx
movl %r14d, %esi
roll $0x15, %esi
xorl %ecx, %esi
movl %r14d, %ecx
roll $0x7, %ecx
xorl %esi, %ecx
movl %ebx, %esi
xorl %r15d, %esi
andl %r14d, %esi
xorl %r15d, %esi
addl 0x8(%r10,%r9,4), %r13d
addl 0x8(%r11,%r9,4), %r13d
addl %esi, %r13d
movl %edx, %esi
roll $0x1e, %esi
addl %ecx, %r13d
movl %edx, %ecx
roll $0x13, %ecx
addl %r13d, %r12d
movl %edx, %edi
roll $0xa, %edi
xorl %esi, %ecx
xorl %ecx, %edi
movl %eax, %esi
orl %ebp, %esi
andl %edx, %esi
movl %eax, %ecx
andl %ebp, %ecx
orl %esi, %ecx
addl %edi, %ecx
movl %r12d, %esi
roll $0x1a, %esi
addl %r13d, %ecx
movl %r12d, %edi
roll $0x15, %edi
xorl %esi, %edi
movl %r12d, %esi
roll $0x7, %esi
xorl %edi, %esi
movl %r14d, %edi
xorl %ebx, %edi
andl %r12d, %edi
addl 0xc(%r10,%r9,4), %r15d
addl 0xc(%r11,%r9,4), %r15d
movq %r9, %r13
xorl %ebx, %edi
addl %edi, %r15d
addl %esi, %r15d
addl %r15d, %ebp
movl %ecx, %esi
roll $0x1e, %esi
movl %ecx, %edi
roll $0x13, %edi
xorl %esi, %edi
movl %ecx, %r8d
roll $0xa, %r8d
xorl %edi, %r8d
movl %edx, %edi
orl %eax, %edi
andl %ecx, %edi
movl %edx, %esi
andl %eax, %esi
orl %edi, %esi
movl %ebp, %edi
roll $0x1a, %edi
addl %r8d, %esi
movl %ebp, %r8d
roll $0x15, %r8d
addl %r15d, %esi
movl %ebp, %r9d
roll $0x7, %r9d
xorl %edi, %r8d
xorl %r8d, %r9d
movl %r12d, %edi
xorl %r14d, %edi
andl %ebp, %edi
xorl %r14d, %edi
addl 0x10(%r10,%r13,4), %ebx
addl 0x10(%r11,%r13,4), %ebx
addl %edi, %ebx
addl %r9d, %ebx
addl %ebx, %eax
movl %esi, %edi
roll $0x1e, %edi
movl %esi, %r8d
roll $0x13, %r8d
xorl %edi, %r8d
movl %esi, %edi
roll $0xa, %edi
xorl %r8d, %edi
movl %ecx, %r9d
orl %edx, %r9d
andl %esi, %r9d
movl %ecx, %r15d
andl %edx, %r15d
orl %r9d, %r15d
addl %edi, %r15d
addl %ebx, %r15d
movl %eax, %edi
roll $0x1a, %edi
movl %eax, %r9d
roll $0x15, %r9d
xorl %edi, %r9d
movl %eax, %edi
roll $0x7, %edi
xorl %r9d, %edi
movl %ebp, %r9d
xorl %r12d, %r9d
andl %eax, %r9d
addl 0x14(%r10,%r13,4), %r14d
movq %r10, %r8
xorl %r12d, %r9d
addl 0x14(%r11,%r13,4), %r14d
addl %r9d, %r14d
addl %edi, %r14d
movl %r15d, %edi
roll $0x1e, %edi
addl %r14d, %edx
movl %r15d, %r9d
roll $0x13, %r9d
xorl %edi, %r9d
movl %r15d, %edi
roll $0xa, %edi
xorl %r9d, %edi
movl %esi, %r10d
orl %ecx, %r10d
andl %r15d, %r10d
movl %esi, %r9d
andl %ecx, %r9d
orl %r10d, %r9d
addl %edi, %r9d
addl %r14d, %r9d
movl %edx, %edi
roll $0x1a, %edi
movl %edx, %r10d
roll $0x15, %r10d
xorl %edi, %r10d
movl %edx, %edi
roll $0x7, %edi
xorl %r10d, %edi
movl %eax, %r10d
xorl %ebp, %r10d
andl %edx, %r10d
xorl %ebp, %r10d
addl 0x18(%r8,%r13,4), %r12d
movq %r8, %r14
addl 0x18(%r11,%r13,4), %r12d
movq %r11, %rbx
addl %r10d, %r12d
movl %r9d, %r10d
roll $0x1e, %r10d
addl %edi, %r12d
movl %r9d, %edi
roll $0x13, %edi
addl %r12d, %ecx
movl %r9d, %r11d
roll $0xa, %r11d
xorl %r10d, %edi
xorl %edi, %r11d
movl %r15d, %edi
orl %esi, %edi
andl %r9d, %edi
movl %r15d, %r8d
andl %esi, %r8d
orl %edi, %r8d
addl %r11d, %r8d
movl %ecx, %edi
roll $0x1a, %edi
addl %r12d, %r8d
movl %ecx, %r11d
roll $0x15, %r11d
xorl %edi, %r11d
movl %ecx, %edi
roll $0x7, %edi
xorl %r11d, %edi
movl %edx, %r11d
xorl %eax, %r11d
andl %ecx, %r11d
addl 0x1c(%r14,%r13,4), %ebp
addl 0x1c(%rbx,%r13,4), %ebp
xorl %eax, %r11d
addl %r11d, %ebp
addl %edi, %ebp
addl %ebp, %esi
movl %r8d, %edi
roll $0x1e, %edi
movl %r8d, %r11d
roll $0x13, %r11d
xorl %edi, %r11d
movl %r8d, %ebx
roll $0xa, %ebx
xorl %r11d, %ebx
movl %r9d, %r11d
orl %r15d, %r11d
andl %r8d, %r11d
movl %r9d, %r10d
andl %r15d, %r10d
movl %r15d, %r12d
orl %r11d, %r10d
movl %esi, %r11d
roll $0x1a, %r11d
addl %ebx, %r10d
movl %esi, %ebx
roll $0x15, %ebx
addl %ebp, %r10d
movl %esi, %ebp
roll $0x7, %ebp
xorl %r11d, %ebx
xorl %ebx, %ebp
movl %ecx, %r11d
xorl %edx, %r11d
andl %esi, %r11d
xorl %edx, %r11d
movq %r14, %r15
addl 0x20(%r14,%r13,4), %eax
leaq 0x346f(%rip), %rdi      # 0x12690
addl 0x20(%rdi,%r13,4), %eax
addl %r11d, %eax
addl %ebp, %eax
addl %eax, %r12d
movl %r10d, %r11d
roll $0x1e, %r11d
movl %r10d, %ebx
roll $0x13, %ebx
xorl %r11d, %ebx
movl %r10d, %r11d
roll $0xa, %r11d
xorl %ebx, %r11d
movl %r8d, %ebx
orl %r9d, %ebx
andl %r10d, %ebx
movl %r10d, %r14d
movl %r8d, %r10d
andl %r9d, %r10d
orl %ebx, %r10d
addl %r11d, %r10d
addl %eax, %r10d
movl %r12d, %ebx
movl %r12d, %eax
roll $0x1a, %eax
movl %r12d, %r11d
roll $0x15, %r11d
xorl %eax, %r11d
movl %r12d, %eax
roll $0x7, %eax
xorl %r11d, %eax
movl %esi, %r11d
xorl %ecx, %r11d
andl %r12d, %r11d
addl 0x24(%r15,%r13,4), %edx
movq %r15, %r12
xorl %ecx, %r11d
addl 0x24(%rdi,%r13,4), %edx
movq %rdi, %rbp
addl %r11d, %edx
addl %eax, %edx
movl %r10d, %eax
roll $0x1e, %eax
addl %edx, %r9d
movl %r10d, %r11d
roll $0x13, %r11d
xorl %eax, %r11d
movl %r10d, %eax
roll $0xa, %eax
xorl %r11d, %eax
movl %r14d, %r11d
orl %r8d, %r11d
andl %r10d, %r11d
movl %r14d, %edi
andl %r8d, %edi
orl %r11d, %edi
addl %eax, %edi
addl %edx, %edi
movl %r9d, %eax
roll $0x1a, %eax
movl %r9d, %edx
roll $0x15, %edx
xorl %eax, %edx
movl %r9d, %eax
roll $0x7, %eax
xorl %edx, %eax
movl %ebx, %edx
xorl %esi, %edx
andl %r9d, %edx
xorl %esi, %edx
addl 0x28(%r15,%r13,4), %ecx
addl 0x28(%rbp,%r13,4), %ecx
movq %r13, %r15
addl %edx, %ecx
movl %edi, %edx
roll $0x1e, %edx
addl %eax, %ecx
movl %edi, %eax
roll $0x13, %eax
addl %ecx, %r8d
movl %edi, %r11d
roll $0xa, %r11d
xorl %edx, %eax
xorl %eax, %r11d
movl %r10d, %eax
orl %r14d, %eax
andl %edi, %eax
movl %r10d, %r13d
andl %r14d, %r13d
orl %eax, %r13d
addl %r11d, %r13d
movl %r8d, %eax
roll $0x1a, %eax
addl %ecx, %r13d
movl %r8d, %ecx
roll $0x15, %ecx
xorl %eax, %ecx
movl %r8d, %edx
roll $0x7, %edx
xorl %ecx, %edx
movl %r9d, %r11d
movl %ebx, 0x20(%rsp)
xorl %ebx, %r11d
andl %r8d, %r11d
xorl %ebx, %r11d
movq %r15, %rbx
movl 0x2c(%rbp,%r15,4), %ecx
addl 0x2c(%r12,%r15,4), %ecx
movl 0x30(%rbp,%r15,4), %eax
addl %esi, %ecx
addl %r11d, %ecx
addl %edx, %ecx
addl %ecx, %r14d
movl %r13d, %edx
roll $0x1e, %edx
movl %r13d, %esi
roll $0x13, %esi
xorl %edx, %esi
movl %r13d, %edx
roll $0xa, %edx
xorl %esi, %edx
movl %edi, %esi
orl %r10d, %esi
andl %r13d, %esi
movl %edi, %r15d
andl %r10d, %r15d
orl %esi, %r15d
addl %edx, %r15d
addl %ecx, %r15d
movl %r14d, %ecx
roll $0x1a, %ecx
movl %r14d, %edx
roll $0x15, %edx
xorl %ecx, %edx
movl %r14d, %ecx
roll $0x7, %ecx
xorl %edx, %ecx
movl %r8d, %edx
xorl %r9d, %edx
andl %r14d, %edx
movl %r14d, %r11d
movq %rbx, %rsi
addl 0x30(%r12,%rbx,4), %eax
xorl %r9d, %edx
addl 0x20(%rsp), %eax
addl %edx, %eax
addl %ecx, %eax
addl %eax, %r10d
movl %r15d, %ecx
roll $0x1e, %ecx
movl %r15d, %edx
roll $0x13, %edx
xorl %ecx, %edx
movl %r15d, %ecx
roll $0xa, %ecx
xorl %edx, %ecx
movl %r13d, %edx
orl %edi, %edx
andl %r15d, %edx
movl %r13d, %ebx
andl %edi, %ebx
orl %edx, %ebx
addl %ecx, %ebx
addl %eax, %ebx
movl %r10d, %eax
roll $0x1a, %eax
movl %r10d, %ecx
roll $0x15, %ecx
xorl %eax, %ecx
movl %r10d, %edx
roll $0x7, %edx
xorl %ecx, %edx
movl %r14d, %ecx
xorl %r8d, %ecx
andl %r10d, %ecx
xorl %r8d, %ecx
movl 0x34(%rbp,%rsi,4), %eax
addl 0x34(%r12,%rsi,4), %eax
addl %r9d, %eax
addl %ecx, %eax
addl %edx, %eax
movl %ebx, %ecx
roll $0x1e, %ecx
addl %eax, %edi
movl %ebx, %edx
roll $0x13, %edx
xorl %ecx, %edx
movl %ebx, %ecx
roll $0xa, %ecx
xorl %edx, %ecx
movl %r15d, %edx
orl %r13d, %edx
andl %ebx, %edx
movl %r15d, %r14d
andl %r13d, %r14d
orl %edx, %r14d
addl %ecx, %r14d
addl %eax, %r14d
movl %edi, %eax
roll $0x1a, %eax
movl %edi, %ecx
roll $0x15, %ecx
xorl %eax, %ecx
movl %edi, %edx
roll $0x7, %edx
xorl %ecx, %edx
movl %r10d, %ecx
xorl %r11d, %ecx
andl %edi, %ecx
xorl %r11d, %ecx
movl 0x38(%rbp,%rsi,4), %eax
addl 0x38(%r12,%rsi,4), %eax
movq %r12, %rbp
movq %rsi, %r9
addl %r8d, %eax
addl %ecx, %eax
movl %r14d, %ecx
roll $0x1e, %ecx
addl %edx, %eax
movl %r14d, %edx
roll $0x13, %edx
addl %eax, %r13d
movl %r14d, %esi
roll $0xa, %esi
xorl %ecx, %edx
xorl %edx, %esi
movl %ebx, %ecx
orl %r15d, %ecx
andl %r14d, %ecx
movl %ebx, %r12d
andl %r15d, %r12d
orl %ecx, %r12d
addl %esi, %r12d
movl %r13d, %ecx
roll $0x1a, %ecx
addl %eax, %r12d
movl %r13d, %eax
roll $0x15, %eax
xorl %ecx, %eax
movl %r13d, %ecx
roll $0x7, %ecx
xorl %eax, %ecx
movl %edi, 0xc(%rsp)
xorl %r10d, %edi
andl %r13d, %edi
movl %r10d, 0x8(%rsp)
xorl %r10d, %edi
leaq 0x319d(%rip), %rax      # 0x12690
movl 0x3c(%rax,%r9,4), %eax
addl 0x3c(%rbp,%r9,4), %eax
addl %r11d, %eax
addl %edi, %eax
addl %ecx, %eax
addl %eax, %r15d
movl %r12d, %ecx
roll $0x1e, %ecx
movl %r12d, %edx
roll $0x13, %edx
xorl %ecx, %edx
movl %r12d, %ecx
roll $0xa, %ecx
xorl %edx, %ecx
movl %r14d, %edx
orl %ebx, %edx
andl %r12d, %edx
movl %r14d, %ebp
andl %ebx, %ebp
orl %edx, %ebp
addl %ecx, %ebp
addl %eax, %ebp
cmpq $0x30, %r9
je 0xf60a
movdqa %xmm2, %xmm0
movaps 0x40(%rsp), %xmm1
movaps 0x30(%rsp), %xmm2
movdqa %xmm3, 0x50(%rsp)
callq 0xf659
movdqa %xmm0, %xmm3
movdqa %xmm0, 0x20(%rsp)
movq 0x10(%rsp), %rcx
leaq 0x10(%rcx), %rax
movq %rax, 0x70(%rsp)
movq 0x18(%rsp), %rax
movdqu %xmm0, 0x40(%rax,%rcx,4)
movaps 0x40(%rsp), %xmm0
movaps 0x30(%rsp), %xmm1
movaps 0x50(%rsp), %xmm2
callq 0xf659
movaps %xmm0, %xmm3
movaps %xmm0, 0x40(%rsp)
movq 0x18(%rsp), %rax
movq 0x10(%rsp), %rcx
movups %xmm0, 0x50(%rax,%rcx,4)
movaps 0x30(%rsp), %xmm0
movaps 0x50(%rsp), %xmm1
movaps 0x20(%rsp), %xmm2
callq 0xf659
movaps %xmm0, %xmm3
movq 0x18(%rsp), %rax
movq 0x10(%rsp), %rcx
movups %xmm0, 0x60(%rax,%rcx,4)
movdqa 0x50(%rsp), %xmm0
movaps 0x20(%rsp), %xmm1
movaps 0x40(%rsp), %xmm2
movaps %xmm3, 0x30(%rsp)
callq 0xf659
movdqa 0x20(%rsp), %xmm2
movdqa %xmm0, %xmm3
movq 0x18(%rsp), %rax
movq 0x10(%rsp), %rcx
movdqu %xmm0, 0x70(%rax,%rcx,4)
movq 0x70(%rsp), %rax
movq %rax, 0x10(%rsp)
jmp 0xeec7
movq 0x68(%rsp), %rdx
movl 0x8(%rsp), %eax
movl %eax, 0x1c(%rdx)
movl %ebx, 0xc(%rdx)
movl 0xc(%rsp), %eax
movl %eax, 0x18(%rdx)
movl %r14d, 0x8(%rdx)
movl %r13d, 0x14(%rdx)
movl %r12d, 0x4(%rdx)
movl %r15d, 0x10(%rdx)
movl %ebp, (%rdx)
xorl %eax, %eax
movq 0x60(%rsp), %rsi
cmpq $0x8, %rax
je 0xf64a
movl (%rdx,%rax,4), %ecx
addl %ecx, (%rsi,%rax,4)
incq %rax
jmp 0xf639
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq