user: Translate the below assembly code into C programming language:

```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
  mov    %rsi,%rbx
  mov    $0x3,%esi
  sub    $0x68,%rsp
  mov    %rdi,0x28(%rsp)
  mov    $0x2,%edi
  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,0x50(%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    0x78(%rsp),%r11
  mov    %eax,0x60(%rsp)
  mov    0xc(%r11),%ecx
  mov    0x18(%r11),%edx
  mov    %r11,0xa8(%rsp)
  mov    0x4(%r11),%r15d
  mov    0x8(%r11),%r8d
  mov    0x1c(%r11),%r10d
  mov    0x2c(%r11),%r9d
  mov    %ecx,0x84(%rsp)
  mov    %edx,0x88(%rsp)
  mov    0x28(%r11),%ecx
  mov    %r15d,%esi
  mov    0x20(%r11),%edx
  mov    0x14(%r11),%r14d
  mov    %r8d,0x9c(%rsp)
  mov    0x10(%r11),%ebp
  mov    (%r11),%edi
  mov    %ecx,0x98(%rsp)
  mov    %edx,0x80(%rsp)
  mov    0x24(%r11),%r13d
  mov    %r10d,0x94(%rsp)
  mov    %r9d,0x90(%rsp)
  add    $0x50,%rsp
  call   <_mm_add_epi32@plt>
  mov    %r14d,%esi
  mov    %ebp,%edi
  mov    %eax,%r12d
  call   <_mm_add_epi32@plt>
  mov    (%rbx),%esi
  mov    %r12d,%edi
  mov    %eax,%ebp
  call   <_mm_add_epi32@plt>
  mov    0x30(%rsp),%edi
  mov    %r13d,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x10(%rbx),%esi
  mov    %ebp,%edi
  mov    %eax,%r12d
  call   <_mm_add_epi32@plt>
  mov    0x20(%rbx),%esi
  mov    %r12d,%edi
  mov    %eax,%ebp
  call   <_mm_add_epi32@plt>
  mov    0x28(%rsp),%esi
  mov    0x34(%rsp),%edi
  mov    %eax,0x30(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x44(%rsp),%edi
  mov    %ebp,%esi
  mov    %ebp,0x3c(%rsp)
  mov    %eax,%r12d
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%esi
  mov    0x40(%rsp),%edi
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    (%rsp),%esi
  mov    %r12d,%edi
  mov    %eax,0x44(%rsp)
  call   <_mm_shuffle_epi8@plt>
  mov    (%rsp),%r12d
  mov    %ebp,%edi
  mov    %eax,0x40(%rsp)
  mov    %r12d,%esi
  call   <_mm_shuffle_epi8@plt>
  mov    0x44(%rsp),%edi
  mov    %r12d,%esi
  mov    %r12d,(%rsp)
  mov    %eax,0x34(%rsp)
  call   <_mm_shuffle_epi8@plt>
  mov    0x40(%rsp),%r9d
  mov    0x4c(%rsp),%edi
  mov    %eax,0x44(%rsp)
  mov    %r9d,%esi
  mov    %r9d,0x54(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x34(%rsp),%esi
  mov    0x38(%rsp),%edi
  mov    %eax,%ebp
  call   <_mm_add_epi32@plt>
  mov    %ebp,%esi
  mov    %r15d,%edi
  mov    %ebp,0x40(%rsp)
  mov    %eax,0x38(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x44(%rsp),%r10d
  mov    0x48(%rsp),%edi
  mov    %eax,%ebp
  mov    %r10d,%esi
  mov    %r10d,0x50(%rsp)
  call   <_mm_add_epi32@plt>
  mov    %ebp,%edi
  mov    $0xc,%esi
  mov    %eax,%r15d
  call   <_mm_srli_epi32@plt>
  mov    %ebp,%edi
  mov    $0x14,%esi
  mov    %eax,%r12d
  call   <_mm_slli_epi32@plt>
  mov    0x38(%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    %r15d,%esi
  mov    %r13d,%edi
  mov    %r15d,0x44(%rsp)
  mov    %eax,%ebp
  call   <_mm_xor_si128@plt>
  mov    %r14d,%edi
  mov    $0xc,%esi
  mov    %eax,%r12d
  call   <_mm_srli_epi32@plt>
  mov    %r12d,%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    %r12d,%edi
  mov    $0x14,%esi
  mov    %eax,%r14d
  call   <_mm_slli_epi32@plt>
  mov    %r14d,%esi
  mov    %r15d,%edi
  mov    %eax,%r12d
  call   <_mm_xor_si128@plt>
  mov    %r12d,%esi
  mov    %r13d,%edi
  mov    %eax,0x48(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x28(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,%r12d
  call   <_mm_add_epi32@plt>
  mov    0x48(%rsp),%r8d
  mov    0x3c(%rsp),%edi
  mov    %eax,%r13d
  mov    %r8d,%esi
  mov    %r8d,0x4c(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x4(%rbx),%esi
  mov    %r13d,%edi
  mov    %eax,%r14d
  call   <_mm_add_epi32@plt>
  mov    0x30(%rsp),%edi
  mov    %r12d,%esi
  mov    %eax,%r15d
  call   <_mm_add_epi32@plt>
  mov    0x14(%rbx),%esi
  mov    %r14d,%edi
  mov    %eax,%r13d
  call   <_mm_add_epi32@plt>
  mov    0x24(%rbx),%esi
  mov    %r13d,%edi
  mov    %eax,0x28(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x54(%rsp),%edi
  mov    %r15d,%esi
  mov    %r15d,0x3c(%rsp)
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x28(%rsp),%esi
  mov    0x34(%rsp),%edi
  mov    %eax,%r15d
  call   <_mm_xor_si128@plt>
  mov    0x50(%rsp),%edi
  mov    %r14d,%esi
  mov    %r14d,0x48(%rsp)
  mov    %eax,%r13d
  call   <_mm_xor_si128@plt>
  mov    0x10(%rsp),%esi
  mov    %r15d,%edi
  mov    %eax,%r14d
  call   <_mm_shuffle_epi8@plt>
  mov    0x10(%rsp),%esi
  mov    %r13d,%edi
  mov    %eax,%r15d
  call   <_mm_shuffle_epi8@plt>
  mov    0x10(%rsp),%esi
  mov    %r14d,%edi
  mov    %eax,%r13d
  call   <_mm_shuffle_epi8@plt>
  mov    0x40(%rsp),%edi
  mov    %r15d,%esi
  mov    %eax,0x30(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x38(%rsp),%edi
  mov    %r13d,%esi
  mov    %eax,0x34(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x34(%rsp),%esi
  mov    %ebp,%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%esi
  mov    0x44(%rsp),%edi
  mov    %eax,0x38(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x38(%rsp),%edi
  mov    $0x7,%esi
  mov    %eax,%ebp
  call   <_mm_srli_epi32@plt>
  mov    0x38(%rsp),%edi
  mov    $0x19,%esi
  mov    %eax,0x44(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    0x4c(%rsp),%edi
  mov    %r14d,%esi
  mov    %eax,0x40(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x40(%rsp),%esi
  mov    0x44(%rsp),%edi
  mov    %eax,0x38(%rsp)
  call   <_mm_xor_si128@plt>
  mov    %ebp,%esi
  mov    %r12d,%edi
  mov    %eax,0x4c(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x38(%rsp),%edi
  mov    $0x7,%esi
  mov    %eax,%r12d
  call   <_mm_srli_epi32@plt>
  mov    %r12d,%edi
  mov    $0x7,%esi
  mov    %eax,0x44(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    0x38(%rsp),%edi
  mov    $0x19,%esi
  mov    %eax,0x40(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    %r12d,%edi
  mov    $0x19,%esi
  mov    %eax,0x38(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    0x38(%rsp),%esi
  mov    0x44(%rsp),%edi
  mov    %eax,%r12d
  call   <_mm_xor_si128@plt>
  mov    0x40(%rsp),%edi
  mov    %r12d,%esi
  mov    %eax,0x44(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x4c(%rsp),%edi
  mov    $0x39,%esi
  mov    %eax,0x40(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    0x34(%rsp),%edi
  mov    $0x4e,%esi
  mov    %eax,%r12d
  call   <_mm_shuffle_epi32@plt>
  mov    %r15d,%edi
  mov    $0x93,%esi
  mov    %eax,0x4c(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    0x44(%rsp),%edi
  mov    $0x39,%esi
  mov    %eax,0x38(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %r14d,%edi
  mov    $0x4e,%esi
  mov    %eax,0x34(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %r13d,%edi
  mov    $0x93,%esi
  mov    %eax,0x44(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    0x40(%rsp),%edi
  mov    $0x39,%esi
  mov    %eax,%r13d
  call   <_mm_shuffle_epi32@plt>
  mov    %ebp,%edi
  mov    $0x4e,%esi
  mov    %eax,%r15d
  call   <_mm_shuffle_epi32@plt>
  mov    0x30(%rsp),%edi
  mov    $0x93,%esi
  mov    %eax,0x40(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    0x3c(%rsp),%edi
  mov    %r12d,%esi
  mov    %eax,%ebp
  call   <_mm_add_epi32@plt>
  mov    0x34(%rsp),%r9d
  mov    0x28(%rsp),%edi
  mov    %eax,%r14d
  mov    %r9d,%esi
  mov    %r9d,0x3c(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x8(%rbx),%esi
  mov    %r14d,%edi
  mov    %eax,0x30(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x48(%rsp),%edi
  mov    %r15d,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x18(%rbx),%esi
  mov    0x30(%rsp),%edi
  mov    %eax,%r14d
  call   <_mm_add_epi32@plt>
  mov    0x28(%rbx),%esi
  mov    %r14d,%edi
  mov    %eax,0x30(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x28(%rsp),%esi
  mov    0x38(%rsp),%edi
  mov    %eax,0x34(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%esi
  mov    %r13d,%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x34(%rsp),%esi
  mov    %ebp,%edi
  mov    %eax,%r13d
  call   <_mm_xor_si128@plt>
  mov    (%rsp),%esi
  mov    %r14d,%edi
  mov    %eax,%ebp
  call   <_mm_shuffle_epi8@plt>
  mov    (%rsp),%r14d
  mov    %r13d,%edi
  mov    %eax,0x38(%rsp)
  mov    %r14d,%esi
  call   <_mm_shuffle_epi8@plt>
  mov    %r14d,%esi
  mov    %ebp,%edi
  mov    %eax,%r13d
  call   <_mm_shuffle_epi8@plt>
  mov    0x38(%rsp),%r8d
  mov    0x4c(%rsp),%edi
  mov    %eax,%ebp
  mov    %r8d,%esi
  mov    %r8d,0x48(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x44(%rsp),%edi
  mov    %r13d,%esi
  mov    %eax,(%rsp)
  call   <_mm_add_epi32@plt>
  mov    (%rsp),%esi
  mov    %r12d,%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x40(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,%r12d
  call   <_mm_add_epi32@plt>
  mov    %r12d,%edi
  mov    $0xc,%esi
  mov    %eax,0x38(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    %r12d,%edi
  mov    $0x14,%esi
  mov    %eax,0x40(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    0x3c(%rsp),%edi
  mov    %r14d,%esi
  mov    %eax,%r12d
  call   <_mm_xor_si128@plt>
  mov    0x40(%rsp),%edi
  mov    %r12d,%esi
  mov    %eax,0x3c(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x38(%rsp),%esi
  mov    %r15d,%edi
  mov    %eax,%r12d
  call   <_mm_xor_si128@plt>
  mov    0x3c(%rsp),%edi
  mov    $0xc,%esi
  mov    %eax,%r15d
  call   <_mm_srli_epi32@plt>
  mov    %r15d,%edi
  mov    $0xc,%esi
  mov    %eax,0x44(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    0x3c(%rsp),%edi
  mov    $0x14,%esi
  mov    %eax,0x40(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    %r15d,%edi
  mov    $0x14,%esi
  mov    %eax,0x3c(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    0x3c(%rsp),%esi
  mov    0x44(%rsp),%edi
  mov    %eax,%r15d
  call   <_mm_xor_si128@plt>
  mov    0x40(%rsp),%edi
  mov    %r15d,%esi
  mov    %eax,0x3c(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x28(%rsp),%edi
  mov    %r12d,%esi
  mov    %eax,%r15d
  call   <_mm_add_epi32@plt>
  mov    0x3c(%rsp),%r10d
  mov    0x30(%rsp),%edi
  mov    %eax,0x28(%rsp)
  mov    %r10d,%esi
  mov    %r10d,0x44(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0xc(%rbx),%esi
  mov    0x28(%rsp),%edi
  mov    %eax,0x30(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x34(%rsp),%edi
  mov    %r15d,%esi
  mov    %eax,0x28(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x1c(%rbx),%esi
  mov    0x30(%rsp),%edi
  mov    %eax,0x34(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x2c(%rbx),%esi
  mov    0x34(%rsp),%edi
  mov    %eax,0x30(%rsp)
  call   <_mm_add_epi32@plt>
  mov    0x28(%rsp),%esi
  mov    0x48(%rsp),%edi
  mov    %eax,%ebx
  call   <_mm_xor_si128@plt>
  mov    0x30(%rsp),%esi
  mov    %r13d,%edi
  mov    %eax,0x3c(%rsp)
  call   <_mm_xor_si128@plt>
  mov    %ebx,%esi
  mov    %ebp,%edi
  mov    %ebx,0x34(%rsp)
  mov    %eax,%r13d
  call   <_mm_xor_si128@plt>
  mov    0x10(%rsp),%ebx
  mov    0x3c(%rsp),%edi
  mov    %eax,%ebp
  mov    %ebx,%esi
  call   <_mm_shuffle_epi8@plt>
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    %eax,0x10(%rsp)
  call   <_mm_shuffle_epi8@plt>
  mov    %ebx,%esi
  mov    %ebp,%edi
  mov    %eax,%r13d
  call   <_mm_shuffle_epi8@plt>
  mov    0x10(%rsp),%r8d
  mov    (%rsp),%edi
  mov    %eax,%ebp
  mov    %r8d,%esi
  mov    %r8d,0x40(%rsp)
  call   <_mm_add_epi32@plt>
  mov    %r13d,%esi
  mov    %r14d,%edi
  mov    %eax,%ebx
  call   <_mm_add_epi32@plt>
  mov    %ebx,%esi
  mov    %r12d,%edi
  mov    %eax,%r14d
  call   <_mm_xor_si128@plt>
  mov    0x38(%rsp),%edi
  mov    %ebp,%esi
  mov    %eax,(%rsp)
  call   <_mm_add_epi32@plt>
  mov    (%rsp),%edi
  mov    $0x7,%esi
  mov    %eax,%r12d
  call   <_mm_srli_epi32@plt>
  mov    (%rsp),%edi
  mov    $0x19,%esi
  mov    %eax,0x38(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    0x44(%rsp),%edi
  mov    %r14d,%esi
  mov    %eax,0x10(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x10(%rsp),%esi
  mov    0x38(%rsp),%edi
  mov    %eax,(%rsp)
  call   <_mm_xor_si128@plt>
  mov    %r12d,%esi
  mov    %r15d,%edi
  mov    %eax,0x3c(%rsp)
  call   <_mm_xor_si128@plt>
  mov    (%rsp),%edi
  mov    $0x7,%esi
  mov    %eax,%r15d
  call   <_mm_srli_epi32@plt>
  mov    %r15d,%edi
  mov    $0x7,%esi
  mov    %eax,0x38(%rsp)
  call   <_mm_srli_epi32@plt>
  mov    (%rsp),%edi
  mov    $0x19,%esi
  mov    %eax,0x10(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    %r15d,%edi
  mov    $0x19,%esi
  mov    %eax,(%rsp)
  call   <_mm_slli_epi32@plt>
  mov    (%rsp),%esi
  mov    0x38(%rsp),%edi
  mov    %eax,%r15d
  call   <_mm_xor_si128@plt>
  mov    0x10(%rsp),%edi
  mov    %r15d,%esi
  mov    %eax,(%rsp)
  call   <_mm_xor_si128@plt>
  mov    0x3c(%rsp),%edi
  mov    $0x93,%esi
  mov    %eax,0x38(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %ebx,%edi
  mov    $0x4e,%esi
  mov    %eax,%r15d
  call   <_mm_shuffle_epi32@plt>
  mov    0x40(%rsp),%edi
  mov    $0x39,%esi
  mov    %eax,%ebx
  call   <_mm_shuffle_epi32@plt>
  movd   0x28(%rsp),%xmm1
  movd   %r15d,%xmm4
  mov    (%rsp),%edi
  movd   %eax,%xmm3
  movd   %ebx,%xmm0
  mov    $0x93,%esi
  punpckldq %xmm3,%xmm0
  punpckldq %xmm4,%xmm1
  punpcklqdq %xmm0,%xmm1
  movaps %xmm1,0x10(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %r14d,%edi
  mov    $0x4e,%esi
  mov    %eax,%r15d
  call   <_mm_shuffle_epi32@plt>
  mov    %r13d,%edi
  mov    $0x39,%esi
  mov    %eax,%ebx
  call   <_mm_shuffle_epi32@plt>
  movd   0x30(%rsp),%xmm0
  movd   %r15d,%xmm6
  movd   %ebx,%xmm2
  movd   %eax,%xmm5
  mov    0x38(%rsp),%edi
  mov    $0x93,%esi
  punpckldq %xmm5,%xmm2
  punpckldq %xmm6,%xmm0
  punpcklqdq %xmm2,%xmm0
  movaps %xmm0,(%rsp)
  call   <_mm_shuffle_epi32@plt>
  mov    %r12d,%edi
  mov    $0x4e,%esi
  mov    %eax,%ebx
  call   <_mm_shuffle_epi32@plt>
  mov    %ebp,%edi
  mov    $0x39,%esi
  mov    %eax,%r12d
  call   <_mm_shuffle_epi32@plt>
  mov    0x58(%rsp),%r11
  movdqa (%rsp),%xmm0
  movd   %ebx,%xmm3
  movdqa 0x10(%rsp),%xmm1
  movd   %eax,%xmm7
  movups %xmm0,0x10(%r11)
  movd   0x34(%rsp),%xmm0
  movups %xmm1,(%r11)
  movd   %r12d,%xmm1
  punpckldq %xmm7,%xmm1
  punpckldq %xmm3,%xmm0
  punpcklqdq %xmm1,%xmm0
  movups %xmm0,0x20(%r11)
  add    $0x68,%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;
}
```