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

/* Variables and functions */
int /*<<< orphan*/ adjust_offset_to(int *, int *, int, int, int);
int *alloca(int);
int /*<<< orphan*/ bitvector_copy(int *, int, int *, int, int);
int /*<<< orphan*/ free(int *);
int *malloc(int);
void bitvector_xor_to(u_int32_t *dest, u_int32_t doffs, u_int32_t *a,
                      u_int32_t aoffs, u_int32_t *b, u_int32_t boffs,
                      u_int32_t nbits) {
  u_int32_t nw = (doffs + nbits + 31) >> 5;
  u_int32_t *temp = nw > 2000 ? malloc((nw + 1) * 4) : alloca((nw + 1) * 4);
  u_int32_t i, anw, bnw;
  if (aoffs == boffs) {
    anw = (aoffs + nbits + 31) >> 5;
  } else if (aoffs == doffs) {
    bnw = (boffs + nbits + 31) >> 5;
    adjust_offset_to(temp, b, bnw, boffs, aoffs);
    b = temp;
    anw = nw;
  } else {
    anw = (aoffs + nbits + 31) >> 5;
    bnw = (boffs + nbits + 31) >> 5;
    adjust_offset_to(temp, a, anw, aoffs, boffs);
    a = temp;
    aoffs = boffs;
    anw = bnw;
  }
  for (i = 0; i < anw; i++)
    temp[i] = ((a[i]) ^ (b[i]));
  bitvector_copy(dest, doffs, temp, aoffs, nbits);
  if (nw > 2000)
    free(temp);
}


x86 assembly (clang, -O0):
<bitvector_xor_to>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    -0xc(%rbp),%eax
add    0x10(%rbp),%eax
add    $0x1f,%eax
sar    $0x5,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x7d0,-0x30(%rbp)
jle    11a4 <bitvector_xor_to+0x54>
mov    -0x30(%rbp),%edi
add    $0x1,%edi
shl    $0x2,%edi
call   1060 <malloc@plt>
mov    %rax,-0x50(%rbp)
jmp    11b6 <bitvector_xor_to+0x66>
mov    -0x30(%rbp),%edi
add    $0x1,%edi
shl    $0x2,%edi
call   1040 <alloca@plt>
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jne    11de <bitvector_xor_to+0x8e>
mov    -0x1c(%rbp),%eax
add    0x10(%rbp),%eax
add    $0x1f,%eax
sar    $0x5,%eax
mov    %eax,-0x40(%rbp)
jmp    1271 <bitvector_xor_to+0x121>
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    1223 <bitvector_xor_to+0xd3>
mov    -0x2c(%rbp),%eax
add    0x10(%rbp),%eax
add    $0x1f,%eax
sar    $0x5,%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x44(%rbp),%edx
mov    -0x2c(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
call   1050 <adjust_offset_to@plt>
mov    -0x38(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    126c <bitvector_xor_to+0x11c>
mov    -0x1c(%rbp),%eax
add    0x10(%rbp),%eax
add    $0x1f,%eax
sar    $0x5,%eax
mov    %eax,-0x40(%rbp)
mov    -0x2c(%rbp),%eax
add    0x10(%rbp),%eax
add    $0x1f,%eax
sar    $0x5,%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x40(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    -0x2c(%rbp),%r8d
call   1050 <adjust_offset_to@plt>
mov    -0x38(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    1271 <bitvector_xor_to+0x121>
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    12b3 <bitvector_xor_to+0x163>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1278 <bitvector_xor_to+0x128>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x38(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    0x10(%rbp),%r8d
call   1070 <bitvector_copy@plt>
cmpl   $0x7d0,-0x30(%rbp)
jle    12e0 <bitvector_xor_to+0x190>
mov    -0x38(%rbp),%rdi
call   1030 <free@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bitvector_xor_to>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9d,%r14d
mov    %r8,%r15
mov    %ecx,%ebp
mov    %rdx,%rbx
mov    %rdi,0x20(%rsp)
mov    0x60(%rsp),%eax
lea    (%rax,%rsi,1),%ecx
mov    %rax,0x10(%rsp)
mov    %rsi,0x8(%rsp)
lea    (%rax,%rsi,1),%r12d
add    $0x1f,%r12d
sar    $0x5,%r12d
lea    0x4(,%r12,4),%edi
mov    %ecx,0x1c(%rsp)
cmp    $0xfa01,%ecx
jl     11a6 <bitvector_xor_to+0x56>
call   1060 <malloc@plt>
jmp    11ab <bitvector_xor_to+0x5b>
call   1040 <alloca@plt>
mov    %rax,%r13
mov    %rbp,%rcx
cmp    %r14d,%ecx
mov    0x8(%rsp),%r9
jne    11d6 <bitvector_xor_to+0x86>
mov    0x10(%rsp),%rax
lea    (%rax,%rcx,1),%r12d
add    $0x1f,%r12d
sar    $0x5,%r12d
test   %r12d,%r12d
jg     1242 <bitvector_xor_to+0xf2>
jmp    13cd <bitvector_xor_to+0x27d>
mov    0x10(%rsp),%rax
lea    0x1f(%rax),%ebp
cmp    %r9d,%ecx
jne    1211 <bitvector_xor_to+0xc1>
add    %r14d,%ebp
sar    $0x5,%ebp
mov    %r13,%rdi
mov    %r15,%rsi
mov    %ebp,%edx
mov    %r14d,%ecx
mov    %r9d,%r8d
call   1050 <adjust_offset_to@plt>
mov    0x8(%rsp),%r9
mov    %r13,%r15
mov    %r9d,%ecx
test   %r12d,%r12d
jg     1242 <bitvector_xor_to+0xf2>
jmp    13cd <bitvector_xor_to+0x27d>
lea    (%rcx,%rbp,1),%edx
sar    $0x5,%edx
add    %r14d,%ebp
sar    $0x5,%ebp
mov    %r13,%rdi
mov    %rbx,%rsi
mov    %r14d,%r8d
call   1050 <adjust_offset_to@plt>
mov    0x8(%rsp),%r9
mov    %r14d,%ecx
mov    %r13,%rbx
mov    %ebp,%r12d
test   %r12d,%r12d
jle    13cd <bitvector_xor_to+0x27d>
mov    %r12d,%ebp
cmp    $0x8,%r12d
jae    12d4 <bitvector_xor_to+0x184>
xor    %eax,%eax
mov    %rax,%rdx
not    %rdx
add    %rbp,%rdx
mov    %rbp,%rsi
and    $0x3,%rsi
je     1286 <bitvector_xor_to+0x136>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%r15,%rax,4),%edi
xor    (%rbx,%rax,4),%edi
mov    %edi,0x0(%r13,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%rsi
jne    1270 <bitvector_xor_to+0x120>
cmp    $0x3,%rdx
jb     13cd <bitvector_xor_to+0x27d>
mov    (%r15,%rax,4),%edx
xor    (%rbx,%rax,4),%edx
mov    %edx,0x0(%r13,%rax,4)
mov    0x4(%r15,%rax,4),%edx
xor    0x4(%rbx,%rax,4),%edx
mov    %edx,0x4(%r13,%rax,4)
mov    0x8(%r15,%rax,4),%edx
xor    0x8(%rbx,%rax,4),%edx
mov    %edx,0x8(%r13,%rax,4)
mov    0xc(%r15,%rax,4),%edx
xor    0xc(%rbx,%rax,4),%edx
mov    %edx,0xc(%r13,%rax,4)
add    $0x4,%rax
cmp    %rax,%rbp
jne    1290 <bitvector_xor_to+0x140>
jmp    13cd <bitvector_xor_to+0x27d>
lea    0x0(,%rbp,4),%rax
add    %r13,%rax
lea    (%rbx,%rbp,4),%rdx
lea    (%r15,%rbp,4),%rsi
cmp    %rdx,%r13
setb   %dil
cmp    %rax,%rbx
setb   %r8b
cmp    %rsi,%r13
setb   %dl
cmp    %rax,%r15
setb   %sil
xor    %eax,%eax
test   %r8b,%dil
jne    1251 <bitvector_xor_to+0x101>
and    %sil,%dl
jne    1251 <bitvector_xor_to+0x101>
mov    %ebp,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     1411 <bitvector_xor_to+0x2c1>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
nopl   0x0(%rax)
movups (%rbx,%rdx,4),%xmm0
movups 0x10(%rbx,%rdx,4),%xmm1
movups (%r15,%rdx,4),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r15,%rdx,4),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,0x0(%r13,%rdx,4)
movups %xmm0,0x10(%r13,%rdx,4)
movups 0x20(%rbx,%rdx,4),%xmm0
movups 0x30(%rbx,%rdx,4),%xmm1
movups 0x20(%r15,%rdx,4),%xmm2
xorps  %xmm0,%xmm2
movups 0x30(%r15,%rdx,4),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,0x20(%r13,%rdx,4)
movups %xmm0,0x30(%r13,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rdi
jne    1340 <bitvector_xor_to+0x1f0>
test   $0x1,%sil
je     13c4 <bitvector_xor_to+0x274>
movups (%rbx,%rdx,4),%xmm0
movups 0x10(%rbx,%rdx,4),%xmm1
movups (%r15,%rdx,4),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%r15,%rdx,4),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,0x0(%r13,%rdx,4)
movups %xmm0,0x10(%r13,%rdx,4)
cmp    %rbp,%rax
jne    1251 <bitvector_xor_to+0x101>
mov    0x20(%rsp),%rdi
mov    %r9d,%esi
mov    %r13,%rdx
mov    0x10(%rsp),%r8
call   1070 <bitvector_copy@plt>
cmpl   $0xfa01,0x1c(%rsp)
jl     1402 <bitvector_xor_to+0x2b2>
mov    %r13,%rdi
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edx,%edx
test   $0x1,%sil
jne    139e <bitvector_xor_to+0x24e>
jmp    13c4 <bitvector_xor_to+0x274>

LLVM IR (-O0):
define void @bitvector_xor_to(i32* %0, i32 %1, i32* %2, i32 %3, i32* %4, i32 %5, i32 %6) {
%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
store i32* %0, i32** %8
store i32 %1, i32* %9
store i32* %2, i32** %10
store i32 %3, i32* %11
store i32* %4, i32** %12
store i32 %5, i32* %13
store i32 %6, i32* %14
%20 = load i32, i32* %9
%21 = load i32, i32* %14
%22 = add nsw i32 %20, %21
%23 = add nsw i32 %22, 31
%24 = ashr i32 %23, 5
store i32 %24, i32* %15
%25 = load i32, i32* %15
%26 = icmp sgt i32 %25, 2000
br i1 %26, label %27, label %32
27: ; preds = %7
%28 = load i32, i32* %15
%29 = add nsw i32 %28, 1
%30 = mul nsw i32 %29, 4
%31 = call i32* @malloc(i32 %30)
br label %37
32: ; preds = %7
%33 = load i32, i32* %15
%34 = add nsw i32 %33, 1
%35 = mul nsw i32 %34, 4
%36 = call i32* @alloca(i32 %35)
br label %37
37: ; preds = %32, %27
%38 = phi i32* [ %31, %27 ], [ %36, %32 ]
store i32* %38, i32** %16
%39 = load i32, i32* %11
%40 = load i32, i32* %13
%41 = icmp eq i32 %39, %40
br i1 %41, label %42, label %48
42: ; preds = %37
%43 = load i32, i32* %11
%44 = load i32, i32* %14
%45 = add nsw i32 %43, %44
%46 = add nsw i32 %45, 31
%47 = ashr i32 %46, 5
store i32 %47, i32* %18
br label %87
48: ; preds = %37
%49 = load i32, i32* %11
%50 = load i32, i32* %9
%51 = icmp eq i32 %49, %50
br i1 %51, label %52, label %66
52: ; preds = %48
%53 = load i32, i32* %13
%54 = load i32, i32* %14
%55 = add nsw i32 %53, %54
%56 = add nsw i32 %55, 31
%57 = ashr i32 %56, 5
store i32 %57, i32* %19
%58 = load i32*, i32** %16
%59 = load i32*, i32** %12
%60 = load i32, i32* %19
%61 = load i32, i32* %13
%62 = load i32, i32* %11
%63 = call i32 @adjust_offset_to(i32* %58, i32* %59, i32 %60, i32 %61, i32 %62)
%64 = load i32*, i32** %16
store i32* %64, i32** %12
%65 = load i32, i32* %15
store i32 %65, i32* %18
br label %86
66: ; preds = %48
%67 = load i32, i32* %11
%68 = load i32, i32* %14
%69 = add nsw i32 %67, %68
%70 = add nsw i32 %69, 31
%71 = ashr i32 %70, 5
store i32 %71, i32* %18
%72 = load i32, i32* %13
%73 = load i32, i32* %14
%74 = add nsw i32 %72, %73
%75 = add nsw i32 %74, 31
%76 = ashr i32 %75, 5
store i32 %76, i32* %19
%77 = load i32*, i32** %16
%78 = load i32*, i32** %10
%79 = load i32, i32* %18
%80 = load i32, i32* %11
%81 = load i32, i32* %13
%82 = call i32 @adjust_offset_to(i32* %77, i32* %78, i32 %79, i32 %80, i32 %81)
%83 = load i32*, i32** %16
store i32* %83, i32** %10
%84 = load i32, i32* %13
store i32 %84, i32* %11
%85 = load i32, i32* %19
store i32 %85, i32* %18
br label %86
86: ; preds = %66, %52
br label %87
87: ; preds = %86, %42
store i32 0, i32* %17
br label %88
88: ; preds = %108, %87
%89 = load i32, i32* %17
%90 = load i32, i32* %18
%91 = icmp slt i32 %89, %90
br i1 %91, label %92, label %111
92: ; preds = %88
%93 = load i32*, i32** %10
%94 = load i32, i32* %17
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %93, i64 %95
%97 = load i32, i32* %96
%98 = load i32*, i32** %12
%99 = load i32, i32* %17
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i32, i32* %98, i64 %100
%102 = load i32, i32* %101
%103 = xor i32 %97, %102
%104 = load i32*, i32** %16
%105 = load i32, i32* %17
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32, i32* %104, i64 %106
store i32 %103, i32* %107
br label %108
108: ; preds = %92
%109 = load i32, i32* %17
%110 = add nsw i32 %109, 1
store i32 %110, i32* %17
br label %88
111: ; preds = %88
%112 = load i32*, i32** %8
%113 = load i32, i32* %9
%114 = load i32*, i32** %16
%115 = load i32, i32* %11
%116 = load i32, i32* %14
%117 = call i32 @bitvector_copy(i32* %112, i32 %113, i32* %114, i32 %115, i32 %116)
%118 = load i32, i32* %15
%119 = icmp sgt i32 %118, 2000
br i1 %119, label %120, label %123
120: ; preds = %111
%121 = load i32*, i32** %16
%122 = call i32 @free(i32* %121)
br label %123
123: ; preds = %120, %111
ret void
}

LLVM IR (-O2):
define void @bitvector_xor_to(i32* %0, i32 %1, i32* %2, i32 %3, i32* %4, i32 %5, i32 %6) {
%8 = add nsw i32 %6, %1
%9 = add nsw i32 %8, 31
%10 = ashr i32 %9, 5
%11 = icmp sgt i32 %8, 64000
%12 = shl nsw i32 %10, 2
%13 = add nsw i32 %12, 4
br i1 %11, label %14, label %16
14: ; preds = %7
%15 = tail call i32* @malloc(i32 %13)
br label %18
16: ; preds = %7
%17 = tail call i32* @alloca(i32 %13)
br label %18
18: ; preds = %16, %14
%19 = phi i32* [ %15, %14 ], [ %17, %16 ]
%20 = icmp eq i32 %3, %5
br i1 %20, label %21, label %25
21: ; preds = %18
%22 = add i32 %6, 31
%23 = add i32 %22, %3
%24 = ashr i32 %23, 5
br label %38
25: ; preds = %18
%26 = icmp eq i32 %3, %1
%27 = add i32 %6, 31
br i1 %26, label %28, label %32
28: ; preds = %25
%29 = add i32 %27, %5
%30 = ashr i32 %29, 5
%31 = tail call i32 @adjust_offset_to(i32* %19, i32* %4, i32 %30, i32 %5, i32 %1)
br label %38
32: ; preds = %25
%33 = add i32 %27, %3
%34 = ashr i32 %33, 5
%35 = add i32 %27, %5
%36 = ashr i32 %35, 5
%37 = tail call i32 @adjust_offset_to(i32* %19, i32* %2, i32 %34, i32 %3, i32 %5)
br label %38
38: ; preds = %28, %32, %21
%39 = phi i32* [ %4, %21 ], [ %19, %28 ], [ %4, %32 ]
%40 = phi i32 [ %3, %21 ], [ %1, %28 ], [ %5, %32 ]
%41 = phi i32* [ %2, %21 ], [ %2, %28 ], [ %19, %32 ]
%42 = phi i32 [ %24, %21 ], [ %10, %28 ], [ %36, %32 ]
%43 = icmp sgt i32 %42, 0
br i1 %43, label %44, label %186
44: ; preds = %38
%45 = zext i32 %42 to i64
%46 = icmp ult i32 %42, 8
br i1 %46, label %134, label %47
47: ; preds = %44
%48 = getelementptr i32, i32* %19, i64 %45
%49 = getelementptr i32, i32* %41, i64 %45
%50 = getelementptr i32, i32* %39, i64 %45
%51 = icmp ult i32* %19, %49
%52 = icmp ult i32* %41, %48
%53 = and i1 %51, %52
%54 = icmp ult i32* %19, %50
%55 = icmp ult i32* %39, %48
%56 = and i1 %54, %55
%57 = or i1 %53, %56
br i1 %57, label %134, label %58
58: ; preds = %47
%59 = and i64 %45, 4294967288
%60 = add nsw i64 %59, -8
%61 = lshr exact i64 %60, 3
%62 = add nuw nsw i64 %61, 1
%63 = and i64 %62, 1
%64 = icmp eq i64 %60, 0
br i1 %64, label %110, label %65
65: ; preds = %58
%66 = and i64 %62, 4611686018427387902
br label %67
67: ; preds = %67, %65
%68 = phi i64 [ 0, %65 ], [ %107, %67 ]
%69 = phi i64 [ 0, %65 ], [ %108, %67 ]
%70 = getelementptr inbounds i32, i32* %41, i64 %68
%71 = bitcast i32* %70 to <4 x i32>*
%72 = load <4 x i32>, <4 x i32>* %71
%73 = getelementptr inbounds i32, i32* %70, i64 4
%74 = bitcast i32* %73 to <4 x i32>*
%75 = load <4 x i32>, <4 x i32>* %74
%76 = getelementptr inbounds i32, i32* %39, i64 %68
%77 = bitcast i32* %76 to <4 x i32>*
%78 = load <4 x i32>, <4 x i32>* %77
%79 = getelementptr inbounds i32, i32* %76, i64 4
%80 = bitcast i32* %79 to <4 x i32>*
%81 = load <4 x i32>, <4 x i32>* %80
%82 = xor <4 x i32> %78, %72
%83 = xor <4 x i32> %81, %75
%84 = getelementptr inbounds i32, i32* %19, i64 %68
%85 = bitcast i32* %84 to <4 x i32>*
store <4 x i32> %82, <4 x i32>* %85
%86 = getelementptr inbounds i32, i32* %84, i64 4
%87 = bitcast i32* %86 to <4 x i32>*
store <4 x i32> %83, <4 x i32>* %87
%88 = or i64 %68, 8
%89 = getelementptr inbounds i32, i32* %41, i64 %88
%90 = bitcast i32* %89 to <4 x i32>*
%91 = load <4 x i32>, <4 x i32>* %90
%92 = getelementptr inbounds i32, i32* %89, i64 4
%93 = bitcast i32* %92 to <4 x i32>*
%94 = load <4 x i32>, <4 x i32>* %93
%95 = getelementptr inbounds i32, i32* %39, i64 %88
%96 = bitcast i32* %95 to <4 x i32>*
%97 = load <4 x i32>, <4 x i32>* %96
%98 = getelementptr inbounds i32, i32* %95, i64 4
%99 = bitcast i32* %98 to <4 x i32>*
%100 = load <4 x i32>, <4 x i32>* %99
%101 = xor <4 x i32> %97, %91
%102 = xor <4 x i32> %100, %94
%103 = getelementptr inbounds i32, i32* %19, i64 %88
%104 = bitcast i32* %103 to <4 x i32>*
store <4 x i32> %101, <4 x i32>* %104
%105 = getelementptr inbounds i32, i32* %103, i64 4
%106 = bitcast i32* %105 to <4 x i32>*
store <4 x i32> %102, <4 x i32>* %106
%107 = add nuw i64 %68, 16
%108 = add i64 %69, 2
%109 = icmp eq i64 %108, %66
br i1 %109, label %110, label %67
110: ; preds = %67, %58
%111 = phi i64 [ 0, %58 ], [ %107, %67 ]
%112 = icmp eq i64 %63, 0
br i1 %112, label %132, label %113
113: ; preds = %110
%114 = getelementptr inbounds i32, i32* %41, i64 %111
%115 = bitcast i32* %114 to <4 x i32>*
%116 = load <4 x i32>, <4 x i32>* %115
%117 = getelementptr inbounds i32, i32* %114, i64 4
%118 = bitcast i32* %117 to <4 x i32>*
%119 = load <4 x i32>, <4 x i32>* %118
%120 = getelementptr inbounds i32, i32* %39, i64 %111
%121 = bitcast i32* %120 to <4 x i32>*
%122 = load <4 x i32>, <4 x i32>* %121
%123 = getelementptr inbounds i32, i32* %120, i64 4
%124 = bitcast i32* %123 to <4 x i32>*
%125 = load <4 x i32>, <4 x i32>* %124
%126 = xor <4 x i32> %122, %116
%127 = xor <4 x i32> %125, %119
%128 = getelementptr inbounds i32, i32* %19, i64 %111
%129 = bitcast i32* %128 to <4 x i32>*
store <4 x i32> %126, <4 x i32>* %129
%130 = getelementptr inbounds i32, i32* %128, i64 4
%131 = bitcast i32* %130 to <4 x i32>*
store <4 x i32> %127, <4 x i32>* %131
br label %132
132: ; preds = %110, %113
%133 = icmp eq i64 %59, %45
br i1 %133, label %186, label %134
134: ; preds = %47, %44, %132
%135 = phi i64 [ 0, %47 ], [ 0, %44 ], [ %59, %132 ]
%136 = xor i64 %135, -1
%137 = add nsw i64 %136, %45
%138 = and i64 %45, 3
%139 = icmp eq i64 %138, 0
br i1 %139, label %152, label %140
140: ; preds = %134, %140
%141 = phi i64 [ %149, %140 ], [ %135, %134 ]
%142 = phi i64 [ %150, %140 ], [ 0, %134 ]
%143 = getelementptr inbounds i32, i32* %41, i64 %141
%144 = load i32, i32* %143
%145 = getelementptr inbounds i32, i32* %39, i64 %141
%146 = load i32, i32* %145
%147 = xor i32 %146, %144
%148 = getelementptr inbounds i32, i32* %19, i64 %141
store i32 %147, i32* %148
%149 = add nuw nsw i64 %141, 1
%150 = add i64 %142, 1
%151 = icmp eq i64 %150, %138
br i1 %151, label %152, label %140
152: ; preds = %140, %134
%153 = phi i64 [ %135, %134 ], [ %149, %140 ]
%154 = icmp ult i64 %137, 3
br i1 %154, label %186, label %155
155: ; preds = %152, %155
%156 = phi i64 [ %184, %155 ], [ %153, %152 ]
%157 = getelementptr inbounds i32, i32* %41, i64 %156
%158 = load i32, i32* %157
%159 = getelementptr inbounds i32, i32* %39, i64 %156
%160 = load i32, i32* %159
%161 = xor i32 %160, %158
%162 = getelementptr inbounds i32, i32* %19, i64 %156
store i32 %161, i32* %162
%163 = add nuw nsw i64 %156, 1
%164 = getelementptr inbounds i32, i32* %41, i64 %163
%165 = load i32, i32* %164
%166 = getelementptr inbounds i32, i32* %39, i64 %163
%167 = load i32, i32* %166
%168 = xor i32 %167, %165
%169 = getelementptr inbounds i32, i32* %19, i64 %163
store i32 %168, i32* %169
%170 = add nuw nsw i64 %156, 2
%171 = getelementptr inbounds i32, i32* %41, i64 %170
%172 = load i32, i32* %171
%173 = getelementptr inbounds i32, i32* %39, i64 %170
%174 = load i32, i32* %173
%175 = xor i32 %174, %172
%176 = getelementptr inbounds i32, i32* %19, i64 %170
store i32 %175, i32* %176
%177 = add nuw nsw i64 %156, 3
%178 = getelementptr inbounds i32, i32* %41, i64 %177
%179 = load i32, i32* %178
%180 = getelementptr inbounds i32, i32* %39, i64 %177
%181 = load i32, i32* %180
%182 = xor i32 %181, %179
%183 = getelementptr inbounds i32, i32* %19, i64 %177
store i32 %182, i32* %183
%184 = add nuw nsw i64 %156, 4
%185 = icmp eq i64 %184, %45
br i1 %185, label %186, label %155
186: ; preds = %152, %155, %132, %38
%187 = tail call i32 @bitvector_copy(i32* %0, i32 %1, i32* %19, i32 %40, i32 %6)
br i1 %11, label %188, label %190
188: ; preds = %186
%189 = tail call i32 @free(i32* %19)
br label %190
190: ; preds = %188, %186
ret void
}