unsigned int tcp_verify_checksum(unsigned char segment[],
                                 unsigned char psuedo[], unsigned int size) {
  unsigned int actual_size, header_16bit_words[740],
      psuedo_header_16bit_words[6], count, index, result;
  long sum = 0, temp = 0;
  if (size % 2 != 0) {
    segment[size] = 0;
    actual_size = size + 1;
  } else {
    actual_size = size;
  }
  for (count = 0, index = 0; index < 12; ++count, index += 2) {
    psuedo_header_16bit_words[count] = psuedo[index];
    psuedo_header_16bit_words[count] = (psuedo_header_16bit_words[count] << 8);
    psuedo_header_16bit_words[count] |= psuedo[index + 1];
  }
  for (count = 0, index = 0; index < actual_size; ++count, index += 2) {
    header_16bit_words[count] = segment[index];
    header_16bit_words[count] = (header_16bit_words[count] << 8);
    header_16bit_words[count] |= segment[index + 1];
  }
  for (count = 0; count < 6; ++count) {
    sum += psuedo_header_16bit_words[count];
  }
  for (count = 0; count < (actual_size / 2); ++count) {
    sum += header_16bit_words[count];
  }
  temp = (sum >> 16);
  sum &= 0xFFFF;
  result = sum + temp;
  result = ~result;
  return result;
}


x86 assembly (clang, -O0):
<tcp_verify_checksum>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movq   $0x0,-0xbe8(%rbp)
movq   $0x0,-0xbf0(%rbp)
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1154 <tcp_verify_checksum+0x54>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
movb   $0x0,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    115a <tcp_verify_checksum+0x5a>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0xbd4(%rbp)
movl   $0x0,-0xbd8(%rbp)
cmpl   $0xc,-0xbd8(%rbp)
jae    11fd <tcp_verify_checksum+0xfd>
mov    -0x10(%rbp),%rax
mov    -0xbd8(%rbp),%ecx
movzbl (%rax,%rcx,1),%ecx
mov    -0xbd4(%rbp),%eax
mov    %ecx,-0xbd0(%rbp,%rax,4)
mov    -0xbd4(%rbp),%eax
mov    -0xbd0(%rbp,%rax,4),%ecx
shl    $0x8,%ecx
mov    -0xbd4(%rbp),%eax
mov    %ecx,-0xbd0(%rbp,%rax,4)
mov    -0x10(%rbp),%rax
mov    -0xbd8(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%ecx
mov    -0xbd4(%rbp),%eax
or     -0xbd0(%rbp,%rax,4),%ecx
mov    %ecx,-0xbd0(%rbp,%rax,4)
mov    -0xbd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xbd4(%rbp)
mov    -0xbd8(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0xbd8(%rbp)
jmp    116e <tcp_verify_checksum+0x6e>
movl   $0x0,-0xbd4(%rbp)
movl   $0x0,-0xbd8(%rbp)
mov    -0xbd8(%rbp),%eax
cmp    -0x18(%rbp),%eax
jae    12a2 <tcp_verify_checksum+0x1a2>
mov    -0x8(%rbp),%rax
mov    -0xbd8(%rbp),%ecx
movzbl (%rax,%rcx,1),%ecx
mov    -0xbd4(%rbp),%eax
mov    %ecx,-0xbb0(%rbp,%rax,4)
mov    -0xbd4(%rbp),%eax
mov    -0xbb0(%rbp,%rax,4),%ecx
shl    $0x8,%ecx
mov    -0xbd4(%rbp),%eax
mov    %ecx,-0xbb0(%rbp,%rax,4)
mov    -0x8(%rbp),%rax
mov    -0xbd8(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%ecx
mov    -0xbd4(%rbp),%eax
or     -0xbb0(%rbp,%rax,4),%ecx
mov    %ecx,-0xbb0(%rbp,%rax,4)
mov    -0xbd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xbd4(%rbp)
mov    -0xbd8(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0xbd8(%rbp)
jmp    1211 <tcp_verify_checksum+0x111>
movl   $0x0,-0xbd4(%rbp)
cmpl   $0x6,-0xbd4(%rbp)
jae    12e8 <tcp_verify_checksum+0x1e8>
mov    -0xbd4(%rbp),%eax
mov    -0xbd0(%rbp,%rax,4),%eax
add    -0xbe8(%rbp),%rax
mov    %rax,-0xbe8(%rbp)
mov    -0xbd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xbd4(%rbp)
jmp    12ac <tcp_verify_checksum+0x1ac>
movl   $0x0,-0xbd4(%rbp)
mov    -0xbd4(%rbp),%eax
mov    -0x18(%rbp),%ecx
shr    $0x1,%ecx
cmp    %ecx,%eax
jae    1335 <tcp_verify_checksum+0x235>
mov    -0xbd4(%rbp),%eax
mov    -0xbb0(%rbp,%rax,4),%eax
add    -0xbe8(%rbp),%rax
mov    %rax,-0xbe8(%rbp)
mov    -0xbd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xbd4(%rbp)
jmp    12f2 <tcp_verify_checksum+0x1f2>
mov    -0xbe8(%rbp),%rax
sar    $0x10,%rax
mov    %rax,-0xbf0(%rbp)
mov    -0xbe8(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0xbe8(%rbp)
mov    -0xbe8(%rbp),%rax
add    -0xbf0(%rbp),%rax
mov    %eax,-0xbdc(%rbp)
mov    -0xbdc(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0xbdc(%rbp)
mov    -0xbdc(%rbp),%eax
add    $0xb70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tcp_verify_checksum>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0xb18,%rsp
test   $0x1,%dl
je     111b <tcp_verify_checksum+0x1b>
mov    %edx,%eax
movb   $0x0,(%rdi,%rax,1)
add    $0x1,%edx
movzwl (%rsi),%ecx
shl    $0x30,%rcx
bswap  %rcx
movzwl 0x2(%rsi),%r8d
shl    $0x30,%r8
bswap  %r8
movzwl 0x4(%rsi),%r9d
shl    $0x30,%r9
bswap  %r9
movzwl 0x6(%rsi),%r10d
shl    $0x30,%r10
bswap  %r10
movzwl 0x8(%rsi),%r11d
shl    $0x30,%r11
bswap  %r11
movzwl 0xa(%rsi),%r14d
shl    $0x30,%r14
bswap  %r14
test   %edx,%edx
je     1183 <tcp_verify_checksum+0x83>
lea    -0x1(%rdx),%eax
mov    %eax,%r15d
shr    %r15d
add    $0x1,%r15d
cmp    $0x2,%eax
jae    1197 <tcp_verify_checksum+0x97>
xor    %ebx,%ebx
xor    %esi,%esi
test   $0x1,%r15b
jne    11e1 <tcp_verify_checksum+0xe1>
jmp    11f6 <tcp_verify_checksum+0xf6>
add    %r8,%rcx
add    %r9,%rcx
add    %r10,%rcx
add    %r11,%rcx
add    %r14,%rcx
jmp    12e0 <tcp_verify_checksum+0x1e0>
mov    %r15d,%eax
and    $0xfffffffe,%eax
neg    %rax
xor    %ebx,%ebx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzwl (%rdi,%rsi,1),%ebp
shl    $0x10,%ebp
bswap  %ebp
mov    %ebp,-0x80(%rsp,%rsi,2)
movzwl 0x2(%rdi,%rsi,1),%ebp
shl    $0x10,%ebp
bswap  %ebp
mov    %ebp,-0x7c(%rsp,%rsi,2)
add    $0x4,%rsi
add    $0xfffffffffffffffe,%rbx
cmp    %rbx,%rax
jne    11b0 <tcp_verify_checksum+0xb0>
neg    %rbx
test   $0x1,%r15b
je     11f6 <tcp_verify_checksum+0xf6>
movzbl (%rdi,%rsi,1),%eax
shl    $0x8,%eax
or     $0x1,%rsi
movzbl (%rdi,%rsi,1),%esi
or     %eax,%esi
mov    %esi,-0x80(%rsp,%rbx,4)
add    %r8,%rcx
add    %r9,%rcx
add    %r10,%rcx
add    %r11,%rcx
add    %r14,%rcx
cmp    $0x2,%edx
jb     12e0 <tcp_verify_checksum+0x1e0>
mov    %edx,%eax
shr    %eax
cmp    $0x8,%edx
jae    121e <tcp_verify_checksum+0x11e>
xor    %edx,%edx
jmp    12d0 <tcp_verify_checksum+0x1d0>
mov    %eax,%edx
and    $0xfffffffc,%edx
movd   %ecx,%xmm0
lea    -0x4(%rdx),%rsi
mov    %rsi,%rcx
shr    $0x2,%rcx
add    $0x1,%rcx
test   %rsi,%rsi
je     12fc <tcp_verify_checksum+0x1fc>
mov    %rcx,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm2,%xmm2
xor    %esi,%esi
pxor   %xmm1,%xmm1
movq   -0x80(%rsp,%rsi,4),%xmm3
movq   -0x78(%rsp,%rsi,4),%xmm4
punpckldq %xmm2,%xmm3
paddq  %xmm0,%xmm3
punpckldq %xmm2,%xmm4
paddq  %xmm1,%xmm4
movq   -0x70(%rsp,%rsi,4),%xmm0
movq   -0x68(%rsp,%rsi,4),%xmm1
punpckldq %xmm2,%xmm0
paddq  %xmm3,%xmm0
punpckldq %xmm2,%xmm1
paddq  %xmm4,%xmm1
add    $0x8,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1250 <tcp_verify_checksum+0x150>
test   $0x1,%cl
je     12b7 <tcp_verify_checksum+0x1b7>
movq   -0x80(%rsp,%rsi,4),%xmm2
movq   -0x78(%rsp,%rsi,4),%xmm3
pxor   %xmm4,%xmm4
punpckldq %xmm4,%xmm2
paddq  %xmm2,%xmm0
punpckldq %xmm4,%xmm3
paddq  %xmm3,%xmm1
paddq  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rcx
cmp    %rax,%rdx
je     12e0 <tcp_verify_checksum+0x1e0>
xchg   %ax,%ax
mov    -0x80(%rsp,%rdx,4),%esi
add    %rsi,%rcx
add    $0x1,%rdx
cmp    %rdx,%rax
jne    12d0 <tcp_verify_checksum+0x1d0>
mov    %rcx,%rax
shr    $0x10,%rax
movzwl %cx,%ecx
add    %ecx,%eax
not    %eax
add    $0xb18,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
pxor   %xmm1,%xmm1
xor    %esi,%esi
test   $0x1,%cl
jne    1297 <tcp_verify_checksum+0x197>
jmp    12b7 <tcp_verify_checksum+0x1b7>

LLVM IR (-O0):
define i32 @tcp_verify_checksum(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca [740 x i32]
%9 = alloca [6 x i32]
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i64
%14 = alloca i64
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
store i64 0, i64* %13
store i64 0, i64* %14
%15 = load i32, i32* %6
%16 = urem i32 %15, 2
%17 = icmp ne i32 %16, 0
br i1 %17, label %18, label %25
18: ; preds = %3
%19 = load i8*, i8** %4
%20 = load i32, i32* %6
%21 = zext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
store i8 0, i8* %22
%23 = load i32, i32* %6
%24 = add i32 %23, 1
store i32 %24, i32* %7
br label %27
25: ; preds = %3
%26 = load i32, i32* %6
store i32 %26, i32* %7
br label %27
27: ; preds = %25, %18
store i32 0, i32* %10
store i32 0, i32* %11
br label %28
28: ; preds = %61, %27
%29 = load i32, i32* %11
%30 = icmp ult i32 %29, 12
br i1 %30, label %31, label %66
31: ; preds = %28
%32 = load i8*, i8** %5
%33 = load i32, i32* %11
%34 = zext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %32, i64 %34
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
%38 = load i32, i32* %10
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds [6 x i32], [6 x i32]* %9, i64 0, i64 %39
store i32 %37, i32* %40
%41 = load i32, i32* %10
%42 = zext i32 %41 to i64
%43 = getelementptr inbounds [6 x i32], [6 x i32]* %9, i64 0, i64 %42
%44 = load i32, i32* %43
%45 = shl i32 %44, 8
%46 = load i32, i32* %10
%47 = zext i32 %46 to i64
%48 = getelementptr inbounds [6 x i32], [6 x i32]* %9, i64 0, i64 %47
store i32 %45, i32* %48
%49 = load i8*, i8** %5
%50 = load i32, i32* %11
%51 = add i32 %50, 1
%52 = zext i32 %51 to i64
%53 = getelementptr inbounds i8, i8* %49, i64 %52
%54 = load i8, i8* %53
%55 = zext i8 %54 to i32
%56 = load i32, i32* %10
%57 = zext i32 %56 to i64
%58 = getelementptr inbounds [6 x i32], [6 x i32]* %9, i64 0, i64 %57
%59 = load i32, i32* %58
%60 = or i32 %59, %55
store i32 %60, i32* %58
br label %61
61: ; preds = %31
%62 = load i32, i32* %10
%63 = add i32 %62, 1
store i32 %63, i32* %10
%64 = load i32, i32* %11
%65 = add i32 %64, 2
store i32 %65, i32* %11
br label %28
66: ; preds = %28
store i32 0, i32* %10
store i32 0, i32* %11
br label %67
67: ; preds = %101, %66
%68 = load i32, i32* %11
%69 = load i32, i32* %7
%70 = icmp ult i32 %68, %69
br i1 %70, label %71, label %106
71: ; preds = %67
%72 = load i8*, i8** %4
%73 = load i32, i32* %11
%74 = zext i32 %73 to i64
%75 = getelementptr inbounds i8, i8* %72, i64 %74
%76 = load i8, i8* %75
%77 = zext i8 %76 to i32
%78 = load i32, i32* %10
%79 = zext i32 %78 to i64
%80 = getelementptr inbounds [740 x i32], [740 x i32]* %8, i64 0, i64 %79
store i32 %77, i32* %80
%81 = load i32, i32* %10
%82 = zext i32 %81 to i64
%83 = getelementptr inbounds [740 x i32], [740 x i32]* %8, i64 0, i64 %82
%84 = load i32, i32* %83
%85 = shl i32 %84, 8
%86 = load i32, i32* %10
%87 = zext i32 %86 to i64
%88 = getelementptr inbounds [740 x i32], [740 x i32]* %8, i64 0, i64 %87
store i32 %85, i32* %88
%89 = load i8*, i8** %4
%90 = load i32, i32* %11
%91 = add i32 %90, 1
%92 = zext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %89, i64 %92
%94 = load i8, i8* %93
%95 = zext i8 %94 to i32
%96 = load i32, i32* %10
%97 = zext i32 %96 to i64
%98 = getelementptr inbounds [740 x i32], [740 x i32]* %8, i64 0, i64 %97
%99 = load i32, i32* %98
%100 = or i32 %99, %95
store i32 %100, i32* %98
br label %101
101: ; preds = %71
%102 = load i32, i32* %10
%103 = add i32 %102, 1
store i32 %103, i32* %10
%104 = load i32, i32* %11
%105 = add i32 %104, 2
store i32 %105, i32* %11
br label %67
106: ; preds = %67
store i32 0, i32* %10
br label %107
107: ; preds = %118, %106
%108 = load i32, i32* %10
%109 = icmp ult i32 %108, 6
br i1 %109, label %110, label %121
110: ; preds = %107
%111 = load i32, i32* %10
%112 = zext i32 %111 to i64
%113 = getelementptr inbounds [6 x i32], [6 x i32]* %9, i64 0, i64 %112
%114 = load i32, i32* %113
%115 = zext i32 %114 to i64
%116 = load i64, i64* %13
%117 = add nsw i64 %116, %115
store i64 %117, i64* %13
br label %118
118: ; preds = %110
%119 = load i32, i32* %10
%120 = add i32 %119, 1
store i32 %120, i32* %10
br label %107
121: ; preds = %107
store i32 0, i32* %10
br label %122
122: ; preds = %135, %121
%123 = load i32, i32* %10
%124 = load i32, i32* %7
%125 = udiv i32 %124, 2
%126 = icmp ult i32 %123, %125
br i1 %126, label %127, label %138
127: ; preds = %122
%128 = load i32, i32* %10
%129 = zext i32 %128 to i64
%130 = getelementptr inbounds [740 x i32], [740 x i32]* %8, i64 0, i64 %129
%131 = load i32, i32* %130
%132 = zext i32 %131 to i64
%133 = load i64, i64* %13
%134 = add nsw i64 %133, %132
store i64 %134, i64* %13
br label %135
135: ; preds = %127
%136 = load i32, i32* %10
%137 = add i32 %136, 1
store i32 %137, i32* %10
br label %122
138: ; preds = %122
%139 = load i64, i64* %13
%140 = ashr i64 %139, 16
store i64 %140, i64* %14
%141 = load i64, i64* %13
%142 = and i64 %141, 65535
store i64 %142, i64* %13
%143 = load i64, i64* %13
%144 = load i64, i64* %14
%145 = add nsw i64 %143, %144
%146 = trunc i64 %145 to i32
store i32 %146, i32* %12
%147 = load i32, i32* %12
%148 = xor i32 %147, -1
store i32 %148, i32* %12
%149 = load i32, i32* %12
ret i32 %149
}

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