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

/* Variables and functions */
int /*<<< orphan*/ bspatch_valid_header(scalar_t__ *, scalar_t__);
int /*<<< orphan*/ memcpy(scalar_t__ *, scalar_t__ *, scalar_t__);
scalar_t__ offtin(scalar_t__ *);
int bspatch(u_char *oldp, ssize_t oldsz, u_char *patch, ssize_t patchsz,
            u_char *newp, ssize_t newsz) {
  ssize_t newsize, ctrllen, datalen;
  u_char *ctrlblock, *diffblock, *extrablock;
  off_t oldpos, newpos;
  off_t ctrl[3];
  off_t i;
  if (oldp == NULL || patch == NULL || newp == NULL)
    return -1;
  if (oldsz < 0 || patchsz < 0 || newsz < 0)
    return -1;
  if (!bspatch_valid_header(patch, patchsz))
    return -2;
  ctrllen = offtin(patch + 8);
  datalen = offtin(patch + 16);
  newsize = offtin(patch + 24);
  if (newsize > newsz)
    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)
      return -3;
    memcpy(newp + newpos, diffblock, ctrl[0]);
    diffblock += ctrl[0];
    for (i = 0; i < ctrl[0]; i++)
      if ((oldpos + i >= 0) && (oldpos + i < oldsz))
        newp[newpos + i] += oldp[oldpos + i];
    newpos += ctrl[0];
    oldpos += ctrl[0];
    if (newpos + ctrl[1] > newsize)
      return -3;
    memcpy(newp + 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    $0xa0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1174 <bspatch+0x44>
cmpq   $0x0,-0x20(%rbp)
je     1174 <bspatch+0x44>
cmpq   $0x0,-0x30(%rbp)
jne    1180 <bspatch+0x50>
movl   $0xffffffff,-0x4(%rbp)
jmp    144b <bspatch+0x31b>
cmpq   $0x0,-0x18(%rbp)
jl     11a1 <bspatch+0x71>
cmpq   $0x0,-0x28(%rbp)
jl     11a1 <bspatch+0x71>
cmpq   $0x0,-0x38(%rbp)
jge    11ad <bspatch+0x7d>
movl   $0xffffffff,-0x4(%rbp)
jmp    144b <bspatch+0x31b>
mov    -0x20(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   1030 <bspatch_valid_header@plt>
cmp    $0x0,%eax
jne    11cf <bspatch+0x9f>
movl   $0xfffffffe,-0x4(%rbp)
jmp    144b <bspatch+0x31b>
mov    -0x20(%rbp),%rdi
add    $0x40,%rdi
call   1050 <offtin@plt>
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rdi
add    $0x80,%rdi
call   1050 <offtin@plt>
mov    %rax,-0x50(%rbp)
mov    -0x20(%rbp),%rdi
add    $0xc0,%rdi
call   1050 <offtin@plt>
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x38(%rbp),%rax
jle    1222 <bspatch+0xf2>
movl   $0xffffffff,-0x4(%rbp)
jmp    144b <bspatch+0x31b>
mov    -0x20(%rbp),%rax
add    $0x100,%rax
mov    %rax,-0x58(%rbp)
mov    -0x20(%rbp),%rax
add    $0x100,%rax
mov    -0x48(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x20(%rbp),%rax
add    $0x100,%rax
mov    -0x48(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x50(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
movq   $0x0,-0x70(%rbp)
movq   $0x0,-0x78(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x40(%rbp),%rax
jge    1444 <bspatch+0x314>
mov    -0x58(%rbp),%rdi
call   1050 <offtin@plt>
mov    %rax,-0x90(%rbp)
mov    -0x58(%rbp),%rdi
add    $0x40,%rdi
call   1050 <offtin@plt>
mov    %rax,-0x88(%rbp)
mov    -0x58(%rbp),%rdi
add    $0x80,%rdi
call   1050 <offtin@plt>
mov    %rax,-0x80(%rbp)
mov    -0x58(%rbp),%rax
add    $0xc0,%rax
mov    %rax,-0x58(%rbp)
mov    -0x78(%rbp),%rax
add    -0x90(%rbp),%rax
cmp    -0x40(%rbp),%rax
jle    12f2 <bspatch+0x1c2>
movl   $0xfffffffd,-0x4(%rbp)
jmp    144b <bspatch+0x31b>
mov    -0x30(%rbp),%rdi
mov    -0x78(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x60(%rbp),%rsi
mov    -0x90(%rbp),%rdx
call   1040 <memcpy@plt>
mov    -0x90(%rbp),%rax
shl    $0x3,%rax
add    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
movq   $0x0,-0x98(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0x90(%rbp),%rax
jge    13b3 <bspatch+0x283>
mov    -0x70(%rbp),%rax
add    -0x98(%rbp),%rax
cmp    $0x0,%rax
jl     1397 <bspatch+0x267>
mov    -0x70(%rbp),%rax
add    -0x98(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1397 <bspatch+0x267>
mov    -0x10(%rbp),%rax
mov    -0x70(%rbp),%rcx
add    -0x98(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x30(%rbp),%rax
mov    -0x78(%rbp),%rcx
add    -0x98(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
jmp    139c <bspatch+0x26c>
mov    -0x98(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x98(%rbp)
jmp    132f <bspatch+0x1ff>
mov    -0x90(%rbp),%rax
add    -0x78(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x90(%rbp),%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x78(%rbp),%rax
add    -0x88(%rbp),%rax
cmp    -0x40(%rbp),%rax
jle    13f2 <bspatch+0x2c2>
movl   $0xfffffffd,-0x4(%rbp)
jmp    144b <bspatch+0x31b>
mov    -0x30(%rbp),%rdi
mov    -0x78(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x68(%rbp),%rsi
mov    -0x88(%rbp),%rdx
call   1040 <memcpy@plt>
mov    -0x88(%rbp),%rax
shl    $0x3,%rax
add    -0x68(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x88(%rbp),%rax
add    -0x78(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x80(%rbp),%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
jmp    127d <bspatch+0x14d>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xa0,%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    $0xffffffff,%eax
test   %rdi,%rdi
je     1397 <bspatch+0x267>
mov    %rdx,%r15
test   %rdx,%rdx
je     1397 <bspatch+0x267>
mov    %r8,%r12
test   %r8,%r8
je     1397 <bspatch+0x267>
mov    %r9,%r14
mov    %rsi,%rbx
mov    %rcx,%rdx
or     %rsi,%rdx
or     %r9,%rdx
js     1397 <bspatch+0x267>
mov    %rdi,%rbp
mov    %r15,%rdi
mov    %rcx,%rsi
call   1030 <bspatch_valid_header@plt>
test   %eax,%eax
je     138e <bspatch+0x25e>
mov    %rbp,0x20(%rsp)
mov    %r12,(%rsp)
lea    0x40(%r15),%rdi
call   1050 <offtin@plt>
mov    %rax,%rbp
lea    0x80(%r15),%rdi
call   1050 <offtin@plt>
mov    %rax,%r13
lea    0xc0(%r15),%rdi
call   1050 <offtin@plt>
mov    %rax,%rcx
cmp    %r14,%rax
mov    $0xffffffff,%eax
jg     1397 <bspatch+0x267>
test   %rcx,%rcx
jle    1395 <bspatch+0x265>
lea    (%r15,%rbp,8),%rax
add    $0x100,%rax
add    $0x100,%r15
mov    %rax,0x10(%rsp)
lea    (%rax,%r13,8),%rax
mov    %rax,0x28(%rsp)
mov    (%rsp),%rax
add    $0x8,%rax
mov    %rax,0x30(%rsp)
xor    %edx,%edx
xor    %r14d,%r14d
mov    %rcx,0x18(%rsp)
nop
mov    %rdx,0x8(%rsp)
mov    %r15,%rdi
call   1050 <offtin@plt>
mov    %rax,%r13
lea    0x40(%r15),%rdi
call   1050 <offtin@plt>
mov    %rax,0x40(%rsp)
lea    0x80(%r15),%rdi
call   1050 <offtin@plt>
mov    0x8(%rsp),%rcx
mov    %rax,%rdx
lea    (%rcx,%r13,1),%rbp
mov    $0xfffffffd,%eax
cmp    0x18(%rsp),%rbp
jg     1397 <bspatch+0x267>
mov    %rdx,0x38(%rsp)
mov    (%rsp),%rax
lea    (%rax,%rcx,8),%rdi
mov    0x10(%rsp),%rsi
mov    %r13,%rdx
call   1040 <memcpy@plt>
test   %r13,%r13
jle    12b0 <bspatch+0x180>
mov    %rbp,%r8
cmp    $0x1,%r13
jne    1320 <bspatch+0x1f0>
xor    %eax,%eax
test   $0x1,%r13b
mov    %r8,%rbp
je     12b0 <bspatch+0x180>
mov    %rax,%rcx
add    %r14,%rcx
js     12b0 <bspatch+0x180>
cmp    %rbx,%rcx
jge    12b0 <bspatch+0x180>
mov    0x20(%rsp),%rdx
mov    (%rdx,%rcx,8),%rcx
add    0x8(%rsp),%rax
mov    (%rsp),%rdx
add    %rcx,(%rdx,%rax,8)
mov    0x40(%rsp),%r12
lea    (%r12,%rbp,1),%rcx
cmp    0x18(%rsp),%rcx
mov    $0xfffffffd,%eax
jg     1397 <bspatch+0x267>
add    $0xc0,%r15
mov    0x10(%rsp),%rax
lea    (%rax,%r13,8),%rax
mov    %rax,0x10(%rsp)
add    %r13,%r14
mov    (%rsp),%rax
lea    (%rax,%rbp,8),%rdi
mov    0x28(%rsp),%rbp
mov    %rbp,%rsi
mov    %rcx,%r13
mov    %r12,%rdx
call   1040 <memcpy@plt>
mov    %r13,%rdx
mov    0x18(%rsp),%rcx
lea    0x0(%rbp,%r12,8),%rbp
mov    %rbp,0x28(%rsp)
add    0x38(%rsp),%r14
xor    %eax,%eax
cmp    %rcx,%r13
jl     1210 <bspatch+0xe0>
jmp    1397 <bspatch+0x267>
mov    %r13,%rcx
and    $0xfffffffffffffffe,%rcx
lea    0x1(%r14),%rdx
mov    0x30(%rsp),%rax
mov    0x8(%rsp),%rsi
lea    (%rax,%rsi,8),%rsi
xor    %eax,%eax
mov    0x20(%rsp),%rbp
jmp    1361 <bspatch+0x231>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x2,%rax
add    $0x2,%rdx
cmp    %rax,%rcx
je     1284 <bspatch+0x154>
mov    %rdx,%rdi
add    $0xffffffffffffffff,%rdi
js     1379 <bspatch+0x249>
cmp    %rbx,%rdi
jge    1379 <bspatch+0x249>
mov    -0x8(%rbp,%rdx,8),%rdi
add    %rdi,-0x8(%rsi,%rax,8)
test   %rdx,%rdx
js     1350 <bspatch+0x220>
cmp    %rbx,%rdx
jge    1350 <bspatch+0x220>
mov    0x0(%rbp,%rdx,8),%rdi
add    %rdi,(%rsi,%rax,8)
jmp    1350 <bspatch+0x220>
mov    $0xfffffffe,%eax
jmp    1397 <bspatch+0x267>
xor    %eax,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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