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


x86 assembly (clang, -O0):
<floatshrinkarray>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
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   1040 <checkifinarray@plt>
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1195 <floatshrinkarray+0x55>
mov    -0x18(%rbp),%eax
cmp    0x10(%rbp),%eax
jne    11b1 <floatshrinkarray+0x71>
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
call   1030 <free@plt>
mov    -0x8(%rbp),%rax
movq   $0x0,(%rax)
jmp    1306 <floatshrinkarray+0x1c6>
cmpl   $0x0,-0x14(%rbp)
jne    11e2 <floatshrinkarray+0xa2>
cmpl   $0x0,-0x18(%rbp)
jne    11e2 <floatshrinkarray+0xa2>
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    11e2 <floatshrinkarray+0xa2>
mov    0x10(%rbp),%eax
cmp    -0x10(%rbp),%eax
jne    11e2 <floatshrinkarray+0xa2>
jmp    1306 <floatshrinkarray+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)
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    12ce <floatshrinkarray+0x18e>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x40(%rbp),%rcx
imul   -0x68(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    -0x48(%rbp),%rcx
add    -0x40(%rbp),%rcx
imul   -0x58(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x50(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    -0x68(%rbp),%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    12b8 <floatshrinkarray+0x178>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movss  (%rax),%xmm0
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x30(%rbp)
movss  %xmm0,(%rax)
jmp    1271 <floatshrinkarray+0x131>
jmp    12bd <floatshrinkarray+0x17d>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    121a <floatshrinkarray+0xda>
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
mov    -0x60(%rbp),%rsi
imul   -0x68(%rbp),%rsi
shl    $0x2,%rsi
call   1060 <realloc@plt>
mov    %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
cmpq   $0x0,(%rax)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<floatshrinkarray>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xc8,%rsp
mov    %edx,%r14d
mov    %esi,%ebx
mov    %rdi,%rbp
mov    %ecx,0xc(%rsp)
mov    %r8d,0x8(%rsp)
mov    %r9d,0x4(%rsp)
lea    0xc(%rsp),%rdi
lea    0x8(%rsp),%rsi
lea    0x4(%rsp),%rdx
lea    0x100(%rsp),%rcx
mov    %ebx,%r8d
mov    %r14d,%r9d
call   1040 <checkifinarray@plt>
movslq 0xc(%rsp),%rcx
mov    0x4(%rsp),%edx
mov    %rcx,%rax
mov    %rcx,0x10(%rsp)
cmp    %ecx,%edx
je     11af <floatshrinkarray+0x6f>
movslq 0x8(%rsp),%rax
movslq 0x100(%rsp),%rcx
cmp    %eax,%ecx
jne    11d2 <floatshrinkarray+0x92>
mov    0x0(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,0x0(%rbp)
add    $0xc8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmpl   $0x0,0x10(%rsp)
jne    11e6 <floatshrinkarray+0xa6>
test   %eax,%eax
jne    11e6 <floatshrinkarray+0xa6>
cmp    %ebx,%edx
jne    11e6 <floatshrinkarray+0xa6>
cmp    %r14d,%ecx
je     11c0 <floatshrinkarray+0x80>
sub    0x10(%rsp),%edx
movslq %edx,%rdx
mov    %ecx,%esi
sub    %eax,%esi
mov    %esi,0x44(%rsp)
movslq %esi,%rsi
mov    %rsi,0x38(%rsp)
mov    %rbp,0x60(%rsp)
mov    0x0(%rbp),%rsi
mov    %rsi,0x30(%rsp)
mov    %rdx,0x48(%rsp)
test   %edx,%edx
je     15bc <floatshrinkarray+0x47c>
movslq %r14d,%r10
mov    0x48(%rsp),%rdx
cmp    $0x2,%rdx
mov    $0x1,%edi
cmovae %rdx,%rdi
mov    %rdi,0xa8(%rsp)
mov    0x30(%rsp),%rdi
lea    (%rdi,%rax,4),%rdx
mov    %rdx,0x80(%rsp)
lea    0x0(,%rcx,4),%rsi
lea    0x0(,%rax,4),%rbp
mov    %rsi,%rdx
sub    %rbp,%rdx
lea    0x4(%rdi),%r9
lea    (%rdi,%rcx,4),%r14
sub    %rbp,%r14
mov    %rdi,%r15
not    %r15
sub    %rsi,%rbp
mov    0x10(%rsp),%rcx
imul   %r10,%rcx
lea    (%rcx,%rax,1),%rbx
add    %rcx,%rax
add    $0x1,%rax
mov    %rax,0x70(%rsp)
lea    0x70(%rdi,%rbx,4),%r8
mov    %r10,0x88(%rsp)
lea    0x0(,%r10,4),%rax
mov    %rax,0x90(%rsp)
lea    0x70(%rdi),%rsi
mov    %rbx,0x68(%rsp)
lea    (%rdi,%rbx,4),%rax
xor    %r11d,%r11d
mov    %rdi,0x50(%rsp)
mov    %rax,%rdi
mov    %r15,0x78(%rsp)
mov    %r15,0x58(%rsp)
mov    %r9,0xa0(%rsp)
mov    %r9,%r15
mov    %r14,0x98(%rsp)
mov    %rbp,0x28(%rsp)
mov    %rdx,0x20(%rsp)
jmp    1333 <floatshrinkarray+0x1f3>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r11
mov    0x90(%rsp),%rax
add    %rax,%r8
add    %rdx,%rsi
mov    0xb8(%rsp),%r14
add    %rdx,%r14
mov    0xc0(%rsp),%r15
add    %rdx,%r15
add    %rbp,0x58(%rsp)
add    %rdx,0x50(%rsp)
add    %rax,%rdi
cmp    0xa8(%rsp),%r11
je     15bc <floatshrinkarray+0x47c>
cmp    %r15,%r14
mov    %r15,0xc0(%rsp)
mov    %r14,0xb8(%rsp)
cmova  %r14,%r15
mov    %r15,0xb0(%rsp)
mov    %rdx,%r13
imul   %r11,%r13
mov    0x98(%rsp),%rax
lea    (%rax,%r13,1),%rbx
mov    0xa0(%rsp),%rax
add    %r13,%rax
cmp    %rax,%rbx
mov    %rax,%r10
cmova  %rbx,%r10
mov    %rax,%r9
cmova  %rbx,%r9
cmovbe %rax,%rbx
cmpl   $0x0,0x44(%rsp)
jle    12f0 <floatshrinkarray+0x1b0>
mov    %rdi,0x18(%rsp)
mov    %rbp,%rcx
imul   %r11,%rcx
add    0x78(%rsp),%rcx
add    %rcx,%r9
mov    %r11,%rdi
imul   0x38(%rsp),%rdi
mov    0x30(%rsp),%rdx
lea    (%rdx,%rdi,4),%r15
mov    0x10(%rsp),%rdi
add    %r11,%rdi
mov    0x88(%rsp),%r14
imul   %r14,%rdi
mov    0x80(%rsp),%rbp
lea    0x0(,%rdi,4),%r12
add    %rbp,%r12
cmp    $0x1c,%r9
jb     142e <floatshrinkarray+0x2ee>
add    %rdx,%r13
add    %rcx,%rbx
and    $0xfffffffffffffffc,%rbx
mov    %rdx,%rbp
mov    %r14,%rdx
mov    %r11,%r14
imul   %rdx,%r14
mov    0x70(%rsp),%rdx
lea    (%rdx,%r14,1),%rdi
lea    0x0(,%rdi,4),%rdi
add    %rbp,%rdi
add    %rbx,%rdi
cmp    %rdi,%r13
jae    146c <floatshrinkarray+0x32c>
add    %rbx,%rax
add    0x68(%rsp),%r14
lea    0x0(,%r14,4),%rdi
add    %rbp,%rdi
cmp    %rdi,%rax
jbe    146c <floatshrinkarray+0x32c>
mov    %r15,%rax
mov    0x28(%rsp),%rbp
mov    0x20(%rsp),%rdx
mov    0x18(%rsp),%rdi
mov    0x38(%rsp),%rcx
lea    (%r15,%rcx,4),%rcx
nopl   0x0(%rax)
movss  (%r12),%xmm0
add    $0x4,%r12
movss  %xmm0,(%rax)
add    $0x4,%rax
cmp    %rcx,%rax
jb     1450 <floatshrinkarray+0x310>
jmp    12f0 <floatshrinkarray+0x1b0>
mov    0xb0(%rsp),%rbp
add    0x58(%rsp),%rbp
shr    $0x2,%rbp
add    $0x1,%rbp
and    $0xfffffffffffffff8,%rbp
add    $0xfffffffffffffff8,%rbp
shr    $0x3,%rbp
add    %rcx,%r10
shr    $0x2,%r10
add    $0x1,%r10
movabs $0x7ffffffffffffff8,%rax
ff ff 7f
and    %rax,%r10
add    $0xfffffffffffffff8,%r10
mov    %r10,%rax
shr    $0x3,%rax
add    $0x1,%rax
shr    $0x2,%r9
add    $0x1,%r9
cmp    $0x18,%r10
jae    14cb <floatshrinkarray+0x38b>
xor    %ecx,%ecx
mov    0x18(%rsp),%rdi
jmp    1540 <floatshrinkarray+0x400>
lea    0x1(%rbp),%rbx
and    $0xfffffffffffffffc,%rbx
xor    %ecx,%ecx
mov    0x18(%rsp),%rdi
nopw   0x0(%rax,%rax,1)
movups -0x70(%r8,%rcx,4),%xmm0
movups -0x60(%r8,%rcx,4),%xmm1
movups %xmm0,-0x70(%rsi,%rcx,4)
movups %xmm1,-0x60(%rsi,%rcx,4)
movups -0x50(%r8,%rcx,4),%xmm0
movups -0x40(%r8,%rcx,4),%xmm1
movups %xmm0,-0x50(%rsi,%rcx,4)
movups %xmm1,-0x40(%rsi,%rcx,4)
movups -0x30(%r8,%rcx,4),%xmm0
movups -0x20(%r8,%rcx,4),%xmm1
movups %xmm0,-0x30(%rsi,%rcx,4)
movups %xmm1,-0x20(%rsi,%rcx,4)
movups -0x10(%r8,%rcx,4),%xmm0
movups (%r8,%rcx,4),%xmm1
movups %xmm0,-0x10(%rsi,%rcx,4)
movups %xmm1,(%rsi,%rcx,4)
add    $0x20,%rcx
add    $0xfffffffffffffffc,%rbx
jne    14e0 <floatshrinkarray+0x3a0>
mov    %r9,%r14
movabs $0x7ffffffffffffff8,%rdx
ff ff 7f
and    %rdx,%r14
test   $0x3,%al
je     159c <floatshrinkarray+0x45c>
add    $0x1,%bpl
movzbl %bpl,%eax
and    $0x3,%eax
shl    $0x5,%rax
mov    0x50(%rsp),%rdx
lea    (%rdx,%rcx,4),%rbp
lea    (%rdi,%rcx,4),%rcx
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups (%rcx,%rbx,1),%xmm0
movups 0x10(%rcx,%rbx,1),%xmm1
movups %xmm0,0x0(%rbp,%rbx,1)
movups %xmm1,0x10(%rbp,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%rax
jne    1580 <floatshrinkarray+0x440>
cmp    %r14,%r9
mov    0x28(%rsp),%rbp
mov    0x20(%rsp),%rdx
je     12f0 <floatshrinkarray+0x1b0>
lea    (%r12,%r14,4),%r12
lea    (%r15,%r14,4),%rax
jmp    1440 <floatshrinkarray+0x300>
mov    0x48(%rsp),%rsi
imul   0x38(%rsp),%rsi
shl    $0x2,%rsi
mov    0x30(%rsp),%rdi
call   1060 <realloc@plt>
mov    0x60(%rsp),%rcx
mov    %rax,(%rcx)
xor    %edi,%edi
test   %rax,%rax
setne  %dil
call   1050 <assert@plt>
jmp    11c0 <floatshrinkarray+0x80>

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

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