user: What would the C source look like for the assembly code provided here?

```asm
<xor_salsa_sidm>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x38,%rsp
  mov    %rsi,%r12
  mov    %rdx,%r15
  mov    %rcx,%r14
  mov    %r8,%rbp
  mov    %r9,%r13
  mov    (%r8),%esi
  mov    %rdi,0x10(%rsp)
  mov    (%rdi),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    0x78(%rsp),%rax
  mov    (%rax),%esi
  mov    %r14,0x28(%rsp)
  mov    (%r14),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r14d
  mov    0x70(%rsp),%rax
  mov    (%rax),%esi
  mov    %r15,0x20(%rsp)
  mov    (%r15),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r15d
  mov    0x0(%r13),%esi
  mov    %r12,0x18(%rsp)
  mov    (%r12),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r12d
  mov    0x0(%rbp),%esi
  mov    0x10(%rsp),%rbp
  mov    0x0(%rbp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x0(%rbp)
  mov    0x78(%rsp),%rax
  mov    (%rax),%esi
  mov    0x28(%rsp),%rbp
  mov    0x0(%rbp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x0(%rbp)
  mov    0x70(%rsp),%rax
  mov    (%rax),%esi
  mov    0x20(%rsp),%rbp
  mov    0x0(%rbp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x0(%rbp)
  mov    0x0(%r13),%esi
  mov    0x18(%rsp),%rbp
  mov    0x0(%rbp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x0(%rbp)
  cmpl   $0x0,0x80(%rsp)
  jle    L4
  mov    $0x0,%r13d
L5:
  mov    %r12d,%esi
  mov    %ebx,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    $0x7,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    $0x19,%esi
  mov    %ebp,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebp
  mov    0xc(%rsp),%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%edi
  mov    %ebp,%esi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r14d
  mov    %ebx,%esi
  mov    %eax,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    $0x9,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    $0x17,%esi
  mov    %ebp,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebp
  mov    0xc(%rsp),%esi
  mov    %r15d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%edi
  mov    %ebp,%esi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    %r14d,%esi
  mov    %eax,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r15d
  mov    $0xd,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    $0x13,%esi
  mov    %r15d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r15d
  mov    0xc(%rsp),%esi
  mov    %r12d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%edi
  mov    %r15d,%esi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r12d
  mov    %ebp,%esi
  mov    %eax,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r15d
  mov    $0x12,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    $0xe,%esi
  mov    %r15d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r15d
  mov    0xc(%rsp),%esi
  mov    %ebx,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%edi
  mov    %r15d,%esi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    $0x93,%esi
  mov    %r14d,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r14d
  mov    $0x4e,%esi
  mov    %ebp,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    $0x39,%esi
  mov    %r12d,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r12d
  mov    %r14d,%esi
  mov    %ebx,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    $0x7,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%r15d
  mov    $0x19,%esi
  mov    %ebp,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebp
  mov    %r15d,%esi
  mov    %r12d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%edi
  mov    %ebp,%esi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    %ebx,%esi
  mov    %eax,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r12d
  mov    $0x9,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%r15d
  mov    $0x17,%esi
  mov    %r12d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r12d
  mov    %r15d,%esi
  mov    0xc(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%edi
  mov    %r12d,%esi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r12d
  mov    %ebp,%esi
  mov    %eax,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r15d
  mov    $0xd,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    $0x13,%esi
  mov    %r15d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r15d
  mov    0xc(%rsp),%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%edi
  mov    %r15d,%esi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r14d
  mov    %r12d,%esi
  mov    %eax,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r15d
  mov    $0x12,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    $0xe,%esi
  mov    %r15d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r15d
  mov    0xc(%rsp),%esi
  mov    %ebx,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%edi
  mov    %r15d,%esi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    $0x39,%esi
  mov    %r14d,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r14d
  mov    $0x4e,%esi
  mov    %r12d,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r15d
  mov    $0x93,%esi
  mov    %ebp,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r12d
  add    $0x1,%r13d
  cmp    %r13d,0x80(%rsp)
  jne    L5
L4:
  mov    %ebx,%esi
  mov    0x10(%rsp),%rbx
  mov    (%rbx),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,(%rbx)
  mov    %r14d,%esi
  mov    0x28(%rsp),%rbx
  mov    (%rbx),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,(%rbx)
  mov    %r15d,%esi
  mov    0x20(%rsp),%rbx
  mov    (%rbx),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,(%rbx)
  mov    %r12d,%esi
  mov    0x18(%rsp),%rbx
  mov    (%rbx),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,(%rbx)
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void xor_salsa_sidm(__m128i *calc_18, __m128i *calc_13, __m128i *calc_9, __m128i *calc_7, __m128i *calc_1, __m128i *calc_4, __m128i *calc_3, __m128i *calc_2, uint32_t double_rounds) {
  int i;
  __m128i _calc;
  __m128i _shift_left;
  __m128i row1 = _mm_xor_si128(*calc_18, *calc_1);
  ;
  __m128i row2 = _mm_xor_si128(*calc_7, *calc_2);
  ;
  __m128i row3 = _mm_xor_si128(*calc_9, *calc_3);
  ;
  __m128i row4 = _mm_xor_si128(*calc_13, *calc_4);
  ;
  *calc_18 = _mm_xor_si128(*calc_18, *calc_1);
  *calc_7 = _mm_xor_si128(*calc_7, *calc_2);
  *calc_9 = _mm_xor_si128(*calc_9, *calc_3);
  *calc_13 = _mm_xor_si128(*calc_13, *calc_4);
  for (i = 0; i < double_rounds; i++) {
    _calc = _mm_add_epi32(row1, row4);
    _shift_left = _mm_slli_epi32(_calc, 7);
    _calc = _mm_srli_epi32(_calc, (32 - 7));
    row2 = _mm_xor_si128(row2, _shift_left);
    row2 = _mm_xor_si128(row2, _calc);
    _calc = _mm_add_epi32(row2, row1);
    _shift_left = _mm_slli_epi32(_calc, 9);
    _calc = _mm_srli_epi32(_calc, (32 - 9));
    row3 = _mm_xor_si128(row3, _shift_left);
    row3 = _mm_xor_si128(row3, _calc);
    _calc = _mm_add_epi32(row3, row2);
    _shift_left = _mm_slli_epi32(_calc, 13);
    _calc = _mm_srli_epi32(_calc, (32 - 13));
    row4 = _mm_xor_si128(row4, _shift_left);
    row4 = _mm_xor_si128(row4, _calc);
    _calc = _mm_add_epi32(row4, row3);
    _shift_left = _mm_slli_epi32(_calc, 18);
    _calc = _mm_srli_epi32(_calc, (32 - 18));
    row1 = _mm_xor_si128(row1, _shift_left);
    row1 = _mm_xor_si128(row1, _calc);
    row2 = _mm_shuffle_epi32(row2, 0x93);
    row3 = _mm_shuffle_epi32(row3, 0x4e);
    row4 = _mm_shuffle_epi32(row4, 0x39);
    _calc = _mm_add_epi32(row1, row2);
    _shift_left = _mm_slli_epi32(_calc, 7);
    _calc = _mm_srli_epi32(_calc, (32 - 7));
    row4 = _mm_xor_si128(row4, _shift_left);
    row4 = _mm_xor_si128(row4, _calc);
    _calc = _mm_add_epi32(row4, row1);
    _shift_left = _mm_slli_epi32(_calc, 9);
    _calc = _mm_srli_epi32(_calc, (32 - 9));
    row3 = _mm_xor_si128(row3, _shift_left);
    row3 = _mm_xor_si128(row3, _calc);
    _calc = _mm_add_epi32(row3, row4);
    _shift_left = _mm_slli_epi32(_calc, 13);
    _calc = _mm_srli_epi32(_calc, (32 - 13));
    row2 = _mm_xor_si128(row2, _shift_left);
    row2 = _mm_xor_si128(row2, _calc);
    _calc = _mm_add_epi32(row2, row3);
    _shift_left = _mm_slli_epi32(_calc, 18);
    _calc = _mm_srli_epi32(_calc, (32 - 18));
    row1 = _mm_xor_si128(row1, _shift_left);
    row1 = _mm_xor_si128(row1, _calc);
    row2 = _mm_shuffle_epi32(row2, 0x39);
    row3 = _mm_shuffle_epi32(row3, 0x4e);
    row4 = _mm_shuffle_epi32(row4, 0x93);
  }
  *calc_18 = _mm_add_epi32(*calc_18, row1);
  *calc_7 = _mm_add_epi32(*calc_7, row2);
  *calc_9 = _mm_add_epi32(*calc_9, row3);
  *calc_13 = _mm_add_epi32(*calc_13, row4);
}
```