#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint32_t;

/* Variables and functions */
int /*<<< orphan*/ blkcpy(int *, int *, int);
void salsa20_8(uint32_t B[16]) {
  uint32_t x[16];
  size_t i;
  blkcpy(x, B, 64);
  for (i = 0; i < 8; i += 2) {
    x[4] ^= (((x[0] + x[12]) << (7)) | ((x[0] + x[12]) >> (32 - (7))));
    x[8] ^= (((x[4] + x[0]) << (9)) | ((x[4] + x[0]) >> (32 - (9))));
    x[12] ^= (((x[8] + x[4]) << (13)) | ((x[8] + x[4]) >> (32 - (13))));
    x[0] ^= (((x[12] + x[8]) << (18)) | ((x[12] + x[8]) >> (32 - (18))));
    x[9] ^= (((x[5] + x[1]) << (7)) | ((x[5] + x[1]) >> (32 - (7))));
    x[13] ^= (((x[9] + x[5]) << (9)) | ((x[9] + x[5]) >> (32 - (9))));
    x[1] ^= (((x[13] + x[9]) << (13)) | ((x[13] + x[9]) >> (32 - (13))));
    x[5] ^= (((x[1] + x[13]) << (18)) | ((x[1] + x[13]) >> (32 - (18))));
    x[14] ^= (((x[10] + x[6]) << (7)) | ((x[10] + x[6]) >> (32 - (7))));
    x[2] ^= (((x[14] + x[10]) << (9)) | ((x[14] + x[10]) >> (32 - (9))));
    x[6] ^= (((x[2] + x[14]) << (13)) | ((x[2] + x[14]) >> (32 - (13))));
    x[10] ^= (((x[6] + x[2]) << (18)) | ((x[6] + x[2]) >> (32 - (18))));
    x[3] ^= (((x[15] + x[11]) << (7)) | ((x[15] + x[11]) >> (32 - (7))));
    x[7] ^= (((x[3] + x[15]) << (9)) | ((x[3] + x[15]) >> (32 - (9))));
    x[11] ^= (((x[7] + x[3]) << (13)) | ((x[7] + x[3]) >> (32 - (13))));
    x[15] ^= (((x[11] + x[7]) << (18)) | ((x[11] + x[7]) >> (32 - (18))));
    x[1] ^= (((x[0] + x[3]) << (7)) | ((x[0] + x[3]) >> (32 - (7))));
    x[2] ^= (((x[1] + x[0]) << (9)) | ((x[1] + x[0]) >> (32 - (9))));
    x[3] ^= (((x[2] + x[1]) << (13)) | ((x[2] + x[1]) >> (32 - (13))));
    x[0] ^= (((x[3] + x[2]) << (18)) | ((x[3] + x[2]) >> (32 - (18))));
    x[6] ^= (((x[5] + x[4]) << (7)) | ((x[5] + x[4]) >> (32 - (7))));
    x[7] ^= (((x[6] + x[5]) << (9)) | ((x[6] + x[5]) >> (32 - (9))));
    x[4] ^= (((x[7] + x[6]) << (13)) | ((x[7] + x[6]) >> (32 - (13))));
    x[5] ^= (((x[4] + x[7]) << (18)) | ((x[4] + x[7]) >> (32 - (18))));
    x[11] ^= (((x[10] + x[9]) << (7)) | ((x[10] + x[9]) >> (32 - (7))));
    x[8] ^= (((x[11] + x[10]) << (9)) | ((x[11] + x[10]) >> (32 - (9))));
    x[9] ^= (((x[8] + x[11]) << (13)) | ((x[8] + x[11]) >> (32 - (13))));
    x[10] ^= (((x[9] + x[8]) << (18)) | ((x[9] + x[8]) >> (32 - (18))));
    x[12] ^= (((x[15] + x[14]) << (7)) | ((x[15] + x[14]) >> (32 - (7))));
    x[13] ^= (((x[12] + x[15]) << (9)) | ((x[12] + x[15]) >> (32 - (9))));
    x[14] ^= (((x[13] + x[12]) << (13)) | ((x[13] + x[12]) >> (32 - (13))));
    x[15] ^= (((x[14] + x[13]) << (18)) | ((x[14] + x[13]) >> (32 - (18))));
  }
  for (i = 0; i < 16; i++)
    B[i] += x[i];
}


x86 assembly (clang, -O0):
<salsa20_8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
lea    -0x50(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    $0x40,%edx
call   1030 <blkcpy@plt>
movq   $0x0,-0x58(%rbp)
cmpq   $0x8,-0x58(%rbp)
jae    1492 <salsa20_8+0x382>
mov    -0x50(%rbp),%eax
add    -0x20(%rbp),%eax
shl    $0x7,%eax
mov    -0x50(%rbp),%ecx
add    -0x20(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
add    -0x50(%rbp),%eax
shl    $0x9,%eax
mov    -0x40(%rbp),%ecx
add    -0x50(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
add    -0x40(%rbp),%eax
shl    $0xd,%eax
mov    -0x30(%rbp),%ecx
add    -0x40(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
add    -0x30(%rbp),%eax
shl    $0x12,%eax
mov    -0x20(%rbp),%ecx
add    -0x30(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x4c(%rbp),%eax
shl    $0x7,%eax
mov    -0x3c(%rbp),%ecx
add    -0x4c(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x3c(%rbp),%eax
shl    $0x9,%eax
mov    -0x2c(%rbp),%ecx
add    -0x3c(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x2c(%rbp),%eax
shl    $0xd,%eax
mov    -0x1c(%rbp),%ecx
add    -0x2c(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x1c(%rbp),%eax
shl    $0x12,%eax
mov    -0x4c(%rbp),%ecx
add    -0x1c(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%eax
add    -0x38(%rbp),%eax
shl    $0x7,%eax
mov    -0x28(%rbp),%ecx
add    -0x38(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
add    -0x28(%rbp),%eax
shl    $0x9,%eax
mov    -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
add    -0x18(%rbp),%eax
shl    $0xd,%eax
mov    -0x48(%rbp),%ecx
add    -0x18(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
add    -0x48(%rbp),%eax
shl    $0x12,%eax
mov    -0x38(%rbp),%ecx
add    -0x48(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
add    -0x24(%rbp),%eax
shl    $0x7,%eax
mov    -0x14(%rbp),%ecx
add    -0x24(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
add    -0x14(%rbp),%eax
shl    $0x9,%eax
mov    -0x44(%rbp),%ecx
add    -0x14(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
add    -0x44(%rbp),%eax
shl    $0xd,%eax
mov    -0x34(%rbp),%ecx
add    -0x44(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    -0x34(%rbp),%eax
shl    $0x12,%eax
mov    -0x24(%rbp),%ecx
add    -0x34(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x50(%rbp),%eax
add    -0x44(%rbp),%eax
shl    $0x7,%eax
mov    -0x50(%rbp),%ecx
add    -0x44(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x50(%rbp),%eax
shl    $0x9,%eax
mov    -0x4c(%rbp),%ecx
add    -0x50(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
add    -0x4c(%rbp),%eax
shl    $0xd,%eax
mov    -0x48(%rbp),%ecx
add    -0x4c(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
add    -0x48(%rbp),%eax
shl    $0x12,%eax
mov    -0x44(%rbp),%ecx
add    -0x48(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x40(%rbp),%eax
shl    $0x7,%eax
mov    -0x3c(%rbp),%ecx
add    -0x40(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
add    -0x3c(%rbp),%eax
shl    $0x9,%eax
mov    -0x38(%rbp),%ecx
add    -0x3c(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
add    -0x38(%rbp),%eax
shl    $0xd,%eax
mov    -0x34(%rbp),%ecx
add    -0x38(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
add    -0x34(%rbp),%eax
shl    $0x12,%eax
mov    -0x40(%rbp),%ecx
add    -0x34(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%eax
add    -0x2c(%rbp),%eax
shl    $0x7,%eax
mov    -0x28(%rbp),%ecx
add    -0x2c(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
shl    $0x9,%eax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
add    -0x24(%rbp),%eax
shl    $0xd,%eax
mov    -0x30(%rbp),%ecx
add    -0x24(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x30(%rbp),%eax
shl    $0x12,%eax
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
shl    $0x7,%eax
mov    -0x14(%rbp),%ecx
add    -0x18(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
add    -0x14(%rbp),%eax
shl    $0x9,%eax
mov    -0x20(%rbp),%ecx
add    -0x14(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
shl    $0xd,%eax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
shl    $0x12,%eax
mov    -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x58(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x58(%rbp)
jmp    1136 <salsa20_8+0x26>
movq   $0x0,-0x58(%rbp)
cmpq   $0x10,-0x58(%rbp)
jae    14cc <salsa20_8+0x3bc>
mov    -0x58(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x58(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    149a <salsa20_8+0x38a>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<salsa20_8>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xa8,%rsp
mov    %rdi,%rsi
lea    0x20(%rsp),%rdi
mov    %rsi,0x68(%rsp)
mov    $0x40,%edx
call   1030 <blkcpy@plt>
mov    0x20(%rsp),%ebp
mov    0x24(%rsp),%eax
mov    %rax,(%rsp)
mov    0x50(%rsp),%r10d
mov    0x30(%rsp),%r8d
mov    0x40(%rsp),%r14d
mov    0x34(%rsp),%edi
mov    0x44(%rsp),%r12d
mov    0x54(%rsp),%r9d
mov    0x48(%rsp),%edx
mov    0x38(%rsp),%eax
mov    0x58(%rsp),%r15d
mov    0x28(%rsp),%ecx
mov    %rcx,0x8(%rsp)
mov    0x5c(%rsp),%ecx
mov    0x4c(%rsp),%r13d
mov    0x2c(%rsp),%esi
mov    %rsi,0x18(%rsp)
mov    $0xfffffffffffffffe,%rsi
mov    0x3c(%rsp),%ebx
mov    %rbx,0x10(%rsp)
nopl   0x0(%rax)
mov    %rcx,0x70(%rsp)
mov    %rsi,0xa0(%rsp)
lea    (%r10,%rbp,1),%ecx
mov    %ecx,%r11d
shl    $0x7,%r11d
sar    $0x19,%ecx
or     %r11d,%ecx
xor    %r8d,%ecx
mov    %rax,%rbx
lea    (%rcx,%rbp,1),%eax
mov    %rcx,0x80(%rsp)
mov    %eax,%esi
shl    $0x9,%esi
sar    $0x17,%eax
or     %esi,%eax
xor    %r14d,%eax
add    %eax,%ecx
mov    %rax,0x90(%rsp)
mov    %ecx,%esi
shl    $0xd,%esi
sar    $0x13,%ecx
or     %esi,%ecx
xor    %r10d,%ecx
mov    %rcx,0x98(%rsp)
lea    (%rcx,%rax,1),%r8d
mov    %r8d,%esi
shl    $0x12,%esi
sar    $0xe,%r8d
or     %esi,%r8d
xor    %ebp,%r8d
mov    (%rsp),%rax
lea    (%rax,%rdi,1),%ecx
mov    %ecx,%esi
shl    $0x7,%esi
sar    $0x19,%ecx
or     %esi,%ecx
xor    %r12d,%ecx
lea    (%rcx,%rdi,1),%r11d
mov    %r11d,%esi
shl    $0x9,%esi
sar    $0x17,%r11d
or     %esi,%r11d
xor    %r9d,%r11d
lea    (%r11,%rcx,1),%ebp
mov    %rcx,%r12
mov    %r11,0x88(%rsp)
mov    %ebp,%esi
shl    $0xd,%esi
sar    $0x13,%ebp
or     %esi,%ebp
xor    %eax,%ebp
lea    (%r11,%rbp,1),%r9d
mov    %r9d,%eax
shl    $0x12,%eax
sar    $0xe,%r9d
or     %eax,%r9d
xor    %edi,%r9d
lea    (%rbx,%rdx,1),%r11d
mov    %r11d,%eax
shl    $0x7,%eax
sar    $0x19,%r11d
or     %eax,%r11d
xor    %r15d,%r11d
lea    (%r11,%rdx,1),%edi
mov    %r11,0x78(%rsp)
mov    %edi,%eax
shl    $0x9,%eax
sar    $0x17,%edi
or     %eax,%edi
xor    0x8(%rsp),%edi
lea    (%rdi,%r11,1),%r14d
mov    %r14d,%eax
shl    $0xd,%eax
sar    $0x13,%r14d
or     %eax,%r14d
xor    %ebx,%r14d
lea    (%r14,%rdi,1),%r10d
mov    %r10d,%eax
shl    $0x12,%eax
sar    $0xe,%r10d
or     %eax,%r10d
xor    %edx,%r10d
mov    0x70(%rsp),%rcx
lea    (%rcx,%r13,1),%ebx
mov    %ebx,%eax
shl    $0x7,%eax
sar    $0x19,%ebx
or     %eax,%ebx
xor    0x18(%rsp),%ebx
lea    (%rbx,%rcx,1),%edx
mov    %edx,%eax
shl    $0x9,%eax
sar    $0x17,%edx
or     %eax,%edx
xor    0x10(%rsp),%edx
lea    (%rdx,%rbx,1),%r15d
mov    %r15d,%eax
shl    $0xd,%eax
sar    $0x13,%r15d
or     %eax,%r15d
xor    %r13d,%r15d
lea    (%r15,%rdx,1),%r11d
mov    %r11d,%eax
shl    $0x12,%eax
sar    $0xe,%r11d
or     %eax,%r11d
xor    %ecx,%r11d
lea    (%rbx,%r8,1),%eax
mov    %eax,%ecx
shl    $0x7,%ecx
sar    $0x19,%eax
or     %ecx,%eax
xor    %ebp,%eax
lea    (%rax,%r8,1),%ebp
mov    %ebp,%ecx
shl    $0x9,%ecx
sar    $0x17,%ebp
or     %ecx,%ebp
xor    %edi,%ebp
mov    %rax,(%rsp)
lea    (%rax,%rbp,1),%esi
mov    %esi,%ecx
shl    $0xd,%ecx
sar    $0x13,%esi
or     %ecx,%esi
xor    %ebx,%esi
mov    %rsi,0x18(%rsp)
mov    %rbp,0x8(%rsp)
add    %esi,%ebp
mov    %ebp,%ecx
shl    $0x12,%ecx
sar    $0xe,%ebp
or     %ecx,%ebp
xor    %r8d,%ebp
mov    0x80(%rsp),%rdi
lea    (%r9,%rdi,1),%eax
mov    %eax,%ecx
shl    $0x7,%ecx
sar    $0x19,%eax
or     %ecx,%eax
xor    %r14d,%eax
lea    (%rax,%r9,1),%esi
mov    %esi,%ecx
shl    $0x9,%ecx
sar    $0x17,%esi
or     %ecx,%esi
xor    %edx,%esi
lea    (%rsi,%rax,1),%r8d
mov    %r8d,%ecx
shl    $0xd,%ecx
sar    $0x13,%r8d
or     %ecx,%r8d
xor    %edi,%r8d
mov    %rsi,0x10(%rsp)
lea    (%r8,%rsi,1),%edi
mov    %edi,%ecx
shl    $0x12,%ecx
sar    $0xe,%edi
or     %ecx,%edi
xor    %r9d,%edi
mov    %r12,%rdx
lea    (%r10,%r12,1),%r13d
mov    %r13d,%ecx
shl    $0x7,%ecx
sar    $0x19,%r13d
or     %ecx,%r13d
xor    %r15d,%r13d
lea    (%r10,%r13,1),%r14d
mov    %r14d,%ecx
shl    $0x9,%ecx
sar    $0x17,%r14d
or     %ecx,%r14d
xor    0x90(%rsp),%r14d
lea    (%r14,%r13,1),%r12d
mov    %r12d,%ecx
shl    $0xd,%ecx
sar    $0x13,%r12d
or     %ecx,%r12d
xor    %edx,%r12d
lea    (%r12,%r14,1),%edx
mov    %edx,%ecx
shl    $0x12,%ecx
sar    $0xe,%edx
or     %ecx,%edx
xor    %r10d,%edx
mov    0x78(%rsp),%rsi
lea    (%r11,%rsi,1),%r10d
mov    %r10d,%ecx
shl    $0x7,%ecx
sar    $0x19,%r10d
or     %ecx,%r10d
xor    0x98(%rsp),%r10d
lea    (%r10,%r11,1),%r9d
mov    %r9d,%ecx
shl    $0x9,%ecx
sar    $0x17,%r9d
or     %ecx,%r9d
xor    0x88(%rsp),%r9d
lea    (%r9,%r10,1),%r15d
mov    %r15d,%ecx
shl    $0xd,%ecx
sar    $0x13,%r15d
or     %ecx,%r15d
xor    %esi,%r15d
lea    (%r15,%r9,1),%ecx
mov    %ecx,%esi
shl    $0x12,%esi
sar    $0xe,%ecx
or     %esi,%ecx
mov    0xa0(%rsp),%rsi
xor    %r11d,%ecx
add    $0x2,%rsi
cmp    $0x6,%rsi
jb     11a0 <salsa20_8+0x90>
movd   0x18(%rsp),%xmm8
movd   0x8(%rsp),%xmm1
movd   (%rsp),%xmm9
movd   %ebp,%xmm2
movd   0x10(%rsp),%xmm10
movd   %eax,%xmm5
movd   %edi,%xmm11
movd   %r8d,%xmm7
movd   %r13d,%xmm12
movd   %edx,%xmm3
movd   %r12d,%xmm13
movd   %r14d,%xmm6
movd   %ecx,%xmm14
movd   %r15d,%xmm4
movd   %r9d,%xmm15
movd   %r10d,%xmm0
punpckldq %xmm8,%xmm1
punpckldq %xmm9,%xmm2
punpcklqdq %xmm1,%xmm2
mov    0x68(%rsp),%rax
movdqu (%rax),%xmm1
paddd  %xmm2,%xmm1
movdqu 0x10(%rax),%xmm2
movdqu 0x20(%rax),%xmm8
movdqu 0x30(%rax),%xmm9
movdqu %xmm1,(%rax)
punpckldq %xmm10,%xmm5
punpckldq %xmm11,%xmm7
punpcklqdq %xmm5,%xmm7
paddd  %xmm2,%xmm7
movdqu %xmm7,0x10(%rax)
punpckldq %xmm12,%xmm3
punpckldq %xmm13,%xmm6
punpcklqdq %xmm3,%xmm6
paddd  %xmm8,%xmm6
movdqu %xmm6,0x20(%rax)
punpckldq %xmm14,%xmm4
punpckldq %xmm15,%xmm0
punpcklqdq %xmm4,%xmm0
paddd  %xmm9,%xmm0
movdqu %xmm0,0x30(%rax)
add    $0xa8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @salsa20_8(i32* %0) {
%2 = alloca i32*
%3 = alloca [16 x i32]
%4 = alloca i64
store i32* %0, i32** %2
%5 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%6 = load i32*, i32** %2
%7 = call i32 @blkcpy(i32* %5, i32* %6, i32 64)
store i64 0, i64* %4
br label %8
8: ; preds = %524, %1
%9 = load i64, i64* %4
%10 = icmp ult i64 %9, 8
br i1 %10, label %11, label %527
11: ; preds = %8
%12 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%13 = load i32, i32* %12
%14 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%15 = load i32, i32* %14
%16 = add nsw i32 %13, %15
%17 = shl i32 %16, 7
%18 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%19 = load i32, i32* %18
%20 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%21 = load i32, i32* %20
%22 = add nsw i32 %19, %21
%23 = ashr i32 %22, 25
%24 = or i32 %17, %23
%25 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%26 = load i32, i32* %25
%27 = xor i32 %26, %24
store i32 %27, i32* %25
%28 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%29 = load i32, i32* %28
%30 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%31 = load i32, i32* %30
%32 = add nsw i32 %29, %31
%33 = shl i32 %32, 9
%34 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%35 = load i32, i32* %34
%36 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%37 = load i32, i32* %36
%38 = add nsw i32 %35, %37
%39 = ashr i32 %38, 23
%40 = or i32 %33, %39
%41 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%42 = load i32, i32* %41
%43 = xor i32 %42, %40
store i32 %43, i32* %41
%44 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%45 = load i32, i32* %44
%46 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%47 = load i32, i32* %46
%48 = add nsw i32 %45, %47
%49 = shl i32 %48, 13
%50 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%51 = load i32, i32* %50
%52 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%53 = load i32, i32* %52
%54 = add nsw i32 %51, %53
%55 = ashr i32 %54, 19
%56 = or i32 %49, %55
%57 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%58 = load i32, i32* %57
%59 = xor i32 %58, %56
store i32 %59, i32* %57
%60 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%61 = load i32, i32* %60
%62 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%63 = load i32, i32* %62
%64 = add nsw i32 %61, %63
%65 = shl i32 %64, 18
%66 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%67 = load i32, i32* %66
%68 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%69 = load i32, i32* %68
%70 = add nsw i32 %67, %69
%71 = ashr i32 %70, 14
%72 = or i32 %65, %71
%73 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%74 = load i32, i32* %73
%75 = xor i32 %74, %72
store i32 %75, i32* %73
%76 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%77 = load i32, i32* %76
%78 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%79 = load i32, i32* %78
%80 = add nsw i32 %77, %79
%81 = shl i32 %80, 7
%82 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%83 = load i32, i32* %82
%84 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%85 = load i32, i32* %84
%86 = add nsw i32 %83, %85
%87 = ashr i32 %86, 25
%88 = or i32 %81, %87
%89 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%90 = load i32, i32* %89
%91 = xor i32 %90, %88
store i32 %91, i32* %89
%92 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%93 = load i32, i32* %92
%94 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%95 = load i32, i32* %94
%96 = add nsw i32 %93, %95
%97 = shl i32 %96, 9
%98 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%99 = load i32, i32* %98
%100 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%101 = load i32, i32* %100
%102 = add nsw i32 %99, %101
%103 = ashr i32 %102, 23
%104 = or i32 %97, %103
%105 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%106 = load i32, i32* %105
%107 = xor i32 %106, %104
store i32 %107, i32* %105
%108 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%109 = load i32, i32* %108
%110 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%111 = load i32, i32* %110
%112 = add nsw i32 %109, %111
%113 = shl i32 %112, 13
%114 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%115 = load i32, i32* %114
%116 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%117 = load i32, i32* %116
%118 = add nsw i32 %115, %117
%119 = ashr i32 %118, 19
%120 = or i32 %113, %119
%121 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%122 = load i32, i32* %121
%123 = xor i32 %122, %120
store i32 %123, i32* %121
%124 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%125 = load i32, i32* %124
%126 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%127 = load i32, i32* %126
%128 = add nsw i32 %125, %127
%129 = shl i32 %128, 18
%130 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%131 = load i32, i32* %130
%132 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%133 = load i32, i32* %132
%134 = add nsw i32 %131, %133
%135 = ashr i32 %134, 14
%136 = or i32 %129, %135
%137 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%138 = load i32, i32* %137
%139 = xor i32 %138, %136
store i32 %139, i32* %137
%140 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%141 = load i32, i32* %140
%142 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%143 = load i32, i32* %142
%144 = add nsw i32 %141, %143
%145 = shl i32 %144, 7
%146 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%147 = load i32, i32* %146
%148 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%149 = load i32, i32* %148
%150 = add nsw i32 %147, %149
%151 = ashr i32 %150, 25
%152 = or i32 %145, %151
%153 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%154 = load i32, i32* %153
%155 = xor i32 %154, %152
store i32 %155, i32* %153
%156 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%157 = load i32, i32* %156
%158 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%159 = load i32, i32* %158
%160 = add nsw i32 %157, %159
%161 = shl i32 %160, 9
%162 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%163 = load i32, i32* %162
%164 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%165 = load i32, i32* %164
%166 = add nsw i32 %163, %165
%167 = ashr i32 %166, 23
%168 = or i32 %161, %167
%169 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%170 = load i32, i32* %169
%171 = xor i32 %170, %168
store i32 %171, i32* %169
%172 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%173 = load i32, i32* %172
%174 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%175 = load i32, i32* %174
%176 = add nsw i32 %173, %175
%177 = shl i32 %176, 13
%178 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%179 = load i32, i32* %178
%180 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%181 = load i32, i32* %180
%182 = add nsw i32 %179, %181
%183 = ashr i32 %182, 19
%184 = or i32 %177, %183
%185 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%186 = load i32, i32* %185
%187 = xor i32 %186, %184
store i32 %187, i32* %185
%188 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%189 = load i32, i32* %188
%190 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%191 = load i32, i32* %190
%192 = add nsw i32 %189, %191
%193 = shl i32 %192, 18
%194 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%195 = load i32, i32* %194
%196 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%197 = load i32, i32* %196
%198 = add nsw i32 %195, %197
%199 = ashr i32 %198, 14
%200 = or i32 %193, %199
%201 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%202 = load i32, i32* %201
%203 = xor i32 %202, %200
store i32 %203, i32* %201
%204 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%205 = load i32, i32* %204
%206 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%207 = load i32, i32* %206
%208 = add nsw i32 %205, %207
%209 = shl i32 %208, 7
%210 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%211 = load i32, i32* %210
%212 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%213 = load i32, i32* %212
%214 = add nsw i32 %211, %213
%215 = ashr i32 %214, 25
%216 = or i32 %209, %215
%217 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%218 = load i32, i32* %217
%219 = xor i32 %218, %216
store i32 %219, i32* %217
%220 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%221 = load i32, i32* %220
%222 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%223 = load i32, i32* %222
%224 = add nsw i32 %221, %223
%225 = shl i32 %224, 9
%226 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%227 = load i32, i32* %226
%228 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%229 = load i32, i32* %228
%230 = add nsw i32 %227, %229
%231 = ashr i32 %230, 23
%232 = or i32 %225, %231
%233 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%234 = load i32, i32* %233
%235 = xor i32 %234, %232
store i32 %235, i32* %233
%236 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%237 = load i32, i32* %236
%238 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%239 = load i32, i32* %238
%240 = add nsw i32 %237, %239
%241 = shl i32 %240, 13
%242 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%243 = load i32, i32* %242
%244 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%245 = load i32, i32* %244
%246 = add nsw i32 %243, %245
%247 = ashr i32 %246, 19
%248 = or i32 %241, %247
%249 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%250 = load i32, i32* %249
%251 = xor i32 %250, %248
store i32 %251, i32* %249
%252 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%253 = load i32, i32* %252
%254 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%255 = load i32, i32* %254
%256 = add nsw i32 %253, %255
%257 = shl i32 %256, 18
%258 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%259 = load i32, i32* %258
%260 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%261 = load i32, i32* %260
%262 = add nsw i32 %259, %261
%263 = ashr i32 %262, 14
%264 = or i32 %257, %263
%265 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%266 = load i32, i32* %265
%267 = xor i32 %266, %264
store i32 %267, i32* %265
%268 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%269 = load i32, i32* %268
%270 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%271 = load i32, i32* %270
%272 = add nsw i32 %269, %271
%273 = shl i32 %272, 7
%274 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%275 = load i32, i32* %274
%276 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%277 = load i32, i32* %276
%278 = add nsw i32 %275, %277
%279 = ashr i32 %278, 25
%280 = or i32 %273, %279
%281 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%282 = load i32, i32* %281
%283 = xor i32 %282, %280
store i32 %283, i32* %281
%284 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%285 = load i32, i32* %284
%286 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%287 = load i32, i32* %286
%288 = add nsw i32 %285, %287
%289 = shl i32 %288, 9
%290 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%291 = load i32, i32* %290
%292 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%293 = load i32, i32* %292
%294 = add nsw i32 %291, %293
%295 = ashr i32 %294, 23
%296 = or i32 %289, %295
%297 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%298 = load i32, i32* %297
%299 = xor i32 %298, %296
store i32 %299, i32* %297
%300 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%301 = load i32, i32* %300
%302 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%303 = load i32, i32* %302
%304 = add nsw i32 %301, %303
%305 = shl i32 %304, 13
%306 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%307 = load i32, i32* %306
%308 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 1
%309 = load i32, i32* %308
%310 = add nsw i32 %307, %309
%311 = ashr i32 %310, 19
%312 = or i32 %305, %311
%313 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%314 = load i32, i32* %313
%315 = xor i32 %314, %312
store i32 %315, i32* %313
%316 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%317 = load i32, i32* %316
%318 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%319 = load i32, i32* %318
%320 = add nsw i32 %317, %319
%321 = shl i32 %320, 18
%322 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 3
%323 = load i32, i32* %322
%324 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 2
%325 = load i32, i32* %324
%326 = add nsw i32 %323, %325
%327 = ashr i32 %326, 14
%328 = or i32 %321, %327
%329 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 0
%330 = load i32, i32* %329
%331 = xor i32 %330, %328
store i32 %331, i32* %329
%332 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%333 = load i32, i32* %332
%334 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%335 = load i32, i32* %334
%336 = add nsw i32 %333, %335
%337 = shl i32 %336, 7
%338 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%339 = load i32, i32* %338
%340 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%341 = load i32, i32* %340
%342 = add nsw i32 %339, %341
%343 = ashr i32 %342, 25
%344 = or i32 %337, %343
%345 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%346 = load i32, i32* %345
%347 = xor i32 %346, %344
store i32 %347, i32* %345
%348 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%349 = load i32, i32* %348
%350 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%351 = load i32, i32* %350
%352 = add nsw i32 %349, %351
%353 = shl i32 %352, 9
%354 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%355 = load i32, i32* %354
%356 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%357 = load i32, i32* %356
%358 = add nsw i32 %355, %357
%359 = ashr i32 %358, 23
%360 = or i32 %353, %359
%361 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%362 = load i32, i32* %361
%363 = xor i32 %362, %360
store i32 %363, i32* %361
%364 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%365 = load i32, i32* %364
%366 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%367 = load i32, i32* %366
%368 = add nsw i32 %365, %367
%369 = shl i32 %368, 13
%370 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%371 = load i32, i32* %370
%372 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 6
%373 = load i32, i32* %372
%374 = add nsw i32 %371, %373
%375 = ashr i32 %374, 19
%376 = or i32 %369, %375
%377 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%378 = load i32, i32* %377
%379 = xor i32 %378, %376
store i32 %379, i32* %377
%380 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%381 = load i32, i32* %380
%382 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%383 = load i32, i32* %382
%384 = add nsw i32 %381, %383
%385 = shl i32 %384, 18
%386 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 4
%387 = load i32, i32* %386
%388 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 7
%389 = load i32, i32* %388
%390 = add nsw i32 %387, %389
%391 = ashr i32 %390, 14
%392 = or i32 %385, %391
%393 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 5
%394 = load i32, i32* %393
%395 = xor i32 %394, %392
store i32 %395, i32* %393
%396 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%397 = load i32, i32* %396
%398 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%399 = load i32, i32* %398
%400 = add nsw i32 %397, %399
%401 = shl i32 %400, 7
%402 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%403 = load i32, i32* %402
%404 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%405 = load i32, i32* %404
%406 = add nsw i32 %403, %405
%407 = ashr i32 %406, 25
%408 = or i32 %401, %407
%409 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%410 = load i32, i32* %409
%411 = xor i32 %410, %408
store i32 %411, i32* %409
%412 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%413 = load i32, i32* %412
%414 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%415 = load i32, i32* %414
%416 = add nsw i32 %413, %415
%417 = shl i32 %416, 9
%418 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%419 = load i32, i32* %418
%420 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%421 = load i32, i32* %420
%422 = add nsw i32 %419, %421
%423 = ashr i32 %422, 23
%424 = or i32 %417, %423
%425 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%426 = load i32, i32* %425
%427 = xor i32 %426, %424
store i32 %427, i32* %425
%428 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%429 = load i32, i32* %428
%430 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%431 = load i32, i32* %430
%432 = add nsw i32 %429, %431
%433 = shl i32 %432, 13
%434 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%435 = load i32, i32* %434
%436 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 11
%437 = load i32, i32* %436
%438 = add nsw i32 %435, %437
%439 = ashr i32 %438, 19
%440 = or i32 %433, %439
%441 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%442 = load i32, i32* %441
%443 = xor i32 %442, %440
store i32 %443, i32* %441
%444 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%445 = load i32, i32* %444
%446 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%447 = load i32, i32* %446
%448 = add nsw i32 %445, %447
%449 = shl i32 %448, 18
%450 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 9
%451 = load i32, i32* %450
%452 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 8
%453 = load i32, i32* %452
%454 = add nsw i32 %451, %453
%455 = ashr i32 %454, 14
%456 = or i32 %449, %455
%457 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 10
%458 = load i32, i32* %457
%459 = xor i32 %458, %456
store i32 %459, i32* %457
%460 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%461 = load i32, i32* %460
%462 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%463 = load i32, i32* %462
%464 = add nsw i32 %461, %463
%465 = shl i32 %464, 7
%466 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%467 = load i32, i32* %466
%468 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%469 = load i32, i32* %468
%470 = add nsw i32 %467, %469
%471 = ashr i32 %470, 25
%472 = or i32 %465, %471
%473 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%474 = load i32, i32* %473
%475 = xor i32 %474, %472
store i32 %475, i32* %473
%476 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%477 = load i32, i32* %476
%478 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%479 = load i32, i32* %478
%480 = add nsw i32 %477, %479
%481 = shl i32 %480, 9
%482 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%483 = load i32, i32* %482
%484 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%485 = load i32, i32* %484
%486 = add nsw i32 %483, %485
%487 = ashr i32 %486, 23
%488 = or i32 %481, %487
%489 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%490 = load i32, i32* %489
%491 = xor i32 %490, %488
store i32 %491, i32* %489
%492 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%493 = load i32, i32* %492
%494 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%495 = load i32, i32* %494
%496 = add nsw i32 %493, %495
%497 = shl i32 %496, 13
%498 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%499 = load i32, i32* %498
%500 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 12
%501 = load i32, i32* %500
%502 = add nsw i32 %499, %501
%503 = ashr i32 %502, 19
%504 = or i32 %497, %503
%505 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%506 = load i32, i32* %505
%507 = xor i32 %506, %504
store i32 %507, i32* %505
%508 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%509 = load i32, i32* %508
%510 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%511 = load i32, i32* %510
%512 = add nsw i32 %509, %511
%513 = shl i32 %512, 18
%514 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 14
%515 = load i32, i32* %514
%516 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 13
%517 = load i32, i32* %516
%518 = add nsw i32 %515, %517
%519 = ashr i32 %518, 14
%520 = or i32 %513, %519
%521 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 15
%522 = load i32, i32* %521
%523 = xor i32 %522, %520
store i32 %523, i32* %521
br label %524
524: ; preds = %11
%525 = load i64, i64* %4
%526 = add i64 %525, 2
store i64 %526, i64* %4
br label %8
527: ; preds = %8
store i64 0, i64* %4
br label %528
528: ; preds = %540, %527
%529 = load i64, i64* %4
%530 = icmp ult i64 %529, 16
br i1 %530, label %531, label %543
531: ; preds = %528
%532 = load i64, i64* %4
%533 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %532
%534 = load i32, i32* %533
%535 = load i32*, i32** %2
%536 = load i64, i64* %4
%537 = getelementptr inbounds i32, i32* %535, i64 %536
%538 = load i32, i32* %537
%539 = add nsw i32 %538, %534
store i32 %539, i32* %537
br label %540
540: ; preds = %531
%541 = load i64, i64* %4
%542 = add i64 %541, 1
store i64 %542, i64* %4
br label %528
543: ; preds = %528
ret void
}

LLVM IR (-O2):
define void @salsa20_8(i32* %0) {
%2 = alloca [16 x i32]
%3 = bitcast [16 x i32]* %2 to i8*
%4 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 0
%5 = call i32 @blkcpy(i32* %4, i32* %0, i32 64)
%6 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 12
%7 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 4
%8 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 8
%9 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 5
%10 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 1
%11 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 9
%12 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 13
%13 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 10
%14 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 6
%15 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 14
%16 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 2
%17 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 15
%18 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 11
%19 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 3
%20 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 7
%21 = load i32, i32* %4
%22 = load i32, i32* %6
%23 = load i32, i32* %7
%24 = load i32, i32* %8
%25 = load i32, i32* %9
%26 = load i32, i32* %10
%27 = load i32, i32* %11
%28 = load i32, i32* %12
%29 = load i32, i32* %13
%30 = load i32, i32* %14
%31 = load i32, i32* %15
%32 = load i32, i32* %16
%33 = load i32, i32* %17
%34 = load i32, i32* %18
%35 = load i32, i32* %19
%36 = load i32, i32* %20
br label %73
37: ; preds = %73
%38 = bitcast i32* %0 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = insertelement <4 x i32> poison, i32 %190, i64 0
%41 = insertelement <4 x i32> %40, i32 %175, i64 1
%42 = insertelement <4 x i32> %41, i32 %180, i64 2
%43 = insertelement <4 x i32> %42, i32 %185, i64 3
%44 = add nsw <4 x i32> %39, %43
%45 = bitcast i32* %0 to <4 x i32>*
store <4 x i32> %44, <4 x i32>* %45
%46 = getelementptr inbounds i32, i32* %0, i64 4
%47 = bitcast i32* %46 to <4 x i32>*
%48 = load <4 x i32>, <4 x i32>* %47
%49 = insertelement <4 x i32> poison, i32 %205, i64 0
%50 = insertelement <4 x i32> %49, i32 %210, i64 1
%51 = insertelement <4 x i32> %50, i32 %195, i64 2
%52 = insertelement <4 x i32> %51, i32 %200, i64 3
%53 = add nsw <4 x i32> %48, %52
%54 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %53, <4 x i32>* %54
%55 = getelementptr inbounds i32, i32* %0, i64 8
%56 = bitcast i32* %55 to <4 x i32>*
%57 = load <4 x i32>, <4 x i32>* %56
%58 = insertelement <4 x i32> poison, i32 %220, i64 0
%59 = insertelement <4 x i32> %58, i32 %225, i64 1
%60 = insertelement <4 x i32> %59, i32 %230, i64 2
%61 = insertelement <4 x i32> %60, i32 %215, i64 3
%62 = add nsw <4 x i32> %57, %61
%63 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> %62, <4 x i32>* %63
%64 = getelementptr inbounds i32, i32* %0, i64 12
%65 = bitcast i32* %64 to <4 x i32>*
%66 = load <4 x i32>, <4 x i32>* %65
%67 = insertelement <4 x i32> poison, i32 %235, i64 0
%68 = insertelement <4 x i32> %67, i32 %240, i64 1
%69 = insertelement <4 x i32> %68, i32 %245, i64 2
%70 = insertelement <4 x i32> %69, i32 %250, i64 3
%71 = add nsw <4 x i32> %66, %70
%72 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> %71, <4 x i32>* %72
ret void
73: ; preds = %1, %73
%74 = phi i64 [ 0, %1 ], [ %251, %73 ]
%75 = phi i32 [ %21, %1 ], [ %190, %73 ]
%76 = phi i32 [ %22, %1 ], [ %235, %73 ]
%77 = phi i32 [ %23, %1 ], [ %205, %73 ]
%78 = phi i32 [ %24, %1 ], [ %220, %73 ]
%79 = phi i32 [ %25, %1 ], [ %210, %73 ]
%80 = phi i32 [ %26, %1 ], [ %175, %73 ]
%81 = phi i32 [ %27, %1 ], [ %225, %73 ]
%82 = phi i32 [ %28, %1 ], [ %240, %73 ]
%83 = phi i32 [ %29, %1 ], [ %230, %73 ]
%84 = phi i32 [ %30, %1 ], [ %195, %73 ]
%85 = phi i32 [ %31, %1 ], [ %245, %73 ]
%86 = phi i32 [ %32, %1 ], [ %180, %73 ]
%87 = phi i32 [ %33, %1 ], [ %250, %73 ]
%88 = phi i32 [ %34, %1 ], [ %215, %73 ]
%89 = phi i32 [ %35, %1 ], [ %185, %73 ]
%90 = phi i32 [ %36, %1 ], [ %200, %73 ]
%91 = add nsw i32 %76, %75
%92 = shl i32 %91, 7
%93 = ashr i32 %91, 25
%94 = or i32 %92, %93
%95 = xor i32 %94, %77
%96 = add nsw i32 %95, %75
%97 = shl i32 %96, 9
%98 = ashr i32 %96, 23
%99 = or i32 %97, %98
%100 = xor i32 %99, %78
%101 = add nsw i32 %100, %95
%102 = shl i32 %101, 13
%103 = ashr i32 %101, 19
%104 = or i32 %102, %103
%105 = xor i32 %104, %76
%106 = add nsw i32 %105, %100
%107 = shl i32 %106, 18
%108 = ashr i32 %106, 14
%109 = or i32 %107, %108
%110 = xor i32 %109, %75
%111 = add nsw i32 %80, %79
%112 = shl i32 %111, 7
%113 = ashr i32 %111, 25
%114 = or i32 %112, %113
%115 = xor i32 %114, %81
%116 = add nsw i32 %115, %79
%117 = shl i32 %116, 9
%118 = ashr i32 %116, 23
%119 = or i32 %117, %118
%120 = xor i32 %119, %82
%121 = add nsw i32 %120, %115
%122 = shl i32 %121, 13
%123 = ashr i32 %121, 19
%124 = or i32 %122, %123
%125 = xor i32 %124, %80
%126 = add nsw i32 %125, %120
%127 = shl i32 %126, 18
%128 = ashr i32 %126, 14
%129 = or i32 %127, %128
%130 = xor i32 %129, %79
%131 = add nsw i32 %84, %83
%132 = shl i32 %131, 7
%133 = ashr i32 %131, 25
%134 = or i32 %132, %133
%135 = xor i32 %134, %85
%136 = add nsw i32 %135, %83
%137 = shl i32 %136, 9
%138 = ashr i32 %136, 23
%139 = or i32 %137, %138
%140 = xor i32 %139, %86
%141 = add nsw i32 %140, %135
%142 = shl i32 %141, 13
%143 = ashr i32 %141, 19
%144 = or i32 %142, %143
%145 = xor i32 %144, %84
%146 = add nsw i32 %145, %140
%147 = shl i32 %146, 18
%148 = ashr i32 %146, 14
%149 = or i32 %147, %148
%150 = xor i32 %149, %83
%151 = add nsw i32 %88, %87
%152 = shl i32 %151, 7
%153 = ashr i32 %151, 25
%154 = or i32 %152, %153
%155 = xor i32 %154, %89
%156 = add nsw i32 %155, %87
%157 = shl i32 %156, 9
%158 = ashr i32 %156, 23
%159 = or i32 %157, %158
%160 = xor i32 %159, %90
%161 = add nsw i32 %160, %155
%162 = shl i32 %161, 13
%163 = ashr i32 %161, 19
%164 = or i32 %162, %163
%165 = xor i32 %164, %88
%166 = add nsw i32 %165, %160
%167 = shl i32 %166, 18
%168 = ashr i32 %166, 14
%169 = or i32 %167, %168
%170 = xor i32 %169, %87
%171 = add nsw i32 %155, %110
%172 = shl i32 %171, 7
%173 = ashr i32 %171, 25
%174 = or i32 %172, %173
%175 = xor i32 %174, %125
%176 = add nsw i32 %175, %110
%177 = shl i32 %176, 9
%178 = ashr i32 %176, 23
%179 = or i32 %177, %178
%180 = xor i32 %179, %140
%181 = add nsw i32 %180, %175
%182 = shl i32 %181, 13
%183 = ashr i32 %181, 19
%184 = or i32 %182, %183
%185 = xor i32 %184, %155
%186 = add nsw i32 %185, %180
%187 = shl i32 %186, 18
%188 = ashr i32 %186, 14
%189 = or i32 %187, %188
%190 = xor i32 %189, %110
%191 = add nsw i32 %130, %95
%192 = shl i32 %191, 7
%193 = ashr i32 %191, 25
%194 = or i32 %192, %193
%195 = xor i32 %145, %194
%196 = add nsw i32 %195, %130
%197 = shl i32 %196, 9
%198 = ashr i32 %196, 23
%199 = or i32 %197, %198
%200 = xor i32 %160, %199
%201 = add nsw i32 %200, %195
%202 = shl i32 %201, 13
%203 = ashr i32 %201, 19
%204 = or i32 %202, %203
%205 = xor i32 %204, %95
%206 = add nsw i32 %205, %200
%207 = shl i32 %206, 18
%208 = ashr i32 %206, 14
%209 = or i32 %207, %208
%210 = xor i32 %209, %130
%211 = add nsw i32 %150, %115
%212 = shl i32 %211, 7
%213 = ashr i32 %211, 25
%214 = or i32 %212, %213
%215 = xor i32 %165, %214
%216 = add nsw i32 %215, %150
%217 = shl i32 %216, 9
%218 = ashr i32 %216, 23
%219 = or i32 %217, %218
%220 = xor i32 %219, %100
%221 = add nsw i32 %220, %215
%222 = shl i32 %221, 13
%223 = ashr i32 %221, 19
%224 = or i32 %222, %223
%225 = xor i32 %224, %115
%226 = add nsw i32 %225, %220
%227 = shl i32 %226, 18
%228 = ashr i32 %226, 14
%229 = or i32 %227, %228
%230 = xor i32 %229, %150
%231 = add nsw i32 %170, %135
%232 = shl i32 %231, 7
%233 = ashr i32 %231, 25
%234 = or i32 %232, %233
%235 = xor i32 %234, %105
%236 = add nsw i32 %235, %170
%237 = shl i32 %236, 9
%238 = ashr i32 %236, 23
%239 = or i32 %237, %238
%240 = xor i32 %239, %120
%241 = add nsw i32 %240, %235
%242 = shl i32 %241, 13
%243 = ashr i32 %241, 19
%244 = or i32 %242, %243
%245 = xor i32 %244, %135
%246 = add nsw i32 %245, %240
%247 = shl i32 %246, 18
%248 = ashr i32 %246, 14
%249 = or i32 %247, %248
%250 = xor i32 %249, %170
%251 = add nuw nsw i64 %74, 2
%252 = icmp ult i64 %74, 6
br i1 %252, label %73, label %37
}