#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_float(int, int, int, int const *, int *, int,
                                      int, int, int);
void halveImage_float(GLint components, GLuint width, GLuint height,
                      const GLfloat *datain, GLfloat *dataout,
                      GLint element_size, GLint ysize, GLint group_size,
                      GLint myswap_bytes) {
  int i, j, k;
  int newwidth, newheight;
  GLfloat *s;
  const char *t;
  if (width == 1 || height == 1) {
    assert(!(width == 1 && height == 1));
    halve1Dimage_float(components, width, height, datain, dataout, element_size,
                       ysize, group_size, myswap_bytes);
    return;
  }
  newwidth = width / 2;
  newheight = height / 2;
  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] = (*(const GLfloat *)t + *(const GLfloat *)(t + group_size) +
                  *(const GLfloat *)(t + ysize) +
                  *(const GLfloat *)(t + ysize + group_size)) /
                 4;
          s++;
          t += element_size;
        }
        t += group_size;
      }
      t += ysize;
    }
  else
    for (i = 0; i < newheight; i++) {
      for (j = 0; j < newwidth; j++) {
        for (k = 0; k < components; k++) {
          GLuint b;
          b = (GLuint)(((GLuint)((const GLubyte *)(t))[3]) << 24 |
                       ((GLuint)((const GLubyte *)(t))[2]) << 16 |
                       ((GLuint)((const GLubyte *)(t))[1]) << 8 |
                       ((const GLubyte *)(t))[0]);
          s[0] = *(GLfloat *)&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]);
          s[0] += *(GLfloat *)&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]);
          s[0] += *(GLfloat *)&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]);
          s[0] += *(GLfloat *)&b;
          s[0] /= 4;
          s++;
          t += element_size;
        }
        t += group_size;
      }
      t += ysize;
    }
}


x86 assembly (clang, -O0):
<halveImage_float>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%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     115a <halveImage_float+0x3a>
cmpl   $0x1,-0xc(%rbp)
jne    11b9 <halveImage_float+0x99>
xor    %eax,%eax
cmpl   $0x1,-0x8(%rbp)
mov    %al,-0x4d(%rbp)
jne    1173 <halveImage_float+0x53>
cmpl   $0x1,-0xc(%rbp)
sete   %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <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   1040 <halve1Dimage_float@plt>
jmp    14c3 <halveImage_float+0x3a3>
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    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x48(%rbp)
cmpl   $0x0,0x20(%rbp)
jne    12d4 <halveImage_float+0x1b4>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    12cf <halveImage_float+0x1af>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    12b0 <halveImage_float+0x190>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1291 <halveImage_float+0x171>
mov    -0x48(%rbp),%rax
mov    (%rax),%eax
mov    -0x48(%rbp),%rcx
movslq 0x18(%rbp),%rdx
add    (%rcx,%rdx,1),%eax
mov    -0x48(%rbp),%rcx
movslq 0x10(%rbp),%rdx
add    (%rcx,%rdx,1),%eax
mov    -0x48(%rbp),%rcx
movslq 0x10(%rbp),%rdx
add    %rdx,%rcx
movslq 0x18(%rbp),%rdx
add    (%rcx,%rdx,1),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x24(%rbp),%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    121c <halveImage_float+0xfc>
mov    0x18(%rbp),%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1209 <halveImage_float+0xe9>
mov    0x10(%rbp),%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11f6 <halveImage_float+0xd6>
jmp    14c3 <halveImage_float+0x3a3>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    14be <halveImage_float+0x39e>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    149f <halveImage_float+0x37f>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1480 <halveImage_float+0x360>
mov    -0x48(%rbp),%rax
mov    0xc(%rax),%eax
shl    $0x18,%eax
mov    -0x48(%rbp),%rcx
mov    0x8(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x48(%rbp),%rcx
mov    0x4(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x48(%rbp),%rcx
or     (%rcx),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x48(%rbp),%rax
movslq 0x18(%rbp),%rcx
mov    0xc(%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x48(%rbp),%rcx
movslq 0x18(%rbp),%rdx
mov    0x8(%rcx,%rdx,1),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x48(%rbp),%rcx
movslq 0x18(%rbp),%rdx
mov    0x4(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x48(%rbp),%rcx
movslq 0x18(%rbp),%rdx
or     (%rcx,%rdx,1),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%ecx
mov    -0x40(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x48(%rbp),%rax
movslq 0x10(%rbp),%rcx
mov    0xc(%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x48(%rbp),%rcx
movslq 0x10(%rbp),%rdx
mov    0x8(%rcx,%rdx,1),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x48(%rbp),%rcx
movslq 0x10(%rbp),%rdx
mov    0x4(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x48(%rbp),%rcx
movslq 0x10(%rbp),%rdx
or     (%rcx,%rdx,1),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%ecx
mov    -0x40(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x48(%rbp),%rax
movslq 0x10(%rbp),%rcx
add    %rcx,%rax
movslq 0x18(%rbp),%rcx
mov    0xc(%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x48(%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    -0x48(%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    -0x48(%rbp),%rcx
movslq 0x10(%rbp),%rdx
add    %rdx,%rcx
movslq 0x18(%rbp),%rdx
or     (%rcx,%rdx,1),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%ecx
mov    -0x40(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x40(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    (%rax),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x58(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x24(%rbp),%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1301 <halveImage_float+0x1e1>
mov    0x18(%rbp),%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12ee <halveImage_float+0x1ce>
mov    0x10(%rbp),%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12db <halveImage_float+0x1bb>
jmp    14c3 <halveImage_float+0x3a3>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<halveImage_float>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9d,%r15d
mov    %r8,%rbx
mov    %rcx,%rbp
mov    %edx,%r13d
mov    %edi,0x10(%rsp)
mov    %esi,0xc(%rsp)
cmp    $0x1,%esi
je     129b <halveImage_float+0x17b>
cmp    $0x1,%r13d
je     129b <halveImage_float+0x17b>
mov    0x68(%rsp),%eax
mov    0x60(%rsp),%ecx
mov    0xc(%rsp),%edx
mov    %edx,%esi
shr    $0x1f,%esi
add    %edx,%esi
sar    %esi
mov    %esi,0x1c(%rsp)
mov    %r13d,%edx
shr    $0x1f,%edx
add    %r13d,%edx
sar    %edx
mov    %edx,0x18(%rsp)
cmpl   $0x0,0x70(%rsp)
je     12df <halveImage_float+0x1bf>
cmp    $0x2,%r13d
mov    0x10(%rsp),%r13d
jl     141b <halveImage_float+0x2fb>
movslq %eax,%r10
movslq %ecx,%r14
movslq %r15d,%r8
lea    (%r10,%r14,1),%r15
xor    %r9d,%r9d
mov    0x1c(%rsp),%r12d
jmp    11c2 <halveImage_float+0xa2>
xchg   %ax,%ax
add    %r14,%rbp
add    $0x1,%r9d
cmp    0x18(%rsp),%r9d
je     141b <halveImage_float+0x2fb>
cmpl   $0x2,0xc(%rsp)
jl     11b0 <halveImage_float+0x90>
xor    %r11d,%r11d
jmp    11dc <halveImage_float+0xbc>
xchg   %ax,%ax
add    %r10,%rbp
add    $0x1,%r11d
cmp    %r12d,%r11d
je     11b0 <halveImage_float+0x90>
test   %r13d,%r13d
jle    11d0 <halveImage_float+0xb0>
mov    %r13d,%edi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0xc(%rbp),%ecx
shl    $0x18,%ecx
mov    0x4(%rbp),%edx
mov    0x8(%rbp),%eax
shl    $0x10,%eax
or     %ecx,%eax
shl    $0x8,%edx
or     %eax,%edx
or     0x0(%rbp),%edx
mov    %edx,(%rbx)
mov    0xc(%rbp,%r10,1),%eax
shl    $0x18,%eax
mov    0x4(%rbp,%r10,1),%ecx
mov    0x8(%rbp,%r10,1),%esi
shl    $0x10,%esi
or     %eax,%esi
shl    $0x8,%ecx
or     %esi,%ecx
or     0x0(%rbp,%r10,1),%ecx
add    %edx,%ecx
mov    %ecx,(%rbx)
mov    0xc(%rbp,%r14,1),%eax
shl    $0x18,%eax
mov    0x4(%rbp,%r14,1),%edx
mov    0x8(%rbp,%r14,1),%esi
shl    $0x10,%esi
or     %eax,%esi
shl    $0x8,%edx
or     %esi,%edx
or     0x0(%rbp,%r14,1),%edx
add    %ecx,%edx
mov    %edx,(%rbx)
mov    0xc(%rbp,%r15,1),%eax
shl    $0x18,%eax
mov    0x4(%rbp,%r15,1),%ecx
mov    0x8(%rbp,%r15,1),%esi
shl    $0x10,%esi
or     %eax,%esi
shl    $0x8,%ecx
or     %esi,%ecx
or     0x0(%rbp,%r15,1),%ecx
lea    (%rcx,%rdx,1),%eax
add    $0x3,%eax
add    %edx,%ecx
cmovns %ecx,%eax
sar    $0x2,%eax
mov    %eax,(%rbx)
add    $0x4,%rbx
add    %r8,%rbp
add    $0xffffffff,%edi
jne    11f0 <halveImage_float+0xd0>
jmp    11d0 <halveImage_float+0xb0>
mov    %r13d,%eax
xor    $0x1,%eax
mov    0xc(%rsp),%r14d
mov    %r14d,%ecx
xor    $0x1,%ecx
xor    %edi,%edi
or     %eax,%ecx
setne  %dil
call   1030 <assert@plt>
mov    0x10(%rsp),%edi
mov    %r14d,%esi
mov    %r13d,%edx
mov    %rbp,%rcx
mov    %rbx,%r8
mov    %r15d,%r9d
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <halve1Dimage_float@plt>
cmp    $0x2,%r13d
mov    0x10(%rsp),%r8d
jl     141b <halveImage_float+0x2fb>
movslq %eax,%r12
movslq %ecx,%r11
movslq %r15d,%r15
mov    %r8d,%eax
and    $0xfffffffe,%eax
mov    %eax,0x20(%rsp)
lea    (%r12,%r11,1),%rdx
lea    (%rdx,%r15,1),%rdi
lea    (%r11,%r15,1),%r10
lea    (%r12,%r15,1),%r14
movl   $0x0,0x14(%rsp)
jmp    1338 <halveImage_float+0x218>
nopl   0x0(%rax,%rax,1)
add    %r11,%rbp
mov    0x14(%rsp),%eax
add    $0x1,%eax
mov    %eax,0x14(%rsp)
cmp    0x18(%rsp),%eax
je     141b <halveImage_float+0x2fb>
cmpl   $0x2,0xc(%rsp)
jl     1320 <halveImage_float+0x200>
xor    %ecx,%ecx
jmp    135c <halveImage_float+0x23c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %r12,%rbp
add    $0x1,%ecx
cmp    0x1c(%rsp),%ecx
je     1320 <halveImage_float+0x200>
test   %r8d,%r8d
jle    1350 <halveImage_float+0x230>
cmp    $0x1,%r8d
je     13de <halveImage_float+0x2be>
mov    %ecx,0x24(%rsp)
mov    0x20(%rsp),%r9d
mov    0x0(%rbp,%r12,1),%r8d
add    0x0(%rbp),%r8d
add    0x0(%rbp,%r11,1),%r8d
mov    0x0(%rbp,%rdx,1),%r13d
mov    %r10,%rax
lea    (%r8,%r13,1),%r10d
add    $0x3,%r10d
mov    %r8d,%ecx
add    %r13d,%ecx
cmovns %ecx,%r10d
sar    $0x2,%r10d
mov    %r10d,(%rbx)
mov    %rax,%r10
mov    0x0(%rbp,%r14,1),%ecx
add    0x0(%rbp,%r15,1),%ecx
add    0x0(%rbp,%rax,1),%ecx
mov    0x0(%rbp,%rdi,1),%eax
add    %r15,%rbp
lea    (%rax,%rcx,1),%esi
add    $0x3,%esi
add    %eax,%ecx
cmovns %ecx,%esi
sar    $0x2,%esi
mov    %esi,0x4(%rbx)
add    $0x8,%rbx
add    %r15,%rbp
add    $0xfffffffe,%r9d
jne    1370 <halveImage_float+0x250>
mov    0x10(%rsp),%r8d
mov    0x24(%rsp),%ecx
test   $0x1,%r8b
je     1350 <halveImage_float+0x230>
mov    0x0(%rbp,%r12,1),%eax
add    0x0(%rbp),%eax
lea    (%r11,%rbp,1),%rsi
add    0x0(%rbp,%r11,1),%eax
mov    (%r12,%rsi,1),%r9d
lea    (%r9,%rax,1),%esi
add    $0x3,%esi
add    %r9d,%eax
cmovns %eax,%esi
sar    $0x2,%esi
mov    %esi,(%rbx)
add    $0x4,%rbx
add    %r15,%rbp
jmp    1350 <halveImage_float+0x230>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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