#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 */

/* Variables and functions */
int Kit_TruthWordNum(int);
void Kit_TruthMuxPhase(unsigned *pOut, unsigned *pIn0, unsigned *pIn1,
                       unsigned *pCtrl, int nVars, int fComp0) {
  int w;
  if (fComp0)
    for (w = Kit_TruthWordNum(nVars) - 1; w >= 0; w--)
      pOut[w] = (~pIn0[w] & ~pCtrl[w]) | (pIn1[w] & pCtrl[w]);
  else
    for (w = Kit_TruthWordNum(nVars) - 1; w >= 0; w--)
      pOut[w] = (pIn0[w] & ~pCtrl[w]) | (pIn1[w] & pCtrl[w]);
}


x86 assembly (clang, -O0):
<Kit_TruthMuxPhase>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     11a6 <Kit_TruthMuxPhase+0x96>
mov    -0x24(%rbp),%edi
call   1030 <Kit_TruthWordNum@plt>
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     11a1 <Kit_TruthMuxPhase+0x91>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
xor    $0xffffffff,%edx
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
xor    $0xffffffff,%eax
and    %eax,%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x2c(%rbp),%rsi
and    (%rcx,%rsi,4),%eax
or     %eax,%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1148 <Kit_TruthMuxPhase+0x38>
jmp    120f <Kit_TruthMuxPhase+0xff>
mov    -0x24(%rbp),%edi
call   1030 <Kit_TruthWordNum@plt>
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     120a <Kit_TruthMuxPhase+0xfa>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
xor    $0xffffffff,%eax
and    %eax,%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x2c(%rbp),%rsi
and    (%rcx,%rsi,4),%eax
or     %eax,%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    11b4 <Kit_TruthMuxPhase+0xa4>
jmp    120f <Kit_TruthMuxPhase+0xff>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Kit_TruthMuxPhase>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9d,%ebp
mov    %rcx,%r14
mov    %rdx,%r15
mov    %rsi,%r12
mov    %rdi,%rbx
mov    %r8d,%edi
call   1030 <Kit_TruthWordNum@plt>
test   %ebp,%ebp
je     1274 <Kit_TruthMuxPhase+0x164>
test   %eax,%eax
jle    13f0 <Kit_TruthMuxPhase+0x2e0>
mov    %eax,%ecx
cmp    $0x8,%eax
jb     1395 <Kit_TruthMuxPhase+0x285>
lea    -0x1(%rcx),%rdx
add    $0xffffffff,%eax
cmp    %edx,%eax
jb     1395 <Kit_TruthMuxPhase+0x285>
mov    %rdx,%rsi
shr    $0x20,%rsi
jne    1395 <Kit_TruthMuxPhase+0x285>
mov    %rcx,%rsi
neg    %rsi
add    %rax,%rsi
add    $0x1,%rsi
lea    (%rbx,%rsi,4),%rbp
lea    0x4(%rbx,%rax,4),%rdi
lea    (%r12,%rsi,4),%r8
lea    0x4(%r12,%rax,4),%r9
lea    (%r14,%rsi,4),%r10
lea    (%r14,%rax,4),%r11
add    $0x4,%r11
lea    (%r15,%rsi,4),%r13
lea    (%r15,%rax,4),%rsi
add    $0x4,%rsi
cmp    %r9,%rbp
setb   %r9b
cmp    %rdi,%r8
setb   %r8b
cmp    %r11,%rbp
setb   %al
cmp    %rdi,%r10
setb   %r10b
cmp    %rsi,%rbp
setb   %sil
cmp    %rdi,%r13
setb   %dil
test   %r8b,%r9b
jne    1395 <Kit_TruthMuxPhase+0x285>
and    %r10b,%al
jne    1395 <Kit_TruthMuxPhase+0x285>
and    %dil,%sil
jne    1395 <Kit_TruthMuxPhase+0x285>
mov    %ecx,%esi
and    $0xfffffff8,%esi
mov    %ecx,%eax
and    $0x7,%eax
pcmpeqd %xmm0,%xmm0
mov    %rsi,%rdi
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,%ebp
shl    $0x2,%rbp
movdqu -0x1c(%r12,%rbp,1),%xmm1
movdqu -0xc(%r12,%rbp,1),%xmm2
movdqu -0x1c(%r14,%rbp,1),%xmm3
movdqu -0xc(%r14,%rbp,1),%xmm4
por    %xmm4,%xmm2
por    %xmm3,%xmm1
pxor   %xmm0,%xmm2
pxor   %xmm0,%xmm1
movdqu -0x1c(%r15,%rbp,1),%xmm5
movdqu -0xc(%r15,%rbp,1),%xmm6
pand   %xmm4,%xmm6
por    %xmm2,%xmm6
pand   %xmm3,%xmm5
por    %xmm1,%xmm5
movdqu %xmm6,-0xc(%rbx,%rbp,1)
movdqu %xmm5,-0x1c(%rbx,%rbp,1)
add    $0xfffffffffffffff8,%rdx
add    $0xfffffffffffffff8,%rdi
jne    1200 <Kit_TruthMuxPhase+0xf0>
cmp    %rcx,%rsi
jne    1398 <Kit_TruthMuxPhase+0x288>
jmp    13f0 <Kit_TruthMuxPhase+0x2e0>
test   %eax,%eax
jle    13f0 <Kit_TruthMuxPhase+0x2e0>
mov    %eax,%ecx
cmp    $0x8,%eax
jb     13c4 <Kit_TruthMuxPhase+0x2b4>
lea    -0x1(%rcx),%rdx
add    $0xffffffff,%eax
cmp    %edx,%eax
jb     13c4 <Kit_TruthMuxPhase+0x2b4>
mov    %rdx,%rsi
shr    $0x20,%rsi
jne    13c4 <Kit_TruthMuxPhase+0x2b4>
mov    %rcx,%rsi
neg    %rsi
add    %rax,%rsi
add    $0x1,%rsi
lea    (%rbx,%rsi,4),%rbp
lea    0x4(%rbx,%rax,4),%rdi
lea    (%r12,%rsi,4),%r8
lea    0x4(%r12,%rax,4),%r9
lea    (%r14,%rsi,4),%r10
lea    (%r14,%rax,4),%r11
add    $0x4,%r11
lea    (%r15,%rsi,4),%r13
lea    (%r15,%rax,4),%rsi
add    $0x4,%rsi
cmp    %r9,%rbp
setb   %r9b
cmp    %rdi,%r8
setb   %r8b
cmp    %r11,%rbp
setb   %al
cmp    %rdi,%r10
setb   %r10b
cmp    %rsi,%rbp
setb   %sil
cmp    %rdi,%r13
setb   %dil
test   %r8b,%r9b
jne    13c4 <Kit_TruthMuxPhase+0x2b4>
and    %r10b,%al
jne    13c4 <Kit_TruthMuxPhase+0x2b4>
and    %dil,%sil
jne    13c4 <Kit_TruthMuxPhase+0x2b4>
mov    %ecx,%esi
and    $0xfffffff8,%esi
mov    %ecx,%eax
and    $0x7,%eax
mov    %rsi,%rdi
nopl   0x0(%rax,%rax,1)
mov    %edx,%ebp
shl    $0x2,%rbp
movdqu -0x1c(%r12,%rbp,1),%xmm0
movdqu -0xc(%r12,%rbp,1),%xmm1
movdqu -0x1c(%r14,%rbp,1),%xmm2
movdqu -0xc(%r14,%rbp,1),%xmm3
movdqu -0x1c(%r15,%rbp,1),%xmm4
movdqu -0xc(%r15,%rbp,1),%xmm5
pand   %xmm3,%xmm5
pandn  %xmm1,%xmm3
por    %xmm5,%xmm3
pand   %xmm2,%xmm4
pandn  %xmm0,%xmm2
por    %xmm4,%xmm2
movdqu %xmm3,-0xc(%rbx,%rbp,1)
movdqu %xmm2,-0x1c(%rbx,%rbp,1)
add    $0xfffffffffffffff8,%rdx
add    $0xfffffffffffffff8,%rdi
jne    1330 <Kit_TruthMuxPhase+0x220>
cmp    %rcx,%rsi
jne    13c7 <Kit_TruthMuxPhase+0x2b7>
jmp    13f0 <Kit_TruthMuxPhase+0x2e0>
mov    %rcx,%rax
add    $0x1,%rax
nopl   0x0(%rax)
lea    -0x2(%rax),%ecx
mov    (%r14,%rcx,4),%edx
mov    (%r12,%rcx,4),%esi
or     %edx,%esi
not    %esi
and    (%r15,%rcx,4),%edx
or     %esi,%edx
mov    %edx,(%rbx,%rcx,4)
add    $0xffffffffffffffff,%rax
cmp    $0x1,%rax
ja     13a0 <Kit_TruthMuxPhase+0x290>
jmp    13f0 <Kit_TruthMuxPhase+0x2e0>
mov    %rcx,%rax
add    $0x1,%rax
nopl   0x0(%rax,%rax,1)
lea    -0x2(%rax),%ecx
mov    (%r12,%rcx,4),%edx
mov    (%r15,%rcx,4),%esi
xor    %edx,%esi
and    (%r14,%rcx,4),%esi
xor    %edx,%esi
mov    %esi,(%rbx,%rcx,4)
add    $0xffffffffffffffff,%rax
cmp    $0x1,%rax
ja     13d0 <Kit_TruthMuxPhase+0x2c0>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @Kit_TruthMuxPhase(i32* %0, i32* %1, i32* %2, i32* %3, i32 %4, i32 %5) {
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32* %0, i32** %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i32* %3, i32** %10
store i32 %4, i32* %11
store i32 %5, i32* %12
%14 = load i32, i32* %12
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %57
16: ; preds = %6
%17 = load i32, i32* %11
%18 = call i32 @Kit_TruthWordNum(i32 %17)
%19 = sub nsw i32 %18, 1
store i32 %19, i32* %13
br label %20
20: ; preds = %53, %16
%21 = load i32, i32* %13
%22 = icmp sge i32 %21, 0
br i1 %22, label %23, label %56
23: ; preds = %20
%24 = load i32*, i32** %8
%25 = load i32, i32* %13
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = load i32, i32* %27
%29 = xor i32 %28, -1
%30 = load i32*, i32** %10
%31 = load i32, i32* %13
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
%34 = load i32, i32* %33
%35 = xor i32 %34, -1
%36 = and i32 %29, %35
%37 = load i32*, i32** %9
%38 = load i32, i32* %13
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %37, i64 %39
%41 = load i32, i32* %40
%42 = load i32*, i32** %10
%43 = load i32, i32* %13
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %42, i64 %44
%46 = load i32, i32* %45
%47 = and i32 %41, %46
%48 = or i32 %36, %47
%49 = load i32*, i32** %7
%50 = load i32, i32* %13
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
store i32 %48, i32* %52
br label %53
53: ; preds = %23
%54 = load i32, i32* %13
%55 = add nsw i32 %54, -1
store i32 %55, i32* %13
br label %20
56: ; preds = %20
br label %97
57: ; preds = %6
%58 = load i32, i32* %11
%59 = call i32 @Kit_TruthWordNum(i32 %58)
%60 = sub nsw i32 %59, 1
store i32 %60, i32* %13
br label %61
61: ; preds = %93, %57
%62 = load i32, i32* %13
%63 = icmp sge i32 %62, 0
br i1 %63, label %64, label %96
64: ; preds = %61
%65 = load i32*, i32** %8
%66 = load i32, i32* %13
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i32, i32* %65, i64 %67
%69 = load i32, i32* %68
%70 = load i32*, i32** %10
%71 = load i32, i32* %13
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i32, i32* %70, i64 %72
%74 = load i32, i32* %73
%75 = xor i32 %74, -1
%76 = and i32 %69, %75
%77 = load i32*, i32** %9
%78 = load i32, i32* %13
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32, i32* %77, i64 %79
%81 = load i32, i32* %80
%82 = load i32*, i32** %10
%83 = load i32, i32* %13
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
%86 = load i32, i32* %85
%87 = and i32 %81, %86
%88 = or i32 %76, %87
%89 = load i32*, i32** %7
%90 = load i32, i32* %13
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i32, i32* %89, i64 %91
store i32 %88, i32* %92
br label %93
93: ; preds = %64
%94 = load i32, i32* %13
%95 = add nsw i32 %94, -1
store i32 %95, i32* %13
br label %61
96: ; preds = %61
br label %97
97: ; preds = %96, %56
ret void
}

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