user: What is the c source code of the assembly code below?

```asm
<blake2_round_sidm_X3>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %rdi,%r15
  mov    %rsi,%r12
  push   $0xd
  push   $0xc
  push   $0xf
  push   $0xe
  push   $0x9
  push   $0x8
  push   $0xb
  push   $0xa
  push   $0x5
  push   $0x4
  mov    $0x7,%r9d
  mov    $0x6,%r8d
  mov    $0x1,%ecx
  mov    $0x0,%edx
  mov    $0x3,%esi
  mov    $0x2,%edi
  call   <_mm_setr_epi8@plt>
  mov    %eax,0x50(%rsp)
  add    $0x50,%rsp
  push   $0xc
  push   $0xf
  push   $0xe
  push   $0xd
  push   $0x8
  push   $0xb
  push   $0xa
  push   $0x9
  push   $0x4
  push   $0x7
  mov    $0x6,%r9d
  mov    $0x5,%r8d
  mov    $0x0,%ecx
  mov    $0x3,%edx
  mov    $0x2,%esi
  mov    $0x1,%edi
  call   <_mm_setr_epi8@plt>
  mov    %eax,0x54(%rsp)
  mov    (%r15),%edi
  mov    0x4(%r15),%edx
  mov    0x8(%r15),%ecx
  mov    %ecx,0x74(%rsp)
  mov    0xc(%r15),%r13d
  mov    0x10(%r15),%ebx
  mov    0x14(%r15),%ecx
  mov    %ecx,0x58(%rsp)
  mov    0x18(%r15),%esi
  mov    %esi,0x78(%rsp)
  mov    0x1c(%r15),%r10d
  mov    %r10d,0x68(%rsp)
  mov    0x20(%r15),%ebp
  mov    0x24(%r15),%r14d
  mov    0x28(%r15),%r11d
  mov    %r11d,0x7c(%rsp)
  mov    0x2c(%r15),%r8d
  mov    %r8d,0x6c(%rsp)
  add    $0x50,%rsp
  mov    %edx,0x20(%rsp)
  mov    %edx,%esi
  call   <_mm_add_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    0x8(%rsp),%esi
  mov    %ebx,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebx
  mov    (%r12),%esi
  mov    0xc(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    %r14d,%esi
  mov    %ebp,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    0x10(%r12),%esi
  mov    %ebx,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x10(%rsp)
  mov    0x20(%r12),%esi
  mov    %ebp,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x14(%rsp)
  mov    0xc(%rsp),%esi
  mov    %r13d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    0x10(%rsp),%esi
  mov    0x18(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    0x14(%rsp),%esi
  mov    0x1c(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r13d
  mov    (%rsp),%esi
  mov    %ebx,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x18(%rsp)
  mov    (%rsp),%ebx
  mov    %ebx,%esi
  mov    %ebp,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x1c(%rsp)
  mov    %ebx,(%rsp)
  mov    %ebx,%esi
  mov    %r13d,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,%ebp
  mov    0x18(%rsp),%esi
  mov    0x24(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebx
  mov    0x1c(%rsp),%esi
  mov    0x28(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r13d
  mov    %ebx,0x30(%rsp)
  mov    %ebx,%esi
  mov    0x20(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    %ebp,0x28(%rsp)
  mov    %ebp,%esi
  mov    0x2c(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x20(%rsp)
  mov    $0xc,%esi
  mov    %ebx,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebp
  mov    $0x14,%esi
  mov    %ebx,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%ebx
  mov    %r13d,0x2c(%rsp)
  mov    %r13d,%esi
  mov    0x8(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r13d
  mov    %ebx,%esi
  mov    %ebp,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x8(%rsp)
  mov    0x20(%rsp),%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    $0xc,%esi
  mov    %r13d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r14d
  mov    $0xc,%esi
  mov    %ebx,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebp
  mov    $0x14,%esi
  mov    %r13d,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%r13d
  mov    $0x14,%esi
  mov    %ebx,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%ebx
  mov    %r13d,%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r14d
  mov    %ebx,%esi
  mov    %ebp,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x24(%rsp)
  mov    0x8(%rsp),%esi
  mov    0xc(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebx
  mov    %r14d,%esi
  mov    0x10(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    0x4(%r12),%esi
  mov    %ebx,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r13d
  mov    0x24(%rsp),%esi
  mov    0x14(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebx
  mov    0x14(%r12),%esi
  mov    %ebp,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    0x24(%r12),%esi
  mov    %ebx,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebx
  mov    %r13d,0x34(%rsp)
  mov    %r13d,%esi
  mov    0x18(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r13d
  mov    %ebp,0x18(%rsp)
  mov    %ebp,%esi
  mov    0x1c(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    %ebx,0x1c(%rsp)
  mov    %ebx,%esi
  mov    0x28(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    0x4(%rsp),%esi
  mov    %r13d,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0xc(%rsp)
  mov    0x4(%rsp),%r13d
  mov    %r13d,%esi
  mov    %ebp,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x10(%rsp)
  mov    %r13d,0x4(%rsp)
  mov    %r13d,%esi
  mov    %ebx,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,%ebx
  mov    0xc(%rsp),%esi
  mov    0x30(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    0x10(%rsp),%esi
  mov    0x2c(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x14(%rsp)
  mov    %ebp,0x2c(%rsp)
  mov    %ebp,%esi
  mov    0x8(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    %ebx,0x28(%rsp)
  mov    %ebx,%esi
  mov    0x20(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x8(%rsp)
  mov    $0x7,%esi
  mov    %ebp,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebx
  mov    $0x19,%esi
  mov    %ebp,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%r13d
  mov    0x14(%rsp),%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    %r13d,%esi
  mov    %ebx,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x20(%rsp)
  mov    0x8(%rsp),%esi
  mov    0x24(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    $0x7,%esi
  mov    %ebp,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r14d
  mov    $0x7,%esi
  mov    %ebx,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r13d
  mov    $0x19,%esi
  mov    %ebp,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%ebp
  mov    $0x19,%esi
  mov    %ebx,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%ebx
  mov    %ebp,%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    %ebx,%esi
  mov    %r13d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    $0x39,%esi
  mov    0x20(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r13d
  mov    $0x4e,%esi
  mov    0x2c(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0x24(%rsp)
  mov    $0x93,%esi
  mov    0xc(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0x2c(%rsp)
  mov    $0x39,%esi
  mov    %ebp,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r14d
  mov    $0x4e,%esi
  mov    0x14(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0x30(%rsp)
  mov    $0x93,%esi
  mov    0x10(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0x38(%rsp)
  mov    $0x39,%esi
  mov    %ebx,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    $0x4e,%esi
  mov    0x8(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0x3c(%rsp)
  mov    $0x93,%esi
  mov    0x28(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%ebx
  mov    %r13d,0x20(%rsp)
  mov    %r13d,%esi
  mov    0x34(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    %r14d,%esi
  mov    0x18(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r13d
  mov    0x8(%r12),%esi
  mov    %ebp,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x8(%rsp)
  mov    0xc(%rsp),%esi
  mov    0x1c(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    0x18(%r12),%esi
  mov    %r13d,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x10(%rsp)
  mov    0x28(%r12),%esi
  mov    %ebp,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x14(%rsp)
  mov    0x8(%rsp),%esi
  mov    0x2c(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r13d
  mov    0x10(%rsp),%esi
  mov    0x38(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    0x14(%rsp),%esi
  mov    %ebx,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    (%rsp),%esi
  mov    %r13d,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x18(%rsp)
  mov    (%rsp),%r13d
  mov    %r13d,%esi
  mov    %ebp,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,(%rsp)
  mov    %r13d,%esi
  mov    %ebx,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,%ebx
  mov    0x18(%rsp),%esi
  mov    0x24(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    (%rsp),%esi
  mov    0x30(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x1c(%rsp)
  mov    %ebp,0x28(%rsp)
  mov    %ebp,%esi
  mov    0x20(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    %ebx,0x24(%rsp)
  mov    %ebx,%esi
  mov    0x3c(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%r13d
  mov    $0xc,%esi
  mov    %ebp,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebx
  mov    $0x14,%esi
  mov    %ebp,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%ebp
  mov    0x1c(%rsp),%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r14d
  mov    %ebp,%esi
  mov    %ebx,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x20(%rsp)
  mov    %r13d,0x2c(%rsp)
  mov    %r13d,%esi
  mov    0xc(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    $0xc,%esi
  mov    %r14d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r13d
  mov    $0xc,%esi
  mov    %ebp,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebx
  mov    $0x14,%esi
  mov    %r14d,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%r14d
  mov    $0x14,%esi
  mov    %ebp,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%ebp
  mov    %r14d,%esi
  mov    %r13d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r13d
  mov    %ebp,%esi
  mov    %ebx,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r14d
  mov    0x20(%rsp),%esi
  mov    0x8(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebx
  mov    %r13d,%esi
  mov    0x10(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    0xc(%r12),%esi
  mov    %ebx,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x8(%rsp)
  mov    %r14d,%esi
  mov    0x14(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebx
  mov    0x1c(%r12),%esi
  mov    %ebp,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    0x2c(%r12),%esi
  mov    %ebx,%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebx
  mov    0x8(%rsp),%esi
  mov    0x18(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r12d
  mov    %ebp,0x14(%rsp)
  mov    %ebp,%esi
  mov    (%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebp
  mov    %ebx,0x18(%rsp)
  mov    %ebx,%esi
  mov    0x24(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    0x4(%rsp),%esi
  mov    %r12d,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,(%rsp)
  mov    0x4(%rsp),%r12d
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x4(%rsp)
  mov    %r12d,%esi
  mov    %ebx,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,%ebx
  mov    (%rsp),%esi
  mov    0x28(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,%ebp
  mov    0x4(%rsp),%esi
  mov    0x1c(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0xc(%rsp)
  mov    %ebp,%esi
  mov    0x20(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r12d
  mov    %ebx,0x1c(%rsp)
  mov    %ebx,%esi
  mov    0x2c(%rsp),%edi
  call   <_mm_add_epi32@plt>
  mov    %eax,0x10(%rsp)
  mov    $0x7,%esi
  mov    %r12d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%ebx
  mov    $0x19,%esi
  mov    %r12d,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,0x20(%rsp)
  mov    0xc(%rsp),%esi
  mov    %r13d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%r12d
  mov    0x20(%rsp),%esi
  mov    %ebx,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x20(%rsp)
  mov    0x10(%rsp),%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    $0x7,%esi
  mov    %r12d,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,0x24(%rsp)
  mov    $0x7,%esi
  mov    %ebx,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,%r14d
  mov    $0x19,%esi
  mov    %r12d,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%r13d
  mov    $0x19,%esi
  mov    %ebx,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,%r12d
  mov    %r13d,%esi
  mov    0x24(%rsp),%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,%ebx
  mov    %r12d,%esi
  mov    %r14d,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x24(%rsp)
  mov    $0x93,%esi
  mov    0x20(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0x20(%rsp)
  mov    $0x4e,%esi
  mov    %ebp,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r14d
  mov    $0x39,%esi
  mov    (%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r13d
  mov    $0x93,%esi
  mov    %ebx,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%r12d
  mov    $0x4e,%esi
  mov    0xc(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%ebp
  mov    $0x39,%esi
  mov    0x4(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,%ebx
  mov    $0x93,%esi
  mov    0x24(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,(%rsp)
  mov    $0x4e,%esi
  mov    0x10(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,0x4(%rsp)
  mov    $0x39,%esi
  mov    0x1c(%rsp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    0x8(%rsp),%ecx
  mov    %ecx,(%r15)
  mov    0x20(%rsp),%edx
  mov    %edx,0x4(%r15)
  mov    %r14d,0x8(%r15)
  mov    %r13d,0xc(%r15)
  mov    0x14(%rsp),%edx
  mov    %edx,0x10(%r15)
  mov    %r12d,0x14(%r15)
  mov    %ebp,0x18(%r15)
  mov    %ebx,0x1c(%r15)
  mov    0x18(%rsp),%ebx
  mov    %ebx,0x20(%r15)
  mov    (%rsp),%ecx
  mov    %ecx,0x24(%r15)
  mov    0x4(%rsp),%edx
  mov    %edx,0x28(%r15)
  mov    %eax,0x2c(%r15)
  add    $0x48,%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;
}
```