#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 /*<<< orphan*/ assert(int /*<<< orphan*/);
int /*<<< orphan*/ checkifinarray(int *, int *, int *, int *, int, int);
int /*<<< orphan*/ longarrcpy(long *, int, long **);
long *malloc(size_t);
void longshrinkarraytonew(long *in, int size1, int size2, int x1, int y1,
                          int x2, int y2, long **out) {
  long *ifpt, *ofpt, *rowstart;
  size_t i, ux1, uy1, us2, w1, w2;
  checkifinarray(&x1, &y1, &x2, &y2, size1, size2);
  if (x1 == x2 || y1 == y2) {
    *out = NULL;
    return;
  }
  if (x1 == 0 && y1 == 0 && x2 == size1 && y2 == size2) {
    longarrcpy(in, size1 * size2, out);
    return;
  }
  w1 = x2 - x1;
  w2 = y2 - y1;
  *out = malloc(w1 * w2 * sizeof **out);
  assert(*out != NULL);
  ux1 = x1;
  uy1 = y1;
  us2 = size2;
  for (i = 0; i < w1; i++) {
    ofpt = rowstart = *out + i * w2;
    ifpt = in + (ux1 + i) * us2 + uy1;
    while (ofpt < rowstart + w2)
      *ofpt++ = *ifpt++;
  }
}


x86 assembly (clang, -O0):
<longshrinkarraytonew>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9d,-0x1c(%rbp)
mov    -0xc(%rbp),%r8d
mov    -0x10(%rbp),%r9d
lea    -0x14(%rbp),%rdi
lea    -0x18(%rbp),%rsi
lea    -0x1c(%rbp),%rdx
lea    0x10(%rbp),%rcx
call   1030 <checkifinarray@plt>
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1199 <longshrinkarraytonew+0x59>
mov    -0x18(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    11a9 <longshrinkarraytonew+0x69>
mov    0x18(%rbp),%rax
movq   $0x0,(%rax)
jmp    1306 <longshrinkarraytonew+0x1c6>
cmpl   $0x0,-0x14(%rbp)
jne    11ee <longshrinkarraytonew+0xae>
cmpl   $0x0,-0x18(%rbp)
jne    11ee <longshrinkarraytonew+0xae>
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    11ee <longshrinkarraytonew+0xae>
mov    0x10(%rbp),%eax
cmp    -0x10(%rbp),%eax
jne    11ee <longshrinkarraytonew+0xae>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
imul   -0x10(%rbp),%esi
mov    0x18(%rbp),%rdx
call   1060 <longarrcpy@plt>
jmp    1306 <longshrinkarraytonew+0x1c6>
mov    -0x1c(%rbp),%eax
sub    -0x14(%rbp),%eax
cltq
mov    %rax,-0x60(%rbp)
mov    0x10(%rbp),%eax
sub    -0x18(%rbp),%eax
cltq
mov    %rax,-0x68(%rbp)
mov    -0x60(%rbp),%rdi
imul   -0x68(%rbp),%rdi
shl    $0x3,%rdi
call   1050 <malloc@plt>
mov    %rax,%rcx
mov    0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    0x18(%rbp),%rax
cmpq   $0x0,(%rax)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movslq -0x14(%rbp),%rax
mov    %rax,-0x48(%rbp)
movslq -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
movslq -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    1306 <longshrinkarraytonew+0x1c6>
mov    0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x40(%rbp),%rcx
imul   -0x68(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
add    -0x40(%rbp),%rcx
imul   -0x58(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x50(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    -0x68(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    12f0 <longshrinkarraytonew+0x1b0>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%rcx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x8,%rdx
mov    %rdx,-0x30(%rbp)
mov    %rcx,(%rax)
jmp    12ab <longshrinkarraytonew+0x16b>
jmp    12f5 <longshrinkarraytonew+0x1b5>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1257 <longshrinkarraytonew+0x117>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<longshrinkarraytonew>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xc8,%rsp
mov    %edx,%ebp
mov    %esi,%ebx
mov    %rdi,%r14
mov    0x108(%rsp),%r15
mov    %ecx,0x8(%rsp)
mov    %r8d,0x4(%rsp)
mov    %r9d,0xc(%rsp)
lea    0x8(%rsp),%rdi
lea    0x4(%rsp),%rsi
lea    0xc(%rsp),%rdx
lea    0x100(%rsp),%rcx
mov    %ebx,%r8d
mov    %ebp,%r9d
call   1030 <checkifinarray@plt>
mov    0x8(%rsp),%edx
mov    0xc(%rsp),%ecx
mov    %ecx,%eax
sub    %edx,%eax
je     11b0 <longshrinkarraytonew+0x70>
movslq 0x4(%rsp),%rsi
movslq 0x100(%rsp),%r12
cmp    %esi,%r12d
jne    11c9 <longshrinkarraytonew+0x89>
movq   $0x0,(%r15)
add    $0xc8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %edx,%edx
jne    11ec <longshrinkarraytonew+0xac>
test   %esi,%esi
jne    11ec <longshrinkarraytonew+0xac>
cmp    %ebx,%ecx
jne    11ec <longshrinkarraytonew+0xac>
cmp    %ebp,%r12d
jne    11ec <longshrinkarraytonew+0xac>
imul   %ebx,%ebp
mov    %r14,%rdi
mov    %ebp,%esi
mov    %r15,%rdx
call   1060 <longarrcpy@plt>
jmp    11b7 <longshrinkarraytonew+0x77>
mov    %r14,0x30(%rsp)
movslq %eax,%rbx
mov    %r12d,%eax
sub    %esi,%eax
mov    %eax,0x2c(%rsp)
movslq %eax,%rcx
mov    %rbx,%rdi
mov    %rcx,0x58(%rsp)
imul   %rcx,%rdi
shl    $0x3,%rdi
mov    %rsi,%r14
call   1050 <malloc@plt>
mov    %rax,(%r15)
xor    %edi,%edi
test   %rax,%rax
setne  %dil
call   1040 <assert@plt>
test   %ebx,%ebx
je     11b7 <longshrinkarraytonew+0x77>
mov    %r14,%r11
movslq 0x8(%rsp),%r9
movslq %ebp,%r10
movslq 0x4(%rsp),%rax
mov    (%r15),%rdi
cmp    $0x2,%rbx
mov    $0x1,%ecx
cmovae %rbx,%rcx
mov    %rcx,0xb0(%rsp)
mov    0x30(%rsp),%r14
lea    (%r14,%rax,8),%rcx
mov    %rcx,0x78(%rsp)
lea    0x0(,%r12,8),%rcx
shl    $0x3,%r11
mov    %rcx,%rbx
sub    %r11,%rbx
lea    0x8(%rdi),%r8
lea    (%rdi,%r12,8),%rbp
sub    %r11,%rbp
mov    %rdi,%rdx
not    %rdx
sub    %rcx,%r11
mov    %r9,%rcx
mov    %r9,0x88(%rsp)
imul   %r10,%rcx
lea    (%rcx,%rax,1),%rsi
add    %rcx,%rax
add    $0x1,%rax
mov    %rax,0x68(%rsp)
mov    %rbx,%rax
lea    0x70(%r14,%rsi,8),%r15
mov    %r10,0x80(%rsp)
lea    0x0(,%r10,8),%rcx
mov    %rcx,0x98(%rsp)
lea    0x70(%rdi),%r9
mov    %rsi,0x60(%rsp)
lea    (%r14,%rsi,8),%rcx
mov    %rcx,0x48(%rsp)
xor    %esi,%esi
mov    %rdi,0x40(%rsp)
mov    %rdx,0x70(%rsp)
mov    %rdx,0x50(%rsp)
mov    %r8,0xa8(%rsp)
mov    %rbp,0xa0(%rsp)
mov    %r11,0x10(%rsp)
mov    %rdi,0x18(%rsp)
mov    %rbx,0x20(%rsp)
jmp    1355 <longshrinkarraytonew+0x215>
nopl   0x0(%rax)
add    $0x1,%rsi
mov    0x98(%rsp),%rcx
add    %rcx,%r15
add    %rax,%r9
mov    0xb8(%rsp),%rbp
add    %rax,%rbp
mov    0xc0(%rsp),%r8
add    %rax,%r8
add    %r11,0x50(%rsp)
add    %rax,0x40(%rsp)
add    %rcx,0x48(%rsp)
cmp    0xb0(%rsp),%rsi
je     11b7 <longshrinkarraytonew+0x77>
cmp    %r8,%rbp
mov    %r8,0xc0(%rsp)
mov    %r8,%rdx
mov    %rbp,0xb8(%rsp)
cmova  %rbp,%rdx
mov    %rax,%r10
imul   %rsi,%r10
mov    0xa0(%rsp),%rcx
lea    (%rcx,%r10,1),%r14
mov    0xa8(%rsp),%rcx
lea    (%rcx,%r10,1),%r12
cmp    %r12,%r14
mov    %r12,%r8
cmova  %r14,%r8
mov    %r12,%rbx
cmova  %r14,%rbx
cmovbe %r12,%r14
cmpl   $0x0,0x2c(%rsp)
jle    1310 <longshrinkarraytonew+0x1d0>
mov    %rdx,0x90(%rsp)
mov    %r11,%rdx
imul   %rsi,%rdx
add    0x70(%rsp),%rdx
add    %rdx,%rbx
mov    %rsi,%rcx
imul   0x58(%rsp),%rcx
lea    (%rdi,%rcx,8),%r11
mov    0x88(%rsp),%rcx
add    %rsi,%rcx
mov    0x80(%rsp),%rax
imul   %rax,%rcx
mov    0x78(%rsp),%rbp
lea    0x0(,%rcx,8),%r13
add    %rbp,%r13
cmp    $0x18,%rbx
jae    1420 <longshrinkarraytonew+0x2e0>
mov    0x10(%rsp),%rbx
mov    %r11,%rdx
mov    0x20(%rsp),%rax
jmp    1600 <longshrinkarraytonew+0x4c0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r11,0x38(%rsp)
add    %rdi,%r10
add    %rdx,%r14
and    $0xfffffffffffffff8,%r14
mov    %rsi,%r11
imul   %rax,%r11
mov    0x68(%rsp),%rax
lea    (%rax,%r11,1),%rcx
mov    0x30(%rsp),%rax
lea    (%rax,%rcx,8),%rcx
add    %r14,%rcx
cmp    %rcx,%r10
jae    147d <longshrinkarraytonew+0x33d>
add    %r14,%r12
add    0x60(%rsp),%r11
lea    (%rax,%r11,8),%rcx
cmp    %rcx,%r12
jbe    147d <longshrinkarraytonew+0x33d>
mov    0x38(%rsp),%r11
mov    %r11,%rdx
mov    0x10(%rsp),%rbx
mov    0x18(%rsp),%rdi
mov    0x20(%rsp),%rax
jmp    1600 <longshrinkarraytonew+0x4c0>
mov    0x90(%rsp),%rdi
add    0x50(%rsp),%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
and    $0xfffffffffffffffc,%rdi
add    $0xfffffffffffffffc,%rdi
shr    $0x2,%rdi
add    %rdx,%r8
shr    $0x3,%r8
add    $0x1,%r8
movabs $0x3ffffffffffffffc,%rcx
ff ff 3f
and    %rcx,%r8
add    $0xfffffffffffffffc,%r8
mov    %r8,%r10
shr    $0x2,%r10
add    $0x1,%r10
mov    %rbx,%r12
shr    $0x3,%r12
add    $0x1,%r12
cmp    $0xc,%r8
mov    0x20(%rsp),%rax
jae    14ef <longshrinkarraytonew+0x3af>
mov    %rdi,%rbp
xor    %edx,%edx
mov    0x10(%rsp),%r11
mov    0x18(%rsp),%rdi
jmp    1578 <longshrinkarraytonew+0x438>
mov    %rdi,%rbp
lea    0x1(%rdi),%rbx
and    $0xfffffffffffffffc,%rbx
xor    %edx,%edx
mov    0x10(%rsp),%r11
mov    0x18(%rsp),%rdi
cs nopw 0x0(%rax,%rax,1)
movups -0x70(%r15,%rdx,8),%xmm0
movups -0x60(%r15,%rdx,8),%xmm1
movups %xmm0,-0x70(%r9,%rdx,8)
movups %xmm1,-0x60(%r9,%rdx,8)
movups -0x50(%r15,%rdx,8),%xmm0
movups -0x40(%r15,%rdx,8),%xmm1
movups %xmm0,-0x50(%r9,%rdx,8)
movups %xmm1,-0x40(%r9,%rdx,8)
movups -0x30(%r15,%rdx,8),%xmm0
movups -0x20(%r15,%rdx,8),%xmm1
movups %xmm0,-0x30(%r9,%rdx,8)
movups %xmm1,-0x20(%r9,%rdx,8)
movups -0x10(%r15,%rdx,8),%xmm0
movups (%r15,%rdx,8),%xmm1
movups %xmm0,-0x10(%r9,%rdx,8)
movups %xmm1,(%r9,%rdx,8)
add    $0x10,%rdx
add    $0xfffffffffffffffc,%rbx
jne    1510 <longshrinkarraytonew+0x3d0>
mov    %r12,%r14
movabs $0x3ffffffffffffffc,%rcx
ff ff 3f
and    %rcx,%r14
test   $0x3,%r10b
je     15db <longshrinkarraytonew+0x49b>
add    $0x1,%bpl
movzbl %bpl,%ebp
and    $0x3,%ebp
shl    $0x5,%rbp
mov    0x40(%rsp),%rcx
lea    (%rcx,%rdx,8),%rbx
mov    0x48(%rsp),%rcx
lea    (%rcx,%rdx,8),%rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups (%rdx,%rcx,1),%xmm0
movups 0x10(%rdx,%rcx,1),%xmm1
movups %xmm0,(%rbx,%rcx,1)
movups %xmm1,0x10(%rbx,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%rbp
jne    15c0 <longshrinkarraytonew+0x480>
cmp    %r14,%r12
je     1310 <longshrinkarraytonew+0x1d0>
mov    %r11,%rbx
lea    0x0(%r13,%r14,8),%r13
mov    0x38(%rsp),%r11
lea    (%r11,%r14,8),%rdx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x58(%rsp),%rcx
lea    (%r11,%rcx,8),%rbp
mov    %rbx,%r11
nopl   0x0(%rax)
mov    0x0(%r13),%rcx
add    $0x8,%r13
mov    %rcx,(%rdx)
add    $0x8,%rdx
cmp    %rbp,%rdx
jb     1610 <longshrinkarraytonew+0x4d0>
jmp    1310 <longshrinkarraytonew+0x1d0>

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

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