void xor_salsa8(unsigned int B[16], const unsigned int Bx[16]) {
  unsigned int x00, x01, x02, x03, x04, x05, x06, x07, x08, x09, x10, x11, x12,
      x13, x14, x15;
  int i;
  x00 = (B[0] ^= Bx[0]);
  x01 = (B[1] ^= Bx[1]);
  x02 = (B[2] ^= Bx[2]);
  x03 = (B[3] ^= Bx[3]);
  x04 = (B[4] ^= Bx[4]);
  x05 = (B[5] ^= Bx[5]);
  x06 = (B[6] ^= Bx[6]);
  x07 = (B[7] ^= Bx[7]);
  x08 = (B[8] ^= Bx[8]);
  x09 = (B[9] ^= Bx[9]);
  x10 = (B[10] ^= Bx[10]);
  x11 = (B[11] ^= Bx[11]);
  x12 = (B[12] ^= Bx[12]);
  x13 = (B[13] ^= Bx[13]);
  x14 = (B[14] ^= Bx[14]);
  x15 = (B[15] ^= Bx[15]);
  for (i = 0; i < 8; i += 2) {
    x04 ^= (((x00 + x12) << (7)) | ((x00 + x12) >> (32 - (7))));
    x09 ^= (((x05 + x01) << (7)) | ((x05 + x01) >> (32 - (7))));
    x14 ^= (((x10 + x06) << (7)) | ((x10 + x06) >> (32 - (7))));
    x03 ^= (((x15 + x11) << (7)) | ((x15 + x11) >> (32 - (7))));
    x08 ^= (((x04 + x00) << (9)) | ((x04 + x00) >> (32 - (9))));
    x13 ^= (((x09 + x05) << (9)) | ((x09 + x05) >> (32 - (9))));
    x02 ^= (((x14 + x10) << (9)) | ((x14 + x10) >> (32 - (9))));
    x07 ^= (((x03 + x15) << (9)) | ((x03 + x15) >> (32 - (9))));
    x12 ^= (((x08 + x04) << (13)) | ((x08 + x04) >> (32 - (13))));
    x01 ^= (((x13 + x09) << (13)) | ((x13 + x09) >> (32 - (13))));
    x06 ^= (((x02 + x14) << (13)) | ((x02 + x14) >> (32 - (13))));
    x11 ^= (((x07 + x03) << (13)) | ((x07 + x03) >> (32 - (13))));
    x00 ^= (((x12 + x08) << (18)) | ((x12 + x08) >> (32 - (18))));
    x05 ^= (((x01 + x13) << (18)) | ((x01 + x13) >> (32 - (18))));
    x10 ^= (((x06 + x02) << (18)) | ((x06 + x02) >> (32 - (18))));
    x15 ^= (((x11 + x07) << (18)) | ((x11 + x07) >> (32 - (18))));
    x01 ^= (((x00 + x03) << (7)) | ((x00 + x03) >> (32 - (7))));
    x06 ^= (((x05 + x04) << (7)) | ((x05 + x04) >> (32 - (7))));
    x11 ^= (((x10 + x09) << (7)) | ((x10 + x09) >> (32 - (7))));
    x12 ^= (((x15 + x14) << (7)) | ((x15 + x14) >> (32 - (7))));
    x02 ^= (((x01 + x00) << (9)) | ((x01 + x00) >> (32 - (9))));
    x07 ^= (((x06 + x05) << (9)) | ((x06 + x05) >> (32 - (9))));
    x08 ^= (((x11 + x10) << (9)) | ((x11 + x10) >> (32 - (9))));
    x13 ^= (((x12 + x15) << (9)) | ((x12 + x15) >> (32 - (9))));
    x03 ^= (((x02 + x01) << (13)) | ((x02 + x01) >> (32 - (13))));
    x04 ^= (((x07 + x06) << (13)) | ((x07 + x06) >> (32 - (13))));
    x09 ^= (((x08 + x11) << (13)) | ((x08 + x11) >> (32 - (13))));
    x14 ^= (((x13 + x12) << (13)) | ((x13 + x12) >> (32 - (13))));
    x00 ^= (((x03 + x02) << (18)) | ((x03 + x02) >> (32 - (18))));
    x05 ^= (((x04 + x07) << (18)) | ((x04 + x07) >> (32 - (18))));
    x10 ^= (((x09 + x08) << (18)) | ((x09 + x08) >> (32 - (18))));
    x15 ^= (((x14 + x13) << (18)) | ((x14 + x13) >> (32 - (18))));
  }
  B[0] += x00;
  B[1] += x01;
  B[2] += x02;
  B[3] += x03;
  B[4] += x04;
  B[5] += x05;
  B[6] += x06;
  B[7] += x07;
  B[8] += x08;
  B[9] += x09;
  B[10] += x10;
  B[11] += x11;
  B[12] += x12;
  B[13] += x13;
  B[14] += x14;
  B[15] += x15;
}


x86 assembly (clang, -O0):
<xor_salsa8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
xor    (%rcx),%eax
mov    %eax,(%rcx)
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x4(%rcx),%eax
mov    %eax,0x4(%rcx)
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x8(%rcx),%eax
mov    %eax,0x8(%rcx)
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0xc(%rcx),%eax
mov    %eax,0xc(%rcx)
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x10(%rcx),%eax
mov    %eax,0x10(%rcx)
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    0x14(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x14(%rcx),%eax
mov    %eax,0x14(%rcx)
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x18(%rcx),%eax
mov    %eax,0x18(%rcx)
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x1c(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x1c(%rcx),%eax
mov    %eax,0x1c(%rcx)
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    0x20(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x20(%rcx),%eax
mov    %eax,0x20(%rcx)
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
mov    0x24(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x24(%rcx),%eax
mov    %eax,0x24(%rcx)
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    0x28(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x28(%rcx),%eax
mov    %eax,0x28(%rcx)
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x2c(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x2c(%rcx),%eax
mov    %eax,0x2c(%rcx)
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    0x30(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x30(%rcx),%eax
mov    %eax,0x30(%rcx)
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
mov    0x34(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x34(%rcx),%eax
mov    %eax,0x34(%rcx)
mov    %eax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    0x38(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x38(%rcx),%eax
mov    %eax,0x38(%rcx)
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x3c(%rax),%eax
mov    -0x8(%rbp),%rcx
xor    0x3c(%rcx),%eax
mov    %eax,0x3c(%rcx)
mov    %eax,-0x50(%rbp)
movl   $0x0,-0x54(%rbp)
cmpl   $0x8,-0x54(%rbp)
jge    15a8 <xor_salsa8+0x4a8>
mov    -0x14(%rbp),%eax
add    -0x44(%rbp),%eax
shl    $0x7,%eax
mov    -0x14(%rbp),%ecx
add    -0x44(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
xor    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    -0x18(%rbp),%eax
shl    $0x7,%eax
mov    -0x28(%rbp),%ecx
add    -0x18(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
xor    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x2c(%rbp),%eax
shl    $0x7,%eax
mov    -0x3c(%rbp),%ecx
add    -0x2c(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%eax
add    -0x40(%rbp),%eax
shl    $0x7,%eax
mov    -0x50(%rbp),%ecx
add    -0x40(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
xor    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    -0x14(%rbp),%eax
shl    $0x9,%eax
mov    -0x24(%rbp),%ecx
add    -0x14(%rbp),%ecx
shr    $0x17,%ecx
or     %ecx,%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%eax
add    -0x28(%rbp),%eax
shl    $0x9,%eax
mov    -0x38(%rbp),%ecx
add    -0x28(%rbp),%ecx
shr    $0x17,%ecx
or     %ecx,%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x3c(%rbp),%eax
shl    $0x9,%eax
mov    -0x4c(%rbp),%ecx
add    -0x3c(%rbp),%ecx
shr    $0x17,%ecx
or     %ecx,%eax
xor    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    -0x50(%rbp),%eax
shl    $0x9,%eax
mov    -0x20(%rbp),%ecx
add    -0x50(%rbp),%ecx
shr    $0x17,%ecx
or     %ecx,%eax
xor    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    -0x24(%rbp),%eax
shl    $0xd,%eax
mov    -0x34(%rbp),%ecx
add    -0x24(%rbp),%ecx
shr    $0x13,%ecx
or     %ecx,%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
add    -0x38(%rbp),%eax
shl    $0xd,%eax
mov    -0x48(%rbp),%ecx
add    -0x38(%rbp),%ecx
shr    $0x13,%ecx
or     %ecx,%eax
xor    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x4c(%rbp),%eax
shl    $0xd,%eax
mov    -0x1c(%rbp),%ecx
add    -0x4c(%rbp),%ecx
shr    $0x13,%ecx
or     %ecx,%eax
xor    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    -0x20(%rbp),%eax
shl    $0xd,%eax
mov    -0x30(%rbp),%ecx
add    -0x20(%rbp),%ecx
shr    $0x13,%ecx
or     %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x44(%rbp),%eax
add    -0x34(%rbp),%eax
shl    $0x12,%eax
mov    -0x44(%rbp),%ecx
add    -0x34(%rbp),%ecx
shr    $0xe,%ecx
or     %ecx,%eax
xor    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    -0x48(%rbp),%eax
shl    $0x12,%eax
mov    -0x18(%rbp),%ecx
add    -0x48(%rbp),%ecx
shr    $0xe,%ecx
or     %ecx,%eax
xor    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x1c(%rbp),%eax
shl    $0x12,%eax
mov    -0x2c(%rbp),%ecx
add    -0x1c(%rbp),%ecx
shr    $0xe,%ecx
or     %ecx,%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x40(%rbp),%eax
add    -0x30(%rbp),%eax
shl    $0x12,%eax
mov    -0x40(%rbp),%ecx
add    -0x30(%rbp),%ecx
shr    $0xe,%ecx
or     %ecx,%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x14(%rbp),%eax
add    -0x20(%rbp),%eax
shl    $0x7,%eax
mov    -0x14(%rbp),%ecx
add    -0x20(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
xor    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
shl    $0x7,%eax
mov    -0x28(%rbp),%ecx
add    -0x24(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
xor    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x38(%rbp),%eax
shl    $0x7,%eax
mov    -0x3c(%rbp),%ecx
add    -0x38(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
xor    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x50(%rbp),%eax
add    -0x4c(%rbp),%eax
shl    $0x7,%eax
mov    -0x50(%rbp),%ecx
add    -0x4c(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
xor    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x18(%rbp),%eax
add    -0x14(%rbp),%eax
shl    $0x9,%eax
mov    -0x18(%rbp),%ecx
add    -0x14(%rbp),%ecx
shr    $0x17,%ecx
or     %ecx,%eax
xor    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x28(%rbp),%eax
shl    $0x9,%eax
mov    -0x2c(%rbp),%ecx
add    -0x28(%rbp),%ecx
shr    $0x17,%ecx
or     %ecx,%eax
xor    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x40(%rbp),%eax
add    -0x3c(%rbp),%eax
shl    $0x9,%eax
mov    -0x40(%rbp),%ecx
add    -0x3c(%rbp),%ecx
shr    $0x17,%ecx
or     %ecx,%eax
xor    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x44(%rbp),%eax
add    -0x50(%rbp),%eax
shl    $0x9,%eax
mov    -0x44(%rbp),%ecx
add    -0x50(%rbp),%ecx
shr    $0x17,%ecx
or     %ecx,%eax
xor    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
shl    $0xd,%eax
mov    -0x1c(%rbp),%ecx
add    -0x18(%rbp),%ecx
shr    $0x13,%ecx
or     %ecx,%eax
xor    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x30(%rbp),%eax
add    -0x2c(%rbp),%eax
shl    $0xd,%eax
mov    -0x30(%rbp),%ecx
add    -0x2c(%rbp),%ecx
shr    $0x13,%ecx
or     %ecx,%eax
xor    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x34(%rbp),%eax
add    -0x40(%rbp),%eax
shl    $0xd,%eax
mov    -0x34(%rbp),%ecx
add    -0x40(%rbp),%ecx
shr    $0x13,%ecx
or     %ecx,%eax
xor    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x48(%rbp),%eax
add    -0x44(%rbp),%eax
shl    $0xd,%eax
mov    -0x48(%rbp),%ecx
add    -0x44(%rbp),%ecx
shr    $0x13,%ecx
or     %ecx,%eax
xor    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x20(%rbp),%eax
add    -0x1c(%rbp),%eax
shl    $0x12,%eax
mov    -0x20(%rbp),%ecx
add    -0x1c(%rbp),%ecx
shr    $0xe,%ecx
or     %ecx,%eax
xor    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x24(%rbp),%eax
add    -0x30(%rbp),%eax
shl    $0x12,%eax
mov    -0x24(%rbp),%ecx
add    -0x30(%rbp),%ecx
shr    $0xe,%ecx
or     %ecx,%eax
xor    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x38(%rbp),%eax
add    -0x34(%rbp),%eax
shl    $0x12,%eax
mov    -0x38(%rbp),%ecx
add    -0x34(%rbp),%ecx
shr    $0xe,%ecx
or     %ecx,%eax
xor    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x48(%rbp),%eax
shl    $0x12,%eax
mov    -0x4c(%rbp),%ecx
add    -0x48(%rbp),%ecx
shr    $0xe,%ecx
or     %ecx,%eax
xor    -0x50(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x54(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x54(%rbp)
jmp    1250 <xor_salsa8+0x150>
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x18(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x1c(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x20(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0xc(%rax),%ecx
mov    %ecx,0xc(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x10(%rax),%ecx
mov    %ecx,0x10(%rax)
mov    -0x28(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x14(%rax),%ecx
mov    %ecx,0x14(%rax)
mov    -0x2c(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x18(%rax),%ecx
mov    %ecx,0x18(%rax)
mov    -0x30(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x1c(%rax),%ecx
mov    %ecx,0x1c(%rax)
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x20(%rax),%ecx
mov    %ecx,0x20(%rax)
mov    -0x38(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x24(%rax),%ecx
mov    %ecx,0x24(%rax)
mov    -0x3c(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x28(%rax),%ecx
mov    %ecx,0x28(%rax)
mov    -0x40(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x2c(%rax),%ecx
mov    %ecx,0x2c(%rax)
mov    -0x44(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x30(%rax),%ecx
mov    %ecx,0x30(%rax)
mov    -0x48(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x34(%rax),%ecx
mov    %ecx,0x34(%rax)
mov    -0x4c(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x38(%rax),%ecx
mov    %ecx,0x38(%rax)
mov    -0x50(%rbp),%ecx
mov    -0x8(%rbp),%rax
add    0x3c(%rax),%ecx
mov    %ecx,0x3c(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<xor_salsa8>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    (%rdi),%eax
mov    0x4(%rdi),%ecx
xor    (%rsi),%eax
mov    %eax,-0x6c(%rsp)
mov    %eax,(%rdi)
xor    0x4(%rsi),%ecx
mov    %ecx,-0x68(%rsp)
mov    %ecx,0x4(%rdi)
mov    0x8(%rdi),%eax
xor    0x8(%rsi),%eax
mov    %eax,-0x70(%rsp)
mov    %eax,0x8(%rdi)
mov    0xc(%rdi),%eax
xor    0xc(%rsi),%eax
mov    %eax,-0x74(%rsp)
mov    %eax,0xc(%rdi)
mov    0x10(%rdi),%r12d
xor    0x10(%rsi),%r12d
mov    %r12d,0x10(%rdi)
mov    0x14(%rdi),%ebx
xor    0x14(%rsi),%ebx
mov    %ebx,0x14(%rdi)
mov    0x18(%rdi),%r11d
xor    0x18(%rsi),%r11d
mov    %r11d,0x18(%rdi)
mov    0x1c(%rdi),%r13d
xor    0x1c(%rsi),%r13d
mov    %r13d,0x1c(%rdi)
mov    0x20(%rdi),%r10d
xor    0x20(%rsi),%r10d
mov    %r10d,0x20(%rdi)
mov    0x24(%rdi),%ebp
xor    0x24(%rsi),%ebp
mov    %ebp,0x24(%rdi)
mov    0x28(%rdi),%r9d
xor    0x28(%rsi),%r9d
mov    %r9d,0x28(%rdi)
mov    0x2c(%rdi),%edx
xor    0x2c(%rsi),%edx
mov    %edx,0x2c(%rdi)
mov    0x30(%rdi),%eax
xor    0x30(%rsi),%eax
mov    %eax,0x30(%rdi)
mov    0x34(%rdi),%ecx
xor    0x34(%rsi),%ecx
mov    %ecx,0x34(%rdi)
mov    0x38(%rdi),%r8d
xor    0x38(%rsi),%r8d
mov    %r8d,0x38(%rdi)
mov    %rdi,0x8(%rsp)
mov    0x3c(%rdi),%edi
xor    0x3c(%rsi),%edi
movl   $0xfffffffe,-0x64(%rsp)
ff
mov    %edi,-0x40(%rsp)
mov    %edi,%esi
mov    %rsi,-0x80(%rsp)
mov    %r8d,-0x3c(%rsp)
mov    %ecx,-0x38(%rsp)
mov    %ecx,%r14d
mov    %eax,-0x34(%rsp)
mov    %eax,%ecx
mov    %edx,-0x30(%rsp)
mov    %edx,%eax
mov    %rax,-0x50(%rsp)
mov    %r9d,-0x2c(%rsp)
mov    %ebp,-0x28(%rsp)
mov    %r10d,-0x24(%rsp)
mov    %r10d,%esi
mov    %r13d,-0x20(%rsp)
mov    %r11d,-0x1c(%rsp)
mov    %r11d,%eax
mov    %rax,-0x58(%rsp)
mov    %ebx,-0x18(%rsp)
mov    %ebx,%r15d
mov    %r12d,-0x14(%rsp)
mov    %r12d,%r10d
mov    -0x74(%rsp),%eax
mov    %eax,%ebx
mov    -0x70(%rsp),%eax
mov    %eax,%r12d
mov    -0x68(%rsp),%eax
mov    %rax,-0x60(%rsp)
mov    -0x6c(%rsp),%eax
mov    %eax,%edi
nopl   (%rax)
mov    %rcx,-0x48(%rsp)
add    %edi,%ecx
rol    $0x7,%ecx
mov    -0x60(%rsp),%rax
lea    (%r15,%rax,1),%edx
rol    $0x7,%edx
xor    %r10d,%ecx
mov    %rcx,%r10
mov    -0x58(%rsp),%rax
add    %r9d,%eax
rol    $0x7,%eax
xor    %ebp,%edx
mov    -0x80(%rsp),%rcx
mov    -0x50(%rsp),%rbp
lea    (%rcx,%rbp,1),%r11d
mov    %rcx,-0x80(%rsp)
rol    $0x7,%r11d
xor    %r8d,%eax
mov    %rax,%rbp
mov    %r10,%rax
mov    %r10,(%rsp)
lea    (%r10,%rdi,1),%r8d
rol    $0x9,%r8d
xor    %ebx,%r11d
lea    (%rdx,%r15,1),%r10d
rol    $0x9,%r10d
xor    %esi,%r8d
mov    %rbp,-0x8(%rsp)
lea    (%r9,%rbp,1),%esi
rol    $0x9,%esi
xor    %r14d,%r10d
lea    (%r11,%rcx,1),%r14d
mov    %r11,%rcx
rol    $0x9,%r14d
xor    %r12d,%esi
lea    (%r8,%rax,1),%ebx
rol    $0xd,%ebx
xor    %r13d,%r14d
mov    %rdx,-0x10(%rsp)
lea    (%r10,%rdx,1),%eax
rol    $0xd,%eax
xor    -0x48(%rsp),%ebx
add    %esi,%ebp
rol    $0xd,%ebp
xor    -0x60(%rsp),%eax
mov    %r11,0x20(%rsp)
lea    (%r14,%r11,1),%r13d
rol    $0xd,%r13d
xor    -0x58(%rsp),%ebp
lea    (%rbx,%r8,1),%r12d
rol    $0x12,%r12d
xor    -0x50(%rsp),%r13d
mov    %r9,%r11
lea    (%rax,%r10,1),%r9d
rol    $0x12,%r9d
xor    %edi,%r12d
lea    (%rsi,%rbp,1),%edx
rol    $0x12,%edx
xor    %r15d,%r9d
lea    (%r14,%r13,1),%edi
rol    $0x12,%edi
xor    %r11d,%edx
mov    %rdx,%r11
mov    %r12,%r15
mov    %r12,-0x48(%rsp)
lea    (%r12,%rcx,1),%edx
rol    $0x7,%edx
xor    -0x80(%rsp),%edi
mov    %rdi,%r12
mov    (%rsp),%rcx
lea    (%r9,%rcx,1),%edi
mov    %r9,0x10(%rsp)
rol    $0x7,%edi
xor    %eax,%edx
mov    %r11,0x18(%rsp)
mov    -0x10(%rsp),%rax
add    %r11d,%eax
rol    $0x7,%eax
xor    %ebp,%edi
mov    %r12,%rbp
mov    -0x8(%rsp),%rcx
add    %r12d,%ecx
rol    $0x7,%ecx
xor    %r13d,%eax
lea    (%rdx,%r15,1),%r12d
rol    $0x9,%r12d
xor    %ebx,%ecx
lea    (%rdi,%r9,1),%r13d
rol    $0x9,%r13d
xor    %esi,%r12d
lea    (%rax,%r11,1),%esi
rol    $0x9,%esi
xor    %r14d,%r13d
lea    (%rcx,%rbp,1),%r14d
mov    %rbp,%r11
rol    $0x9,%r14d
xor    %r8d,%esi
mov    %rdx,-0x60(%rsp)
lea    (%r12,%rdx,1),%ebx
rol    $0xd,%ebx
xor    %r10d,%r14d
mov    %rdi,-0x58(%rsp)
lea    (%rdi,%r13,1),%r10d
rol    $0xd,%r10d
xor    0x20(%rsp),%ebx
mov    %rax,-0x50(%rsp)
lea    (%rsi,%rax,1),%ebp
rol    $0xd,%ebp
xor    (%rsp),%r10d
lea    (%r14,%rcx,1),%r8d
rol    $0xd,%r8d
xor    -0x10(%rsp),%ebp
lea    (%rbx,%r12,1),%edi
rol    $0x12,%edi
xor    -0x8(%rsp),%r8d
lea    (%r10,%r13,1),%r15d
rol    $0x12,%r15d
xor    -0x48(%rsp),%edi
lea    (%rsi,%rbp,1),%r9d
rol    $0x12,%r9d
xor    0x10(%rsp),%r15d
lea    (%r8,%r14,1),%edx
rol    $0x12,%edx
xor    0x18(%rsp),%r9d
xor    %r11d,%edx
mov    %rdx,-0x80(%rsp)
mov    -0x64(%rsp),%r11d
add    $0x2,%r11d
mov    %r11d,-0x64(%rsp)
cmp    $0x6,%r11d
jb     1240 <xor_salsa8+0x140>
add    -0x6c(%rsp),%edi
mov    0x8(%rsp),%rdx
mov    %edi,(%rdx)
mov    -0x60(%rsp),%rax
add    -0x68(%rsp),%eax
mov    %eax,0x4(%rdx)
add    -0x70(%rsp),%r12d
mov    %r12d,0x8(%rdx)
add    -0x74(%rsp),%ebx
mov    %ebx,0xc(%rdx)
add    -0x14(%rsp),%r10d
mov    %r10d,0x10(%rdx)
add    -0x18(%rsp),%r15d
mov    %r15d,0x14(%rdx)
mov    -0x58(%rsp),%rax
add    -0x1c(%rsp),%eax
mov    %eax,0x18(%rdx)
add    -0x20(%rsp),%r13d
mov    %r13d,0x1c(%rdx)
add    -0x24(%rsp),%esi
mov    %esi,0x20(%rdx)
add    -0x28(%rsp),%ebp
mov    %ebp,0x24(%rdx)
add    -0x2c(%rsp),%r9d
mov    %r9d,0x28(%rdx)
mov    -0x50(%rsp),%rax
add    -0x30(%rsp),%eax
mov    %eax,0x2c(%rdx)
add    -0x34(%rsp),%ecx
mov    %ecx,0x30(%rdx)
add    -0x38(%rsp),%r14d
mov    %r14d,0x34(%rdx)
add    -0x3c(%rsp),%r8d
mov    %r8d,0x38(%rdx)
mov    -0x80(%rsp),%rax
add    -0x40(%rsp),%eax
mov    %eax,0x3c(%rdx)
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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