// File: twekkel[P]mzpq/libzpaq.cpp
// Function: libzpaq::salsa8(unsigned int*)
static void salsa8(U32* b) {
  unsigned x[16]={0};
  memcpy(x, b, 64);
  for (int i=0; i<4; ++i) {
    #define R(a,b) (((a)<<(b))+((a)>>(32-b)))
    x[ 4] ^= R(x[ 0]+x[12], 7);  x[ 8] ^= R(x[ 4]+x[ 0], 9);
    x[12] ^= R(x[ 8]+x[ 4],13);  x[ 0] ^= R(x[12]+x[ 8],18);
    x[ 9] ^= R(x[ 5]+x[ 1], 7);  x[13] ^= R(x[ 9]+x[ 5], 9);
    x[ 1] ^= R(x[13]+x[ 9],13);  x[ 5] ^= R(x[ 1]+x[13],18);
    x[14] ^= R(x[10]+x[ 6], 7);  x[ 2] ^= R(x[14]+x[10], 9);
    x[ 6] ^= R(x[ 2]+x[14],13);  x[10] ^= R(x[ 6]+x[ 2],18);
    x[ 3] ^= R(x[15]+x[11], 7);  x[ 7] ^= R(x[ 3]+x[15], 9);
    x[11] ^= R(x[ 7]+x[ 3],13);  x[15] ^= R(x[11]+x[ 7],18);
    x[ 1] ^= R(x[ 0]+x[ 3], 7);  x[ 2] ^= R(x[ 1]+x[ 0], 9);
    x[ 3] ^= R(x[ 2]+x[ 1],13);  x[ 0] ^= R(x[ 3]+x[ 2],18);
    x[ 6] ^= R(x[ 5]+x[ 4], 7);  x[ 7] ^= R(x[ 6]+x[ 5], 9);
    x[ 4] ^= R(x[ 7]+x[ 6],13);  x[ 5] ^= R(x[ 4]+x[ 7],18);
    x[11] ^= R(x[10]+x[ 9], 7);  x[ 8] ^= R(x[11]+x[10], 9);
    x[ 9] ^= R(x[ 8]+x[11],13);  x[10] ^= R(x[ 9]+x[ 8],18);
    x[12] ^= R(x[15]+x[14], 7);  x[13] ^= R(x[12]+x[15], 9);
    x[14] ^= R(x[13]+x[12],13);  x[15] ^= R(x[14]+x[13],18);
    #undef R
  }
  for (int i=0; i<16; ++i) b[i]+=x[i];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
leaq -0x50(%rbp), %rdi
xorl %esi, %esi
movl $0x40, %edx
callq 0x5150
leaq -0x50(%rbp), %rdi
movq -0x8(%rbp), %rsi
movl $0x40, %edx
callq 0x5200
movl $0x0, -0x54(%rbp)
cmpl $0x4, -0x54(%rbp)
jge 0x2886d
movl -0x50(%rbp), %eax
addl -0x20(%rbp), %eax
shll $0x7, %eax
movl -0x50(%rbp), %ecx
addl -0x20(%rbp), %ecx
shrl $0x19, %ecx
addl %ecx, %eax
xorl -0x40(%rbp), %eax
movl %eax, -0x40(%rbp)
movl -0x40(%rbp), %eax
addl -0x50(%rbp), %eax
shll $0x9, %eax
movl -0x40(%rbp), %ecx
addl -0x50(%rbp), %ecx
shrl $0x17, %ecx
addl %ecx, %eax
xorl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
addl -0x40(%rbp), %eax
shll $0xd, %eax
movl -0x30(%rbp), %ecx
addl -0x40(%rbp), %ecx
shrl $0x13, %ecx
addl %ecx, %eax
xorl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x20(%rbp), %eax
addl -0x30(%rbp), %eax
shll $0x12, %eax
movl -0x20(%rbp), %ecx
addl -0x30(%rbp), %ecx
shrl $0xe, %ecx
addl %ecx, %eax
xorl -0x50(%rbp), %eax
movl %eax, -0x50(%rbp)
movl -0x3c(%rbp), %eax
addl -0x4c(%rbp), %eax
shll $0x7, %eax
movl -0x3c(%rbp), %ecx
addl -0x4c(%rbp), %ecx
shrl $0x19, %ecx
addl %ecx, %eax
xorl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
addl -0x3c(%rbp), %eax
shll $0x9, %eax
movl -0x2c(%rbp), %ecx
addl -0x3c(%rbp), %ecx
shrl $0x17, %ecx
addl %ecx, %eax
xorl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
addl -0x2c(%rbp), %eax
shll $0xd, %eax
movl -0x1c(%rbp), %ecx
addl -0x2c(%rbp), %ecx
shrl $0x13, %ecx
addl %ecx, %eax
xorl -0x4c(%rbp), %eax
movl %eax, -0x4c(%rbp)
movl -0x4c(%rbp), %eax
addl -0x1c(%rbp), %eax
shll $0x12, %eax
movl -0x4c(%rbp), %ecx
addl -0x1c(%rbp), %ecx
shrl $0xe, %ecx
addl %ecx, %eax
xorl -0x3c(%rbp), %eax
movl %eax, -0x3c(%rbp)
movl -0x28(%rbp), %eax
addl -0x38(%rbp), %eax
shll $0x7, %eax
movl -0x28(%rbp), %ecx
addl -0x38(%rbp), %ecx
shrl $0x19, %ecx
addl %ecx, %eax
xorl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x18(%rbp), %eax
addl -0x28(%rbp), %eax
shll $0x9, %eax
movl -0x18(%rbp), %ecx
addl -0x28(%rbp), %ecx
shrl $0x17, %ecx
addl %ecx, %eax
xorl -0x48(%rbp), %eax
movl %eax, -0x48(%rbp)
movl -0x48(%rbp), %eax
addl -0x18(%rbp), %eax
shll $0xd, %eax
movl -0x48(%rbp), %ecx
addl -0x18(%rbp), %ecx
shrl $0x13, %ecx
addl %ecx, %eax
xorl -0x38(%rbp), %eax
movl %eax, -0x38(%rbp)
movl -0x38(%rbp), %eax
addl -0x48(%rbp), %eax
shll $0x12, %eax
movl -0x38(%rbp), %ecx
addl -0x48(%rbp), %ecx
shrl $0xe, %ecx
addl %ecx, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x14(%rbp), %eax
addl -0x24(%rbp), %eax
shll $0x7, %eax
movl -0x14(%rbp), %ecx
addl -0x24(%rbp), %ecx
shrl $0x19, %ecx
addl %ecx, %eax
xorl -0x44(%rbp), %eax
movl %eax, -0x44(%rbp)
movl -0x44(%rbp), %eax
addl -0x14(%rbp), %eax
shll $0x9, %eax
movl -0x44(%rbp), %ecx
addl -0x14(%rbp), %ecx
shrl $0x17, %ecx
addl %ecx, %eax
xorl -0x34(%rbp), %eax
movl %eax, -0x34(%rbp)
movl -0x34(%rbp), %eax
addl -0x44(%rbp), %eax
shll $0xd, %eax
movl -0x34(%rbp), %ecx
addl -0x44(%rbp), %ecx
shrl $0x13, %ecx
addl %ecx, %eax
xorl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
addl -0x34(%rbp), %eax
shll $0x12, %eax
movl -0x24(%rbp), %ecx
addl -0x34(%rbp), %ecx
shrl $0xe, %ecx
addl %ecx, %eax
xorl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x50(%rbp), %eax
addl -0x44(%rbp), %eax
shll $0x7, %eax
movl -0x50(%rbp), %ecx
addl -0x44(%rbp), %ecx
shrl $0x19, %ecx
addl %ecx, %eax
xorl -0x4c(%rbp), %eax
movl %eax, -0x4c(%rbp)
movl -0x4c(%rbp), %eax
addl -0x50(%rbp), %eax
shll $0x9, %eax
movl -0x4c(%rbp), %ecx
addl -0x50(%rbp), %ecx
shrl $0x17, %ecx
addl %ecx, %eax
xorl -0x48(%rbp), %eax
movl %eax, -0x48(%rbp)
movl -0x48(%rbp), %eax
addl -0x4c(%rbp), %eax
shll $0xd, %eax
movl -0x48(%rbp), %ecx
addl -0x4c(%rbp), %ecx
shrl $0x13, %ecx
addl %ecx, %eax
xorl -0x44(%rbp), %eax
movl %eax, -0x44(%rbp)
movl -0x44(%rbp), %eax
addl -0x48(%rbp), %eax
shll $0x12, %eax
movl -0x44(%rbp), %ecx
addl -0x48(%rbp), %ecx
shrl $0xe, %ecx
addl %ecx, %eax
xorl -0x50(%rbp), %eax
movl %eax, -0x50(%rbp)
movl -0x3c(%rbp), %eax
addl -0x40(%rbp), %eax
shll $0x7, %eax
movl -0x3c(%rbp), %ecx
addl -0x40(%rbp), %ecx
shrl $0x19, %ecx
addl %ecx, %eax
xorl -0x38(%rbp), %eax
movl %eax, -0x38(%rbp)
movl -0x38(%rbp), %eax
addl -0x3c(%rbp), %eax
shll $0x9, %eax
movl -0x38(%rbp), %ecx
addl -0x3c(%rbp), %ecx
shrl $0x17, %ecx
addl %ecx, %eax
xorl -0x34(%rbp), %eax
movl %eax, -0x34(%rbp)
movl -0x34(%rbp), %eax
addl -0x38(%rbp), %eax
shll $0xd, %eax
movl -0x34(%rbp), %ecx
addl -0x38(%rbp), %ecx
shrl $0x13, %ecx
addl %ecx, %eax
xorl -0x40(%rbp), %eax
movl %eax, -0x40(%rbp)
movl -0x40(%rbp), %eax
addl -0x34(%rbp), %eax
shll $0x12, %eax
movl -0x40(%rbp), %ecx
addl -0x34(%rbp), %ecx
shrl $0xe, %ecx
addl %ecx, %eax
xorl -0x3c(%rbp), %eax
movl %eax, -0x3c(%rbp)
movl -0x28(%rbp), %eax
addl -0x2c(%rbp), %eax
shll $0x7, %eax
movl -0x28(%rbp), %ecx
addl -0x2c(%rbp), %ecx
shrl $0x19, %ecx
addl %ecx, %eax
xorl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
addl -0x28(%rbp), %eax
shll $0x9, %eax
movl -0x24(%rbp), %ecx
addl -0x28(%rbp), %ecx
shrl $0x17, %ecx
addl %ecx, %eax
xorl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
addl -0x24(%rbp), %eax
shll $0xd, %eax
movl -0x30(%rbp), %ecx
addl -0x24(%rbp), %ecx
shrl $0x13, %ecx
addl %ecx, %eax
xorl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
addl -0x30(%rbp), %eax
shll $0x12, %eax
movl -0x2c(%rbp), %ecx
addl -0x30(%rbp), %ecx
shrl $0xe, %ecx
addl %ecx, %eax
xorl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x14(%rbp), %eax
addl -0x18(%rbp), %eax
shll $0x7, %eax
movl -0x14(%rbp), %ecx
addl -0x18(%rbp), %ecx
shrl $0x19, %ecx
addl %ecx, %eax
xorl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x20(%rbp), %eax
addl -0x14(%rbp), %eax
shll $0x9, %eax
movl -0x20(%rbp), %ecx
addl -0x14(%rbp), %ecx
shrl $0x17, %ecx
addl %ecx, %eax
xorl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
addl -0x20(%rbp), %eax
shll $0xd, %eax
movl -0x1c(%rbp), %ecx
addl -0x20(%rbp), %ecx
shrl $0x13, %ecx
addl %ecx, %eax
xorl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x18(%rbp), %eax
addl -0x1c(%rbp), %eax
shll $0x12, %eax
movl -0x18(%rbp), %ecx
addl -0x1c(%rbp), %ecx
shrl $0xe, %ecx
addl %ecx, %eax
xorl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
jmp 0x28515
movl $0x0, -0x58(%rbp)
cmpl $0x10, -0x58(%rbp)
jge 0x2889b
movslq -0x58(%rbp), %rax
movl -0x50(%rbp,%rax,4), %edx
movq -0x8(%rbp), %rax
movslq -0x58(%rbp), %rcx
addl (%rax,%rcx,4), %edx
movl %edx, (%rax,%rcx,4)
movl -0x58(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x58(%rbp)
jmp 0x28874
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)