#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 GLdouble;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ halve1Dimage_uint(int, int, int, int const *, int *, int,
                                     int, int, int);
void halveImage_uint(GLint components, GLuint width, GLuint height,
                     const GLuint *datain, GLuint *dataout, GLint element_size,
                     GLint ysize, GLint group_size, GLint myswap_bytes) {
  int i, j, k;
  int newwidth, newheight;
  GLuint *s;
  const char *t;
  if (width == 1 || height == 1) {
    assert(!(width == 1 && height == 1));
    halve1Dimage_uint(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] = ((double)*(const GLuint *)t +
                  (double)*(const GLuint *)(t + group_size) +
                  (double)*(const GLuint *)(t + ysize) +
                  (double)*(const GLuint *)(t + ysize + group_size)) /
                     4 +
                 0.5;
          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++) {
          GLdouble buf;
          buf = (GLdouble)(GLuint)(((GLuint)((const GLubyte *)(t))[3]) << 24 |
                                   ((GLuint)((const GLubyte *)(t))[2]) << 16 |
                                   ((GLuint)((const GLubyte *)(t))[1]) << 8 |
                                   ((const GLubyte *)(t))[0]) +
                (GLdouble)(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]) +
                (GLdouble)(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]) +
                (GLdouble)(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] = (GLuint)(buf / 4 + 0.5);
          s++;
          t += element_size;
        }
        t += group_size;
      }
      t += ysize;
    }
}


x86 assembly (clang, -O0):
<halveImage_uint>:
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_uint+0x3a>
cmpl   $0x1,-0xc(%rbp)
jne    11b9 <halveImage_uint+0x99>
xor    %eax,%eax
cmpl   $0x1,-0x8(%rbp)
mov    %al,-0x4d(%rbp)
jne    1173 <halveImage_uint+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_uint@plt>
jmp    14c7 <halveImage_uint+0x3a7>
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    12fa <halveImage_uint+0x1da>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    12f5 <halveImage_uint+0x1d5>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    12d6 <halveImage_uint+0x1b6>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12b7 <halveImage_uint+0x197>
mov    -0x48(%rbp),%rax
cvtsi2sdl (%rax),%xmm0
mov    -0x48(%rbp),%rax
movslq 0x18(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,1),%xmm1
addsd  %xmm1,%xmm0
mov    -0x48(%rbp),%rax
movslq 0x10(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,1),%xmm1
addsd  %xmm1,%xmm0
mov    -0x48(%rbp),%rax
movslq 0x10(%rbp),%rcx
add    %rcx,%rax
movslq 0x18(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,1),%xmm1
addsd  %xmm1,%xmm0
movsd  0xd96(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xd82(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%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_uint+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_uint+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_uint+0xd6>
jmp    14c7 <halveImage_uint+0x3a7>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    14c2 <halveImage_uint+0x3a2>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    14a3 <halveImage_uint+0x383>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1484 <halveImage_uint+0x364>
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    -0x48(%rbp),%rcx
movslq 0x18(%rbp),%rdx
mov    0xc(%rcx,%rdx,1),%ecx
shl    $0x18,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x18(%rbp),%rsi
mov    0x8(%rdx,%rsi,1),%edx
shl    $0x10,%edx
or     %edx,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x18(%rbp),%rsi
mov    0x4(%rdx,%rsi,1),%edx
shl    $0x8,%edx
or     %edx,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x18(%rbp),%rsi
or     (%rdx,%rsi,1),%ecx
add    %ecx,%eax
mov    -0x48(%rbp),%rcx
movslq 0x10(%rbp),%rdx
mov    0xc(%rcx,%rdx,1),%ecx
shl    $0x18,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x10(%rbp),%rsi
mov    0x8(%rdx,%rsi,1),%edx
shl    $0x10,%edx
or     %edx,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x10(%rbp),%rsi
mov    0x4(%rdx,%rsi,1),%edx
shl    $0x8,%edx
or     %edx,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x10(%rbp),%rsi
or     (%rdx,%rsi,1),%ecx
add    %ecx,%eax
mov    -0x48(%rbp),%rcx
movslq 0x10(%rbp),%rdx
add    %rdx,%rcx
movslq 0x18(%rbp),%rdx
mov    0xc(%rcx,%rdx,1),%ecx
shl    $0x18,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x10(%rbp),%rsi
add    %rsi,%rdx
movslq 0x18(%rbp),%rsi
mov    0x8(%rdx,%rsi,1),%edx
shl    $0x10,%edx
or     %edx,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x10(%rbp),%rsi
add    %rsi,%rdx
movslq 0x18(%rbp),%rsi
mov    0x4(%rdx,%rsi,1),%edx
shl    $0x8,%edx
or     %edx,%ecx
mov    -0x48(%rbp),%rdx
movslq 0x10(%rbp),%rsi
add    %rsi,%rdx
movslq 0x18(%rbp),%rsi
or     (%rdx,%rsi,1),%ecx
add    %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cvtsi2sd %eax,%xmm0
movsd  0xbb5(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%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    1327 <halveImage_uint+0x207>
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    1314 <halveImage_uint+0x1f4>
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    1301 <halveImage_uint+0x1e1>
jmp    14c7 <halveImage_uint+0x3a7>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<halveImage_uint>:
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,0xc(%rsp)
cmp    $0x1,%esi
je     12b1 <halveImage_uint+0x191>
cmp    $0x1,%r13d
je     12b1 <halveImage_uint+0x191>
mov    0x58(%rsp),%eax
mov    0x50(%rsp),%ecx
mov    0xc(%rsp),%edx
mov    %edx,%r10d
shr    $0x1f,%r10d
add    %edx,%r10d
sar    %r10d
mov    %r13d,%edx
shr    $0x1f,%edx
add    %r13d,%edx
sar    %edx
mov    %edx,0x10(%rsp)
cmpl   $0x0,0x60(%rsp)
je     12f1 <halveImage_uint+0x1d1>
cmp    $0x2,%r13d
jl     13a8 <halveImage_uint+0x288>
movslq %eax,%r9
movslq %ecx,%r8
movslq %r15d,%r13
lea    (%r9,%r8,1),%rcx
xor    %eax,%eax
movsd  0xe58(%rip),%xmm0
jmp    11c4 <halveImage_uint+0xa4>
nopw   0x0(%rax,%rax,1)
add    %r8,%rbx
mov    0x14(%rsp),%eax
add    $0x1,%eax
cmp    0x10(%rsp),%eax
je     13a8 <halveImage_uint+0x288>
mov    %eax,0x14(%rsp)
cmpl   $0x2,0xc(%rsp)
jl     11b0 <halveImage_uint+0x90>
xor    %r11d,%r11d
jmp    11ec <halveImage_uint+0xcc>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    %r9,%rbx
add    $0x1,%r11d
cmp    %r10d,%r11d
je     11b0 <halveImage_uint+0x90>
test   %r12d,%r12d
jle    11e0 <halveImage_uint+0xc0>
mov    %r12d,%ebp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0xc(%rbx),%edi
shl    $0x18,%edi
mov    0x4(%rbx),%eax
mov    0x8(%rbx),%r15d
shl    $0x10,%r15d
or     %edi,%r15d
shl    $0x8,%eax
or     %r15d,%eax
or     (%rbx),%eax
mov    0xc(%rbx,%r9,1),%edi
shl    $0x18,%edi
mov    0x4(%rbx,%r9,1),%esi
mov    0x8(%rbx,%r9,1),%edx
shl    $0x10,%edx
or     %edi,%edx
shl    $0x8,%esi
or     %edx,%esi
or     (%rbx,%r9,1),%esi
mov    0xc(%rbx,%r8,1),%edx
shl    $0x18,%edx
mov    0x8(%rbx,%r8,1),%edi
shl    $0x10,%edi
or     %edx,%edi
mov    0x4(%rbx,%r8,1),%edx
shl    $0x8,%edx
or     %edi,%edx
or     (%rbx,%r8,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    %r13,%rbx
add    $0xffffffff,%ebp
jne    1200 <halveImage_uint+0xe0>
jmp    11e0 <halveImage_uint+0xc0>
mov    %r13d,%eax
xor    $0x1,%eax
mov    0xc(%rsp),%ebp
mov    %ebp,%ecx
xor    $0x1,%ecx
xor    %edi,%edi
or     %eax,%ecx
setne  %dil
call   1030 <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    1040 <halve1Dimage_uint@plt>
cmp    $0x2,%r13d
jl     13a8 <halveImage_uint+0x288>
cltq
movslq %ecx,%rcx
movslq %r15d,%rdx
lea    (%rax,%rcx,1),%rsi
xor    %r9d,%r9d
movsd  0xcf6(%rip),%xmm0
movsd  0xce6(%rip),%xmm1
jmp    132e <halveImage_uint+0x20e>
nopl   0x0(%rax)
add    %rcx,%rbx
add    $0x1,%r9d
cmp    0x10(%rsp),%r9d
je     13a8 <halveImage_uint+0x288>
cmpl   $0x2,0xc(%rsp)
jl     1320 <halveImage_uint+0x200>
xor    %r11d,%r11d
jmp    134c <halveImage_uint+0x22c>
nopw   0x0(%rax,%rax,1)
add    %rax,%rbx
add    $0x1,%r11d
cmp    %r10d,%r11d
je     1320 <halveImage_uint+0x200>
test   %r12d,%r12d
jle    1340 <halveImage_uint+0x220>
mov    %r12d,%edi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xorps  %xmm2,%xmm2
cvtsi2sdl (%rbx),%xmm2
xorps  %xmm3,%xmm3
cvtsi2sdl (%rbx,%rax,1),%xmm3
addsd  %xmm2,%xmm3
xorps  %xmm2,%xmm2
cvtsi2sdl (%rbx,%rcx,1),%xmm2
addsd  %xmm3,%xmm2
xorps  %xmm3,%xmm3
cvtsi2sdl (%rbx,%rsi,1),%xmm3
addsd  %xmm2,%xmm3
mulsd  %xmm0,%xmm3
addsd  %xmm1,%xmm3
cvttsd2si %xmm3,%ebp
mov    %ebp,(%r14)
add    $0x4,%r14
add    %rdx,%rbx
add    $0xffffffff,%edi
jne    1360 <halveImage_uint+0x240>
jmp    1340 <halveImage_uint+0x220>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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