#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 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;
}


x86 assembly (clang, -O0):
<reduce8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x110,%rsp
mov    0x60(%rbp),%eax
mov    0x58(%rbp),%eax
mov    0x50(%rbp),%eax
mov    0x48(%rbp),%eax
mov    0x40(%rbp),%eax
mov    0x38(%rbp),%eax
mov    0x30(%rbp),%eax
mov    0x28(%rbp),%eax
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,-0xb4(%rbp)
mov    0x20(%rbp),%edi
mov    -0xb4(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x20(%rbp)
mov    0x28(%rbp),%edi
mov    -0xb4(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x28(%rbp)
mov    0x30(%rbp),%edi
mov    -0xb4(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x30(%rbp)
mov    0x38(%rbp),%edi
mov    -0xb4(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x38(%rbp)
mov    0x40(%rbp),%edi
mov    -0xb4(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x40(%rbp)
mov    0x48(%rbp),%edi
mov    -0xb4(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x48(%rbp)
mov    0x50(%rbp),%edi
mov    -0xb4(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x50(%rbp)
mov    0x58(%rbp),%edi
mov    -0xb4(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x58(%rbp)
mov    0x58(%rbp),%edi
mov    0x60(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,0x58(%rbp)
mov    -0x4(%rbp),%edi
mov    0x20(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%edi
mov    0x28(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x2c(%rbp)
mov    -0xc(%rbp),%edi
mov    0x30(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%edi
mov    0x38(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x14(%rbp),%edi
mov    0x40(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x18(%rbp),%edi
mov    0x48(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x6c(%rbp)
mov    0x10(%rbp),%edi
mov    0x50(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x7c(%rbp)
mov    0x18(%rbp),%edi
mov    0x58(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x8c(%rbp)
mov    -0x1c(%rbp),%edi
mov    -0x2c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%edi
mov    -0x3c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%edi
mov    -0x4c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%edi
mov    -0x5c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%edi
mov    -0x6c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%edi
mov    -0x7c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%edi
mov    -0x8c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x9c(%rbp)
mov    -0x4(%rbp),%edi
mov    0x20(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%edi
mov    0x28(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%edi
mov    0x30(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%edi
mov    0x38(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x50(%rbp)
mov    -0x14(%rbp),%edi
mov    0x40(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x60(%rbp)
mov    -0x18(%rbp),%edi
mov    0x48(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x70(%rbp)
mov    0x10(%rbp),%edi
mov    0x50(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x80(%rbp)
mov    0x18(%rbp),%edi
mov    0x58(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x90(%rbp)
mov    -0x20(%rbp),%edi
mov    -0x30(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0xa4(%rbp)
mov    -0xa4(%rbp),%edi
mov    -0x40(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0xa4(%rbp)
mov    -0xa4(%rbp),%edi
mov    -0x50(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0xa4(%rbp)
mov    -0xa4(%rbp),%edi
mov    -0x60(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0xa4(%rbp)
mov    -0xa4(%rbp),%edi
mov    -0x70(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0xa4(%rbp)
mov    -0xa4(%rbp),%edi
mov    -0x80(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0xa4(%rbp)
mov    -0xa4(%rbp),%edi
mov    -0x90(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0xa4(%rbp)
mov    -0x4(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x24(%rbp)
mov    0x20(%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    0x20(%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    0x28(%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    0x28(%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    0x30(%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    0x30(%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    0x38(%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    0x38(%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    -0x14(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x64(%rbp)
mov    0x40(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x68(%rbp)
mov    -0x64(%rbp),%edi
mov    -0x14(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x64(%rbp)
mov    -0x68(%rbp),%edi
mov    0x40(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x68(%rbp)
mov    -0x64(%rbp),%edi
mov    -0x68(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x64(%rbp)
mov    -0x18(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x74(%rbp)
mov    0x48(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x78(%rbp)
mov    -0x74(%rbp),%edi
mov    -0x18(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x74(%rbp)
mov    -0x78(%rbp),%edi
mov    0x48(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x78(%rbp)
mov    -0x74(%rbp),%edi
mov    -0x78(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x74(%rbp)
mov    0x10(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x84(%rbp)
mov    0x50(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x88(%rbp)
mov    -0x84(%rbp),%edi
mov    0x10(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x84(%rbp)
mov    -0x88(%rbp),%edi
mov    0x50(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x88(%rbp)
mov    -0x84(%rbp),%edi
mov    -0x88(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x84(%rbp)
mov    0x18(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x94(%rbp)
mov    0x58(%rbp),%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,-0x98(%rbp)
mov    -0x94(%rbp),%edi
mov    0x18(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x94(%rbp)
mov    -0x98(%rbp),%edi
mov    0x58(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x98(%rbp)
mov    -0x94(%rbp),%edi
mov    -0x98(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x94(%rbp)
mov    -0x24(%rbp),%edi
mov    -0x9c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%edi
mov    -0xa4(%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    -0x64(%rbp),%edi
mov    -0x24(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x74(%rbp),%edi
mov    -0x24(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x84(%rbp),%edi
mov    -0x24(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x94(%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    -0x9c(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x9c(%rbp)
mov    -0x24(%rbp),%edi
mov    -0xa4(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0xa4(%rbp)
mov    -0x9c(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0xa4(%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,-0xac(%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,-0xb0(%rbp)
mov    -0xac(%rbp),%edi
mov    $0x4,%esi
call   10c0 <_mm_slli_si128@plt>
mov    %eax,-0xac(%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    -0xac(%rbp),%esi
call   1080 <_mm_or_si128@plt>
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%edi
mov    -0xb0(%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,-0xac(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x19,%esi
call   10a0 <_mm_slli_epi32@plt>
mov    %eax,-0xb0(%rbp)
mov    -0x58(%rbp),%edi
mov    -0xac(%rbp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%edi
mov    -0xb0(%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,-0xac(%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    -0xac(%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    $0x110,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reduce8>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %r9d,0x50(%rsp)
mov    %r8d,0x48(%rsp)
mov    %ecx,0x24(%rsp)
mov    %edx,0x20(%rsp)
mov    %esi,0x18(%rsp)
mov    %edi,0x4c(%rsp)
mov    0xa8(%rsp),%eax
mov    %eax,0x64(%rsp)
mov    0xa0(%rsp),%eax
mov    %eax,0x58(%rsp)
mov    0xf0(%rsp),%eax
mov    %eax,0x30(%rsp)
mov    0xe8(%rsp),%eax
mov    %eax,0x14(%rsp)
mov    0xe0(%rsp),%eax
mov    %eax,0x1c(%rsp)
mov    0xd8(%rsp),%eax
mov    %eax,0xc(%rsp)
mov    0xd0(%rsp),%eax
mov    %eax,0x10(%rsp)
mov    0xc8(%rsp),%eax
mov    %eax,0x2c(%rsp)
mov    0xc0(%rsp),%r12d
mov    0xb8(%rsp),%r13d
mov    0xb0(%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,%r14d
mov    %r15d,%edi
mov    %eax,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%ebx
mov    %eax,0x28(%rsp)
mov    %r13d,%edi
mov    %r14d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%ebp
mov    %eax,0x54(%rsp)
mov    %r12d,%edi
mov    %r14d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%r13d
mov    %eax,0x5c(%rsp)
mov    0x2c(%rsp),%edi
mov    %r14d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%r12d
mov    %eax,0x2c(%rsp)
mov    0x10(%rsp),%edi
mov    %r14d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x10(%rsp)
mov    0xc(%rsp),%edi
mov    %r14d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0xc(%rsp)
mov    0x1c(%rsp),%edi
mov    %r14d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,0x1c(%rsp)
mov    0x14(%rsp),%edi
mov    %r14d,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%edi
mov    0x30(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%r15d
mov    %eax,0x30(%rsp)
mov    0x4c(%rsp),%edi
mov    %ebx,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x14(%rsp)
mov    0x18(%rsp),%edi
mov    %ebp,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x44(%rsp)
mov    0x20(%rsp),%edi
mov    %r13d,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x40(%rsp)
mov    0x24(%rsp),%edi
mov    %r12d,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x3c(%rsp)
mov    0x48(%rsp),%ebp
mov    %ebp,%edi
mov    0x10(%rsp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x38(%rsp)
mov    0x50(%rsp),%r14d
mov    %r14d,%edi
mov    0xc(%rsp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x34(%rsp)
mov    0x58(%rsp),%r13d
mov    %r13d,%edi
mov    0x1c(%rsp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x60(%rsp)
mov    0x64(%rsp),%r12d
mov    %r12d,%edi
mov    %r15d,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%ebx
mov    0x14(%rsp),%edi
mov    0x44(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    0x40(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    0x3c(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    0x38(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    0x34(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    0x60(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %ebx,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,0x14(%rsp)
mov    0x4c(%rsp),%ebx
mov    %ebx,%edi
mov    0x28(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x44(%rsp)
mov    0x18(%rsp),%edi
mov    0x54(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x40(%rsp)
mov    0x20(%rsp),%edi
mov    0x5c(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x3c(%rsp)
mov    0x24(%rsp),%edi
mov    0x2c(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x38(%rsp)
mov    %ebp,%edi
mov    0x10(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,0x34(%rsp)
mov    %r14d,%edi
mov    0xc(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%ebp
mov    %r13d,%edi
mov    0x1c(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r14d
mov    %r12d,%edi
mov    0x30(%rsp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r15d
mov    0x44(%rsp),%edi
mov    0x40(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    0x3c(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    0x38(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    0x34(%rsp),%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %ebp,%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,%r13d
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r14d
mov    0x28(%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,0x28(%rsp)
mov    0x18(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r14d
mov    0x54(%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,0x18(%rsp)
mov    0x20(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r14d
mov    0x5c(%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,0x20(%rsp)
mov    0x24(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r14d
mov    0x2c(%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,0x24(%rsp)
mov    0x48(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r14d
mov    0x10(%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,0x10(%rsp)
mov    0x50(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r15d
mov    0xc(%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,0xc(%rsp)
mov    0x58(%rsp),%ebx
mov    %ebx,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r14d
mov    0x1c(%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,%r15d
mov    %r12d,%ebx
mov    %r12d,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%r12d
mov    0x30(%rsp),%r14d
mov    %r14d,%edi
mov    $0x4e,%esi
call   1060 <_mm_shuffle_epi32@plt>
mov    %eax,%ebp
mov    %r12d,%edi
mov    %ebx,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %ebp,%edi
mov    %r14d,%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    0x28(%rsp),%edi
mov    0x14(%rsp),%r14d
mov    %r14d,%esi
call   1090 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %r13d,%esi
call   1090 <_mm_xor_si128@plt>
mov    0x18(%rsp),%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    0x20(%rsp),%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    0x24(%rsp),%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    0x10(%rsp),%edi
mov    %eax,%esi
call   1090 <_mm_xor_si128@plt>
mov    0xc(%rsp),%edi
mov    %eax,%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    %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    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1090 <_mm_xor_si128@plt>

LLVM IR (-O0):
define i32 @reduce8(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, i32 %16) {
%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
%42 = alloca i32
%43 = alloca i32
%44 = alloca i32
%45 = alloca i32
%46 = alloca i32
%47 = alloca i32
%48 = alloca i32
%49 = alloca i32
%50 = alloca i32
%51 = alloca i32
%52 = alloca i32
%53 = alloca i32
%54 = alloca i32
%55 = alloca i32
%56 = alloca i32
%57 = alloca i32
%58 = alloca i32
%59 = alloca i32
%60 = alloca i32
%61 = alloca i32
%62 = alloca i32
%63 = alloca i32
%64 = alloca i32
%65 = alloca i32
%66 = alloca i32
%67 = alloca i32
%68 = alloca i32
%69 = alloca i32
%70 = alloca i32
%71 = alloca i32
%72 = alloca i32
%73 = alloca i32
store i32 %0, i32* %18
store i32 %1, i32* %19
store i32 %2, i32* %20
store i32 %3, i32* %21
store i32 %4, i32* %22
store i32 %5, i32* %23
store i32 %6, i32* %24
store i32 %7, i32* %25
store i32 %8, i32* %26
store i32 %9, i32* %27
store i32 %10, i32* %28
store i32 %11, i32* %29
store i32 %12, i32* %30
store i32 %13, i32* %31
store i32 %14, i32* %32
store i32 %15, i32* %33
store i32 %16, i32* %34
%74 = 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 %74, i32* %73
%75 = load i32, i32* %26
%76 = load i32, i32* %73
%77 = call i32 @_mm_shuffle_epi8(i32 %75, i32 %76)
store i32 %77, i32* %26
%78 = load i32, i32* %27
%79 = load i32, i32* %73
%80 = call i32 @_mm_shuffle_epi8(i32 %78, i32 %79)
store i32 %80, i32* %27
%81 = load i32, i32* %28
%82 = load i32, i32* %73
%83 = call i32 @_mm_shuffle_epi8(i32 %81, i32 %82)
store i32 %83, i32* %28
%84 = load i32, i32* %29
%85 = load i32, i32* %73
%86 = call i32 @_mm_shuffle_epi8(i32 %84, i32 %85)
store i32 %86, i32* %29
%87 = load i32, i32* %30
%88 = load i32, i32* %73
%89 = call i32 @_mm_shuffle_epi8(i32 %87, i32 %88)
store i32 %89, i32* %30
%90 = load i32, i32* %31
%91 = load i32, i32* %73
%92 = call i32 @_mm_shuffle_epi8(i32 %90, i32 %91)
store i32 %92, i32* %31
%93 = load i32, i32* %32
%94 = load i32, i32* %73
%95 = call i32 @_mm_shuffle_epi8(i32 %93, i32 %94)
store i32 %95, i32* %32
%96 = load i32, i32* %33
%97 = load i32, i32* %73
%98 = call i32 @_mm_shuffle_epi8(i32 %96, i32 %97)
store i32 %98, i32* %33
%99 = load i32, i32* %33
%100 = load i32, i32* %34
%101 = call i32 @_mm_xor_si128(i32 %99, i32 %100)
store i32 %101, i32* %33
%102 = load i32, i32* %18
%103 = load i32, i32* %26
%104 = call i32 @_mm_clmulepi64_si128(i32 %102, i32 %103, i32 0)
store i32 %104, i32* %35
%105 = load i32, i32* %19
%106 = load i32, i32* %27
%107 = call i32 @_mm_clmulepi64_si128(i32 %105, i32 %106, i32 0)
store i32 %107, i32* %39
%108 = load i32, i32* %20
%109 = load i32, i32* %28
%110 = call i32 @_mm_clmulepi64_si128(i32 %108, i32 %109, i32 0)
store i32 %110, i32* %43
%111 = load i32, i32* %21
%112 = load i32, i32* %29
%113 = call i32 @_mm_clmulepi64_si128(i32 %111, i32 %112, i32 0)
store i32 %113, i32* %47
%114 = load i32, i32* %22
%115 = load i32, i32* %30
%116 = call i32 @_mm_clmulepi64_si128(i32 %114, i32 %115, i32 0)
store i32 %116, i32* %51
%117 = load i32, i32* %23
%118 = load i32, i32* %31
%119 = call i32 @_mm_clmulepi64_si128(i32 %117, i32 %118, i32 0)
store i32 %119, i32* %55
%120 = load i32, i32* %24
%121 = load i32, i32* %32
%122 = call i32 @_mm_clmulepi64_si128(i32 %120, i32 %121, i32 0)
store i32 %122, i32* %59
%123 = load i32, i32* %25
%124 = load i32, i32* %33
%125 = call i32 @_mm_clmulepi64_si128(i32 %123, i32 %124, i32 0)
store i32 %125, i32* %63
%126 = load i32, i32* %35
%127 = load i32, i32* %39
%128 = call i32 @_mm_xor_si128(i32 %126, i32 %127)
store i32 %128, i32* %67
%129 = load i32, i32* %67
%130 = load i32, i32* %43
%131 = call i32 @_mm_xor_si128(i32 %129, i32 %130)
store i32 %131, i32* %67
%132 = load i32, i32* %67
%133 = load i32, i32* %47
%134 = call i32 @_mm_xor_si128(i32 %132, i32 %133)
store i32 %134, i32* %67
%135 = load i32, i32* %67
%136 = load i32, i32* %51
%137 = call i32 @_mm_xor_si128(i32 %135, i32 %136)
store i32 %137, i32* %67
%138 = load i32, i32* %67
%139 = load i32, i32* %55
%140 = call i32 @_mm_xor_si128(i32 %138, i32 %139)
store i32 %140, i32* %67
%141 = load i32, i32* %67
%142 = load i32, i32* %59
%143 = call i32 @_mm_xor_si128(i32 %141, i32 %142)
store i32 %143, i32* %67
%144 = load i32, i32* %67
%145 = load i32, i32* %63
%146 = call i32 @_mm_xor_si128(i32 %144, i32 %145)
store i32 %146, i32* %67
%147 = load i32, i32* %18
%148 = load i32, i32* %26
%149 = call i32 @_mm_clmulepi64_si128(i32 %147, i32 %148, i32 17)
store i32 %149, i32* %36
%150 = load i32, i32* %19
%151 = load i32, i32* %27
%152 = call i32 @_mm_clmulepi64_si128(i32 %150, i32 %151, i32 17)
store i32 %152, i32* %40
%153 = load i32, i32* %20
%154 = load i32, i32* %28
%155 = call i32 @_mm_clmulepi64_si128(i32 %153, i32 %154, i32 17)
store i32 %155, i32* %44
%156 = load i32, i32* %21
%157 = load i32, i32* %29
%158 = call i32 @_mm_clmulepi64_si128(i32 %156, i32 %157, i32 17)
store i32 %158, i32* %48
%159 = load i32, i32* %22
%160 = load i32, i32* %30
%161 = call i32 @_mm_clmulepi64_si128(i32 %159, i32 %160, i32 17)
store i32 %161, i32* %52
%162 = load i32, i32* %23
%163 = load i32, i32* %31
%164 = call i32 @_mm_clmulepi64_si128(i32 %162, i32 %163, i32 17)
store i32 %164, i32* %56
%165 = load i32, i32* %24
%166 = load i32, i32* %32
%167 = call i32 @_mm_clmulepi64_si128(i32 %165, i32 %166, i32 17)
store i32 %167, i32* %60
%168 = load i32, i32* %25
%169 = load i32, i32* %33
%170 = call i32 @_mm_clmulepi64_si128(i32 %168, i32 %169, i32 17)
store i32 %170, i32* %64
%171 = load i32, i32* %36
%172 = load i32, i32* %40
%173 = call i32 @_mm_xor_si128(i32 %171, i32 %172)
store i32 %173, i32* %69
%174 = load i32, i32* %69
%175 = load i32, i32* %44
%176 = call i32 @_mm_xor_si128(i32 %174, i32 %175)
store i32 %176, i32* %69
%177 = load i32, i32* %69
%178 = load i32, i32* %48
%179 = call i32 @_mm_xor_si128(i32 %177, i32 %178)
store i32 %179, i32* %69
%180 = load i32, i32* %69
%181 = load i32, i32* %52
%182 = call i32 @_mm_xor_si128(i32 %180, i32 %181)
store i32 %182, i32* %69
%183 = load i32, i32* %69
%184 = load i32, i32* %56
%185 = call i32 @_mm_xor_si128(i32 %183, i32 %184)
store i32 %185, i32* %69
%186 = load i32, i32* %69
%187 = load i32, i32* %60
%188 = call i32 @_mm_xor_si128(i32 %186, i32 %187)
store i32 %188, i32* %69
%189 = load i32, i32* %69
%190 = load i32, i32* %64
%191 = call i32 @_mm_xor_si128(i32 %189, i32 %190)
store i32 %191, i32* %69
%192 = load i32, i32* %18
%193 = call i32 @_mm_shuffle_epi32(i32 %192, i32 78)
store i32 %193, i32* %37
%194 = load i32, i32* %26
%195 = call i32 @_mm_shuffle_epi32(i32 %194, i32 78)
store i32 %195, i32* %38
%196 = load i32, i32* %37
%197 = load i32, i32* %18
%198 = call i32 @_mm_xor_si128(i32 %196, i32 %197)
store i32 %198, i32* %37
%199 = load i32, i32* %38
%200 = load i32, i32* %26
%201 = call i32 @_mm_xor_si128(i32 %199, i32 %200)
store i32 %201, i32* %38
%202 = load i32, i32* %37
%203 = load i32, i32* %38
%204 = call i32 @_mm_clmulepi64_si128(i32 %202, i32 %203, i32 0)
store i32 %204, i32* %37
%205 = load i32, i32* %19
%206 = call i32 @_mm_shuffle_epi32(i32 %205, i32 78)
store i32 %206, i32* %41
%207 = load i32, i32* %27
%208 = call i32 @_mm_shuffle_epi32(i32 %207, i32 78)
store i32 %208, i32* %42
%209 = load i32, i32* %41
%210 = load i32, i32* %19
%211 = call i32 @_mm_xor_si128(i32 %209, i32 %210)
store i32 %211, i32* %41
%212 = load i32, i32* %42
%213 = load i32, i32* %27
%214 = call i32 @_mm_xor_si128(i32 %212, i32 %213)
store i32 %214, i32* %42
%215 = load i32, i32* %41
%216 = load i32, i32* %42
%217 = call i32 @_mm_clmulepi64_si128(i32 %215, i32 %216, i32 0)
store i32 %217, i32* %41
%218 = load i32, i32* %20
%219 = call i32 @_mm_shuffle_epi32(i32 %218, i32 78)
store i32 %219, i32* %45
%220 = load i32, i32* %28
%221 = call i32 @_mm_shuffle_epi32(i32 %220, i32 78)
store i32 %221, i32* %46
%222 = load i32, i32* %45
%223 = load i32, i32* %20
%224 = call i32 @_mm_xor_si128(i32 %222, i32 %223)
store i32 %224, i32* %45
%225 = load i32, i32* %46
%226 = load i32, i32* %28
%227 = call i32 @_mm_xor_si128(i32 %225, i32 %226)
store i32 %227, i32* %46
%228 = load i32, i32* %45
%229 = load i32, i32* %46
%230 = call i32 @_mm_clmulepi64_si128(i32 %228, i32 %229, i32 0)
store i32 %230, i32* %45
%231 = load i32, i32* %21
%232 = call i32 @_mm_shuffle_epi32(i32 %231, i32 78)
store i32 %232, i32* %49
%233 = load i32, i32* %29
%234 = call i32 @_mm_shuffle_epi32(i32 %233, i32 78)
store i32 %234, i32* %50
%235 = load i32, i32* %49
%236 = load i32, i32* %21
%237 = call i32 @_mm_xor_si128(i32 %235, i32 %236)
store i32 %237, i32* %49
%238 = load i32, i32* %50
%239 = load i32, i32* %29
%240 = call i32 @_mm_xor_si128(i32 %238, i32 %239)
store i32 %240, i32* %50
%241 = load i32, i32* %49
%242 = load i32, i32* %50
%243 = call i32 @_mm_clmulepi64_si128(i32 %241, i32 %242, i32 0)
store i32 %243, i32* %49
%244 = load i32, i32* %22
%245 = call i32 @_mm_shuffle_epi32(i32 %244, i32 78)
store i32 %245, i32* %53
%246 = load i32, i32* %30
%247 = call i32 @_mm_shuffle_epi32(i32 %246, i32 78)
store i32 %247, i32* %54
%248 = load i32, i32* %53
%249 = load i32, i32* %22
%250 = call i32 @_mm_xor_si128(i32 %248, i32 %249)
store i32 %250, i32* %53
%251 = load i32, i32* %54
%252 = load i32, i32* %30
%253 = call i32 @_mm_xor_si128(i32 %251, i32 %252)
store i32 %253, i32* %54
%254 = load i32, i32* %53
%255 = load i32, i32* %54
%256 = call i32 @_mm_clmulepi64_si128(i32 %254, i32 %255, i32 0)
store i32 %256, i32* %53
%257 = load i32, i32* %23
%258 = call i32 @_mm_shuffle_epi32(i32 %257, i32 78)
store i32 %258, i32* %57
%259 = load i32, i32* %31
%260 = call i32 @_mm_shuffle_epi32(i32 %259, i32 78)
store i32 %260, i32* %58
%261 = load i32, i32* %57
%262 = load i32, i32* %23
%263 = call i32 @_mm_xor_si128(i32 %261, i32 %262)
store i32 %263, i32* %57
%264 = load i32, i32* %58
%265 = load i32, i32* %31
%266 = call i32 @_mm_xor_si128(i32 %264, i32 %265)
store i32 %266, i32* %58
%267 = load i32, i32* %57
%268 = load i32, i32* %58
%269 = call i32 @_mm_clmulepi64_si128(i32 %267, i32 %268, i32 0)
store i32 %269, i32* %57
%270 = load i32, i32* %24
%271 = call i32 @_mm_shuffle_epi32(i32 %270, i32 78)
store i32 %271, i32* %61
%272 = load i32, i32* %32
%273 = call i32 @_mm_shuffle_epi32(i32 %272, i32 78)
store i32 %273, i32* %62
%274 = load i32, i32* %61
%275 = load i32, i32* %24
%276 = call i32 @_mm_xor_si128(i32 %274, i32 %275)
store i32 %276, i32* %61
%277 = load i32, i32* %62
%278 = load i32, i32* %32
%279 = call i32 @_mm_xor_si128(i32 %277, i32 %278)
store i32 %279, i32* %62
%280 = load i32, i32* %61
%281 = load i32, i32* %62
%282 = call i32 @_mm_clmulepi64_si128(i32 %280, i32 %281, i32 0)
store i32 %282, i32* %61
%283 = load i32, i32* %25
%284 = call i32 @_mm_shuffle_epi32(i32 %283, i32 78)
store i32 %284, i32* %65
%285 = load i32, i32* %33
%286 = call i32 @_mm_shuffle_epi32(i32 %285, i32 78)
store i32 %286, i32* %66
%287 = load i32, i32* %65
%288 = load i32, i32* %25
%289 = call i32 @_mm_xor_si128(i32 %287, i32 %288)
store i32 %289, i32* %65
%290 = load i32, i32* %66
%291 = load i32, i32* %33
%292 = call i32 @_mm_xor_si128(i32 %290, i32 %291)
store i32 %292, i32* %66
%293 = load i32, i32* %65
%294 = load i32, i32* %66
%295 = call i32 @_mm_clmulepi64_si128(i32 %293, i32 %294, i32 0)
store i32 %295, i32* %65
%296 = load i32, i32* %37
%297 = load i32, i32* %67
%298 = call i32 @_mm_xor_si128(i32 %296, i32 %297)
store i32 %298, i32* %37
%299 = load i32, i32* %37
%300 = load i32, i32* %69
%301 = call i32 @_mm_xor_si128(i32 %299, i32 %300)
store i32 %301, i32* %37
%302 = load i32, i32* %41
%303 = load i32, i32* %37
%304 = call i32 @_mm_xor_si128(i32 %302, i32 %303)
store i32 %304, i32* %37
%305 = load i32, i32* %45
%306 = load i32, i32* %37
%307 = call i32 @_mm_xor_si128(i32 %305, i32 %306)
store i32 %307, i32* %37
%308 = load i32, i32* %49
%309 = load i32, i32* %37
%310 = call i32 @_mm_xor_si128(i32 %308, i32 %309)
store i32 %310, i32* %37
%311 = load i32, i32* %53
%312 = load i32, i32* %37
%313 = call i32 @_mm_xor_si128(i32 %311, i32 %312)
store i32 %313, i32* %37
%314 = load i32, i32* %57
%315 = load i32, i32* %37
%316 = call i32 @_mm_xor_si128(i32 %314, i32 %315)
store i32 %316, i32* %37
%317 = load i32, i32* %61
%318 = load i32, i32* %37
%319 = call i32 @_mm_xor_si128(i32 %317, i32 %318)
store i32 %319, i32* %37
%320 = load i32, i32* %65
%321 = load i32, i32* %37
%322 = call i32 @_mm_xor_si128(i32 %320, i32 %321)
store i32 %322, i32* %37
%323 = load i32, i32* %37
%324 = call i32 @_mm_slli_si128(i32 %323, i32 8)
store i32 %324, i32* %38
%325 = load i32, i32* %37
%326 = call i32 @_mm_srli_si128(i32 %325, i32 8)
store i32 %326, i32* %37
%327 = load i32, i32* %38
%328 = load i32, i32* %67
%329 = call i32 @_mm_xor_si128(i32 %327, i32 %328)
store i32 %329, i32* %67
%330 = load i32, i32* %37
%331 = load i32, i32* %69
%332 = call i32 @_mm_xor_si128(i32 %330, i32 %331)
store i32 %332, i32* %69
%333 = load i32, i32* %67
store i32 %333, i32* %49
%334 = load i32, i32* %69
store i32 %334, i32* %46
%335 = load i32, i32* %49
%336 = call i32 @_mm_srli_epi32(i32 %335, i32 31)
store i32 %336, i32* %50
%337 = load i32, i32* %46
%338 = call i32 @_mm_srli_epi32(i32 %337, i32 31)
store i32 %338, i32* %71
%339 = load i32, i32* %49
%340 = call i32 @_mm_slli_epi32(i32 %339, i32 1)
store i32 %340, i32* %49
%341 = load i32, i32* %46
%342 = call i32 @_mm_slli_epi32(i32 %341, i32 1)
store i32 %342, i32* %46
%343 = load i32, i32* %50
%344 = call i32 @_mm_srli_si128(i32 %343, i32 12)
store i32 %344, i32* %72
%345 = load i32, i32* %71
%346 = call i32 @_mm_slli_si128(i32 %345, i32 4)
store i32 %346, i32* %71
%347 = load i32, i32* %50
%348 = call i32 @_mm_slli_si128(i32 %347, i32 4)
store i32 %348, i32* %50
%349 = load i32, i32* %49
%350 = load i32, i32* %50
%351 = call i32 @_mm_or_si128(i32 %349, i32 %350)
store i32 %351, i32* %49
%352 = load i32, i32* %46
%353 = load i32, i32* %71
%354 = call i32 @_mm_or_si128(i32 %352, i32 %353)
store i32 %354, i32* %46
%355 = load i32, i32* %46
%356 = load i32, i32* %72
%357 = call i32 @_mm_or_si128(i32 %355, i32 %356)
store i32 %357, i32* %46
%358 = load i32, i32* %49
%359 = call i32 @_mm_slli_epi32(i32 %358, i32 31)
store i32 %359, i32* %50
%360 = load i32, i32* %49
%361 = call i32 @_mm_slli_epi32(i32 %360, i32 30)
store i32 %361, i32* %71
%362 = load i32, i32* %49
%363 = call i32 @_mm_slli_epi32(i32 %362, i32 25)
store i32 %363, i32* %72
%364 = load i32, i32* %50
%365 = load i32, i32* %71
%366 = call i32 @_mm_xor_si128(i32 %364, i32 %365)
store i32 %366, i32* %50
%367 = load i32, i32* %50
%368 = load i32, i32* %72
%369 = call i32 @_mm_xor_si128(i32 %367, i32 %368)
store i32 %369, i32* %50
%370 = load i32, i32* %50
%371 = call i32 @_mm_srli_si128(i32 %370, i32 4)
store i32 %371, i32* %71
%372 = load i32, i32* %50
%373 = call i32 @_mm_slli_si128(i32 %372, i32 12)
store i32 %373, i32* %50
%374 = load i32, i32* %49
%375 = load i32, i32* %50
%376 = call i32 @_mm_xor_si128(i32 %374, i32 %375)
store i32 %376, i32* %49
%377 = load i32, i32* %49
%378 = call i32 @_mm_srli_epi32(i32 %377, i32 1)
store i32 %378, i32* %45
%379 = load i32, i32* %49
%380 = call i32 @_mm_srli_epi32(i32 %379, i32 2)
store i32 %380, i32* %38
%381 = load i32, i32* %49
%382 = call i32 @_mm_srli_epi32(i32 %381, i32 7)
store i32 %382, i32* %42
%383 = load i32, i32* %45
%384 = load i32, i32* %38
%385 = call i32 @_mm_xor_si128(i32 %383, i32 %384)
store i32 %385, i32* %45
%386 = load i32, i32* %45
%387 = load i32, i32* %42
%388 = call i32 @_mm_xor_si128(i32 %386, i32 %387)
store i32 %388, i32* %45
%389 = load i32, i32* %45
%390 = load i32, i32* %71
%391 = call i32 @_mm_xor_si128(i32 %389, i32 %390)
store i32 %391, i32* %45
%392 = load i32, i32* %49
%393 = load i32, i32* %45
%394 = call i32 @_mm_xor_si128(i32 %392, i32 %393)
store i32 %394, i32* %49
%395 = load i32, i32* %46
%396 = load i32, i32* %49
%397 = call i32 @_mm_xor_si128(i32 %395, i32 %396)
store i32 %397, i32* %46
%398 = load i32, i32* %46
ret i32 %398
}

LLVM IR (-O2):
define i32 @reduce8(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, i32 %16) {
%18 = 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)
%19 = tail call i32 @_mm_shuffle_epi8(i32 %8, i32 %18)
%20 = tail call i32 @_mm_shuffle_epi8(i32 %9, i32 %18)
%21 = tail call i32 @_mm_shuffle_epi8(i32 %10, i32 %18)
%22 = tail call i32 @_mm_shuffle_epi8(i32 %11, i32 %18)
%23 = tail call i32 @_mm_shuffle_epi8(i32 %12, i32 %18)
%24 = tail call i32 @_mm_shuffle_epi8(i32 %13, i32 %18)
%25 = tail call i32 @_mm_shuffle_epi8(i32 %14, i32 %18)
%26 = tail call i32 @_mm_shuffle_epi8(i32 %15, i32 %18)
%27 = tail call i32 @_mm_xor_si128(i32 %26, i32 %16)
%28 = tail call i32 @_mm_clmulepi64_si128(i32 %0, i32 %19, i32 0)
%29 = tail call i32 @_mm_clmulepi64_si128(i32 %1, i32 %20, i32 0)
%30 = tail call i32 @_mm_clmulepi64_si128(i32 %2, i32 %21, i32 0)
%31 = tail call i32 @_mm_clmulepi64_si128(i32 %3, i32 %22, i32 0)
%32 = tail call i32 @_mm_clmulepi64_si128(i32 %4, i32 %23, i32 0)
%33 = tail call i32 @_mm_clmulepi64_si128(i32 %5, i32 %24, i32 0)
%34 = tail call i32 @_mm_clmulepi64_si128(i32 %6, i32 %25, i32 0)
%35 = tail call i32 @_mm_clmulepi64_si128(i32 %7, i32 %27, i32 0)
%36 = tail call i32 @_mm_xor_si128(i32 %28, i32 %29)
%37 = tail call i32 @_mm_xor_si128(i32 %36, i32 %30)
%38 = tail call i32 @_mm_xor_si128(i32 %37, i32 %31)
%39 = tail call i32 @_mm_xor_si128(i32 %38, i32 %32)
%40 = tail call i32 @_mm_xor_si128(i32 %39, i32 %33)
%41 = tail call i32 @_mm_xor_si128(i32 %40, i32 %34)
%42 = tail call i32 @_mm_xor_si128(i32 %41, i32 %35)
%43 = tail call i32 @_mm_clmulepi64_si128(i32 %0, i32 %19, i32 17)
%44 = tail call i32 @_mm_clmulepi64_si128(i32 %1, i32 %20, i32 17)
%45 = tail call i32 @_mm_clmulepi64_si128(i32 %2, i32 %21, i32 17)
%46 = tail call i32 @_mm_clmulepi64_si128(i32 %3, i32 %22, i32 17)
%47 = tail call i32 @_mm_clmulepi64_si128(i32 %4, i32 %23, i32 17)
%48 = tail call i32 @_mm_clmulepi64_si128(i32 %5, i32 %24, i32 17)
%49 = tail call i32 @_mm_clmulepi64_si128(i32 %6, i32 %25, i32 17)
%50 = tail call i32 @_mm_clmulepi64_si128(i32 %7, i32 %27, i32 17)
%51 = tail call i32 @_mm_xor_si128(i32 %43, i32 %44)
%52 = tail call i32 @_mm_xor_si128(i32 %51, i32 %45)
%53 = tail call i32 @_mm_xor_si128(i32 %52, i32 %46)
%54 = tail call i32 @_mm_xor_si128(i32 %53, i32 %47)
%55 = tail call i32 @_mm_xor_si128(i32 %54, i32 %48)
%56 = tail call i32 @_mm_xor_si128(i32 %55, i32 %49)
%57 = tail call i32 @_mm_xor_si128(i32 %56, i32 %50)
%58 = tail call i32 @_mm_shuffle_epi32(i32 %0, i32 78)
%59 = tail call i32 @_mm_shuffle_epi32(i32 %19, i32 78)
%60 = tail call i32 @_mm_xor_si128(i32 %58, i32 %0)
%61 = tail call i32 @_mm_xor_si128(i32 %59, i32 %19)
%62 = tail call i32 @_mm_clmulepi64_si128(i32 %60, i32 %61, i32 0)
%63 = tail call i32 @_mm_shuffle_epi32(i32 %1, i32 78)
%64 = tail call i32 @_mm_shuffle_epi32(i32 %20, i32 78)
%65 = tail call i32 @_mm_xor_si128(i32 %63, i32 %1)
%66 = tail call i32 @_mm_xor_si128(i32 %64, i32 %20)
%67 = tail call i32 @_mm_clmulepi64_si128(i32 %65, i32 %66, i32 0)
%68 = tail call i32 @_mm_shuffle_epi32(i32 %2, i32 78)
%69 = tail call i32 @_mm_shuffle_epi32(i32 %21, i32 78)
%70 = tail call i32 @_mm_xor_si128(i32 %68, i32 %2)
%71 = tail call i32 @_mm_xor_si128(i32 %69, i32 %21)
%72 = tail call i32 @_mm_clmulepi64_si128(i32 %70, i32 %71, i32 0)
%73 = tail call i32 @_mm_shuffle_epi32(i32 %3, i32 78)
%74 = tail call i32 @_mm_shuffle_epi32(i32 %22, i32 78)
%75 = tail call i32 @_mm_xor_si128(i32 %73, i32 %3)
%76 = tail call i32 @_mm_xor_si128(i32 %74, i32 %22)
%77 = tail call i32 @_mm_clmulepi64_si128(i32 %75, i32 %76, i32 0)
%78 = tail call i32 @_mm_shuffle_epi32(i32 %4, i32 78)
%79 = tail call i32 @_mm_shuffle_epi32(i32 %23, i32 78)
%80 = tail call i32 @_mm_xor_si128(i32 %78, i32 %4)
%81 = tail call i32 @_mm_xor_si128(i32 %79, i32 %23)
%82 = tail call i32 @_mm_clmulepi64_si128(i32 %80, i32 %81, i32 0)
%83 = tail call i32 @_mm_shuffle_epi32(i32 %5, i32 78)
%84 = tail call i32 @_mm_shuffle_epi32(i32 %24, i32 78)
%85 = tail call i32 @_mm_xor_si128(i32 %83, i32 %5)
%86 = tail call i32 @_mm_xor_si128(i32 %84, i32 %24)
%87 = tail call i32 @_mm_clmulepi64_si128(i32 %85, i32 %86, i32 0)
%88 = tail call i32 @_mm_shuffle_epi32(i32 %6, i32 78)
%89 = tail call i32 @_mm_shuffle_epi32(i32 %25, i32 78)
%90 = tail call i32 @_mm_xor_si128(i32 %88, i32 %6)
%91 = tail call i32 @_mm_xor_si128(i32 %89, i32 %25)
%92 = tail call i32 @_mm_clmulepi64_si128(i32 %90, i32 %91, i32 0)
%93 = tail call i32 @_mm_shuffle_epi32(i32 %7, i32 78)
%94 = tail call i32 @_mm_shuffle_epi32(i32 %27, i32 78)
%95 = tail call i32 @_mm_xor_si128(i32 %93, i32 %7)
%96 = tail call i32 @_mm_xor_si128(i32 %94, i32 %27)
%97 = tail call i32 @_mm_clmulepi64_si128(i32 %95, i32 %96, i32 0)
%98 = tail call i32 @_mm_xor_si128(i32 %62, i32 %42)
%99 = tail call i32 @_mm_xor_si128(i32 %98, i32 %57)
%100 = tail call i32 @_mm_xor_si128(i32 %67, i32 %99)
%101 = tail call i32 @_mm_xor_si128(i32 %72, i32 %100)
%102 = tail call i32 @_mm_xor_si128(i32 %77, i32 %101)
%103 = tail call i32 @_mm_xor_si128(i32 %82, i32 %102)
%104 = tail call i32 @_mm_xor_si128(i32 %87, i32 %103)
%105 = tail call i32 @_mm_xor_si128(i32 %92, i32 %104)
%106 = tail call i32 @_mm_xor_si128(i32 %97, i32 %105)
%107 = tail call i32 @_mm_slli_si128(i32 %106, i32 8)
%108 = tail call i32 @_mm_srli_si128(i32 %106, i32 8)
%109 = tail call i32 @_mm_xor_si128(i32 %107, i32 %42)
%110 = tail call i32 @_mm_xor_si128(i32 %108, i32 %57)
%111 = tail call i32 @_mm_srli_epi32(i32 %109, i32 31)
%112 = tail call i32 @_mm_srli_epi32(i32 %110, i32 31)
%113 = tail call i32 @_mm_slli_epi32(i32 %109, i32 1)
%114 = tail call i32 @_mm_slli_epi32(i32 %110, i32 1)
%115 = tail call i32 @_mm_srli_si128(i32 %111, i32 12)
%116 = tail call i32 @_mm_slli_si128(i32 %112, i32 4)
%117 = tail call i32 @_mm_slli_si128(i32 %111, i32 4)
%118 = tail call i32 @_mm_or_si128(i32 %113, i32 %117)
%119 = tail call i32 @_mm_or_si128(i32 %114, i32 %116)
%120 = tail call i32 @_mm_or_si128(i32 %119, i32 %115)
%121 = tail call i32 @_mm_slli_epi32(i32 %118, i32 31)
%122 = tail call i32 @_mm_slli_epi32(i32 %118, i32 30)
%123 = tail call i32 @_mm_slli_epi32(i32 %118, i32 25)
%124 = tail call i32 @_mm_xor_si128(i32 %121, i32 %122)
%125 = tail call i32 @_mm_xor_si128(i32 %124, i32 %123)
%126 = tail call i32 @_mm_srli_si128(i32 %125, i32 4)
%127 = tail call i32 @_mm_slli_si128(i32 %125, i32 12)
%128 = tail call i32 @_mm_xor_si128(i32 %118, i32 %127)
%129 = tail call i32 @_mm_srli_epi32(i32 %128, i32 1)
%130 = tail call i32 @_mm_srli_epi32(i32 %128, i32 2)
%131 = tail call i32 @_mm_srli_epi32(i32 %128, i32 7)
%132 = tail call i32 @_mm_xor_si128(i32 %129, i32 %130)
%133 = tail call i32 @_mm_xor_si128(i32 %132, i32 %131)
%134 = tail call i32 @_mm_xor_si128(i32 %133, i32 %126)
%135 = tail call i32 @_mm_xor_si128(i32 %128, i32 %134)
%136 = tail call i32 @_mm_xor_si128(i32 %120, i32 %135)
ret i32 %136
}