#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_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 addmulv(__m128i C, __m128i A, __m128i B) {
  const __m128i rev =
      _mm_set_epi8(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15);
  A = _mm_shuffle_epi8(A, rev);
  A = _mm_xor_si128(A, C);
  __m128i tmp3 = _mm_clmulepi64_si128(A, B, 0x00);
  __m128i tmp4 = _mm_clmulepi64_si128(A, B, 0x10);
  __m128i tmp5 = _mm_clmulepi64_si128(A, B, 0x01);
  __m128i tmp6 = _mm_clmulepi64_si128(A, B, 0x11);
  __m128i tmp10 = _mm_xor_si128(tmp4, tmp5);
  __m128i tmp13 = _mm_slli_si128(tmp10, 8);
  __m128i tmp11 = _mm_srli_si128(tmp10, 8);
  __m128i tmp15 = _mm_xor_si128(tmp3, tmp13);
  __m128i tmp17 = _mm_xor_si128(tmp6, tmp11);
  __m128i tmp7 = _mm_srli_epi32(tmp15, 31);
  __m128i tmp8 = _mm_srli_epi32(tmp17, 31);
  __m128i tmp16 = _mm_slli_epi32(tmp15, 1);
  __m128i tmp18 = _mm_slli_epi32(tmp17, 1);
  __m128i tmp9 = _mm_srli_si128(tmp7, 12);
  __m128i tmp22 = _mm_slli_si128(tmp8, 4);
  __m128i tmp25 = _mm_slli_si128(tmp7, 4);
  __m128i tmp29 = _mm_or_si128(tmp16, tmp25);
  __m128i tmp19 = _mm_or_si128(tmp18, tmp22);
  __m128i tmp20 = _mm_or_si128(tmp19, tmp9);
  __m128i tmp26 = _mm_slli_epi32(tmp29, 31);
  __m128i tmp23 = _mm_slli_epi32(tmp29, 30);
  __m128i tmp32 = _mm_slli_epi32(tmp29, 25);
  __m128i tmp27 = _mm_xor_si128(tmp26, tmp23);
  __m128i tmp28 = _mm_xor_si128(tmp27, tmp32);
  __m128i tmp24 = _mm_srli_si128(tmp28, 4);
  __m128i tmp33 = _mm_slli_si128(tmp28, 12);
  __m128i tmp30 = _mm_xor_si128(tmp29, tmp33);
  __m128i tmp2 = _mm_srli_epi32(tmp30, 1);
  __m128i tmp12 = _mm_srli_epi32(tmp30, 2);
  __m128i tmp14 = _mm_srli_epi32(tmp30, 7);
  __m128i tmp34 = _mm_xor_si128(tmp2, tmp12);
  __m128i tmp35 = _mm_xor_si128(tmp34, tmp14);
  __m128i tmp36 = _mm_xor_si128(tmp35, tmp24);
  __m128i tmp31 = _mm_xor_si128(tmp30, tmp36);
  C = _mm_xor_si128(tmp20, tmp31);
  return C;
}


x86 assembly (clang, -O0):
<addmulv>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf0,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%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   1060 <_mm_set_epi8@plt>
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%edi
mov    -0x4(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
mov    $0x10,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
mov    $0x1,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%edi
mov    -0x1c(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%edi
mov    $0x8,%esi
call   10b0 <_mm_slli_si128@plt>
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%edi
mov    $0x8,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x14(%rbp),%edi
mov    -0x28(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%edi
mov    -0x2c(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%edi
mov    $0x1f,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%edi
mov    $0x1f,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%edi
mov    $0x1,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,-0x40(%rbp)
mov    -0x34(%rbp),%edi
mov    $0x1,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%edi
mov    $0xc,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,-0x48(%rbp)
mov    -0x3c(%rbp),%edi
mov    $0x4,%esi
call   10b0 <_mm_slli_si128@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x38(%rbp),%edi
mov    $0x4,%esi
call   10b0 <_mm_slli_si128@plt>
mov    %eax,-0x50(%rbp)
mov    -0x40(%rbp),%edi
mov    -0x50(%rbp),%esi
call   1070 <_mm_or_si128@plt>
mov    %eax,-0x54(%rbp)
mov    -0x44(%rbp),%edi
mov    -0x4c(%rbp),%esi
call   1070 <_mm_or_si128@plt>
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%edi
mov    -0x48(%rbp),%esi
call   1070 <_mm_or_si128@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x1f,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,-0x60(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x1e,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,-0x64(%rbp)
mov    -0x54(%rbp),%edi
mov    $0x19,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,-0x68(%rbp)
mov    -0x60(%rbp),%edi
mov    -0x64(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%edi
mov    -0x68(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%edi
mov    $0x4,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,-0x74(%rbp)
mov    -0x70(%rbp),%edi
mov    $0xc,%esi
call   10b0 <_mm_slli_si128@plt>
mov    %eax,-0x78(%rbp)
mov    -0x54(%rbp),%edi
mov    -0x78(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x7c(%rbp)
mov    -0x7c(%rbp),%edi
mov    $0x1,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,-0x80(%rbp)
mov    -0x7c(%rbp),%edi
mov    $0x2,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,-0x84(%rbp)
mov    -0x7c(%rbp),%edi
mov    $0x7,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,-0x88(%rbp)
mov    -0x80(%rbp),%edi
mov    -0x84(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x8c(%rbp)
mov    -0x8c(%rbp),%edi
mov    -0x88(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x90(%rbp)
mov    -0x90(%rbp),%edi
mov    -0x74(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x94(%rbp)
mov    -0x7c(%rbp),%edi
mov    -0x94(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x98(%rbp)
mov    -0x5c(%rbp),%edi
mov    -0x98(%rbp),%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xf0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<addmulv>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%r12d
mov    %esi,%ebp
mov    %edi,%r14d
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   1060 <_mm_set_epi8@plt>
add    $0x50,%rsp
mov    %ebp,%edi
mov    %eax,%esi
call   1040 <_mm_shuffle_epi8@plt>
mov    %eax,%edi
mov    %r14d,%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,%ebp
mov    %eax,%edi
mov    %r12d,%esi
xor    %edx,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r14d
mov    %ebp,%edi
mov    %r12d,%esi
mov    $0x10,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r15d
mov    %ebp,%edi
mov    %r12d,%esi
mov    $0x1,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%ebx
mov    %ebp,%edi
mov    %r12d,%esi
mov    $0x11,%edx
call   1030 <_mm_clmulepi64_si128@plt>
mov    %eax,%r12d
mov    %r15d,%edi
mov    %ebx,%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %eax,%edi
mov    $0x8,%esi
call   10b0 <_mm_slli_si128@plt>
mov    %eax,%ebp
mov    %ebx,%edi
mov    $0x8,%esi
call   1050 <_mm_srli_si128@plt>
mov    %eax,%ebx
mov    %r14d,%edi
mov    %ebp,%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,%ebp
mov    %r12d,%edi
mov    %ebx,%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,%ebx
mov    %ebp,%edi
mov    $0x1f,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,%r14d
mov    %ebx,%edi
mov    $0x1f,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,%r15d
mov    %ebp,%edi
mov    $0x1,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,%ebp
mov    %ebx,%edi
mov    $0x1,%esi
call   1090 <_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   10b0 <_mm_slli_si128@plt>
mov    %eax,%ebx
mov    %r14d,%edi
mov    $0x4,%esi
call   10b0 <_mm_slli_si128@plt>
mov    %ebp,%edi
mov    %eax,%esi
call   1070 <_mm_or_si128@plt>
mov    %eax,%ebp
mov    %r13d,%edi
mov    %ebx,%esi
call   1070 <_mm_or_si128@plt>
mov    %eax,%edi
mov    %r12d,%esi
call   1070 <_mm_or_si128@plt>
mov    %eax,%r14d
mov    %ebp,%edi
mov    $0x1f,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,%r15d
mov    %ebp,%edi
mov    $0x1e,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,%r12d
mov    %ebp,%edi
mov    $0x19,%esi
call   1090 <_mm_slli_epi32@plt>
mov    %eax,%ebx
mov    %r15d,%edi
mov    %r12d,%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %ebx,%esi
call   1080 <_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   10b0 <_mm_slli_si128@plt>
mov    %ebp,%edi
mov    %eax,%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,%ebp
mov    %eax,%edi
mov    $0x1,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,%r12d
mov    %ebp,%edi
mov    $0x2,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,%r13d
mov    %ebp,%edi
mov    $0x7,%esi
call   10a0 <_mm_srli_epi32@plt>
mov    %eax,%ebx
mov    %r12d,%edi
mov    %r13d,%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %ebx,%esi
call   1080 <_mm_xor_si128@plt>
mov    %eax,%edi
mov    %r15d,%esi
call   1080 <_mm_xor_si128@plt>
mov    %ebp,%edi
mov    %eax,%esi
call   1080 <_mm_xor_si128@plt>
mov    %r14d,%edi
mov    %eax,%esi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1080 <_mm_xor_si128@plt>

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

LLVM IR (-O2):
define i32 @addmulv(i32 %0, i32 %1, i32 %2) {
%4 = 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)
%5 = tail call i32 @_mm_shuffle_epi8(i32 %1, i32 %4)
%6 = tail call i32 @_mm_xor_si128(i32 %5, i32 %0)
%7 = tail call i32 @_mm_clmulepi64_si128(i32 %6, i32 %2, i32 0)
%8 = tail call i32 @_mm_clmulepi64_si128(i32 %6, i32 %2, i32 16)
%9 = tail call i32 @_mm_clmulepi64_si128(i32 %6, i32 %2, i32 1)
%10 = tail call i32 @_mm_clmulepi64_si128(i32 %6, i32 %2, i32 17)
%11 = tail call i32 @_mm_xor_si128(i32 %8, i32 %9)
%12 = tail call i32 @_mm_slli_si128(i32 %11, i32 8)
%13 = tail call i32 @_mm_srli_si128(i32 %11, i32 8)
%14 = tail call i32 @_mm_xor_si128(i32 %7, i32 %12)
%15 = tail call i32 @_mm_xor_si128(i32 %10, i32 %13)
%16 = tail call i32 @_mm_srli_epi32(i32 %14, i32 31)
%17 = tail call i32 @_mm_srli_epi32(i32 %15, i32 31)
%18 = tail call i32 @_mm_slli_epi32(i32 %14, i32 1)
%19 = tail call i32 @_mm_slli_epi32(i32 %15, i32 1)
%20 = tail call i32 @_mm_srli_si128(i32 %16, i32 12)
%21 = tail call i32 @_mm_slli_si128(i32 %17, i32 4)
%22 = tail call i32 @_mm_slli_si128(i32 %16, i32 4)
%23 = tail call i32 @_mm_or_si128(i32 %18, i32 %22)
%24 = tail call i32 @_mm_or_si128(i32 %19, i32 %21)
%25 = tail call i32 @_mm_or_si128(i32 %24, i32 %20)
%26 = tail call i32 @_mm_slli_epi32(i32 %23, i32 31)
%27 = tail call i32 @_mm_slli_epi32(i32 %23, i32 30)
%28 = tail call i32 @_mm_slli_epi32(i32 %23, i32 25)
%29 = tail call i32 @_mm_xor_si128(i32 %26, i32 %27)
%30 = tail call i32 @_mm_xor_si128(i32 %29, i32 %28)
%31 = tail call i32 @_mm_srli_si128(i32 %30, i32 4)
%32 = tail call i32 @_mm_slli_si128(i32 %30, i32 12)
%33 = tail call i32 @_mm_xor_si128(i32 %23, i32 %32)
%34 = tail call i32 @_mm_srli_epi32(i32 %33, i32 1)
%35 = tail call i32 @_mm_srli_epi32(i32 %33, i32 2)
%36 = tail call i32 @_mm_srli_epi32(i32 %33, i32 7)
%37 = tail call i32 @_mm_xor_si128(i32 %34, i32 %35)
%38 = tail call i32 @_mm_xor_si128(i32 %37, i32 %36)
%39 = tail call i32 @_mm_xor_si128(i32 %38, i32 %31)
%40 = tail call i32 @_mm_xor_si128(i32 %33, i32 %39)
%41 = tail call i32 @_mm_xor_si128(i32 %25, i32 %40)
ret i32 %41
}