user: Converte this assembly snippet into its equivalent C code:

```asm
<salsa20_8>:
  endbr64
  push   %r15
  mov    %rdi,%rsi
  mov    $0x40,%edx
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x98,%rsp
  mov    %rdi,0x38(%rsp)
  lea    0x40(%rsp),%rdi
  mov    %fs:0x28,%rax
  mov    %rax,0x88(%rsp)
  xor    %eax,%eax
  call   <blkcpy@plt>
  mov    0x48(%rsp),%eax
  mov    0x6c(%rsp),%ecx
  movq   $0x4,0x30(%rsp)
  mov    0x50(%rsp),%ebx
  mov    0x64(%rsp),%r10d
  mov    0x78(%rsp),%r8d
  mov    0x40(%rsp),%ebp
  mov    %eax,0x18(%rsp)
  mov    0x4c(%rsp),%eax
  mov    0x70(%rsp),%edx
  mov    %ecx,0x24(%rsp)
  mov    %ebx,%edi
  mov    0x5c(%rsp),%ecx
  mov    0x60(%rsp),%r13d
  mov    %r8d,%r9d
  mov    0x54(%rsp),%r12d
  mov    0x44(%rsp),%r14d
  mov    %eax,0x1c(%rsp)
  mov    0x74(%rsp),%esi
  mov    0x68(%rsp),%r11d
  mov    %ecx,0x20(%rsp)
  mov    %r10d,%ecx
  mov    0x58(%rsp),%r15d
  mov    0x7c(%rsp),%eax
L8:
  lea    (%rdx,%rbp,1),%r8d
  mov    %r8d,%ebx
  sar    $0x19,%r8d
  shl    $0x7,%ebx
  or     %r8d,%ebx
  xor    %edi,%ebx
  lea    (%rbx,%rbp,1),%edi
  mov    %edi,%r8d
  sar    $0x17,%edi
  shl    $0x9,%r8d
  or     %edi,%r8d
  xor    %r13d,%r8d
  lea    (%rbx,%r8,1),%edi
  mov    %r8d,%r10d
  mov    %edi,%r8d
  sar    $0x13,%edi
  mov    %r10d,0x28(%rsp)
  shl    $0xd,%r8d
  or     %edi,%r8d
  mov    %r8d,%edi
  xor    %edx,%edi
  mov    %r10d,%edx
  add    %edi,%edx
  mov    %edi,(%rsp)
  mov    %edx,%edi
  sar    $0xe,%edx
  shl    $0x12,%edi
  or     %edx,%edi
  lea    (%r12,%r14,1),%edx
  mov    %edx,%r10d
  sar    $0x19,%edx
  xor    %ebp,%edi
  shl    $0x7,%r10d
  or     %edx,%r10d
  xor    %ecx,%r10d
  lea    (%r10,%r12,1),%edx
  mov    %edx,%ecx
  sar    $0x17,%edx
  shl    $0x9,%ecx
  or     %edx,%ecx
  xor    %esi,%ecx
  lea    (%r10,%rcx,1),%edx
  mov    %ecx,0x2c(%rsp)
  mov    %edx,%ebp
  sar    $0x13,%edx
  shl    $0xd,%ebp
  or     %edx,%ebp
  xor    %r14d,%ebp
  lea    (%rcx,%rbp,1),%edx
  mov    %edx,%esi
  sar    $0xe,%edx
  shl    $0x12,%esi
  mov    %esi,%ecx
  or     %edx,%ecx
  lea    (%r15,%r11,1),%edx
  mov    %edx,%r8d
  xor    %r12d,%ecx
  sar    $0x19,%edx
  shl    $0x7,%r8d
  or     %edx,%r8d
  xor    %r9d,%r8d
  lea    (%r8,%r11,1),%edx
  mov    %edx,%r9d
  sar    $0x17,%edx
  shl    $0x9,%r9d
  or     %edx,%r9d
  xor    0x18(%rsp),%r9d
  lea    (%r8,%r9,1),%edx
  mov    %edx,%r12d
  sar    $0x13,%edx
  shl    $0xd,%r12d
  or     %edx,%r12d
  xor    %r15d,%r12d
  mov    0x24(%rsp),%r15d
  lea    (%r9,%r12,1),%esi
  mov    %esi,%edx
  sar    $0xe,%esi
  shl    $0x12,%edx
  or     %esi,%edx
  lea    (%rax,%r15,1),%esi
  mov    %esi,%r13d
  sar    $0x19,%esi
  xor    %r11d,%edx
  shl    $0x7,%r13d
  or     %esi,%r13d
  xor    0x1c(%rsp),%r13d
  lea    0x0(%r13,%rax,1),%r11d
  mov    %r11d,%esi
  sar    $0x17,%r11d
  shl    $0x9,%esi
  or     %r11d,%esi
  xor    0x20(%rsp),%esi
  lea    0x0(%r13,%rsi,1),%r14d
  mov    %r14d,%r11d
  sar    $0x13,%r14d
  shl    $0xd,%r11d
  or     %r14d,%r11d
  xor    %r15d,%r11d
  lea    (%rsi,%r11,1),%r14d
  mov    %r14d,%r15d
  sar    $0xe,%r14d
  shl    $0x12,%r15d
  or     %r14d,%r15d
  xor    %r15d,%eax
  lea    (%rdi,%r13,1),%r15d
  mov    %r15d,%r14d
  sar    $0x19,%r15d
  shl    $0x7,%r14d
  or     %r15d,%r14d
  xor    %ebp,%r14d
  lea    (%rdi,%r14,1),%ebp
  mov    %ebp,%r15d
  sar    $0x17,%ebp
  shl    $0x9,%r15d
  or     %ebp,%r15d
  xor    %r9d,%r15d
  lea    (%r14,%r15,1),%r9d
  mov    %r15d,0x18(%rsp)
  mov    %r9d,%ebp
  sar    $0x13,%r9d
  shl    $0xd,%ebp
  or     %r9d,%ebp
  mov    %ebp,%r9d
  xor    %r13d,%r9d
  add    %r9d,%r15d
  mov    %r9d,0x1c(%rsp)
  mov    %r15d,%ebp
  mov    %r15d,%r9d
  sar    $0xe,%r9d
  shl    $0x12,%ebp
  or     %r9d,%ebp
  xor    %edi,%ebp
  lea    (%rbx,%rcx,1),%edi
  mov    %edi,%r15d
  sar    $0x19,%edi
  shl    $0x7,%r15d
  or     %edi,%r15d
  xor    %r12d,%r15d
  lea    (%rcx,%r15,1),%edi
  mov    %edi,%r9d
  sar    $0x17,%edi
  shl    $0x9,%r9d
  or     %edi,%r9d
  xor    %esi,%r9d
  lea    (%r15,%r9,1),%esi
  mov    %r9d,0x20(%rsp)
  mov    %esi,%edi
  sar    $0x13,%esi
  shl    $0xd,%edi
  or     %esi,%edi
  xor    %ebx,%edi
  lea    (%r9,%rdi,1),%esi
  mov    %esi,%r12d
  sar    $0xe,%esi
  shl    $0x12,%r12d
  or     %esi,%r12d
  xor    %ecx,%r12d
  lea    (%r10,%rdx,1),%ecx
  mov    %ecx,%esi
  sar    $0x19,%ecx
  shl    $0x7,%esi
  or     %ecx,%esi
  xor    %r11d,%esi
  lea    (%rdx,%rsi,1),%ecx
  mov    %esi,0x24(%rsp)
  mov    %ecx,%r13d
  sar    $0x17,%ecx
  shl    $0x9,%r13d
  or     %ecx,%r13d
  xor    0x28(%rsp),%r13d
  lea    (%rsi,%r13,1),%esi
  mov    %esi,%ebx
  sar    $0x13,%esi
  shl    $0xd,%ebx
  mov    %ebx,%ecx
  or     %esi,%ecx
  xor    %r10d,%ecx
  lea    0x0(%r13,%rcx,1),%esi
  mov    %esi,%r11d
  sar    $0xe,%esi
  shl    $0x12,%r11d
  or     %esi,%r11d
  lea    (%r8,%rax,1),%esi
  xor    %edx,%r11d
  mov    %esi,%edx
  sar    $0x19,%esi
  shl    $0x7,%edx
  or     %esi,%edx
  xor    (%rsp),%edx
  lea    (%rax,%rdx,1),%r9d
  mov    %r9d,%esi
  sar    $0x17,%r9d
  shl    $0x9,%esi
  or     %r9d,%esi
  xor    0x2c(%rsp),%esi
  lea    (%rdx,%rsi,1),%r10d
  mov    %r10d,%r9d
  sar    $0x13,%r10d
  shl    $0xd,%r9d
  or     %r10d,%r9d
  xor    %r8d,%r9d
  lea    (%rsi,%r9,1),%r8d
  mov    %r8d,%r10d
  sar    $0xe,%r8d
  shl    $0x12,%r10d
  or     %r8d,%r10d
  xor    %r10d,%eax
  subq   $0x1,0x30(%rsp)
  jne    L8
  mov    %ecx,%r10d
  mov    0x18(%rsp),%ecx
  mov    %eax,0x7c(%rsp)
  mov    0x38(%rsp),%rax
  mov    %r14d,0x44(%rsp)
  mov    %ecx,0x48(%rsp)
  mov    0x1c(%rsp),%ecx
  movdqu (%rax),%xmm1
  movdqu 0x10(%rax),%xmm2
  mov    %ebp,0x40(%rsp)
  mov    %ecx,0x4c(%rsp)
  movdqa 0x40(%rsp),%xmm0
  mov    0x20(%rsp),%ecx
  mov    0x24(%rsp),%ebx
  mov    %r15d,0x58(%rsp)
  paddd  %xmm1,%xmm0
  mov    %edi,0x50(%rsp)
  movdqu 0x20(%rax),%xmm3
  mov    %ecx,0x5c(%rsp)
  movdqu 0x30(%rax),%xmm4
  mov    %r12d,0x54(%rsp)
  movups %xmm0,(%rax)
  movdqa 0x50(%rsp),%xmm0
  mov    %ebx,0x6c(%rsp)
  paddd  %xmm2,%xmm0
  mov    %r13d,0x60(%rsp)
  mov    %r10d,0x64(%rsp)
  mov    %r11d,0x68(%rsp)
  movups %xmm0,0x10(%rax)
  movdqa 0x60(%rsp),%xmm0
  mov    %edx,0x70(%rsp)
  paddd  %xmm3,%xmm0
  mov    %esi,0x74(%rsp)
  mov    %r9d,0x78(%rsp)
  movups %xmm0,0x20(%rax)
  movaps %xmm4,(%rsp)
  movdqa 0x70(%rsp),%xmm0
  paddd  %xmm4,%xmm0
  movups %xmm0,0x30(%rax)
  mov    0x88(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L6
  add    $0x98,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L6:
  call   <__stack_chk_fail@plt>
```

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