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

```asm
<blake2_round_sidm_X3>:
  endbr64
  push   %r15
  xor    %edx,%edx
  mov    $0x7,%r9d
  mov    $0x6,%r8d
  push   %r14
  mov    $0x1,%ecx
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,0x18(%rsp)
  mov    $0x2,%edi
  mov    %rsi,0x8(%rsp)
  mov    $0x3,%esi
  push   $0xd
  push   $0xc
  push   $0xf
  push   $0xe
  push   $0x9
  push   $0x8
  push   $0xb
  push   $0xa
  push   $0x5
  push   $0x4
  call   <_mm_setr_epi8@plt>
  xor    %ecx,%ecx
  mov    $0x6,%r9d
  mov    $0x5,%r8d
  mov    %eax,0x70(%rsp)
  add    $0x50,%rsp
  mov    $0x3,%edx
  mov    $0x2,%esi
  push   $0xc
  mov    $0x1,%edi
  push   $0xf
  push   $0xe
  push   $0xd
  push   $0x8
  push   $0xb
  push   $0xa
  push   $0x9
  push   $0x4
  push   $0x7
  call   <_mm_setr_epi8@plt>
  mov    0x68(%rsp),%r11
  mov    %eax,0x64(%rsp)
  mov    0x18(%r11),%edx
  mov    0x4(%r11),%r15d
  mov    %r11,0x90(%rsp)
  mov    0xc(%r11),%r10d
  mov    0x28(%r11),%ecx
  mov    %edx,0x9c(%rsp)
  mov    0x2c(%r11),%r8d
  mov    %r15d,%esi
  mov    0x1c(%r11),%r9d
  mov    0x20(%r11),%edx
  mov    %r10d,0x7c(%rsp)
  mov    0x14(%r11),%r14d
  mov    0x10(%r11),%ebp
  mov    %r8d,0x78(%rsp)
  mov    (%r11),%edi
  mov    0x24(%r11),%r13d
  mov    %edx,0x74(%rsp)
  mov    %r9d,0x80(%rsp)
  mov    0x8(%r11),%ebx
  mov    %ecx,0x88(%rsp)
  add    $0x50,%rsp
  call   <_mm_add_epi32@plt>
  mov    %r14d,%esi
  mov    %ebp,%edi
  mov    %eax,%r12d
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%rcx
  mov    %r12d,%edi
  mov    %eax,%ebp
  mov    (%rcx),%esi
  call   <_mm_add_epi32@plt>
  mov    0x24(%rsp),%edi
  mov    %r13d,%esi
  mov    %eax,0x18(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%rcx
  mov    %ebp,%edi
  mov    %eax,%r12d
  mov    0x10(%rcx),%esi
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%rcx
  mov    %r12d,%edi
  mov    %eax,%ebp
  mov    0x20(%rcx),%esi
  call   <_mm_add_epi32@plt>
  mov    0x18(%rsp),%esi
  mov    0x2c(%rsp),%edi
  mov    %eax,0x24(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%edi
  mov    %ebp,%esi
  mov    %ebp,0x2c(%rsp)
  mov    %eax,%r12d
  call   <_mm_xor_si128@plt>
  mov    0x24(%rsp),%esi
  mov    0x28(%rsp),%edi
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    0x20(%rsp),%esi
  mov    %r12d,%edi
  mov    %eax,0x30(%rsp)
  call   <_mm_shuffle_epi8@plt>
  mov    0x20(%rsp),%r12d
  mov    %ebp,%edi
  mov    %eax,0x34(%rsp)
  mov    %r12d,%esi
  call   <_mm_shuffle_epi8@plt>
  mov    0x30(%rsp),%edi
  mov    %r12d,%esi
  mov    %r12d,0x20(%rsp)
  mov    %eax,0x28(%rsp)
  call   <_mm_shuffle_epi8@plt>
  mov    0x34(%rsp),%r8d
  mov    %ebx,%edi
  mov    %eax,0x30(%rsp)
  mov    %r8d,%esi
  mov    %r8d,0x48(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x28(%rsp),%r10d
  mov    0x4c(%rsp),%edi
  mov    %eax,%ebx
  mov    %r10d,%esi
  mov    %r10d,0x3c(%rsp)
  call   <_mm_add_epi32@plt>
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    %ebx,0x34(%rsp)
  mov    %eax,0x28(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%esi
  mov    0x38(%rsp),%edi
  mov    %eax,%ebp
  call   <_mm_add_epi32@plt>
  mov    %ebp,%edi
  mov    $0xc,%esi
  mov    %eax,%ebx
  call   <_mm_srli_epi32@plt>
  mov    %ebp,%edi
  mov    $0x14,%esi
  mov    %eax,%r12d
  call   <_mm_slli_epi32@plt>
  mov    0x28(%rsp),%esi
  mov    %r14d,%edi
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    %ebp,%esi
  mov    %r12d,%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    %ebx,0x38(%rsp)
  mov    %eax,%r12d
  call   <_mm_xor_si128@plt>
  mov    %r14d,%edi
  mov    $0xc,%esi
  mov    %eax,%ebp
  call   <_mm_srli_epi32@plt>
  mov    %ebp,%edi
  mov    $0xc,%esi
  mov    %eax,%r15d
  call   <_mm_srli_epi32@plt>
  mov    %r14d,%edi
  mov    $0x14,%esi
  mov    %eax,%r13d
  call   <_mm_slli_epi32@plt>
  mov    %ebp,%edi
  mov    $0x14,%esi
  mov    %eax,%r14d
  call   <_mm_slli_epi32@plt>
  mov    %r14d,%esi
  mov    %r15d,%edi
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    %ebp,%esi
  mov    %r13d,%edi
  mov    %eax,%ebx
  call   <_mm_xor_si128@plt>
  mov    0x18(%rsp),%edi
  mov    %r12d,%esi
  mov    %eax,%ebp
  call   <_mm_add_epi32@plt>
  mov    0x2c(%rsp),%edi
  mov    %ebx,%esi
  mov    %eax,%r13d
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%r15
  mov    %r13d,%edi
  mov    %eax,%r14d
  mov    0x4(%r15),%esi
  call   <_mm_add_epi32@plt>
  mov    0x24(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,0x18(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x14(%r15),%esi
  mov    %r14d,%edi
  mov    %eax,%r13d
  call   <_mm_add_epi32@plt>
  mov    0x24(%r15),%esi
  mov    %r13d,%edi
  mov    %r15,0x8(%rsp)
  mov    %eax,0x24(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x18(%rsp),%esi
  mov    0x48(%rsp),%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x24(%rsp),%esi
  mov    0x3c(%rsp),%edi
  mov    %eax,%r13d
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%edi
  mov    %r14d,%esi
  mov    %r14d,0x3c(%rsp)
  mov    %eax,%r15d
  call   <_mm_xor_si128@plt>
  mov    0x14(%rsp),%esi
  mov    %r13d,%edi
  mov    %eax,%r14d
  call   <_mm_shuffle_epi8@plt>
  mov    0x14(%rsp),%esi
  mov    %r15d,%edi
  mov    %eax,%r13d
  call   <_mm_shuffle_epi8@plt>
  mov    0x14(%rsp),%esi
  mov    %r14d,%edi
  mov    %eax,0x2c(%rsp)
  call   <_mm_shuffle_epi8@plt>
  mov    0x34(%rsp),%edi
  mov    %r13d,%esi
  mov    %eax,0x30(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x2c(%rsp),%esi
  mov    0x28(%rsp),%edi
  mov    %eax,%r15d
  call   <_mm_add_epi32@plt>
  mov    %r15d,%esi
  mov    %r12d,%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%esi
  mov    0x38(%rsp),%edi
  mov    %eax,0x28(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x28(%rsp),%edi
  mov    $0x7,%esi
  mov    %eax,%r12d
  call   <_mm_srli_epi32@plt>
  mov    0x28(%rsp),%edi
  mov    $0x19,%esi
  mov    %eax,0x34(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    %r14d,%esi
  mov    %ebx,%edi
  mov    %eax,0x28(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x28(%rsp),%esi
  mov    0x34(%rsp),%edi
  mov    %eax,%ebx
  call   <_mm_xor_si128@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  mov    %eax,0x38(%rsp)
  call   <_mm_xor_si128@plt>
  mov    %ebx,%edi
  mov    $0x7,%esi
  mov    %eax,%ebp
  call   <_mm_srli_epi32@plt>
  mov    %ebp,%edi
  mov    $0x7,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    %ebx,%edi
  mov    $0x19,%esi
  mov    %eax,0x34(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    %ebp,%edi
  mov    $0x19,%esi
  mov    %eax,%ebx
  call   <_mm_slli_epi32@plt>
  mov    0x28(%rsp),%edi
  mov    %ebx,%esi
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    0x34(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x38(%rsp),%edi
  mov    $0x39,%esi
  mov    %eax,%ebx
  call   <_mm_shuffle_epi32@plt>
  mov    %r15d,%edi
  mov    $0x4e,%esi
  mov    %eax,%ebp
  call   <_mm_shuffle_epi32@plt>
  mov    %r13d,%edi
  mov    $0x93,%esi
  mov    %eax,0x48(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    0x28(%rsp),%edi
  mov    $0x39,%esi
  mov    %eax,%r15d
  call   <_mm_shuffle_epi32@plt>
  mov    %r14d,%edi
  mov    $0x4e,%esi
  mov    %eax,%r13d
  call   <_mm_shuffle_epi32@plt>
  mov    0x2c(%rsp),%edi
  mov    $0x93,%esi
  mov    %eax,0x34(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %ebx,%edi
  mov    $0x39,%esi
  mov    %eax,%r14d
  call   <_mm_shuffle_epi32@plt>
  mov    %r12d,%edi
  mov    $0x4e,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    0x30(%rsp),%edi
  mov    $0x93,%esi
  mov    %eax,%ebx
  call   <_mm_shuffle_epi32@plt>
  mov    0x18(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,%r12d
  call   <_mm_add_epi32@plt>
  mov    0x24(%rsp),%edi
  mov    %r13d,%esi
  mov    %eax,0x18(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x18(%rsp),%edi
  mov    %eax,0x24(%rsp)
  mov    0x8(%rsp),%rax
  mov    0x8(%rax),%esi
  call   <_mm_add_epi32@plt>
  mov    0x28(%rsp),%r10d
  mov    0x3c(%rsp),%edi
  mov    %eax,0x18(%rsp)
  mov    %r10d,%esi
  mov    %r10d,0x30(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%rcx
  mov    0x24(%rsp),%edi
  mov    %eax,0x28(%rsp)
  mov    0x18(%rcx),%esi
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%rcx
  mov    0x28(%rsp),%edi
  mov    %eax,0x24(%rsp)
  mov    0x28(%rcx),%esi
  call   <_mm_add_epi32@plt>
  mov    0x18(%rsp),%esi
  mov    %r15d,%edi
  mov    %eax,0x28(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x24(%rsp),%esi
  mov    %r14d,%edi
  mov    %eax,%r15d
  call   <_mm_xor_si128@plt>
  mov    0x28(%rsp),%esi
  mov    %r12d,%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x20(%rsp),%esi
  mov    %r15d,%edi
  mov    %eax,%r12d
  call   <_mm_shuffle_epi8@plt>
  mov    0x20(%rsp),%r15d
  mov    %r14d,%edi
  mov    %eax,0x2c(%rsp)
  mov    %r15d,%esi
  call   <_mm_shuffle_epi8@plt>
  mov    %r15d,%esi
  mov    %r12d,%edi
  mov    %eax,%r14d
  call   <_mm_shuffle_epi8@plt>
  mov    0x2c(%rsp),%r8d
  mov    0x48(%rsp),%edi
  mov    %eax,%r12d
  mov    %r8d,%esi
  mov    %r8d,0x38(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x34(%rsp),%edi
  mov    %r14d,%esi
  mov    %eax,0x20(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x20(%rsp),%r9d
  mov    %ebp,%edi
  mov    %eax,%r15d
  mov    %r9d,%esi
  mov    %r9d,0x34(%rsp)
  call   <_mm_xor_si128@plt>
  mov    %r12d,%esi
  mov    %ebx,%edi
  mov    %eax,%ebp
  call   <_mm_add_epi32@plt>
  mov    %ebp,%edi
  mov    $0xc,%esi
  mov    %eax,0x20(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    %ebp,%edi
  mov    $0x14,%esi
  mov    %eax,0x2c(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    %r15d,%esi
  mov    %r13d,%edi
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    0x2c(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,%ebx
  call   <_mm_xor_si128@plt>
  mov    0x20(%rsp),%esi
  mov    0x30(%rsp),%edi
  mov    %eax,%r13d
  call   <_mm_xor_si128@plt>
  mov    %ebx,%edi
  mov    $0xc,%esi
  mov    %eax,%ebp
  call   <_mm_srli_epi32@plt>
  mov    %ebp,%edi
  mov    $0xc,%esi
  mov    %eax,0x2c(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    %ebx,%edi
  mov    $0x14,%esi
  mov    %eax,0x30(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    %ebp,%edi
  mov    $0x14,%esi
  mov    %eax,%ebx
  call   <_mm_slli_epi32@plt>
  mov    0x2c(%rsp),%edi
  mov    %ebx,%esi
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,0x2c(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x18(%rsp),%edi
  mov    %r13d,%esi
  mov    %eax,0x30(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x2c(%rsp),%esi
  mov    0x24(%rsp),%edi
  mov    %eax,%ebx
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%rcx
  mov    %ebx,%edi
  mov    %eax,%ebp
  mov    0xc(%rcx),%esi
  call   <_mm_add_epi32@plt>
  mov    0x30(%rsp),%esi
  mov    0x28(%rsp),%edi
  mov    %eax,0x18(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%rcx
  mov    %ebp,%edi
  mov    %eax,%ebx
  mov    0x1c(%rcx),%esi
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%rcx
  mov    %ebx,%edi
  mov    %eax,0x24(%rsp)
  mov    0x2c(%rcx),%esi
  call   <_mm_add_epi32@plt>
  mov    0x18(%rsp),%esi
  mov    0x38(%rsp),%edi
  mov    %eax,%ebx
  call   <_mm_xor_si128@plt>
  mov    0x24(%rsp),%esi
  mov    %r14d,%edi
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    %ebx,%esi
  mov    %r12d,%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x14(%rsp),%esi
  mov    %ebp,%edi
  mov    %eax,%r12d
  call   <_mm_shuffle_epi8@plt>
  mov    0x14(%rsp),%esi
  mov    %r14d,%edi
  mov    %eax,%ebp
  call   <_mm_shuffle_epi8@plt>
  mov    0x14(%rsp),%esi
  mov    %r12d,%edi
  mov    %eax,%r14d
  call   <_mm_shuffle_epi8@plt>
  mov    0x34(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,%r12d
  call   <_mm_add_epi32@plt>
  mov    %r14d,%esi
  mov    %r15d,%edi
  mov    %eax,0x8(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x8(%rsp),%esi
  mov    %r13d,%edi
  mov    %eax,%r15d
  call   <_mm_xor_si128@plt>
  mov    0x20(%rsp),%edi
  mov    %r12d,%esi
  mov    %eax,0x14(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x14(%rsp),%edi
  mov    $0x7,%esi
  mov    %eax,%r13d
  call   <_mm_srli_epi32@plt>
  mov    0x14(%rsp),%edi
  mov    $0x19,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    0x2c(%rsp),%edi
  mov    %r15d,%esi
  mov    %eax,0x14(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x14(%rsp),%esi
  mov    0x28(%rsp),%edi
  mov    %eax,0x20(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%edi
  mov    %r13d,%esi
  mov    %eax,0x34(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x20(%rsp),%edi
  mov    $0x7,%esi
  mov    %eax,0x14(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    0x14(%rsp),%edi
  mov    $0x7,%esi
  mov    %eax,0x2c(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    0x20(%rsp),%edi
  mov    $0x19,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    0x14(%rsp),%edi
  mov    $0x19,%esi
  mov    %eax,0x20(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    0x20(%rsp),%esi
  mov    0x2c(%rsp),%edi
  mov    %eax,0x14(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x14(%rsp),%esi
  mov    0x28(%rsp),%edi
  mov    %eax,0x20(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x34(%rsp),%edi
  mov    $0x93,%esi
  mov    %eax,0x14(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    0x8(%rsp),%edi
  mov    $0x4e,%esi
  mov    %eax,0x2c(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %ebp,%edi
  mov    $0x39,%esi
  mov    %eax,0x8(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    0x20(%rsp),%edi
  mov    $0x93,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %r15d,%edi
  mov    $0x4e,%esi
  mov    %eax,0x20(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %r14d,%edi
  mov    $0x39,%esi
  mov    %eax,%r15d
  call   <_mm_shuffle_epi32@plt>
  mov    0x14(%rsp),%edi
  mov    $0x93,%esi
  mov    %eax,%r14d
  call   <_mm_shuffle_epi32@plt>
  mov    %r13d,%edi
  mov    $0x4e,%esi
  mov    %eax,0x14(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %r12d,%edi
  mov    $0x39,%esi
  mov    %eax,%r13d
  call   <_mm_shuffle_epi32@plt>
  mov    0x40(%rsp),%r11
  mov    0x18(%rsp),%edx
  mov    0x8(%rsp),%ecx
  mov    0x28(%rsp),%r8d
  mov    0x20(%rsp),%r9d
  mov    0x14(%rsp),%r10d
  mov    %edx,(%r11)
  mov    0x2c(%rsp),%edx
  mov    %ecx,0x8(%r11)
  mov    %r8d,0xc(%r11)
  mov    %edx,0x4(%r11)
  mov    0x24(%rsp),%edx
  mov    %r9d,0x14(%r11)
  mov    %edx,0x10(%r11)
  mov    %r15d,0x18(%r11)
  mov    %r14d,0x1c(%r11)
  mov    %ebx,0x20(%r11)
  mov    %r10d,0x24(%r11)
  mov    %r13d,0x28(%r11)
  mov    %eax,0x2c(%r11)
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void blake2_round_sidm_X3(__m128i *state, __m128i *Message) {
  __m128i _calc1, _calc2;
  __m128i const _rotate_16 = _mm_setr_epi8(2, 3, 0, 1, 6, 7, 4, 5, 10, 11, 8, 9, 14, 15, 12, 13);
  __m128i const _rotate_8_r = _mm_setr_epi8(1, 2, 3, 0, 5, 6, 7, 4, 9, 10, 11, 8, 13, 14, 15, 12);
  __m128i row0_1 = state[0];
  __m128i row1_1 = state[1];
  __m128i row2_1 = state[2];
  __m128i row3_1 = state[3];
  __m128i row0_2 = state[4];
  __m128i row1_2 = state[5];
  __m128i row2_2 = state[6];
  __m128i row3_2 = state[7];
  __m128i row0_3 = state[8];
  __m128i row1_3 = state[9];
  __m128i row2_3 = state[10];
  __m128i row3_3 = state[11];
  row0_1 = _mm_add_epi32(row0_1, row1_1);
  row0_2 = _mm_add_epi32(row0_2, row1_2);
  row0_1 = _mm_add_epi32(row0_1, Message[0]);
  row0_3 = _mm_add_epi32(row0_3, row1_3);
  row0_2 = _mm_add_epi32(row0_2, Message[4]);
  row0_3 = _mm_add_epi32(row0_3, Message[8]);
  row3_1 = _mm_xor_si128(row3_1, row0_1);
  row3_2 = _mm_xor_si128(row3_2, row0_2);
  row3_3 = _mm_xor_si128(row3_3, row0_3);
  row3_1 = _mm_shuffle_epi8(row3_1, _rotate_16);
  row3_2 = _mm_shuffle_epi8(row3_2, _rotate_16);
  row3_3 = _mm_shuffle_epi8(row3_3, _rotate_16);
  row2_1 = _mm_add_epi32(row2_1, row3_1);
  row2_2 = _mm_add_epi32(row2_2, row3_2);
  _calc1 = _mm_xor_si128(row1_1, row2_1);
  row2_3 = _mm_add_epi32(row2_3, row3_3);
  row1_1 = _mm_srli_epi32(_calc1, (12));
  _calc1 = _mm_slli_epi32(_calc1, (32 - 12));
  _calc2 = _mm_xor_si128(row1_2, row2_2);
  row1_1 = _mm_xor_si128(row1_1, _calc1);
  _calc1 = _mm_xor_si128(row1_3, row2_3);
  row1_2 = _mm_srli_epi32(_calc2, (12));
  row1_3 = _mm_srli_epi32(_calc1, (12));
  _calc2 = _mm_slli_epi32(_calc2, (32 - 12));
  _calc1 = _mm_slli_epi32(_calc1, (32 - 12));
  row1_2 = _mm_xor_si128(row1_2, _calc2);
  row1_3 = _mm_xor_si128(row1_3, _calc1);
  row0_1 = _mm_add_epi32(row0_1, row1_1);
  row0_2 = _mm_add_epi32(row0_2, row1_2);
  row0_1 = _mm_add_epi32(row0_1, Message[1]);
  row0_3 = _mm_add_epi32(row0_3, row1_3);
  row0_2 = _mm_add_epi32(row0_2, Message[5]);
  row0_3 = _mm_add_epi32(row0_3, Message[9]);
  row3_1 = _mm_xor_si128(row3_1, row0_1);
  row3_2 = _mm_xor_si128(row3_2, row0_2);
  row3_3 = _mm_xor_si128(row3_3, row0_3);
  row3_1 = _mm_shuffle_epi8(row3_1, _rotate_8_r);
  row3_2 = _mm_shuffle_epi8(row3_2, _rotate_8_r);
  row3_3 = _mm_shuffle_epi8(row3_3, _rotate_8_r);
  row2_1 = _mm_add_epi32(row2_1, row3_1);
  row2_2 = _mm_add_epi32(row2_2, row3_2);
  _calc1 = _mm_xor_si128(row1_1, row2_1);
  row2_3 = _mm_add_epi32(row2_3, row3_3);
  row1_1 = _mm_srli_epi32(_calc1, (7));
  _calc1 = _mm_slli_epi32(_calc1, (32 - 7));
  _calc2 = _mm_xor_si128(row1_2, row2_2);
  row1_1 = _mm_xor_si128(row1_1, _calc1);
  _calc1 = _mm_xor_si128(row1_3, row2_3);
  row1_2 = _mm_srli_epi32(_calc2, (7));
  row1_3 = _mm_srli_epi32(_calc1, (7));
  _calc2 = _mm_slli_epi32(_calc2, (32 - 7));
  _calc1 = _mm_slli_epi32(_calc1, (32 - 7));
  row1_2 = _mm_xor_si128(row1_2, _calc2);
  row1_3 = _mm_xor_si128(row1_3, _calc1);
  row1_1 = _mm_shuffle_epi32(row1_1, 0x39);
  row2_1 = _mm_shuffle_epi32(row2_1, 0x4e);
  row3_1 = _mm_shuffle_epi32(row3_1, 0x93);
  row1_2 = _mm_shuffle_epi32(row1_2, 0x39);
  row2_2 = _mm_shuffle_epi32(row2_2, 0x4e);
  row3_2 = _mm_shuffle_epi32(row3_2, 0x93);
  row1_3 = _mm_shuffle_epi32(row1_3, 0x39);
  row2_3 = _mm_shuffle_epi32(row2_3, 0x4e);
  row3_3 = _mm_shuffle_epi32(row3_3, 0x93);
  row0_1 = _mm_add_epi32(row0_1, row1_1);
  row0_2 = _mm_add_epi32(row0_2, row1_2);
  row0_1 = _mm_add_epi32(row0_1, Message[2]);
  row0_3 = _mm_add_epi32(row0_3, row1_3);
  row0_2 = _mm_add_epi32(row0_2, Message[6]);
  row0_3 = _mm_add_epi32(row0_3, Message[10]);
  row3_1 = _mm_xor_si128(row3_1, row0_1);
  row3_2 = _mm_xor_si128(row3_2, row0_2);
  row3_3 = _mm_xor_si128(row3_3, row0_3);
  row3_1 = _mm_shuffle_epi8(row3_1, _rotate_16);
  row3_2 = _mm_shuffle_epi8(row3_2, _rotate_16);
  row3_3 = _mm_shuffle_epi8(row3_3, _rotate_16);
  row2_1 = _mm_add_epi32(row2_1, row3_1);
  row2_2 = _mm_add_epi32(row2_2, row3_2);
  _calc1 = _mm_xor_si128(row1_1, row2_1);
  row2_3 = _mm_add_epi32(row2_3, row3_3);
  row1_1 = _mm_srli_epi32(_calc1, (12));
  _calc1 = _mm_slli_epi32(_calc1, (32 - 12));
  _calc2 = _mm_xor_si128(row1_2, row2_2);
  row1_1 = _mm_xor_si128(row1_1, _calc1);
  _calc1 = _mm_xor_si128(row1_3, row2_3);
  row1_2 = _mm_srli_epi32(_calc2, (12));
  row1_3 = _mm_srli_epi32(_calc1, (12));
  _calc2 = _mm_slli_epi32(_calc2, (32 - 12));
  _calc1 = _mm_slli_epi32(_calc1, (32 - 12));
  row1_2 = _mm_xor_si128(row1_2, _calc2);
  row1_3 = _mm_xor_si128(row1_3, _calc1);
  row0_1 = _mm_add_epi32(row0_1, row1_1);
  row0_2 = _mm_add_epi32(row0_2, row1_2);
  row0_1 = _mm_add_epi32(row0_1, Message[3]);
  row0_3 = _mm_add_epi32(row0_3, row1_3);
  row0_2 = _mm_add_epi32(row0_2, Message[7]);
  row0_3 = _mm_add_epi32(row0_3, Message[11]);
  row3_1 = _mm_xor_si128(row3_1, row0_1);
  row3_2 = _mm_xor_si128(row3_2, row0_2);
  row3_3 = _mm_xor_si128(row3_3, row0_3);
  row3_1 = _mm_shuffle_epi8(row3_1, _rotate_8_r);
  row3_2 = _mm_shuffle_epi8(row3_2, _rotate_8_r);
  row3_3 = _mm_shuffle_epi8(row3_3, _rotate_8_r);
  row2_1 = _mm_add_epi32(row2_1, row3_1);
  row2_2 = _mm_add_epi32(row2_2, row3_2);
  _calc1 = _mm_xor_si128(row1_1, row2_1);
  row2_3 = _mm_add_epi32(row2_3, row3_3);
  row1_1 = _mm_srli_epi32(_calc1, (7));
  _calc1 = _mm_slli_epi32(_calc1, (32 - 7));
  _calc2 = _mm_xor_si128(row1_2, row2_2);
  row1_1 = _mm_xor_si128(row1_1, _calc1);
  _calc1 = _mm_xor_si128(row1_3, row2_3);
  row1_2 = _mm_srli_epi32(_calc2, (7));
  row1_3 = _mm_srli_epi32(_calc1, (7));
  _calc2 = _mm_slli_epi32(_calc2, (32 - 7));
  _calc1 = _mm_slli_epi32(_calc1, (32 - 7));
  row1_2 = _mm_xor_si128(row1_2, _calc2);
  row1_3 = _mm_xor_si128(row1_3, _calc1);
  row1_1 = _mm_shuffle_epi32(row1_1, 0x93);
  row2_1 = _mm_shuffle_epi32(row2_1, 0x4e);
  row3_1 = _mm_shuffle_epi32(row3_1, 0x39);
  row1_2 = _mm_shuffle_epi32(row1_2, 0x93);
  row2_2 = _mm_shuffle_epi32(row2_2, 0x4e);
  row3_2 = _mm_shuffle_epi32(row3_2, 0x39);
  row1_3 = _mm_shuffle_epi32(row1_3, 0x93);
  row2_3 = _mm_shuffle_epi32(row2_3, 0x4e);
  row3_3 = _mm_shuffle_epi32(row3_3, 0x39);
  state[0] = row0_1;
  state[1] = row1_1;
  state[2] = row2_1;
  state[3] = row3_1;
  state[4] = row0_2;
  state[5] = row1_2;
  state[6] = row2_2;
  state[7] = row3_2;
  state[8] = row0_3;
  state[9] = row1_3;
  state[10] = row2_3;
  state[11] = row3_3;
}
```