#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 int GLuint;
typedef int GLubyte;
typedef int GLint;
typedef int GLfloat;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ halve1Dimage_int(int, int, int, int const *, int *, int, int,
                                    int, int);
void halveImage_int(GLint components, GLuint width, GLuint height,
                    const GLint *datain, GLint *dataout, GLint element_size,
                    GLint ysize, GLint group_size, GLint myswap_bytes) {
  int i, j, k;
  int newwidth, newheight;
  int padBytes;
  GLint *s;
  const char *t;
  if (width == 1 || height == 1) {
    assert(!(width == 1 && height == 1));
    halve1Dimage_int(components, width, height, datain, dataout, element_size,
                     ysize, group_size, myswap_bytes);
    return;
  }
  newwidth = width / 2;
  newheight = height / 2;
  padBytes = ysize - (width * group_size);
  s = dataout;
  t = (const char *)datain;
  if (!myswap_bytes)
    for (i = 0; i < newheight; i++) {
      for (j = 0; j < newwidth; j++) {
        for (k = 0; k < components; k++) {
          s[0] = ((float)*(const GLint *)t +
                  (float)*(const GLint *)(t + group_size) +
                  (float)*(const GLint *)(t + ysize) +
                  (float)*(const GLint *)(t + ysize + group_size)) /
                     4 +
                 0.5;
          s++;
          t += element_size;
        }
        t += group_size;
      }
      t += padBytes;
      t += ysize;
    }
  else
    for (i = 0; i < newheight; i++) {
      for (j = 0; j < newwidth; j++) {
        for (k = 0; k < components; k++) {
          GLuint b;
          GLfloat buf;
          b = (GLuint)(((GLuint)((const GLubyte *)(t))[3]) << 24 |
                       ((GLuint)((const GLubyte *)(t))[2]) << 16 |
                       ((GLuint)((const GLubyte *)(t))[1]) << 8 |
                       ((const GLubyte *)(t))[0]);
          buf = *(GLint *)&b;
          b = (GLuint)(((GLuint)((const GLubyte *)(t + group_size))[3]) << 24 |
                       ((GLuint)((const GLubyte *)(t + group_size))[2]) << 16 |
                       ((GLuint)((const GLubyte *)(t + group_size))[1]) << 8 |
                       ((const GLubyte *)(t + group_size))[0]);
          buf += *(GLint *)&b;
          b = (GLuint)(((GLuint)((const GLubyte *)(t + ysize))[3]) << 24 |
                       ((GLuint)((const GLubyte *)(t + ysize))[2]) << 16 |
                       ((GLuint)((const GLubyte *)(t + ysize))[1]) << 8 |
                       ((const GLubyte *)(t + ysize))[0]);
          buf += *(GLint *)&b;
          b = (GLuint)(((GLuint)((const GLubyte *)(t + ysize + group_size))[3])
                           << 24 |
                       ((GLuint)((const GLubyte *)(t + ysize + group_size))[2])
                           << 16 |
                       ((GLuint)((const GLubyte *)(t + ysize + group_size))[1])
                           << 8 |
                       ((const GLubyte *)(t + ysize + group_size))[0]);
          buf += *(GLint *)&b;
          s[0] = (GLint)(buf / 4 + 0.5);
          s++;
          t += element_size;
        }
        t += group_size;
      }
      t += padBytes;
      t += ysize;
    }
}


x86 assembly (clang, -O0):
<halveImage_int>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
cmpl   $0x1,-0x8(%rbp)
je     115d <halveImage_int+0x3d>
cmpl   $0x1,-0xc(%rbp)
jne    11bc <halveImage_int+0x9c>
xor    %eax,%eax
cmpl   $0x1,-0x8(%rbp)
mov    %al,-0x59(%rbp)
jne    1176 <halveImage_int+0x56>
cmpl   $0x1,-0xc(%rbp)
sete   %al
mov    %al,-0x59(%rbp)
mov    -0x59(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0xc(%rbp),%edx
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%r8
mov    -0x24(%rbp),%r9d
mov    0x10(%rbp),%r11d
mov    0x18(%rbp),%r10d
mov    0x20(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1030 <halve1Dimage_int@plt>
jmp    1523 <halveImage_int+0x403>
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x34(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x38(%rbp)
mov    0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   0x18(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
cmpl   $0x0,0x20(%rbp)
jne    1321 <halveImage_int+0x201>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    131c <halveImage_int+0x1fc>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    12ec <halveImage_int+0x1cc>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12cd <halveImage_int+0x1ad>
mov    -0x50(%rbp),%rax
cvtsi2ssl (%rax),%xmm0
mov    -0x50(%rbp),%rax
movslq 0x18(%rbp),%rcx
cvtsi2ssl (%rax,%rcx,1),%xmm1
addss  %xmm1,%xmm0
mov    -0x50(%rbp),%rax
movslq 0x10(%rbp),%rcx
cvtsi2ssl (%rax,%rcx,1),%xmm1
addss  %xmm1,%xmm0
mov    -0x50(%rbp),%rax
movslq 0x10(%rbp),%rcx
add    %rcx,%rax
movslq 0x18(%rbp),%rcx
cvtsi2ssl (%rax,%rcx,1),%xmm1
addss  %xmm1,%xmm0
movss  0xd84(%rip),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xd6c(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%ecx
mov    -0x48(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x48(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x48(%rbp)
mov    -0x24(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    122e <halveImage_int+0x10e>
mov    0x18(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    121b <halveImage_int+0xfb>
mov    -0x3c(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    0x10(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1208 <halveImage_int+0xe8>
jmp    1523 <halveImage_int+0x403>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    151e <halveImage_int+0x3fe>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    14ee <halveImage_int+0x3ce>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    14cf <halveImage_int+0x3af>
mov    -0x50(%rbp),%rax
mov    0xc(%rax),%eax
shl    $0x18,%eax
mov    -0x50(%rbp),%rcx
mov    0x8(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x50(%rbp),%rcx
mov    0x4(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x50(%rbp),%rcx
or     (%rcx),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x50(%rbp),%rax
movslq 0x18(%rbp),%rcx
mov    0xc(%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x50(%rbp),%rcx
movslq 0x18(%rbp),%rdx
mov    0x8(%rcx,%rdx,1),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x50(%rbp),%rcx
movslq 0x18(%rbp),%rdx
mov    0x4(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x50(%rbp),%rcx
movslq 0x18(%rbp),%rdx
or     (%rcx,%rdx,1),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
add    -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x50(%rbp),%rax
movslq 0x10(%rbp),%rcx
mov    0xc(%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x50(%rbp),%rcx
movslq 0x10(%rbp),%rdx
mov    0x8(%rcx,%rdx,1),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x50(%rbp),%rcx
movslq 0x10(%rbp),%rdx
mov    0x4(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x50(%rbp),%rcx
movslq 0x10(%rbp),%rdx
or     (%rcx,%rdx,1),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
add    -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x50(%rbp),%rax
movslq 0x10(%rbp),%rcx
add    %rcx,%rax
movslq 0x18(%rbp),%rcx
mov    0xc(%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x50(%rbp),%rcx
movslq 0x10(%rbp),%rdx
add    %rdx,%rcx
movslq 0x18(%rbp),%rdx
mov    0x8(%rcx,%rdx,1),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x50(%rbp),%rcx
movslq 0x10(%rbp),%rdx
add    %rdx,%rcx
movslq 0x18(%rbp),%rdx
mov    0x4(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x50(%rbp),%rcx
movslq 0x10(%rbp),%rdx
add    %rdx,%rcx
movslq 0x18(%rbp),%rdx
or     (%rcx,%rdx,1),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
add    -0x58(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cvtsi2sd %eax,%xmm0
movsd  0xb6a(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%ecx
mov    -0x48(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x48(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x48(%rbp)
mov    -0x24(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    134e <halveImage_int+0x22e>
mov    0x18(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    133b <halveImage_int+0x21b>
mov    -0x3c(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    0x10(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1328 <halveImage_int+0x208>
jmp    1523 <halveImage_int+0x403>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<halveImage_int>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9d,%r15d
mov    %r8,%r14
mov    %rcx,%rbx
mov    %edx,%r13d
mov    %edi,%r12d
mov    %esi,(%rsp)
cmp    $0x1,%esi
je     12c3 <halveImage_int+0x1a3>
cmp    $0x1,%r13d
je     12c3 <halveImage_int+0x1a3>
mov    0x58(%rsp),%eax
mov    0x50(%rsp),%ecx
mov    (%rsp),%esi
mov    %esi,%edx
shr    $0x1f,%edx
add    %esi,%edx
sar    %edx
mov    %edx,0x8(%rsp)
mov    %r13d,%edx
shr    $0x1f,%edx
add    %r13d,%edx
sar    %edx
mov    %edx,0x4(%rsp)
mov    %eax,%edx
imul   %esi,%edx
mov    %ecx,%ebp
sub    %edx,%ebp
cmpl   $0x0,0x60(%rsp)
je     1302 <halveImage_int+0x1e2>
cmp    $0x2,%r13d
jl     13bf <halveImage_int+0x29f>
movslq %eax,%r11
movslq %ecx,%r10
movslq %r15d,%r9
movslq %ebp,%rax
mov    %rax,0x10(%rsp)
lea    (%r11,%r10,1),%rcx
xor    %eax,%eax
movsd  0xe49(%rip),%xmm0
jmp    11d9 <halveImage_int+0xb9>
nopl   0x0(%rax)
add    0x10(%rsp),%rbx
add    %r10,%rbx
mov    0xc(%rsp),%eax
add    $0x1,%eax
cmp    0x4(%rsp),%eax
je     13bf <halveImage_int+0x29f>
mov    %eax,0xc(%rsp)
cmpl   $0x2,(%rsp)
jl     11c0 <halveImage_int+0xa0>
xor    %r13d,%r13d
jmp    11fe <halveImage_int+0xde>
nopl   0x0(%rax,%rax,1)
add    %r11,%rbx
add    $0x1,%r13d
cmp    0x8(%rsp),%r13d
je     11c0 <halveImage_int+0xa0>
test   %r12d,%r12d
jle    11f0 <halveImage_int+0xd0>
mov    %r12d,%ebp
cs nopw 0x0(%rax,%rax,1)
mov    0xc(%rbx),%r8d
shl    $0x18,%r8d
mov    0x4(%rbx),%eax
mov    0x8(%rbx),%r15d
shl    $0x10,%r15d
or     %r8d,%r15d
shl    $0x8,%eax
or     %r15d,%eax
or     (%rbx),%eax
mov    0xc(%rbx,%r11,1),%edi
shl    $0x18,%edi
mov    0x4(%rbx,%r11,1),%esi
mov    0x8(%rbx,%r11,1),%edx
shl    $0x10,%edx
or     %edi,%edx
shl    $0x8,%esi
or     %edx,%esi
or     (%rbx,%r11,1),%esi
mov    0xc(%rbx,%r10,1),%edx
shl    $0x18,%edx
mov    0x8(%rbx,%r10,1),%edi
shl    $0x10,%edi
or     %edx,%edi
mov    0x4(%rbx,%r10,1),%edx
shl    $0x8,%edx
or     %edi,%edx
or     (%rbx,%r10,1),%edx
add    %eax,%esi
add    %esi,%edx
mov    0xc(%rbx,%rcx,1),%eax
shl    $0x18,%eax
mov    0x4(%rbx,%rcx,1),%esi
mov    0x8(%rbx,%rcx,1),%edi
shl    $0x10,%edi
or     %eax,%edi
shl    $0x8,%esi
or     %edi,%esi
or     (%rbx,%rcx,1),%esi
lea    (%rsi,%rdx,1),%eax
add    $0x3,%eax
add    %esi,%edx
cmovns %edx,%eax
sar    $0x2,%eax
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
addsd  %xmm0,%xmm1
cvttsd2si %xmm1,%eax
mov    %eax,(%r14)
add    $0x4,%r14
add    %r9,%rbx
add    $0xffffffff,%ebp
jne    1210 <halveImage_int+0xf0>
jmp    11f0 <halveImage_int+0xd0>
mov    %r13d,%eax
xor    $0x1,%eax
mov    (%rsp),%ebp
mov    %ebp,%ecx
xor    $0x1,%ecx
xor    %edi,%edi
or     %eax,%ecx
setne  %dil
call   1040 <assert@plt>
mov    %r12d,%edi
mov    %ebp,%esi
mov    %r13d,%edx
mov    %rbx,%rcx
mov    %r14,%r8
mov    %r15d,%r9d
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <halve1Dimage_int@plt>
cmp    $0x2,%r13d
jl     13bf <halveImage_int+0x29f>
cltq
movslq %ecx,%rcx
movslq %r15d,%rdx
movslq %ebp,%r8
lea    (%rax,%rcx,1),%rdi
xor    %r10d,%r10d
movss  0xce2(%rip),%xmm0
movsd  0xcd2(%rip),%xmm1
jmp    1341 <halveImage_int+0x221>
add    %r8,%rbx
add    %rcx,%rbx
add    $0x1,%r10d
cmp    0x4(%rsp),%r10d
je     13bf <halveImage_int+0x29f>
cmpl   $0x2,(%rsp)
jl     1330 <halveImage_int+0x210>
xor    %r13d,%r13d
jmp    135e <halveImage_int+0x23e>
nopl   0x0(%rax)
add    %rax,%rbx
add    $0x1,%r13d
cmp    0x8(%rsp),%r13d
je     1330 <halveImage_int+0x210>
test   %r12d,%r12d
jle    1350 <halveImage_int+0x230>
mov    %r12d,%esi
cs nopw 0x0(%rax,%rax,1)
xorps  %xmm2,%xmm2
cvtsi2ssl (%rbx),%xmm2
xorps  %xmm3,%xmm3
cvtsi2ssl (%rbx,%rax,1),%xmm3
xorps  %xmm4,%xmm4
cvtsi2ssl (%rbx,%rcx,1),%xmm4
xorps  %xmm5,%xmm5
cvtsi2ssl (%rbx,%rdi,1),%xmm5
addss  %xmm2,%xmm3
addss  %xmm3,%xmm4
addss  %xmm4,%xmm5
mulss  %xmm0,%xmm5
xorps  %xmm2,%xmm2
cvtss2sd %xmm5,%xmm2
addsd  %xmm1,%xmm2
cvttsd2si %xmm2,%ebp
mov    %ebp,(%r14)
add    $0x4,%r14
add    %rdx,%rbx
add    $0xffffffff,%esi
jne    1370 <halveImage_int+0x250>
jmp    1350 <halveImage_int+0x230>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @halveImage_int(i32 %0, i32 %1, i32 %2, i32* %3, i32* %4, i32 %5, i32 %6, i32 %7, i32 %8) {
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32*
%14 = alloca i32*
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32*
%26 = alloca i8*
%27 = alloca i32
%28 = alloca i32
store i32 %0, i32* %10
store i32 %1, i32* %11
store i32 %2, i32* %12
store i32* %3, i32** %13
store i32* %4, i32** %14
store i32 %5, i32* %15
store i32 %6, i32* %16
store i32 %7, i32* %17
store i32 %8, i32* %18
%29 = load i32, i32* %11
%30 = icmp eq i32 %29, 1
br i1 %30, label %34, label %31
31: ; preds = %9
%32 = load i32, i32* %12
%33 = icmp eq i32 %32, 1
br i1 %33, label %34, label %55
34: ; preds = %31, %9
%35 = load i32, i32* %11
%36 = icmp eq i32 %35, 1
br i1 %36, label %37, label %40
37: ; preds = %34
%38 = load i32, i32* %12
%39 = icmp eq i32 %38, 1
br label %40
40: ; preds = %37, %34
%41 = phi i1 [ false, %34 ], [ %39, %37 ]
%42 = xor i1 %41, true
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = load i32, i32* %10
%46 = load i32, i32* %11
%47 = load i32, i32* %12
%48 = load i32*, i32** %13
%49 = load i32*, i32** %14
%50 = load i32, i32* %15
%51 = load i32, i32* %16
%52 = load i32, i32* %17
%53 = load i32, i32* %18
%54 = call i32 @halve1Dimage_int(i32 %45, i32 %46, i32 %47, i32* %48, i32* %49, i32 %50, i32 %51, i32 %52, i32 %53)
br label %352
55: ; preds = %31
%56 = load i32, i32* %11
%57 = sdiv i32 %56, 2
store i32 %57, i32* %22
%58 = load i32, i32* %12
%59 = sdiv i32 %58, 2
store i32 %59, i32* %23
%60 = load i32, i32* %16
%61 = load i32, i32* %11
%62 = load i32, i32* %17
%63 = mul nsw i32 %61, %62
%64 = sub nsw i32 %60, %63
store i32 %64, i32* %24
%65 = load i32*, i32** %14
store i32* %65, i32** %25
%66 = load i32*, i32** %13
%67 = bitcast i32* %66 to i8*
store i8* %67, i8** %26
%68 = load i32, i32* %18
%69 = icmp ne i32 %68, 0
br i1 %69, label %153, label %70
70: ; preds = %55
store i32 0, i32* %19
br label %71
71: ; preds = %149, %70
%72 = load i32, i32* %19
%73 = load i32, i32* %23
%74 = icmp slt i32 %72, %73
br i1 %74, label %75, label %152
75: ; preds = %71
store i32 0, i32* %20
br label %76
76: ; preds = %137, %75
%77 = load i32, i32* %20
%78 = load i32, i32* %22
%79 = icmp slt i32 %77, %78
br i1 %79, label %80, label %140
80: ; preds = %76
store i32 0, i32* %21
br label %81
81: ; preds = %129, %80
%82 = load i32, i32* %21
%83 = load i32, i32* %10
%84 = icmp slt i32 %82, %83
br i1 %84, label %85, label %132
85: ; preds = %81
%86 = load i8*, i8** %26
%87 = bitcast i8* %86 to i32*
%88 = load i32, i32* %87
%89 = sitofp i32 %88 to float
%90 = load i8*, i8** %26
%91 = load i32, i32* %17
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %90, i64 %92
%94 = bitcast i8* %93 to i32*
%95 = load i32, i32* %94
%96 = sitofp i32 %95 to float
%97 = fadd float %89, %96
%98 = load i8*, i8** %26
%99 = load i32, i32* %16
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i8, i8* %98, i64 %100
%102 = bitcast i8* %101 to i32*
%103 = load i32, i32* %102
%104 = sitofp i32 %103 to float
%105 = fadd float %97, %104
%106 = load i8*, i8** %26
%107 = load i32, i32* %16
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i8, i8* %106, i64 %108
%110 = load i32, i32* %17
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i8, i8* %109, i64 %111
%113 = bitcast i8* %112 to i32*
%114 = load i32, i32* %113
%115 = sitofp i32 %114 to float
%116 = fadd float %105, %115
%117 = fdiv float %116, 4.000000e+00
%118 = fpext float %117 to double
%119 = fadd double %118, 5.000000e-01
%120 = fptosi double %119 to i32
%121 = load i32*, i32** %25
%122 = getelementptr inbounds i32, i32* %121, i64 0
store i32 %120, i32* %122
%123 = load i32*, i32** %25
%124 = getelementptr inbounds i32, i32* %123, i32 1
store i32* %124, i32** %25
%125 = load i32, i32* %15
%126 = load i8*, i8** %26
%127 = sext i32 %125 to i64
%128 = getelementptr inbounds i8, i8* %126, i64 %127
store i8* %128, i8** %26
br label %129
129: ; preds = %85
%130 = load i32, i32* %21
%131 = add nsw i32 %130, 1
store i32 %131, i32* %21
br label %81
132: ; preds = %81
%133 = load i32, i32* %17
%134 = load i8*, i8** %26
%135 = sext i32 %133 to i64
%136 = getelementptr inbounds i8, i8* %134, i64 %135
store i8* %136, i8** %26
br label %137
137: ; preds = %132
%138 = load i32, i32* %20
%139 = add nsw i32 %138, 1
store i32 %139, i32* %20
br label %76
140: ; preds = %76
%141 = load i32, i32* %24
%142 = load i8*, i8** %26
%143 = sext i32 %141 to i64
%144 = getelementptr inbounds i8, i8* %142, i64 %143
store i8* %144, i8** %26
%145 = load i32, i32* %16
%146 = load i8*, i8** %26
%147 = sext i32 %145 to i64
%148 = getelementptr inbounds i8, i8* %146, i64 %147
store i8* %148, i8** %26
br label %149
149: ; preds = %140
%150 = load i32, i32* %19
%151 = add nsw i32 %150, 1
store i32 %151, i32* %19
br label %71
152: ; preds = %71
br label %352
153: ; preds = %55
store i32 0, i32* %19
br label %154
154: ; preds = %348, %153
%155 = load i32, i32* %19
%156 = load i32, i32* %23
%157 = icmp slt i32 %155, %156
br i1 %157, label %158, label %351
158: ; preds = %154
store i32 0, i32* %20
br label %159
159: ; preds = %336, %158
%160 = load i32, i32* %20
%161 = load i32, i32* %22
%162 = icmp slt i32 %160, %161
br i1 %162, label %163, label %339
163: ; preds = %159
store i32 0, i32* %21
br label %164
164: ; preds = %328, %163
%165 = load i32, i32* %21
%166 = load i32, i32* %10
%167 = icmp slt i32 %165, %166
br i1 %167, label %168, label %331
168: ; preds = %164
%169 = load i8*, i8** %26
%170 = bitcast i8* %169 to i32*
%171 = getelementptr inbounds i32, i32* %170, i64 3
%172 = load i32, i32* %171
%173 = shl i32 %172, 24
%174 = load i8*, i8** %26
%175 = bitcast i8* %174 to i32*
%176 = getelementptr inbounds i32, i32* %175, i64 2
%177 = load i32, i32* %176
%178 = shl i32 %177, 16
%179 = or i32 %173, %178
%180 = load i8*, i8** %26
%181 = bitcast i8* %180 to i32*
%182 = getelementptr inbounds i32, i32* %181, i64 1
%183 = load i32, i32* %182
%184 = shl i32 %183, 8
%185 = or i32 %179, %184
%186 = load i8*, i8** %26
%187 = bitcast i8* %186 to i32*
%188 = getelementptr inbounds i32, i32* %187, i64 0
%189 = load i32, i32* %188
%190 = or i32 %185, %189
store i32 %190, i32* %27
%191 = load i32, i32* %27
store i32 %191, i32* %28
%192 = load i8*, i8** %26
%193 = load i32, i32* %17
%194 = sext i32 %193 to i64
%195 = getelementptr inbounds i8, i8* %192, i64 %194
%196 = bitcast i8* %195 to i32*
%197 = getelementptr inbounds i32, i32* %196, i64 3
%198 = load i32, i32* %197
%199 = shl i32 %198, 24
%200 = load i8*, i8** %26
%201 = load i32, i32* %17
%202 = sext i32 %201 to i64
%203 = getelementptr inbounds i8, i8* %200, i64 %202
%204 = bitcast i8* %203 to i32*
%205 = getelementptr inbounds i32, i32* %204, i64 2
%206 = load i32, i32* %205
%207 = shl i32 %206, 16
%208 = or i32 %199, %207
%209 = load i8*, i8** %26
%210 = load i32, i32* %17
%211 = sext i32 %210 to i64
%212 = getelementptr inbounds i8, i8* %209, i64 %211
%213 = bitcast i8* %212 to i32*
%214 = getelementptr inbounds i32, i32* %213, i64 1
%215 = load i32, i32* %214
%216 = shl i32 %215, 8
%217 = or i32 %208, %216
%218 = load i8*, i8** %26
%219 = load i32, i32* %17
%220 = sext i32 %219 to i64
%221 = getelementptr inbounds i8, i8* %218, i64 %220
%222 = bitcast i8* %221 to i32*
%223 = getelementptr inbounds i32, i32* %222, i64 0
%224 = load i32, i32* %223
%225 = or i32 %217, %224
store i32 %225, i32* %27
%226 = load i32, i32* %27
%227 = load i32, i32* %28
%228 = add nsw i32 %227, %226
store i32 %228, i32* %28
%229 = load i8*, i8** %26
%230 = load i32, i32* %16
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds i8, i8* %229, i64 %231
%233 = bitcast i8* %232 to i32*
%234 = getelementptr inbounds i32, i32* %233, i64 3
%235 = load i32, i32* %234
%236 = shl i32 %235, 24
%237 = load i8*, i8** %26
%238 = load i32, i32* %16
%239 = sext i32 %238 to i64
%240 = getelementptr inbounds i8, i8* %237, i64 %239
%241 = bitcast i8* %240 to i32*
%242 = getelementptr inbounds i32, i32* %241, i64 2
%243 = load i32, i32* %242
%244 = shl i32 %243, 16
%245 = or i32 %236, %244
%246 = load i8*, i8** %26
%247 = load i32, i32* %16
%248 = sext i32 %247 to i64
%249 = getelementptr inbounds i8, i8* %246, i64 %248
%250 = bitcast i8* %249 to i32*
%251 = getelementptr inbounds i32, i32* %250, i64 1
%252 = load i32, i32* %251
%253 = shl i32 %252, 8
%254 = or i32 %245, %253
%255 = load i8*, i8** %26
%256 = load i32, i32* %16
%257 = sext i32 %256 to i64
%258 = getelementptr inbounds i8, i8* %255, i64 %257
%259 = bitcast i8* %258 to i32*
%260 = getelementptr inbounds i32, i32* %259, i64 0
%261 = load i32, i32* %260
%262 = or i32 %254, %261
store i32 %262, i32* %27
%263 = load i32, i32* %27
%264 = load i32, i32* %28
%265 = add nsw i32 %264, %263
store i32 %265, i32* %28
%266 = load i8*, i8** %26
%267 = load i32, i32* %16
%268 = sext i32 %267 to i64
%269 = getelementptr inbounds i8, i8* %266, i64 %268
%270 = load i32, i32* %17
%271 = sext i32 %270 to i64
%272 = getelementptr inbounds i8, i8* %269, i64 %271
%273 = bitcast i8* %272 to i32*
%274 = getelementptr inbounds i32, i32* %273, i64 3
%275 = load i32, i32* %274
%276 = shl i32 %275, 24
%277 = load i8*, i8** %26
%278 = load i32, i32* %16
%279 = sext i32 %278 to i64
%280 = getelementptr inbounds i8, i8* %277, i64 %279
%281 = load i32, i32* %17
%282 = sext i32 %281 to i64
%283 = getelementptr inbounds i8, i8* %280, i64 %282
%284 = bitcast i8* %283 to i32*
%285 = getelementptr inbounds i32, i32* %284, i64 2
%286 = load i32, i32* %285
%287 = shl i32 %286, 16
%288 = or i32 %276, %287
%289 = load i8*, i8** %26
%290 = load i32, i32* %16
%291 = sext i32 %290 to i64
%292 = getelementptr inbounds i8, i8* %289, i64 %291
%293 = load i32, i32* %17
%294 = sext i32 %293 to i64
%295 = getelementptr inbounds i8, i8* %292, i64 %294
%296 = bitcast i8* %295 to i32*
%297 = getelementptr inbounds i32, i32* %296, i64 1
%298 = load i32, i32* %297
%299 = shl i32 %298, 8
%300 = or i32 %288, %299
%301 = load i8*, i8** %26
%302 = load i32, i32* %16
%303 = sext i32 %302 to i64
%304 = getelementptr inbounds i8, i8* %301, i64 %303
%305 = load i32, i32* %17
%306 = sext i32 %305 to i64
%307 = getelementptr inbounds i8, i8* %304, i64 %306
%308 = bitcast i8* %307 to i32*
%309 = getelementptr inbounds i32, i32* %308, i64 0
%310 = load i32, i32* %309
%311 = or i32 %300, %310
store i32 %311, i32* %27
%312 = load i32, i32* %27
%313 = load i32, i32* %28
%314 = add nsw i32 %313, %312
store i32 %314, i32* %28
%315 = load i32, i32* %28
%316 = sdiv i32 %315, 4
%317 = sitofp i32 %316 to double
%318 = fadd double %317, 5.000000e-01
%319 = fptosi double %318 to i32
%320 = load i32*, i32** %25
%321 = getelementptr inbounds i32, i32* %320, i64 0
store i32 %319, i32* %321
%322 = load i32*, i32** %25
%323 = getelementptr inbounds i32, i32* %322, i32 1
store i32* %323, i32** %25
%324 = load i32, i32* %15
%325 = load i8*, i8** %26
%326 = sext i32 %324 to i64
%327 = getelementptr inbounds i8, i8* %325, i64 %326
store i8* %327, i8** %26
br label %328
328: ; preds = %168
%329 = load i32, i32* %21
%330 = add nsw i32 %329, 1
store i32 %330, i32* %21
br label %164
331: ; preds = %164
%332 = load i32, i32* %17
%333 = load i8*, i8** %26
%334 = sext i32 %332 to i64
%335 = getelementptr inbounds i8, i8* %333, i64 %334
store i8* %335, i8** %26
br label %336
336: ; preds = %331
%337 = load i32, i32* %20
%338 = add nsw i32 %337, 1
store i32 %338, i32* %20
br label %159
339: ; preds = %159
%340 = load i32, i32* %24
%341 = load i8*, i8** %26
%342 = sext i32 %340 to i64
%343 = getelementptr inbounds i8, i8* %341, i64 %342
store i8* %343, i8** %26
%344 = load i32, i32* %16
%345 = load i8*, i8** %26
%346 = sext i32 %344 to i64
%347 = getelementptr inbounds i8, i8* %345, i64 %346
store i8* %347, i8** %26
br label %348
348: ; preds = %339
%349 = load i32, i32* %19
%350 = add nsw i32 %349, 1
store i32 %350, i32* %19
br label %154
351: ; preds = %154
br label %352
352: ; preds = %40, %351, %152
ret void
}

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