#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 */
void salsa20_core(uint32_t out[16], uint32_t in[16]) {
  int i;
  uint32_t x[16];
  for (i = 0; i < 16; ++i)
    x[i] = in[i];
  for (i = 8; i > 0; 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)
    out[i] = x[i] + in[i];
}


x86 assembly (clang, -O0):
<salsa20_core>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x10,-0x14(%rbp)
jge    113e <salsa20_core+0x3e>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x14(%rbp),%rax
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1113 <salsa20_core+0x13>
movl   $0x8,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    149d <salsa20_core+0x39d>
mov    -0x60(%rbp),%eax
add    -0x30(%rbp),%eax
shl    $0x7,%eax
mov    -0x60(%rbp),%ecx
add    -0x30(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
add    -0x60(%rbp),%eax
shl    $0x9,%eax
mov    -0x50(%rbp),%ecx
add    -0x60(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
add    -0x50(%rbp),%eax
shl    $0xd,%eax
mov    -0x40(%rbp),%ecx
add    -0x50(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
add    -0x40(%rbp),%eax
shl    $0x12,%eax
mov    -0x30(%rbp),%ecx
add    -0x40(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x5c(%rbp),%eax
shl    $0x7,%eax
mov    -0x4c(%rbp),%ecx
add    -0x5c(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x4c(%rbp),%eax
shl    $0x9,%eax
mov    -0x3c(%rbp),%ecx
add    -0x4c(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x3c(%rbp),%eax
shl    $0xd,%eax
mov    -0x2c(%rbp),%ecx
add    -0x3c(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
add    -0x2c(%rbp),%eax
shl    $0x12,%eax
mov    -0x5c(%rbp),%ecx
add    -0x2c(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x38(%rbp),%eax
add    -0x48(%rbp),%eax
shl    $0x7,%eax
mov    -0x38(%rbp),%ecx
add    -0x48(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    -0x38(%rbp),%eax
shl    $0x9,%eax
mov    -0x28(%rbp),%ecx
add    -0x38(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
add    -0x28(%rbp),%eax
shl    $0xd,%eax
mov    -0x58(%rbp),%ecx
add    -0x28(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
add    -0x58(%rbp),%eax
shl    $0x12,%eax
mov    -0x48(%rbp),%ecx
add    -0x58(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x24(%rbp),%eax
add    -0x34(%rbp),%eax
shl    $0x7,%eax
mov    -0x24(%rbp),%ecx
add    -0x34(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
add    -0x24(%rbp),%eax
shl    $0x9,%eax
mov    -0x54(%rbp),%ecx
add    -0x24(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
add    -0x54(%rbp),%eax
shl    $0xd,%eax
mov    -0x44(%rbp),%ecx
add    -0x54(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
add    -0x44(%rbp),%eax
shl    $0x12,%eax
mov    -0x34(%rbp),%ecx
add    -0x44(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x60(%rbp),%eax
add    -0x54(%rbp),%eax
shl    $0x7,%eax
mov    -0x60(%rbp),%ecx
add    -0x54(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
add    -0x60(%rbp),%eax
shl    $0x9,%eax
mov    -0x5c(%rbp),%ecx
add    -0x60(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
add    -0x5c(%rbp),%eax
shl    $0xd,%eax
mov    -0x58(%rbp),%ecx
add    -0x5c(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
add    -0x58(%rbp),%eax
shl    $0x12,%eax
mov    -0x54(%rbp),%ecx
add    -0x58(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x50(%rbp),%eax
shl    $0x7,%eax
mov    -0x4c(%rbp),%ecx
add    -0x50(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
add    -0x4c(%rbp),%eax
shl    $0x9,%eax
mov    -0x48(%rbp),%ecx
add    -0x4c(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
add    -0x48(%rbp),%eax
shl    $0xd,%eax
mov    -0x44(%rbp),%ecx
add    -0x48(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
add    -0x44(%rbp),%eax
shl    $0x12,%eax
mov    -0x50(%rbp),%ecx
add    -0x44(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x38(%rbp),%eax
add    -0x3c(%rbp),%eax
shl    $0x7,%eax
mov    -0x38(%rbp),%ecx
add    -0x3c(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
add    -0x38(%rbp),%eax
shl    $0x9,%eax
mov    -0x34(%rbp),%ecx
add    -0x38(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
add    -0x34(%rbp),%eax
shl    $0xd,%eax
mov    -0x40(%rbp),%ecx
add    -0x34(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x40(%rbp),%eax
shl    $0x12,%eax
mov    -0x3c(%rbp),%ecx
add    -0x40(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
shl    $0x7,%eax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
sar    $0x19,%ecx
or     %ecx,%eax
xor    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
add    -0x24(%rbp),%eax
shl    $0x9,%eax
mov    -0x30(%rbp),%ecx
add    -0x24(%rbp),%ecx
sar    $0x17,%ecx
or     %ecx,%eax
xor    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x30(%rbp),%eax
shl    $0xd,%eax
mov    -0x2c(%rbp),%ecx
add    -0x30(%rbp),%ecx
sar    $0x13,%ecx
or     %ecx,%eax
xor    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    -0x2c(%rbp),%eax
shl    $0x12,%eax
mov    -0x28(%rbp),%ecx
add    -0x2c(%rbp),%ecx
sar    $0xe,%ecx
or     %ecx,%eax
xor    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    1145 <salsa20_core+0x45>
movl   $0x0,-0x14(%rbp)
cmpl   $0x10,-0x14(%rbp)
jge    14da <salsa20_core+0x3da>
movslq -0x14(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    14a4 <salsa20_core+0x3a4>
pop    %rbp
ret

x86 assembly (clang, -O2):
<salsa20_core>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,-0x30(%rsp)
mov    (%rsi),%r8d
mov    0x4(%rsi),%r11d
mov    0x8(%rsi),%eax
mov    %rax,-0x50(%rsp)
mov    0xc(%rsi),%eax
mov    %rax,-0x40(%rsp)
mov    0x10(%rsi),%r15d
mov    0x14(%rsi),%edx
mov    0x18(%rsi),%eax
mov    %rax,-0x60(%rsp)
mov    0x1c(%rsi),%eax
mov    %rax,-0x48(%rsp)
mov    0x20(%rsi),%r14d
mov    0x24(%rsi),%ebp
mov    0x28(%rsi),%ecx
mov    0x2c(%rsi),%eax
mov    %rax,-0x58(%rsp)
mov    0x30(%rsi),%r9d
mov    0x34(%rsi),%edi
mov    0x38(%rsi),%r12d
mov    %rsi,-0x38(%rsp)
mov    0x3c(%rsi),%r13d
movl   $0xa,-0x64(%rsp)
nopl   0x0(%rax,%rax,1)
lea    (%r9,%r8,1),%eax
mov    %eax,%r10d
shl    $0x7,%r10d
sar    $0x19,%eax
or     %r10d,%eax
xor    %r15d,%eax
lea    (%rax,%r8,1),%r10d
mov    %rax,-0x20(%rsp)
mov    %r10d,%esi
shl    $0x9,%esi
sar    $0x17,%r10d
or     %esi,%r10d
xor    %r14d,%r10d
add    %r10d,%eax
mov    %r10,-0x18(%rsp)
mov    %eax,%esi
shl    $0xd,%esi
sar    $0x13,%eax
or     %esi,%eax
xor    %r9d,%eax
mov    %rax,-0x8(%rsp)
lea    (%rax,%r10,1),%r9d
mov    %r9d,%esi
shl    $0x12,%esi
sar    $0xe,%r9d
or     %esi,%r9d
xor    %r8d,%r9d
lea    (%r11,%rdx,1),%r10d
mov    %r10d,%esi
shl    $0x7,%esi
sar    $0x19,%r10d
or     %esi,%r10d
xor    %ebp,%r10d
lea    (%r10,%rdx,1),%eax
mov    %eax,%esi
shl    $0x9,%esi
sar    $0x17,%eax
or     %esi,%eax
xor    %edi,%eax
lea    (%rax,%r10,1),%r8d
mov    %rax,-0x10(%rsp)
mov    %r8d,%esi
shl    $0xd,%esi
sar    $0x13,%r8d
or     %esi,%r8d
xor    %r11d,%r8d
lea    (%r8,%rax,1),%r14d
mov    %r14d,%eax
shl    $0x12,%eax
sar    $0xe,%r14d
or     %eax,%r14d
xor    %edx,%r14d
mov    -0x60(%rsp),%rdi
lea    (%rdi,%rcx,1),%edx
mov    %edx,%eax
shl    $0x7,%eax
sar    $0x19,%edx
or     %eax,%edx
xor    %r12d,%edx
lea    (%rdx,%rcx,1),%esi
mov    %rdx,-0x28(%rsp)
mov    %esi,%eax
shl    $0x9,%eax
sar    $0x17,%esi
or     %eax,%esi
xor    -0x50(%rsp),%esi
lea    (%rsi,%rdx,1),%r15d
mov    %r15d,%eax
shl    $0xd,%eax
sar    $0x13,%r15d
or     %eax,%r15d
xor    %edi,%r15d
lea    (%r15,%rsi,1),%r12d
mov    %r12d,%eax
shl    $0x12,%eax
sar    $0xe,%r12d
or     %eax,%r12d
xor    %ecx,%r12d
mov    -0x58(%rsp),%rdx
lea    (%rdx,%r13,1),%ebp
mov    %ebp,%eax
shl    $0x7,%eax
sar    $0x19,%ebp
or     %eax,%ebp
xor    -0x40(%rsp),%ebp
lea    0x0(%rbp,%r13,1),%edi
mov    %edi,%eax
shl    $0x9,%eax
sar    $0x17,%edi
or     %eax,%edi
xor    -0x48(%rsp),%edi
lea    (%rdi,%rbp,1),%ecx
mov    %ecx,%eax
shl    $0xd,%eax
sar    $0x13,%ecx
or     %eax,%ecx
xor    %edx,%ecx
lea    (%rcx,%rdi,1),%edx
mov    %edx,%eax
shl    $0x12,%eax
sar    $0xe,%edx
or     %eax,%edx
xor    %r13d,%edx
mov    %rdx,%r13
lea    (%r9,%rbp,1),%r11d
mov    %r11d,%ebx
shl    $0x7,%ebx
sar    $0x19,%r11d
or     %ebx,%r11d
xor    %r8d,%r11d
lea    (%r11,%r9,1),%edx
mov    %edx,%ebx
shl    $0x9,%ebx
sar    $0x17,%edx
or     %ebx,%edx
xor    %esi,%edx
lea    (%rdx,%r11,1),%eax
mov    %eax,%esi
shl    $0xd,%esi
sar    $0x13,%eax
or     %esi,%eax
xor    %ebp,%eax
mov    %rax,-0x40(%rsp)
mov    %rdx,-0x50(%rsp)
lea    (%rax,%rdx,1),%r8d
mov    %r8d,%esi
shl    $0x12,%esi
sar    $0xe,%r8d
or     %esi,%r8d
xor    %r9d,%r8d
mov    -0x20(%rsp),%rbx
lea    (%r14,%rbx,1),%ebp
mov    %ebp,%esi
shl    $0x7,%esi
sar    $0x19,%ebp
or     %esi,%ebp
xor    %r15d,%ebp
lea    (%r14,%rbp,1),%eax
mov    %eax,%edx
shl    $0x9,%edx
sar    $0x17,%eax
or     %edx,%eax
xor    %edi,%eax
mov    %rbp,-0x60(%rsp)
lea    (%rax,%rbp,1),%r15d
mov    %r15d,%edx
shl    $0xd,%edx
sar    $0x13,%r15d
or     %edx,%r15d
xor    %ebx,%r15d
mov    %rax,-0x48(%rsp)
lea    (%r15,%rax,1),%edx
mov    %edx,%edi
shl    $0x12,%edi
sar    $0xe,%edx
or     %edi,%edx
xor    %r14d,%edx
lea    (%r12,%r10,1),%eax
mov    %eax,%edi
shl    $0x7,%edi
sar    $0x19,%eax
or     %edi,%eax
xor    %ecx,%eax
lea    (%rax,%r12,1),%r14d
mov    %r14d,%ecx
shl    $0x9,%ecx
sar    $0x17,%r14d
or     %ecx,%r14d
xor    -0x18(%rsp),%r14d
mov    %rax,-0x58(%rsp)
lea    (%r14,%rax,1),%ebp
mov    %ebp,%ecx
shl    $0xd,%ecx
sar    $0x13,%ebp
or     %ecx,%ebp
xor    %r10d,%ebp
lea    (%r14,%rbp,1),%ecx
mov    %ecx,%edi
shl    $0x12,%edi
sar    $0xe,%ecx
or     %edi,%ecx
xor    %r12d,%ecx
mov    -0x28(%rsp),%rax
lea    (%rax,%r13,1),%r9d
mov    %r9d,%edi
shl    $0x7,%edi
sar    $0x19,%r9d
or     %edi,%r9d
xor    -0x8(%rsp),%r9d
lea    (%r9,%r13,1),%edi
mov    %r13,%rsi
mov    %edi,%ebx
shl    $0x9,%ebx
sar    $0x17,%edi
or     %ebx,%edi
xor    -0x10(%rsp),%edi
lea    (%rdi,%r9,1),%r12d
mov    %r12d,%ebx
shl    $0xd,%ebx
sar    $0x13,%r12d
or     %ebx,%r12d
xor    %eax,%r12d
lea    (%r12,%rdi,1),%r13d
mov    %r13d,%eax
shl    $0x12,%eax
sar    $0xe,%r13d
or     %eax,%r13d
mov    -0x64(%rsp),%r10d
xor    %esi,%r13d
add    $0xfffffffe,%r10d
mov    %r10d,-0x64(%rsp)
cmp    $0x2,%r10d
ja     1170 <salsa20_core+0x70>
mov    -0x38(%rsp),%rsi
add    (%rsi),%r8d
mov    -0x30(%rsp),%r10
mov    %r8d,(%r10)
add    0x4(%rsi),%r11d
mov    %r11d,0x4(%r10)
mov    -0x50(%rsp),%rax
add    0x8(%rsi),%eax
mov    %eax,0x8(%r10)
mov    -0x40(%rsp),%rax
add    0xc(%rsi),%eax
mov    %eax,0xc(%r10)
add    0x10(%rsi),%r15d
mov    %r15d,0x10(%r10)
add    0x14(%rsi),%edx
mov    %edx,0x14(%r10)
mov    -0x60(%rsp),%rax
add    0x18(%rsi),%eax
mov    %eax,0x18(%r10)
mov    -0x48(%rsp),%rax
add    0x1c(%rsi),%eax
mov    %eax,0x1c(%r10)
add    0x20(%rsi),%r14d
mov    %r14d,0x20(%r10)
add    0x24(%rsi),%ebp
mov    %ebp,0x24(%r10)
add    0x28(%rsi),%ecx
mov    %ecx,0x28(%r10)
mov    -0x58(%rsp),%rax
add    0x2c(%rsi),%eax
mov    %eax,0x2c(%r10)
add    0x30(%rsi),%r9d
mov    %r9d,0x30(%r10)
add    0x34(%rsi),%edi
mov    %edi,0x34(%r10)
add    0x38(%rsi),%r12d
mov    %r12d,0x38(%r10)
add    0x3c(%rsi),%r13d
mov    %r13d,0x3c(%r10)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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