#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 scalar_t__ u_char;
typedef int ssize_t;
typedef int off_t;

/* Variables and functions */
int /*<<< orphan*/ errx(int, char *);
int /*<<< orphan*/ memcpy(scalar_t__ *, scalar_t__ *, int);
int offtin(scalar_t__ *);
int /*<<< orphan*/ valid_header(scalar_t__ *);
int bspatch(u_char *old, ssize_t oldsize, u_char *patch, ssize_t patchsize,
            u_char *new) {
  ssize_t newsize, ctrllen, datalen;
  u_char *ctrlblock, *diffblock, *extrablock;
  off_t oldpos, newpos;
  off_t ctrl[3];
  off_t i;
  if (patchsize < 32)
    return -1;
  if (!valid_header(patch))
    return -1;
  ctrllen = offtin(patch + 8);
  datalen = offtin(patch + 16);
  newsize = offtin(patch + 24);
  if ((ctrllen < 0) || (datalen < 0) || (newsize < 0))
    return -1;
  ctrlblock = patch + 32;
  diffblock = patch + 32 + ctrllen;
  extrablock = patch + 32 + ctrllen + datalen;
  oldpos = 0;
  newpos = 0;
  while (newpos < newsize) {
    ctrl[0] = offtin(ctrlblock);
    ctrl[1] = offtin(ctrlblock + 8);
    ctrl[2] = offtin(ctrlblock + 16);
    ctrlblock += 24;
    if (newpos + ctrl[0] > newsize)
      errx(1, "Corrupt patch\n");
    memcpy(new + newpos, diffblock, ctrl[0]);
    diffblock += ctrl[0];
    for (i = 0; i < ctrl[0]; i++)
      if ((oldpos + i >= 0) && (oldpos + i < oldsize))
        new[newpos + i] += old[oldpos + i];
    newpos += ctrl[0];
    oldpos += ctrl[0];
    if (newpos + ctrl[1] > newsize)
      errx(1, "Corrupt patch\n");
    memcpy(new + newpos, extrablock, ctrl[1]);
    extrablock += ctrl[1];
    newpos += ctrl[1];
    oldpos += ctrl[2];
  };
  return 0;
}


x86 assembly (clang, -O0):
<bspatch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8,-0x30(%rbp)
cmpl   $0x20,-0x24(%rbp)
jge    1170 <bspatch+0x30>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ca <bspatch+0x28a>
mov    -0x20(%rbp),%rdi
call   1040 <valid_header@plt>
cmp    $0x0,%eax
jne    118e <bspatch+0x4e>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ca <bspatch+0x28a>
mov    -0x20(%rbp),%rdi
add    $0x40,%rdi
call   1060 <offtin@plt>
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%rdi
add    $0x80,%rdi
call   1060 <offtin@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%rdi
add    $0xc0,%rdi
call   1060 <offtin@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x38(%rbp)
jl     11e2 <bspatch+0xa2>
cmpl   $0x0,-0x3c(%rbp)
jl     11e2 <bspatch+0xa2>
cmpl   $0x0,-0x34(%rbp)
jge    11ee <bspatch+0xae>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ca <bspatch+0x28a>
mov    -0x20(%rbp),%rax
add    $0x100,%rax
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
add    $0x100,%rax
movslq -0x38(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x20(%rbp),%rax
add    $0x100,%rax
movslq -0x38(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x3c(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
movl   $0x0,-0x5c(%rbp)
movl   $0x0,-0x60(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    13c3 <bspatch+0x283>
mov    -0x48(%rbp),%rdi
call   1060 <offtin@plt>
mov    %eax,-0x6c(%rbp)
mov    -0x48(%rbp),%rdi
add    $0x40,%rdi
call   1060 <offtin@plt>
mov    %eax,-0x68(%rbp)
mov    -0x48(%rbp),%rdi
add    $0x80,%rdi
call   1060 <offtin@plt>
mov    %eax,-0x64(%rbp)
mov    -0x48(%rbp),%rax
add    $0xc0,%rax
mov    %rax,-0x48(%rbp)
mov    -0x60(%rbp),%eax
add    -0x6c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jle    12b0 <bspatch+0x170>
mov    $0x1,%edi
lea    0xd55(%rip),%rsi
call   1030 <errx@plt>
mov    -0x30(%rbp),%rdi
movslq -0x60(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x50(%rbp),%rsi
mov    -0x6c(%rbp),%edx
call   1050 <memcpy@plt>
mov    -0x6c(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
movl   $0x0,-0x70(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0x6c(%rbp),%eax
jge    134a <bspatch+0x20a>
mov    -0x5c(%rbp),%eax
add    -0x70(%rbp),%eax
cmp    $0x0,%eax
jl     1337 <bspatch+0x1f7>
mov    -0x5c(%rbp),%eax
add    -0x70(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1337 <bspatch+0x1f7>
mov    -0x10(%rbp),%rax
mov    -0x5c(%rbp),%ecx
add    -0x70(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x30(%rbp),%rax
mov    -0x60(%rbp),%ecx
add    -0x70(%rbp),%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
jmp    133c <bspatch+0x1fc>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    12e7 <bspatch+0x1a7>
mov    -0x6c(%rbp),%eax
add    -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x6c(%rbp),%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x60(%rbp),%eax
add    -0x68(%rbp),%eax
cmp    -0x34(%rbp),%eax
jle    137c <bspatch+0x23c>
mov    $0x1,%edi
lea    0xc89(%rip),%rsi
call   1030 <errx@plt>
mov    -0x30(%rbp),%rdi
movslq -0x60(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x58(%rbp),%rsi
mov    -0x68(%rbp),%edx
call   1050 <memcpy@plt>
mov    -0x68(%rbp),%ecx
mov    -0x58(%rbp),%rax
movslq %ecx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x68(%rbp),%eax
add    -0x60(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x64(%rbp),%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
jmp    1247 <bspatch+0x107>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bspatch>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r8,0x20(%rsp)
mov    $0xffffffff,%ebp
cmp    $0x20,%ecx
jl     1345 <bspatch+0x205>
mov    %rdx,%rbx
mov    %esi,%r14d
mov    %rdi,0x28(%rsp)
mov    %rdx,%rdi
call   1040 <valid_header@plt>
test   %eax,%eax
je     1345 <bspatch+0x205>
lea    0x40(%rbx),%rdi
call   1060 <offtin@plt>
mov    %eax,%r12d
lea    0x80(%rbx),%rdi
call   1060 <offtin@plt>
mov    %eax,%r13d
mov    %rbx,%r15
lea    0xc0(%rbx),%rdi
call   1060 <offtin@plt>
test   %r12d,%r12d
js     1345 <bspatch+0x205>
test   %r13d,%r13d
js     1345 <bspatch+0x205>
test   %eax,%eax
js     1345 <bspatch+0x205>
je     1343 <bspatch+0x203>
mov    %r12d,%ecx
mov    %r15,%rbp
lea    (%r15,%rcx,8),%rdx
add    $0x100,%rdx
add    $0x100,%rbp
mov    %r13d,%ecx
mov    %rdx,0x10(%rsp)
lea    (%rdx,%rcx,8),%rbx
movslq %r14d,%r13
xor    %r15d,%r15d
xor    %ecx,%ecx
mov    %eax,0xc(%rsp)
jmp    1255 <bspatch+0x115>
nopl   0x0(%rax,%rax,1)
mov    0x38(%rsp),%rbp
add    $0xc0,%rbp
movslq %r12d,%rax
mov    0x10(%rsp),%rcx
lea    (%rcx,%rax,8),%rcx
mov    %rcx,0x10(%rsp)
movslq %ebx,%rax
mov    0x20(%rsp),%rcx
lea    (%rcx,%rax,8),%rdi
mov    0x40(%rsp),%rbx
mov    %rbx,%rsi
mov    %r14d,%edx
call   1050 <memcpy@plt>
movslq %r14d,%rax
lea    (%rbx,%rax,8),%rbx
mov    0x8(%rsp),%ecx
add    0x1c(%rsp),%ecx
mov    0xc(%rsp),%eax
cmp    %eax,%r15d
jge    1343 <bspatch+0x203>
mov    %ecx,0x8(%rsp)
mov    %rbx,0x40(%rsp)
mov    %rbp,%rdi
mov    %eax,%r14d
call   1060 <offtin@plt>
mov    %eax,%r12d
lea    0x40(%rbp),%rdi
call   1060 <offtin@plt>
mov    %rax,0x30(%rsp)
mov    %rbp,0x38(%rsp)
lea    0x80(%rbp),%rdi
call   1060 <offtin@plt>
mov    %eax,0x1c(%rsp)
lea    (%r12,%r15,1),%eax
mov    %rax,%rbx
cmp    %r14d,%eax
jle    12ac <bspatch+0x16c>
mov    $0x1,%edi
lea    0xd59(%rip),%rsi
call   1030 <errx@plt>
movslq %r15d,%rax
mov    0x20(%rsp),%rcx
lea    (%rcx,%rax,8),%r14
mov    %r14,%rdi
mov    0x10(%rsp),%rsi
mov    %r12d,%edx
call   1050 <memcpy@plt>
test   %r12d,%r12d
mov    0x28(%rsp),%rdi
mov    0x8(%rsp),%ebp
jle    1310 <bspatch+0x1d0>
movslq %ebp,%rax
mov    %r12d,%ecx
xor    %edx,%edx
jmp    12e9 <bspatch+0x1a9>
add    $0x1,%rdx
cmp    %rdx,%rcx
je     1310 <bspatch+0x1d0>
mov    %rax,%rsi
add    %rdx,%rsi
js     12e0 <bspatch+0x1a0>
cmp    %r13,%rsi
jge    12e0 <bspatch+0x1a0>
mov    %esi,%esi
mov    (%rdi,%rsi,8),%rsi
add    %rsi,(%r14,%rdx,8)
jmp    12e0 <bspatch+0x1a0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    %r12d,%ebp
mov    %ebp,0x8(%rsp)
mov    0x30(%rsp),%r14
lea    (%rbx,%r14,1),%eax
mov    %rax,%r15
cmp    0xc(%rsp),%eax
jle    1200 <bspatch+0xc0>
mov    $0x1,%edi
lea    0xcc7(%rip),%rsi
call   1030 <errx@plt>
jmp    1200 <bspatch+0xc0>
xor    %ebp,%ebp
mov    %ebp,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [15 x i8] c"Corrupt patch\0A\00"
define i32 @bspatch(i64* nocapture %0, i32 %1, i64* %2, i32 %3, i64* %4) {
%6 = icmp slt i32 %3, 32
br i1 %6, label %88, label %7
7: ; preds = %5
%8 = tail call i32 @valid_header(i64* %2)
%9 = icmp eq i32 %8, 0
br i1 %9, label %88, label %10
10: ; preds = %7
%11 = getelementptr inbounds i64, i64* %2, i64 8
%12 = tail call i32 @offtin(i64* %11)
%13 = getelementptr inbounds i64, i64* %2, i64 16
%14 = tail call i32 @offtin(i64* %13)
%15 = getelementptr inbounds i64, i64* %2, i64 24
%16 = tail call i32 @offtin(i64* %15)
%17 = icmp slt i32 %12, 0
%18 = icmp slt i32 %14, 0
%19 = select i1 %17, i1 true, i1 %18
%20 = icmp slt i32 %16, 0
%21 = select i1 %19, i1 true, i1 %20
br i1 %21, label %88, label %22
22: ; preds = %10
%23 = getelementptr inbounds i64, i64* %2, i64 32
%24 = zext i32 %12 to i64
%25 = getelementptr inbounds i64, i64* %23, i64 %24
%26 = icmp eq i32 %16, 0
br i1 %26, label %88, label %27
27: ; preds = %22
%28 = zext i32 %14 to i64
%29 = getelementptr inbounds i64, i64* %25, i64 %28
%30 = sext i32 %1 to i64
br label %31
31: ; preds = %27, %80
%32 = phi i64* [ %42, %80 ], [ %23, %27 ]
%33 = phi i64* [ %52, %80 ], [ %25, %27 ]
%34 = phi i32 [ %76, %80 ], [ 0, %27 ]
%35 = phi i32 [ %86, %80 ], [ 0, %27 ]
%36 = phi i64* [ %85, %80 ], [ %29, %27 ]
%37 = tail call i32 @offtin(i64* %32)
%38 = getelementptr inbounds i64, i64* %32, i64 8
%39 = tail call i32 @offtin(i64* %38)
%40 = getelementptr inbounds i64, i64* %32, i64 16
%41 = tail call i32 @offtin(i64* %40)
%42 = getelementptr inbounds i64, i64* %32, i64 24
%43 = add nsw i32 %37, %34
%44 = icmp sgt i32 %43, %16
br i1 %44, label %45, label %47
45: ; preds = %31
%46 = tail call i32 @errx(i32 1, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0))
br label %47
47: ; preds = %45, %31
%48 = sext i32 %34 to i64
%49 = getelementptr inbounds i64, i64* %4, i64 %48
%50 = tail call i32 @memcpy(i64* %49, i64* %33, i32 %37)
%51 = sext i32 %37 to i64
%52 = getelementptr inbounds i64, i64* %33, i64 %51
%53 = icmp sgt i32 %37, 0
br i1 %53, label %54, label %74
54: ; preds = %47
%55 = sext i32 %35 to i64
%56 = zext i32 %37 to i64
br label %57
57: ; preds = %54, %71
%58 = phi i64 [ 0, %54 ], [ %72, %71 ]
%59 = add nsw i64 %58, %55
%60 = icmp sgt i64 %59, -1
%61 = icmp slt i64 %59, %30
%62 = and i1 %60, %61
br i1 %62, label %63, label %71
63: ; preds = %57
%64 = and i64 %59, 4294967295
%65 = getelementptr inbounds i64, i64* %0, i64 %64
%66 = load i64, i64* %65
%67 = add nsw i64 %58, %48
%68 = getelementptr inbounds i64, i64* %4, i64 %67
%69 = load i64, i64* %68
%70 = add nsw i64 %69, %66
store i64 %70, i64* %68
br label %71
71: ; preds = %57, %63
%72 = add nuw nsw i64 %58, 1
%73 = icmp eq i64 %72, %56
br i1 %73, label %74, label %57
74: ; preds = %71, %47
%75 = add nsw i32 %37, %35
%76 = add nsw i32 %43, %39
%77 = icmp sgt i32 %76, %16
br i1 %77, label %78, label %80
78: ; preds = %74
%79 = tail call i32 @errx(i32 1, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0))
br label %80
80: ; preds = %78, %74
%81 = sext i32 %43 to i64
%82 = getelementptr inbounds i64, i64* %4, i64 %81
%83 = tail call i32 @memcpy(i64* %82, i64* %36, i32 %39)
%84 = sext i32 %39 to i64
%85 = getelementptr inbounds i64, i64* %36, i64 %84
%86 = add nsw i32 %75, %41
%87 = icmp slt i32 %76, %16
br i1 %87, label %31, label %88
88: ; preds = %80, %22, %10, %7, %5
%89 = phi i32 [ -1, %5 ], [ -1, %7 ], [ -1, %10 ], [ 0, %22 ], [ 0, %80 ]
ret i32 %89
}