user: Please show me the C implementation that matches the assembly code listed below:

```asm
<reduce8>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xc0,%rsp
  mov    %edi,-0xa4(%rbp)
  mov    %esi,-0xa8(%rbp)
  mov    %edx,-0xac(%rbp)
  mov    %ecx,-0xb0(%rbp)
  mov    %r8d,-0xb4(%rbp)
  mov    %r9d,-0xb8(%rbp)
  push   $0xf
  push   $0xe
  push   $0xd
  push   $0xc
  push   $0xb
  push   $0xa
  push   $0x9
  push   $0x8
  push   $0x7
  push   $0x6
  mov    $0x5,%r9d
  mov    $0x4,%r8d
  mov    $0x3,%ecx
  mov    $0x2,%edx
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <_mm_set_epi8@plt>
  add    $0x50,%rsp
  mov    %eax,-0x94(%rbp)
  mov    -0x94(%rbp),%edx
  mov    0x20(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x20(%rbp)
  mov    -0x94(%rbp),%edx
  mov    0x28(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x28(%rbp)
  mov    -0x94(%rbp),%edx
  mov    0x30(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x30(%rbp)
  mov    -0x94(%rbp),%edx
  mov    0x38(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x38(%rbp)
  mov    -0x94(%rbp),%edx
  mov    0x40(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x40(%rbp)
  mov    -0x94(%rbp),%edx
  mov    0x48(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x48(%rbp)
  mov    -0x94(%rbp),%edx
  mov    0x50(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x50(%rbp)
  mov    -0x94(%rbp),%edx
  mov    0x58(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi8@plt>
  mov    %eax,0x58(%rbp)
  mov    0x60(%rbp),%edx
  mov    0x58(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,0x58(%rbp)
  mov    0x20(%rbp),%ecx
  mov    -0xa4(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x90(%rbp)
  mov    0x28(%rbp),%ecx
  mov    -0xa8(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x8c(%rbp)
  mov    0x30(%rbp),%ecx
  mov    -0xac(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x88(%rbp)
  mov    0x38(%rbp),%ecx
  mov    -0xb0(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x84(%rbp)
  mov    0x40(%rbp),%ecx
  mov    -0xb4(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x80(%rbp)
  mov    0x48(%rbp),%ecx
  mov    -0xb8(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x7c(%rbp)
  mov    0x50(%rbp),%eax
  mov    $0x0,%edx
  mov    %eax,%esi
  mov    0x10(%rbp),%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x78(%rbp)
  mov    0x58(%rbp),%ecx
  mov    0x18(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x8c(%rbp),%edx
  mov    -0x90(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0x88(%rbp),%edx
  mov    -0x70(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0x84(%rbp),%edx
  mov    -0x70(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0x80(%rbp),%edx
  mov    -0x70(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0x7c(%rbp),%edx
  mov    -0x70(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0x78(%rbp),%edx
  mov    -0x70(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0x74(%rbp),%edx
  mov    -0x70(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x70(%rbp)
  mov    0x20(%rbp),%ecx
  mov    -0xa4(%rbp),%eax
  mov    $0x11,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x6c(%rbp)
  mov    0x28(%rbp),%ecx
  mov    -0xa8(%rbp),%eax
  mov    $0x11,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x68(%rbp)
  mov    0x30(%rbp),%ecx
  mov    -0xac(%rbp),%eax
  mov    $0x11,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x64(%rbp)
  mov    0x38(%rbp),%ecx
  mov    -0xb0(%rbp),%eax
  mov    $0x11,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x60(%rbp)
  mov    0x40(%rbp),%ecx
  mov    -0xb4(%rbp),%eax
  mov    $0x11,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x5c(%rbp)
  mov    0x48(%rbp),%ecx
  mov    -0xb8(%rbp),%eax
  mov    $0x11,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x58(%rbp)
  mov    0x50(%rbp),%eax
  mov    $0x11,%edx
  mov    %eax,%esi
  mov    0x10(%rbp),%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x54(%rbp)
  mov    0x58(%rbp),%ecx
  mov    0x18(%rbp),%eax
  mov    $0x11,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x50(%rbp)
  mov    -0x68(%rbp),%edx
  mov    -0x6c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x4c(%rbp)
  mov    -0x64(%rbp),%edx
  mov    -0x4c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x4c(%rbp)
  mov    -0x60(%rbp),%edx
  mov    -0x4c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x4c(%rbp)
  mov    -0x5c(%rbp),%edx
  mov    -0x4c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x4c(%rbp)
  mov    -0x58(%rbp),%edx
  mov    -0x4c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x4c(%rbp)
  mov    -0x54(%rbp),%edx
  mov    -0x4c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x4c(%rbp)
  mov    -0x50(%rbp),%edx
  mov    -0x4c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x4c(%rbp)
  mov    -0xa4(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x48(%rbp)
  mov    0x20(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x44(%rbp)
  mov    -0xa4(%rbp),%edx
  mov    -0x48(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    0x20(%rbp),%edx
  mov    -0x44(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x44(%rbp)
  mov    -0x44(%rbp),%ecx
  mov    -0x48(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0xa8(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x40(%rbp)
  mov    0x28(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x3c(%rbp)
  mov    -0xa8(%rbp),%edx
  mov    -0x40(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x40(%rbp)
  mov    0x28(%rbp),%edx
  mov    -0x3c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%ecx
  mov    -0x40(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x40(%rbp)
  mov    -0xac(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x38(%rbp)
  mov    0x30(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x34(%rbp)
  mov    -0xac(%rbp),%edx
  mov    -0x38(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x38(%rbp)
  mov    0x30(%rbp),%edx
  mov    -0x34(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x34(%rbp)
  mov    -0x34(%rbp),%ecx
  mov    -0x38(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x38(%rbp)
  mov    -0xb0(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x30(%rbp)
  mov    0x38(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0xb0(%rbp),%edx
  mov    -0x30(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x30(%rbp)
  mov    0x38(%rbp),%edx
  mov    -0x2c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%ecx
  mov    -0x30(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x30(%rbp)
  mov    -0xb4(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x28(%rbp)
  mov    0x40(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x24(%rbp)
  mov    -0xb4(%rbp),%edx
  mov    -0x28(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x28(%rbp)
  mov    0x40(%rbp),%edx
  mov    -0x24(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%ecx
  mov    -0x28(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x28(%rbp)
  mov    -0xb8(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x20(%rbp)
  mov    0x48(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x1c(%rbp)
  mov    -0xb8(%rbp),%edx
  mov    -0x20(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x20(%rbp)
  mov    0x48(%rbp),%edx
  mov    -0x1c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%ecx
  mov    -0x20(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x20(%rbp)
  mov    $0x4e,%esi
  mov    0x10(%rbp),%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x18(%rbp)
  mov    0x50(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x14(%rbp)
  mov    -0x18(%rbp),%eax
  mov    0x10(%rbp),%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x18(%rbp)
  mov    0x50(%rbp),%edx
  mov    -0x14(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%ecx
  mov    -0x18(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x18(%rbp)
  mov    0x18(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0x10(%rbp)
  mov    0x58(%rbp),%eax
  mov    $0x4e,%esi
  mov    %eax,%edi
  call   <_mm_shuffle_epi32@plt>
  mov    %eax,-0xc(%rbp)
  mov    0x18(%rbp),%edx
  mov    -0x10(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x10(%rbp)
  mov    0x58(%rbp),%edx
  mov    -0xc(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0xc(%rbp)
  mov    -0xc(%rbp),%ecx
  mov    -0x10(%rbp),%eax
  mov    $0x0,%edx
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <_mm_clmulepi64_si128@plt>
  mov    %eax,-0x10(%rbp)
  mov    -0x70(%rbp),%edx
  mov    -0x48(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x4c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%edx
  mov    -0x40(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%edx
  mov    -0x38(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%edx
  mov    -0x30(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%edx
  mov    -0x28(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%edx
  mov    -0x20(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%edx
  mov    -0x18(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%edx
  mov    -0x10(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x48(%rbp),%eax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_mm_slli_si128@plt>
  mov    %eax,-0x44(%rbp)
  mov    -0x48(%rbp),%eax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_mm_srli_si128@plt>
  mov    %eax,-0x48(%rbp)
  mov    -0x70(%rbp),%edx
  mov    -0x44(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0x4c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x4c(%rbp)
  mov    -0x70(%rbp),%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x4c(%rbp),%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x30(%rbp),%eax
  mov    $0x1f,%esi
  mov    %eax,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0x34(%rbp),%eax
  mov    $0x1f,%esi
  mov    %eax,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,-0x8(%rbp)
  mov    -0x30(%rbp),%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,-0x30(%rbp)
  mov    -0x34(%rbp),%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,-0x34(%rbp)
  mov    -0x2c(%rbp),%eax
  mov    $0xc,%esi
  mov    %eax,%edi
  call   <_mm_srli_si128@plt>
  mov    %eax,-0x4(%rbp)
  mov    -0x8(%rbp),%eax
  mov    $0x4,%esi
  mov    %eax,%edi
  call   <_mm_slli_si128@plt>
  mov    %eax,-0x8(%rbp)
  mov    -0x2c(%rbp),%eax
  mov    $0x4,%esi
  mov    %eax,%edi
  call   <_mm_slli_si128@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%edx
  mov    -0x30(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_or_si128@plt>
  mov    %eax,-0x30(%rbp)
  mov    -0x8(%rbp),%edx
  mov    -0x34(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_or_si128@plt>
  mov    %eax,-0x34(%rbp)
  mov    -0x4(%rbp),%edx
  mov    -0x34(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_or_si128@plt>
  mov    %eax,-0x34(%rbp)
  mov    -0x30(%rbp),%eax
  mov    $0x1f,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0x30(%rbp),%eax
  mov    $0x1e,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,-0x8(%rbp)
  mov    -0x30(%rbp),%eax
  mov    $0x19,%esi
  mov    %eax,%edi
  call   <_mm_slli_epi32@plt>
  mov    %eax,-0x4(%rbp)
  mov    -0x8(%rbp),%edx
  mov    -0x2c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0x4(%rbp),%edx
  mov    -0x2c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%eax
  mov    $0x4,%esi
  mov    %eax,%edi
  call   <_mm_srli_si128@plt>
  mov    %eax,-0x8(%rbp)
  mov    -0x2c(%rbp),%eax
  mov    $0xc,%esi
  mov    %eax,%edi
  call   <_mm_slli_si128@plt>
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%edx
  mov    -0x30(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x30(%rbp)
  mov    -0x30(%rbp),%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,-0x38(%rbp)
  mov    -0x30(%rbp),%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,-0x44(%rbp)
  mov    -0x30(%rbp),%eax
  mov    $0x7,%esi
  mov    %eax,%edi
  call   <_mm_srli_epi32@plt>
  mov    %eax,-0x3c(%rbp)
  mov    -0x44(%rbp),%edx
  mov    -0x38(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%edx
  mov    -0x38(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x38(%rbp)
  mov    -0x8(%rbp),%edx
  mov    -0x38(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x38(%rbp)
  mov    -0x38(%rbp),%edx
  mov    -0x30(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x30(%rbp)
  mov    -0x30(%rbp),%edx
  mov    -0x34(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%edi
  call   <_mm_xor_si128@plt>
  mov    %eax,-0x34(%rbp)
  mov    -0x34(%rbp),%eax
  leave
  ret
```

assistant: ```c
__m128i reduce8(__m128i H0, __m128i H1, __m128i H2, __m128i H3, __m128i H4, __m128i H5, __m128i H6, __m128i H7, __m128i X0, __m128i X1, __m128i X2, __m128i X3, __m128i X4, __m128i X5, __m128i X6, __m128i X7, __m128i acc) {
  __m128i H0_X0_lo, H0_X0_hi, tmp0, tmp0B;
  __m128i H1_X1_lo, H1_X1_hi, tmp1, tmp1B;
  __m128i H2_X2_lo, H2_X2_hi, tmp2, tmp2B;
  __m128i H3_X3_lo, H3_X3_hi, tmp3, tmp3B;
  __m128i H4_X4_lo, H4_X4_hi, tmp4, tmp4B;
  __m128i H5_X5_lo, H5_X5_hi, tmp5, tmp5B;
  __m128i H6_X6_lo, H6_X6_hi, tmp6, tmp6B;
  __m128i H7_X7_lo, H7_X7_hi, tmp7, tmp7B;
  __m128i lo, tmplo, hi, tmphi;
  __m128i tmp8, tmp9;
  const __m128i rev = _mm_set_epi8(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15);
  X0 = _mm_shuffle_epi8(X0, rev);
  X1 = _mm_shuffle_epi8(X1, rev);
  X2 = _mm_shuffle_epi8(X2, rev);
  X3 = _mm_shuffle_epi8(X3, rev);
  X4 = _mm_shuffle_epi8(X4, rev);
  X5 = _mm_shuffle_epi8(X5, rev);
  X6 = _mm_shuffle_epi8(X6, rev);
  X7 = _mm_shuffle_epi8(X7, rev);
  X7 = _mm_xor_si128(X7, acc);
  H0_X0_lo = _mm_clmulepi64_si128(H0, X0, 0x00);
  H1_X1_lo = _mm_clmulepi64_si128(H1, X1, 0x00);
  H2_X2_lo = _mm_clmulepi64_si128(H2, X2, 0x00);
  H3_X3_lo = _mm_clmulepi64_si128(H3, X3, 0x00);
  H4_X4_lo = _mm_clmulepi64_si128(H4, X4, 0x00);
  H5_X5_lo = _mm_clmulepi64_si128(H5, X5, 0x00);
  H6_X6_lo = _mm_clmulepi64_si128(H6, X6, 0x00);
  H7_X7_lo = _mm_clmulepi64_si128(H7, X7, 0x00);
  lo = _mm_xor_si128(H0_X0_lo, H1_X1_lo);
  lo = _mm_xor_si128(lo, H2_X2_lo);
  lo = _mm_xor_si128(lo, H3_X3_lo);
  lo = _mm_xor_si128(lo, H4_X4_lo);
  lo = _mm_xor_si128(lo, H5_X5_lo);
  lo = _mm_xor_si128(lo, H6_X6_lo);
  lo = _mm_xor_si128(lo, H7_X7_lo);
  H0_X0_hi = _mm_clmulepi64_si128(H0, X0, 0x11);
  H1_X1_hi = _mm_clmulepi64_si128(H1, X1, 0x11);
  H2_X2_hi = _mm_clmulepi64_si128(H2, X2, 0x11);
  H3_X3_hi = _mm_clmulepi64_si128(H3, X3, 0x11);
  H4_X4_hi = _mm_clmulepi64_si128(H4, X4, 0x11);
  H5_X5_hi = _mm_clmulepi64_si128(H5, X5, 0x11);
  H6_X6_hi = _mm_clmulepi64_si128(H6, X6, 0x11);
  H7_X7_hi = _mm_clmulepi64_si128(H7, X7, 0x11);
  hi = _mm_xor_si128(H0_X0_hi, H1_X1_hi);
  hi = _mm_xor_si128(hi, H2_X2_hi);
  hi = _mm_xor_si128(hi, H3_X3_hi);
  hi = _mm_xor_si128(hi, H4_X4_hi);
  hi = _mm_xor_si128(hi, H5_X5_hi);
  hi = _mm_xor_si128(hi, H6_X6_hi);
  hi = _mm_xor_si128(hi, H7_X7_hi);
  tmp0 = _mm_shuffle_epi32(H0, 0x4e);
  tmp0B = _mm_shuffle_epi32(X0, 0x4e);
  tmp0 = _mm_xor_si128(tmp0, H0);
  tmp0B = _mm_xor_si128(tmp0B, X0);
  tmp0 = _mm_clmulepi64_si128(tmp0, tmp0B, 0x00);
  tmp1 = _mm_shuffle_epi32(H1, 0x4e);
  tmp1B = _mm_shuffle_epi32(X1, 0x4e);
  tmp1 = _mm_xor_si128(tmp1, H1);
  tmp1B = _mm_xor_si128(tmp1B, X1);
  tmp1 = _mm_clmulepi64_si128(tmp1, tmp1B, 0x00);
  tmp2 = _mm_shuffle_epi32(H2, 0x4e);
  tmp2B = _mm_shuffle_epi32(X2, 0x4e);
  tmp2 = _mm_xor_si128(tmp2, H2);
  tmp2B = _mm_xor_si128(tmp2B, X2);
  tmp2 = _mm_clmulepi64_si128(tmp2, tmp2B, 0x00);
  tmp3 = _mm_shuffle_epi32(H3, 0x4e);
  tmp3B = _mm_shuffle_epi32(X3, 0x4e);
  tmp3 = _mm_xor_si128(tmp3, H3);
  tmp3B = _mm_xor_si128(tmp3B, X3);
  tmp3 = _mm_clmulepi64_si128(tmp3, tmp3B, 0x00);
  tmp4 = _mm_shuffle_epi32(H4, 0x4e);
  tmp4B = _mm_shuffle_epi32(X4, 0x4e);
  tmp4 = _mm_xor_si128(tmp4, H4);
  tmp4B = _mm_xor_si128(tmp4B, X4);
  tmp4 = _mm_clmulepi64_si128(tmp4, tmp4B, 0x00);
  tmp5 = _mm_shuffle_epi32(H5, 0x4e);
  tmp5B = _mm_shuffle_epi32(X5, 0x4e);
  tmp5 = _mm_xor_si128(tmp5, H5);
  tmp5B = _mm_xor_si128(tmp5B, X5);
  tmp5 = _mm_clmulepi64_si128(tmp5, tmp5B, 0x00);
  tmp6 = _mm_shuffle_epi32(H6, 0x4e);
  tmp6B = _mm_shuffle_epi32(X6, 0x4e);
  tmp6 = _mm_xor_si128(tmp6, H6);
  tmp6B = _mm_xor_si128(tmp6B, X6);
  tmp6 = _mm_clmulepi64_si128(tmp6, tmp6B, 0x00);
  tmp7 = _mm_shuffle_epi32(H7, 0x4e);
  tmp7B = _mm_shuffle_epi32(X7, 0x4e);
  tmp7 = _mm_xor_si128(tmp7, H7);
  tmp7B = _mm_xor_si128(tmp7B, X7);
  tmp7 = _mm_clmulepi64_si128(tmp7, tmp7B, 0x00);
  tmp0 = _mm_xor_si128(tmp0, lo);
  tmp0 = _mm_xor_si128(tmp0, hi);
  tmp0 = _mm_xor_si128(tmp1, tmp0);
  tmp0 = _mm_xor_si128(tmp2, tmp0);
  tmp0 = _mm_xor_si128(tmp3, tmp0);
  tmp0 = _mm_xor_si128(tmp4, tmp0);
  tmp0 = _mm_xor_si128(tmp5, tmp0);
  tmp0 = _mm_xor_si128(tmp6, tmp0);
  tmp0 = _mm_xor_si128(tmp7, tmp0);
  tmp0B = _mm_slli_si128(tmp0, 8);
  tmp0 = _mm_srli_si128(tmp0, 8);
  lo = _mm_xor_si128(tmp0B, lo);
  hi = _mm_xor_si128(tmp0, hi);
  tmp3 = lo;
  tmp2B = hi;
  tmp3B = _mm_srli_epi32(tmp3, 31);
  tmp8 = _mm_srli_epi32(tmp2B, 31);
  tmp3 = _mm_slli_epi32(tmp3, 1);
  tmp2B = _mm_slli_epi32(tmp2B, 1);
  tmp9 = _mm_srli_si128(tmp3B, 12);
  tmp8 = _mm_slli_si128(tmp8, 4);
  tmp3B = _mm_slli_si128(tmp3B, 4);
  tmp3 = _mm_or_si128(tmp3, tmp3B);
  tmp2B = _mm_or_si128(tmp2B, tmp8);
  tmp2B = _mm_or_si128(tmp2B, tmp9);
  tmp3B = _mm_slli_epi32(tmp3, 31);
  tmp8 = _mm_slli_epi32(tmp3, 30);
  tmp9 = _mm_slli_epi32(tmp3, 25);
  tmp3B = _mm_xor_si128(tmp3B, tmp8);
  tmp3B = _mm_xor_si128(tmp3B, tmp9);
  tmp8 = _mm_srli_si128(tmp3B, 4);
  tmp3B = _mm_slli_si128(tmp3B, 12);
  tmp3 = _mm_xor_si128(tmp3, tmp3B);
  tmp2 = _mm_srli_epi32(tmp3, 1);
  tmp0B = _mm_srli_epi32(tmp3, 2);
  tmp1B = _mm_srli_epi32(tmp3, 7);
  tmp2 = _mm_xor_si128(tmp2, tmp0B);
  tmp2 = _mm_xor_si128(tmp2, tmp1B);
  tmp2 = _mm_xor_si128(tmp2, tmp8);
  tmp3 = _mm_xor_si128(tmp3, tmp2);
  tmp2B = _mm_xor_si128(tmp2B, tmp3);
  return tmp2B;
}
```