#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ __m128i;

/* Variables and functions */
int /*<<< orphan*/ _mm_clmulepi64_si128(int /*<<< orphan*/, int /*<<< orphan*/,
                                        int);
int /*<<< orphan*/ _mm_or_si128(int /*<<< orphan*/, int /*<<< orphan*/);
int /*<<< orphan*/ _mm_set_epi8(int /*<<< orphan*/, int, int, int, int, int,
                                int, int, int, int, int, int, int, int, int,
                                int);
int /*<<< orphan*/ _mm_shuffle_epi32(int /*<<< orphan*/, int);
int /*<<< orphan*/ _mm_shuffle_epi8(int /*<<< orphan*/,
                                    int /*<<< orphan*/ const);
int /*<<< orphan*/ _mm_slli_epi32(int /*<<< orphan*/, int);
int /*<<< orphan*/ _mm_slli_si128(int /*<<< orphan*/, int);
int /*<<< orphan*/ _mm_srli_epi32(int /*<<< orphan*/, int);
int /*<<< orphan*/ _mm_srli_si128(int /*<<< orphan*/, int);
int /*<<< orphan*/ _mm_xor_si128(int /*<<< orphan*/, int /*<<< orphan*/);
__m128i reduce4(__m128i H0, __m128i H1, __m128i H2, __m128i H3, __m128i X0,
                __m128i X1, __m128i X2, __m128i X3, __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 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);
  X3 = _mm_xor_si128(X3, 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);
  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);
  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);
  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);
  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);
  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);
  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;
}


x86 assembly (clang, -O0):
<reduce4>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9d,-0x18(%rbp)
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x2,%edx
mov    $0x3,%ecx
mov    $0x4,%r8d
mov    $0x5,%r9d
movl   $0x6,(%rsp)
movl   $0x7,0x8(%rsp)
movl   $0x8,0x10(%rsp)
movl   $0x9,0x18(%rsp)
movl   $0xa,0x20(%rsp)
movl   $0xb,0x28(%rsp)
movl   $0xc,0x30(%rsp)
movl   $0xd,0x38(%rsp)
movl   $0xe,0x40(%rsp)
movl   $0xf,0x48(%rsp)
call   1070 <_mm_set_epi8@plt>
mov    %eax,-0x74(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x74(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%edi
mov    -0x74(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,-0x18(%rbp)
mov    0x10(%rbp),%edi
mov    -0x74(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x10(%rbp)
mov    0x18(%rbp),%edi
mov    -0x74(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x18(%rbp)
mov    0x18(%rbp),%edi
mov    0x20(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,0x18(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x14(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%edi
mov    -0x18(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x2c(%rbp)
mov    -0xc(%rbp),%edi
mov    0x10(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%edi
mov    0x18(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x1c(%rbp),%edi
mov    -0x2c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%edi
mov    -0x3c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%edi
mov    -0x4c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x14(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%edi
mov    -0x18(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%edi
mov    0x10(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%edi
mov    0x18(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x50(%rbp)
mov    -0x20(%rbp),%edi
mov    -0x30(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%edi
mov    -0x40(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%edi
mov    -0x50(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x64(%rbp)
mov    -0x4(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%edi
mov    -0x4(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%edi
mov    -0x14(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%edi
mov    -0x28(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%edi
mov    -0x18(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%edi
mov    -0x38(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x34(%rbp)
mov    -0xc(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x44(%rbp)
mov    0x10(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%edi
mov    -0xc(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%edi
mov    0x10(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x48(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x54(%rbp)
mov    0x18(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%edi
mov    -0x10(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x54(%rbp)
mov    -0x58(%rbp),%edi
mov    0x18(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%edi
mov    -0x58(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x54(%rbp)
mov    -0x24(%rbp),%edi
mov    -0x5c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%edi
mov    -0x64(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x34(%rbp),%edi
mov    -0x24(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x24(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x54(%rbp),%edi
mov    -0x24(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%edi
mov    $0x8,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%edi
mov    $0x8,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%edi
mov    -0x5c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x24(%rbp),%edi
mov    -0x64(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x64(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x1f,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,-0x58(%rbp)
mov    -0x48(%rbp),%edi
mov    $0x1f,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,-0x6c(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x1,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,-0x54(%rbp)
mov    -0x48(%rbp),%edi
mov    $0x1,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,-0x48(%rbp)
mov    -0x58(%rbp),%edi
mov    $0xc,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,-0x70(%rbp)
mov    -0x6c(%rbp),%edi
mov    $0x4,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %eax,-0x6c(%rbp)
mov    -0x58(%rbp),%edi
mov    $0x4,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%edi
mov    -0x58(%rbp),%esi
call   1080 <_mm_or_si128@plt>
mov    %eax,-0x54(%rbp)
mov    -0x48(%rbp),%edi
mov    -0x6c(%rbp),%esi
call   1080 <_mm_or_si128@plt>
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%edi
mov    -0x70(%rbp),%esi
call   1080 <_mm_or_si128@plt>
mov    %eax,-0x48(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x1f,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x1e,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,-0x6c(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x19,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,-0x70(%rbp)
mov    -0x58(%rbp),%edi
mov    -0x6c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%edi
mov    -0x70(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%edi
mov    $0x4,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,-0x6c(%rbp)
mov    -0x58(%rbp),%edi
mov    $0xc,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%edi
mov    -0x58(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x1,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,-0x44(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x2,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,-0x28(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x7,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,-0x38(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x28(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x38(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x6c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x44(%rbp)
mov    -0x54(%rbp),%edi
mov    -0x44(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x54(%rbp)
mov    -0x48(%rbp),%edi
mov    -0x54(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reduce4>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9d,%ebx
mov    %r8d,%ebp
mov    %ecx,0x14(%rsp)
mov    %edx,0x20(%rsp)
mov    %esi,%r14d
mov    %esi,0x10(%rsp)
mov    %edi,0xc(%rsp)
mov    0x70(%rsp),%eax
mov    %eax,0x4(%rsp)
mov    0x68(%rsp),%eax
mov    %eax,(%rsp)
mov    0x60(%rsp),%r15d
xor    %edi,%edi
mov    $0x1,%esi
mov    $0x2,%edx
mov    $0x3,%ecx
mov    $0x4,%r8d
mov    $0x5,%r9d
push   $0xf
push   $0xe
push   $0xd
push   $0xc
push   $0xb
push   $0xa
push   $0x9
push   $0x8
push   $0x7
push   $0x6
call   1070 <_mm_set_epi8@plt>
add    $0x50,%rsp
mov    %eax,%r13d
mov    %ebp,%edi
mov    %eax,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%r12d
mov    %eax,0x8(%rsp)
mov    %ebx,%edi
mov    %r13d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%ebx
mov    %eax,0x18(%rsp)
mov    %r15d,%edi
mov    %r13d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%r15d
mov    %eax,0x1c(%rsp)
mov    (%rsp),%edi
mov    %r13d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%edi
mov    0x4(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebp
mov    0xc(%rsp),%r13d
mov    %r13d,%edi
mov    %r12d,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x4(%rsp)
mov    %r14d,%edi
mov    %ebx,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,(%rsp)
mov    0x20(%rsp),%r12d
mov    %r12d,%edi
mov    %r15d,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r14d
mov    0x14(%rsp),%ebx
mov    %ebx,%edi
mov    %ebp,%esi
mov    %ebp,0x24(%rsp)
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r15d
mov    0x4(%rsp),%edi
mov    (%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %r14d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %r15d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,0x4(%rsp)
mov    %r13d,%edi
mov    0x8(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r15d
mov    0x10(%rsp),%edi
mov    0x18(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r13d
mov    %r12d,%edi
mov    0x1c(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r14d
mov    %ebx,%edi
mov    %ebp,%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%ebp
mov    %r15d,%edi
mov    %r13d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %r14d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %ebp,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,(%rsp)
mov    0xc(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r14d
mov    0x8(%rsp),%ebp
mov    %ebp,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r15d
mov    %r14d,%edi
mov    %ebx,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %r15d,%edi
mov    %ebp,%esi
call   1090 <_mm_xor_si128@plt>
mov    %ebx,%edi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x8(%rsp)
mov    0x10(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r15d
mov    0x18(%rsp),%ebp
mov    %ebp,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r14d
mov    %r15d,%edi
mov    %ebx,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %r14d,%edi
mov    %ebp,%esi
call   1090 <_mm_xor_si128@plt>
mov    %ebx,%edi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r15d
mov    %r12d,%ebx
mov    %r12d,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r12d
mov    0x1c(%rsp),%ebp
mov    %ebp,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r13d
mov    %r12d,%edi
mov    %ebx,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %r13d,%edi
mov    %ebp,%esi
call   1090 <_mm_xor_si128@plt>
mov    %ebx,%edi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r12d
mov    0x14(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%ebp
mov    0x24(%rsp),%r14d
mov    %r14d,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r13d
mov    %ebp,%edi
mov    %ebx,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebp
mov    %r13d,%edi
mov    %r14d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %ebp,%edi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%ebx
mov    0x8(%rsp),%edi
mov    0x4(%rsp),%r14d
mov    %r14d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    (%rsp),%r13d
mov    %r13d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %r15d,%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    %r12d,%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    %ebx,%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %eax,%edi
mov    $0x8,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %eax,%ebp
mov    %ebx,%edi
mov    $0x8,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,%ebx
mov    %ebp,%edi
mov    %r14d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebp
mov    %ebx,%edi
mov    %r13d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %ebp,%edi
mov    $0x1f,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,%r14d
mov    %ebx,%edi
mov    $0x1f,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,%r15d
mov    %ebp,%edi
mov    $0x1,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,%ebp
mov    %ebx,%edi
mov    $0x1,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,%r13d
mov    %r14d,%edi
mov    $0xc,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,%r12d
mov    %r15d,%edi
mov    $0x4,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %eax,%ebx
mov    %r14d,%edi
mov    $0x4,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %ebp,%edi
mov    %eax,%esi
call   1080 <_mm_or_si128@plt>
mov    %eax,%ebp
mov    %r13d,%edi
mov    %ebx,%esi
call   1080 <_mm_or_si128@plt>
mov    %eax,%edi
mov    %r12d,%esi
call   1080 <_mm_or_si128@plt>
mov    %eax,%r14d
mov    %ebp,%edi
mov    $0x1f,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,%r15d
mov    %ebp,%edi
mov    $0x1e,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,%r12d
mov    %ebp,%edi
mov    $0x19,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,%ebx
mov    %r15d,%edi
mov    %r12d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %ebx,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %eax,%edi
mov    $0x4,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,%r15d
mov    %ebx,%edi
mov    $0xc,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %ebp,%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebp
mov    %eax,%edi
mov    $0x1,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,%r12d
mov    %ebp,%edi
mov    $0x2,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,%r13d
mov    %ebp,%edi
mov    $0x7,%esi
call   10b0 <_mm_srli_epi32@plt>
mov    %eax,%ebx
mov    %r12d,%edi
mov    %r13d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %ebx,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %r15d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %ebp,%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    %r14d,%edi
mov    %eax,%esi
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1090 <_mm_xor_si128@plt>

LLVM IR (-O0):
define i32 @reduce4(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8) {
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
%31 = alloca i32
%32 = alloca i32
%33 = alloca i32
%34 = alloca i32
%35 = alloca i32
%36 = alloca i32
%37 = alloca i32
%38 = alloca i32
%39 = alloca i32
%40 = alloca i32
%41 = alloca i32
store i32 %0, i32* %10
store i32 %1, i32* %11
store i32 %2, i32* %12
store i32 %3, i32* %13
store i32 %4, i32* %14
store i32 %5, i32* %15
store i32 %6, i32* %16
store i32 %7, i32* %17
store i32 %8, i32* %18
%42 = call i32 @_mm_set_epi8(i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15)
store i32 %42, i32* %41
%43 = load i32, i32* %14
%44 = load i32, i32* %41
%45 = call i32 @_mm_shuffle_epi8(i32 %43, i32 %44)
store i32 %45, i32* %14
%46 = load i32, i32* %15
%47 = load i32, i32* %41
%48 = call i32 @_mm_shuffle_epi8(i32 %46, i32 %47)
store i32 %48, i32* %15
%49 = load i32, i32* %16
%50 = load i32, i32* %41
%51 = call i32 @_mm_shuffle_epi8(i32 %49, i32 %50)
store i32 %51, i32* %16
%52 = load i32, i32* %17
%53 = load i32, i32* %41
%54 = call i32 @_mm_shuffle_epi8(i32 %52, i32 %53)
store i32 %54, i32* %17
%55 = load i32, i32* %17
%56 = load i32, i32* %18
%57 = call i32 @_mm_xor_si128(i32 %55, i32 %56)
store i32 %57, i32* %17
%58 = load i32, i32* %10
%59 = load i32, i32* %14
%60 = call i32 @_mm_clmulepi64_si128(i32 %58, i32 %59, i32 0)
store i32 %60, i32* %19
%61 = load i32, i32* %11
%62 = load i32, i32* %15
%63 = call i32 @_mm_clmulepi64_si128(i32 %61, i32 %62, i32 0)
store i32 %63, i32* %23
%64 = load i32, i32* %12
%65 = load i32, i32* %16
%66 = call i32 @_mm_clmulepi64_si128(i32 %64, i32 %65, i32 0)
store i32 %66, i32* %27
%67 = load i32, i32* %13
%68 = load i32, i32* %17
%69 = call i32 @_mm_clmulepi64_si128(i32 %67, i32 %68, i32 0)
store i32 %69, i32* %31
%70 = load i32, i32* %19
%71 = load i32, i32* %23
%72 = call i32 @_mm_xor_si128(i32 %70, i32 %71)
store i32 %72, i32* %35
%73 = load i32, i32* %35
%74 = load i32, i32* %27
%75 = call i32 @_mm_xor_si128(i32 %73, i32 %74)
store i32 %75, i32* %35
%76 = load i32, i32* %35
%77 = load i32, i32* %31
%78 = call i32 @_mm_xor_si128(i32 %76, i32 %77)
store i32 %78, i32* %35
%79 = load i32, i32* %10
%80 = load i32, i32* %14
%81 = call i32 @_mm_clmulepi64_si128(i32 %79, i32 %80, i32 17)
store i32 %81, i32* %20
%82 = load i32, i32* %11
%83 = load i32, i32* %15
%84 = call i32 @_mm_clmulepi64_si128(i32 %82, i32 %83, i32 17)
store i32 %84, i32* %24
%85 = load i32, i32* %12
%86 = load i32, i32* %16
%87 = call i32 @_mm_clmulepi64_si128(i32 %85, i32 %86, i32 17)
store i32 %87, i32* %28
%88 = load i32, i32* %13
%89 = load i32, i32* %17
%90 = call i32 @_mm_clmulepi64_si128(i32 %88, i32 %89, i32 17)
store i32 %90, i32* %32
%91 = load i32, i32* %20
%92 = load i32, i32* %24
%93 = call i32 @_mm_xor_si128(i32 %91, i32 %92)
store i32 %93, i32* %37
%94 = load i32, i32* %37
%95 = load i32, i32* %28
%96 = call i32 @_mm_xor_si128(i32 %94, i32 %95)
store i32 %96, i32* %37
%97 = load i32, i32* %37
%98 = load i32, i32* %32
%99 = call i32 @_mm_xor_si128(i32 %97, i32 %98)
store i32 %99, i32* %37
%100 = load i32, i32* %10
%101 = call i32 @_mm_shuffle_epi32(i32 %100, i32 78)
store i32 %101, i32* %21
%102 = load i32, i32* %14
%103 = call i32 @_mm_shuffle_epi32(i32 %102, i32 78)
store i32 %103, i32* %22
%104 = load i32, i32* %21
%105 = load i32, i32* %10
%106 = call i32 @_mm_xor_si128(i32 %104, i32 %105)
store i32 %106, i32* %21
%107 = load i32, i32* %22
%108 = load i32, i32* %14
%109 = call i32 @_mm_xor_si128(i32 %107, i32 %108)
store i32 %109, i32* %22
%110 = load i32, i32* %21
%111 = load i32, i32* %22
%112 = call i32 @_mm_clmulepi64_si128(i32 %110, i32 %111, i32 0)
store i32 %112, i32* %21
%113 = load i32, i32* %11
%114 = call i32 @_mm_shuffle_epi32(i32 %113, i32 78)
store i32 %114, i32* %25
%115 = load i32, i32* %15
%116 = call i32 @_mm_shuffle_epi32(i32 %115, i32 78)
store i32 %116, i32* %26
%117 = load i32, i32* %25
%118 = load i32, i32* %11
%119 = call i32 @_mm_xor_si128(i32 %117, i32 %118)
store i32 %119, i32* %25
%120 = load i32, i32* %26
%121 = load i32, i32* %15
%122 = call i32 @_mm_xor_si128(i32 %120, i32 %121)
store i32 %122, i32* %26
%123 = load i32, i32* %25
%124 = load i32, i32* %26
%125 = call i32 @_mm_clmulepi64_si128(i32 %123, i32 %124, i32 0)
store i32 %125, i32* %25
%126 = load i32, i32* %12
%127 = call i32 @_mm_shuffle_epi32(i32 %126, i32 78)
store i32 %127, i32* %29
%128 = load i32, i32* %16
%129 = call i32 @_mm_shuffle_epi32(i32 %128, i32 78)
store i32 %129, i32* %30
%130 = load i32, i32* %29
%131 = load i32, i32* %12
%132 = call i32 @_mm_xor_si128(i32 %130, i32 %131)
store i32 %132, i32* %29
%133 = load i32, i32* %30
%134 = load i32, i32* %16
%135 = call i32 @_mm_xor_si128(i32 %133, i32 %134)
store i32 %135, i32* %30
%136 = load i32, i32* %29
%137 = load i32, i32* %30
%138 = call i32 @_mm_clmulepi64_si128(i32 %136, i32 %137, i32 0)
store i32 %138, i32* %29
%139 = load i32, i32* %13
%140 = call i32 @_mm_shuffle_epi32(i32 %139, i32 78)
store i32 %140, i32* %33
%141 = load i32, i32* %17
%142 = call i32 @_mm_shuffle_epi32(i32 %141, i32 78)
store i32 %142, i32* %34
%143 = load i32, i32* %33
%144 = load i32, i32* %13
%145 = call i32 @_mm_xor_si128(i32 %143, i32 %144)
store i32 %145, i32* %33
%146 = load i32, i32* %34
%147 = load i32, i32* %17
%148 = call i32 @_mm_xor_si128(i32 %146, i32 %147)
store i32 %148, i32* %34
%149 = load i32, i32* %33
%150 = load i32, i32* %34
%151 = call i32 @_mm_clmulepi64_si128(i32 %149, i32 %150, i32 0)
store i32 %151, i32* %33
%152 = load i32, i32* %21
%153 = load i32, i32* %35
%154 = call i32 @_mm_xor_si128(i32 %152, i32 %153)
store i32 %154, i32* %21
%155 = load i32, i32* %21
%156 = load i32, i32* %37
%157 = call i32 @_mm_xor_si128(i32 %155, i32 %156)
store i32 %157, i32* %21
%158 = load i32, i32* %25
%159 = load i32, i32* %21
%160 = call i32 @_mm_xor_si128(i32 %158, i32 %159)
store i32 %160, i32* %21
%161 = load i32, i32* %29
%162 = load i32, i32* %21
%163 = call i32 @_mm_xor_si128(i32 %161, i32 %162)
store i32 %163, i32* %21
%164 = load i32, i32* %33
%165 = load i32, i32* %21
%166 = call i32 @_mm_xor_si128(i32 %164, i32 %165)
store i32 %166, i32* %21
%167 = load i32, i32* %21
%168 = call i32 @_mm_slli_si128(i32 %167, i32 8)
store i32 %168, i32* %22
%169 = load i32, i32* %21
%170 = call i32 @_mm_srli_si128(i32 %169, i32 8)
store i32 %170, i32* %21
%171 = load i32, i32* %22
%172 = load i32, i32* %35
%173 = call i32 @_mm_xor_si128(i32 %171, i32 %172)
store i32 %173, i32* %35
%174 = load i32, i32* %21
%175 = load i32, i32* %37
%176 = call i32 @_mm_xor_si128(i32 %174, i32 %175)
store i32 %176, i32* %37
%177 = load i32, i32* %35
store i32 %177, i32* %33
%178 = load i32, i32* %37
store i32 %178, i32* %30
%179 = load i32, i32* %33
%180 = call i32 @_mm_srli_epi32(i32 %179, i32 31)
store i32 %180, i32* %34
%181 = load i32, i32* %30
%182 = call i32 @_mm_srli_epi32(i32 %181, i32 31)
store i32 %182, i32* %39
%183 = load i32, i32* %33
%184 = call i32 @_mm_slli_epi32(i32 %183, i32 1)
store i32 %184, i32* %33
%185 = load i32, i32* %30
%186 = call i32 @_mm_slli_epi32(i32 %185, i32 1)
store i32 %186, i32* %30
%187 = load i32, i32* %34
%188 = call i32 @_mm_srli_si128(i32 %187, i32 12)
store i32 %188, i32* %40
%189 = load i32, i32* %39
%190 = call i32 @_mm_slli_si128(i32 %189, i32 4)
store i32 %190, i32* %39
%191 = load i32, i32* %34
%192 = call i32 @_mm_slli_si128(i32 %191, i32 4)
store i32 %192, i32* %34
%193 = load i32, i32* %33
%194 = load i32, i32* %34
%195 = call i32 @_mm_or_si128(i32 %193, i32 %194)
store i32 %195, i32* %33
%196 = load i32, i32* %30
%197 = load i32, i32* %39
%198 = call i32 @_mm_or_si128(i32 %196, i32 %197)
store i32 %198, i32* %30
%199 = load i32, i32* %30
%200 = load i32, i32* %40
%201 = call i32 @_mm_or_si128(i32 %199, i32 %200)
store i32 %201, i32* %30
%202 = load i32, i32* %33
%203 = call i32 @_mm_slli_epi32(i32 %202, i32 31)
store i32 %203, i32* %34
%204 = load i32, i32* %33
%205 = call i32 @_mm_slli_epi32(i32 %204, i32 30)
store i32 %205, i32* %39
%206 = load i32, i32* %33
%207 = call i32 @_mm_slli_epi32(i32 %206, i32 25)
store i32 %207, i32* %40
%208 = load i32, i32* %34
%209 = load i32, i32* %39
%210 = call i32 @_mm_xor_si128(i32 %208, i32 %209)
store i32 %210, i32* %34
%211 = load i32, i32* %34
%212 = load i32, i32* %40
%213 = call i32 @_mm_xor_si128(i32 %211, i32 %212)
store i32 %213, i32* %34
%214 = load i32, i32* %34
%215 = call i32 @_mm_srli_si128(i32 %214, i32 4)
store i32 %215, i32* %39
%216 = load i32, i32* %34
%217 = call i32 @_mm_slli_si128(i32 %216, i32 12)
store i32 %217, i32* %34
%218 = load i32, i32* %33
%219 = load i32, i32* %34
%220 = call i32 @_mm_xor_si128(i32 %218, i32 %219)
store i32 %220, i32* %33
%221 = load i32, i32* %33
%222 = call i32 @_mm_srli_epi32(i32 %221, i32 1)
store i32 %222, i32* %29
%223 = load i32, i32* %33
%224 = call i32 @_mm_srli_epi32(i32 %223, i32 2)
store i32 %224, i32* %22
%225 = load i32, i32* %33
%226 = call i32 @_mm_srli_epi32(i32 %225, i32 7)
store i32 %226, i32* %26
%227 = load i32, i32* %29
%228 = load i32, i32* %22
%229 = call i32 @_mm_xor_si128(i32 %227, i32 %228)
store i32 %229, i32* %29
%230 = load i32, i32* %29
%231 = load i32, i32* %26
%232 = call i32 @_mm_xor_si128(i32 %230, i32 %231)
store i32 %232, i32* %29
%233 = load i32, i32* %29
%234 = load i32, i32* %39
%235 = call i32 @_mm_xor_si128(i32 %233, i32 %234)
store i32 %235, i32* %29
%236 = load i32, i32* %33
%237 = load i32, i32* %29
%238 = call i32 @_mm_xor_si128(i32 %236, i32 %237)
store i32 %238, i32* %33
%239 = load i32, i32* %30
%240 = load i32, i32* %33
%241 = call i32 @_mm_xor_si128(i32 %239, i32 %240)
store i32 %241, i32* %30
%242 = load i32, i32* %30
ret i32 %242
}

LLVM IR (-O2):
define i32 @reduce4(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8) {
%10 = tail call i32 @_mm_set_epi8(i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15)
%11 = tail call i32 @_mm_shuffle_epi8(i32 %4, i32 %10)
%12 = tail call i32 @_mm_shuffle_epi8(i32 %5, i32 %10)
%13 = tail call i32 @_mm_shuffle_epi8(i32 %6, i32 %10)
%14 = tail call i32 @_mm_shuffle_epi8(i32 %7, i32 %10)
%15 = tail call i32 @_mm_xor_si128(i32 %14, i32 %8)
%16 = tail call i32 @_mm_clmulepi64_si128(i32 %0, i32 %11, i32 0)
%17 = tail call i32 @_mm_clmulepi64_si128(i32 %1, i32 %12, i32 0)
%18 = tail call i32 @_mm_clmulepi64_si128(i32 %2, i32 %13, i32 0)
%19 = tail call i32 @_mm_clmulepi64_si128(i32 %3, i32 %15, i32 0)
%20 = tail call i32 @_mm_xor_si128(i32 %16, i32 %17)
%21 = tail call i32 @_mm_xor_si128(i32 %20, i32 %18)
%22 = tail call i32 @_mm_xor_si128(i32 %21, i32 %19)
%23 = tail call i32 @_mm_clmulepi64_si128(i32 %0, i32 %11, i32 17)
%24 = tail call i32 @_mm_clmulepi64_si128(i32 %1, i32 %12, i32 17)
%25 = tail call i32 @_mm_clmulepi64_si128(i32 %2, i32 %13, i32 17)
%26 = tail call i32 @_mm_clmulepi64_si128(i32 %3, i32 %15, i32 17)
%27 = tail call i32 @_mm_xor_si128(i32 %23, i32 %24)
%28 = tail call i32 @_mm_xor_si128(i32 %27, i32 %25)
%29 = tail call i32 @_mm_xor_si128(i32 %28, i32 %26)
%30 = tail call i32 @_mm_shuffle_epi32(i32 %0, i32 78)
%31 = tail call i32 @_mm_shuffle_epi32(i32 %11, i32 78)
%32 = tail call i32 @_mm_xor_si128(i32 %30, i32 %0)
%33 = tail call i32 @_mm_xor_si128(i32 %31, i32 %11)
%34 = tail call i32 @_mm_clmulepi64_si128(i32 %32, i32 %33, i32 0)
%35 = tail call i32 @_mm_shuffle_epi32(i32 %1, i32 78)
%36 = tail call i32 @_mm_shuffle_epi32(i32 %12, i32 78)
%37 = tail call i32 @_mm_xor_si128(i32 %35, i32 %1)
%38 = tail call i32 @_mm_xor_si128(i32 %36, i32 %12)
%39 = tail call i32 @_mm_clmulepi64_si128(i32 %37, i32 %38, i32 0)
%40 = tail call i32 @_mm_shuffle_epi32(i32 %2, i32 78)
%41 = tail call i32 @_mm_shuffle_epi32(i32 %13, i32 78)
%42 = tail call i32 @_mm_xor_si128(i32 %40, i32 %2)
%43 = tail call i32 @_mm_xor_si128(i32 %41, i32 %13)
%44 = tail call i32 @_mm_clmulepi64_si128(i32 %42, i32 %43, i32 0)
%45 = tail call i32 @_mm_shuffle_epi32(i32 %3, i32 78)
%46 = tail call i32 @_mm_shuffle_epi32(i32 %15, i32 78)
%47 = tail call i32 @_mm_xor_si128(i32 %45, i32 %3)
%48 = tail call i32 @_mm_xor_si128(i32 %46, i32 %15)
%49 = tail call i32 @_mm_clmulepi64_si128(i32 %47, i32 %48, i32 0)
%50 = tail call i32 @_mm_xor_si128(i32 %34, i32 %22)
%51 = tail call i32 @_mm_xor_si128(i32 %50, i32 %29)
%52 = tail call i32 @_mm_xor_si128(i32 %39, i32 %51)
%53 = tail call i32 @_mm_xor_si128(i32 %44, i32 %52)
%54 = tail call i32 @_mm_xor_si128(i32 %49, i32 %53)
%55 = tail call i32 @_mm_slli_si128(i32 %54, i32 8)
%56 = tail call i32 @_mm_srli_si128(i32 %54, i32 8)
%57 = tail call i32 @_mm_xor_si128(i32 %55, i32 %22)
%58 = tail call i32 @_mm_xor_si128(i32 %56, i32 %29)
%59 = tail call i32 @_mm_srli_epi32(i32 %57, i32 31)
%60 = tail call i32 @_mm_srli_epi32(i32 %58, i32 31)
%61 = tail call i32 @_mm_slli_epi32(i32 %57, i32 1)
%62 = tail call i32 @_mm_slli_epi32(i32 %58, i32 1)
%63 = tail call i32 @_mm_srli_si128(i32 %59, i32 12)
%64 = tail call i32 @_mm_slli_si128(i32 %60, i32 4)
%65 = tail call i32 @_mm_slli_si128(i32 %59, i32 4)
%66 = tail call i32 @_mm_or_si128(i32 %61, i32 %65)
%67 = tail call i32 @_mm_or_si128(i32 %62, i32 %64)
%68 = tail call i32 @_mm_or_si128(i32 %67, i32 %63)
%69 = tail call i32 @_mm_slli_epi32(i32 %66, i32 31)
%70 = tail call i32 @_mm_slli_epi32(i32 %66, i32 30)
%71 = tail call i32 @_mm_slli_epi32(i32 %66, i32 25)
%72 = tail call i32 @_mm_xor_si128(i32 %69, i32 %70)
%73 = tail call i32 @_mm_xor_si128(i32 %72, i32 %71)
%74 = tail call i32 @_mm_srli_si128(i32 %73, i32 4)
%75 = tail call i32 @_mm_slli_si128(i32 %73, i32 12)
%76 = tail call i32 @_mm_xor_si128(i32 %66, i32 %75)
%77 = tail call i32 @_mm_srli_epi32(i32 %76, i32 1)
%78 = tail call i32 @_mm_srli_epi32(i32 %76, i32 2)
%79 = tail call i32 @_mm_srli_epi32(i32 %76, i32 7)
%80 = tail call i32 @_mm_xor_si128(i32 %77, i32 %78)
%81 = tail call i32 @_mm_xor_si128(i32 %80, i32 %79)
%82 = tail call i32 @_mm_xor_si128(i32 %81, i32 %74)
%83 = tail call i32 @_mm_xor_si128(i32 %76, i32 %82)
%84 = tail call i32 @_mm_xor_si128(i32 %68, i32 %83)
ret i32 %84
}