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

/* Variables and functions */
int /*<<< orphan*/ assert(int);
void halve1Dimage_uint(GLint components, GLuint width, GLuint height,
                       const GLuint *dataIn, GLuint *dataOut,
                       GLint element_size, GLint ysize, GLint group_size,
                       GLint myswap_bytes) {
  GLint halfWidth = width / 2;
  GLint halfHeight = height / 2;
  const char *src = (const char *)dataIn;
  GLuint *dest = dataOut;
  int jj;
  assert(width == 1 || height == 1);
  assert(width != height);
  if (height == 1) {
    assert(width != 1);
    halfHeight = 1;
    for (jj = 0; jj < halfWidth; jj++) {
      int kk;
      for (kk = 0; kk < components; kk++) {
        GLuint uint[2];
        if (myswap_bytes) {
          uint[0] = (GLuint)(((GLuint)((const GLubyte *)(src))[3]) << 24 |
                             ((GLuint)((const GLubyte *)(src))[2]) << 16 |
                             ((GLuint)((const GLubyte *)(src))[1]) << 8 |
                             ((const GLubyte *)(src))[0]);
          uint[1] =
              (GLuint)(((GLuint)((const GLubyte *)(src + group_size))[3])
                           << 24 |
                       ((GLuint)((const GLubyte *)(src + group_size))[2])
                           << 16 |
                       ((GLuint)((const GLubyte *)(src + group_size))[1]) << 8 |
                       ((const GLubyte *)(src + group_size))[0]);
        } else {
          uint[0] = *(const GLuint *)src;
          uint[1] = *(const GLuint *)(src + group_size);
        }
        *dest = ((double)uint[0] + (double)uint[1]) / 2.0;
        src += element_size;
        dest++;
      }
      src += group_size;
    }
    {
      int padBytes = ysize - (width * group_size);
      src += padBytes;
    }
  } else if (width == 1) {
    int padBytes = ysize - (width * group_size);
    assert(height != 1);
    halfWidth = 1;
    for (jj = 0; jj < halfHeight; jj++) {
      int kk;
      for (kk = 0; kk < components; kk++) {
        GLuint uint[2];
        if (myswap_bytes) {
          uint[0] = (GLuint)(((GLuint)((const GLubyte *)(src))[3]) << 24 |
                             ((GLuint)((const GLubyte *)(src))[2]) << 16 |
                             ((GLuint)((const GLubyte *)(src))[1]) << 8 |
                             ((const GLubyte *)(src))[0]);
          uint[1] =
              (GLuint)(((GLuint)((const GLubyte *)(src + ysize))[3]) << 24 |
                       ((GLuint)((const GLubyte *)(src + ysize))[2]) << 16 |
                       ((GLuint)((const GLubyte *)(src + ysize))[1]) << 8 |
                       ((const GLubyte *)(src + ysize))[0]);
        } else {
          uint[0] = *(const GLuint *)src;
          uint[1] = *(const GLuint *)(src + ysize);
        }
        *dest = ((double)uint[0] + (double)uint[1]) / 2.0;
        src += element_size;
        dest++;
      }
      src += padBytes;
      src += ysize;
    }
    assert(src == &((const char *)dataIn)[ysize * height]);
  }
  assert(
      (char *)dest ==
      &((char *)dataOut)[components * element_size * halfWidth * halfHeight]);
}


x86 assembly (clang, -O0):
<halve1Dimage_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)
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    $0x1,%al
cmpl   $0x1,-0x8(%rbp)
mov    %al,-0x65(%rbp)
je     117b <halve1Dimage_uint+0x6b>
cmpl   $0x1,-0xc(%rbp)
sete   %al
mov    %al,-0x65(%rbp)
mov    -0x65(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x1,-0xc(%rbp)
jne    1306 <halve1Dimage_uint+0x1f6>
cmpl   $0x1,-0x8(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x1,-0x2c(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    12e1 <halve1Dimage_uint+0x1d1>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12c2 <halve1Dimage_uint+0x1b2>
cmpl   $0x0,0x20(%rbp)
je     125c <halve1Dimage_uint+0x14c>
mov    -0x38(%rbp),%rax
mov    0xc(%rax),%eax
shl    $0x18,%eax
mov    -0x38(%rbp),%rcx
mov    0x8(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
mov    0x4(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
or     (%rcx),%eax
mov    %eax,-0x50(%rbp)
mov    -0x38(%rbp),%rax
movslq 0x18(%rbp),%rcx
mov    0xc(%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x38(%rbp),%rcx
movslq 0x18(%rbp),%rdx
mov    0x8(%rcx,%rdx,1),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
movslq 0x18(%rbp),%rdx
mov    0x4(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
movslq 0x18(%rbp),%rdx
or     (%rcx,%rdx,1),%eax
mov    %eax,-0x4c(%rbp)
jmp    1273 <halve1Dimage_uint+0x163>
mov    -0x38(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x50(%rbp)
mov    -0x38(%rbp),%rax
movslq 0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%eax
mov    %eax,-0x4c(%rbp)
cvtsi2sdl -0x50(%rbp),%xmm0
cvtsi2sdl -0x4c(%rbp),%xmm1
addsd  %xmm1,%xmm0
movsd  0xd77(%rip),%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    11d7 <halve1Dimage_uint+0xc7>
mov    0x18(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11c4 <halve1Dimage_uint+0xb4>
mov    0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   0x18(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    1496 <halve1Dimage_uint+0x386>
cmpl   $0x1,-0x8(%rbp)
jne    1491 <halve1Dimage_uint+0x381>
mov    0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   0x18(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x58(%rbp)
cmpl   $0x1,-0xc(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x1,-0x28(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    146c <halve1Dimage_uint+0x35c>
movl   $0x0,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    143c <halve1Dimage_uint+0x32c>
cmpl   $0x0,0x20(%rbp)
je     13d6 <halve1Dimage_uint+0x2c6>
mov    -0x38(%rbp),%rax
mov    0xc(%rax),%eax
shl    $0x18,%eax
mov    -0x38(%rbp),%rcx
mov    0x8(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
mov    0x4(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
or     (%rcx),%eax
mov    %eax,-0x64(%rbp)
mov    -0x38(%rbp),%rax
movslq 0x10(%rbp),%rcx
mov    0xc(%rax,%rcx,1),%eax
shl    $0x18,%eax
mov    -0x38(%rbp),%rcx
movslq 0x10(%rbp),%rdx
mov    0x8(%rcx,%rdx,1),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
movslq 0x10(%rbp),%rdx
mov    0x4(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%rcx
movslq 0x10(%rbp),%rdx
or     (%rcx,%rdx,1),%eax
mov    %eax,-0x60(%rbp)
jmp    13ed <halve1Dimage_uint+0x2dd>
mov    -0x38(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x64(%rbp)
mov    -0x38(%rbp),%rax
movslq 0x10(%rbp),%rcx
mov    (%rax,%rcx,1),%eax
mov    %eax,-0x60(%rbp)
cvtsi2sdl -0x64(%rbp),%xmm0
cvtsi2sdl -0x60(%rbp),%xmm1
addsd  %xmm1,%xmm0
movsd  0xbfd(%rip),%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1351 <halve1Dimage_uint+0x241>
mov    -0x58(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    0x10(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    133e <halve1Dimage_uint+0x22e>
mov    -0x38(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    0x10(%rbp),%edx
imul   -0xc(%rbp),%edx
movslq %edx,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
jmp    1496 <halve1Dimage_uint+0x386>
mov    -0x40(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x4(%rbp),%edx
imul   -0x24(%rbp),%edx
imul   -0x28(%rbp),%edx
imul   -0x2c(%rbp),%edx
movslq %edx,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<halve1Dimage_uint>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9d,0x4(%rsp)
mov    %r8,0x8(%rsp)
mov    %rcx,%rbp
mov    %edx,%r12d
mov    %esi,%ebx
mov    %edi,%r13d
mov    %esi,%r14d
shr    $0x1f,%r14d
add    %esi,%r14d
sar    %r14d
cmp    $0x1,%esi
sete   %al
cmp    $0x1,%edx
sete   %cl
or     %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
xor    %edi,%edi
cmp    %r12d,%ebx
setne  %dil
call   1030 <assert@plt>
mov    0x70(%rsp),%r15d
mov    0x68(%rsp),%ecx
cmp    $0x1,%r12d
jne    1251 <halve1Dimage_uint+0x141>
mov    %ecx,0x10(%rsp)
xor    %edi,%edi
cmp    $0x1,%ebx
setne  %dil
call   1030 <assert@plt>
mov    $0x1,%r12d
cmp    $0x2,%ebx
jl     1360 <halve1Dimage_uint+0x250>
movslq 0x10(%rsp),%r10
movslq 0x4(%rsp),%r9
xor    %r8d,%r8d
movsd  0xe53(%rip),%xmm0
mov    0x8(%rsp),%r11
mov    %r11,%rbx
jmp    11d0 <halve1Dimage_uint+0xc0>
nopw   0x0(%rax,%rax,1)
add    %r10,%rbp
add    $0x1,%r8d
cmp    %r14d,%r8d
je     139b <halve1Dimage_uint+0x28b>
test   %r13d,%r13d
jle    11c0 <halve1Dimage_uint+0xb0>
mov    %r13d,%esi
jmp    1210 <halve1Dimage_uint+0x100>
nopw   0x0(%rax,%rax,1)
mov    0x0(%rbp),%edi
mov    0x0(%rbp,%r10,1),%edx
xorps  %xmm1,%xmm1
cvtsi2sd %edi,%xmm1
xorps  %xmm2,%xmm2
cvtsi2sd %edx,%xmm2
addsd  %xmm1,%xmm2
mulsd  %xmm0,%xmm2
cvttsd2si %xmm2,%eax
mov    %eax,(%rbx)
add    %r9,%rbp
add    $0x4,%rbx
add    $0xffffffff,%esi
je     11c0 <halve1Dimage_uint+0xb0>
test   %r15d,%r15d
je     11e0 <halve1Dimage_uint+0xd0>
mov    0xc(%rbp),%edx
shl    $0x18,%edx
mov    0x4(%rbp),%edi
mov    0x8(%rbp),%ecx
shl    $0x10,%ecx
or     %edx,%ecx
shl    $0x8,%edi
or     %ecx,%edi
or     0x0(%rbp),%edi
mov    0xc(%rbp,%r10,1),%ecx
shl    $0x18,%ecx
mov    0x4(%rbp,%r10,1),%edx
mov    0x8(%rbp,%r10,1),%eax
shl    $0x10,%eax
or     %ecx,%eax
shl    $0x8,%edx
or     %eax,%edx
or     0x0(%rbp,%r10,1),%edx
jmp    11e8 <halve1Dimage_uint+0xd8>
mov    %r12d,%eax
shr    $0x1f,%eax
add    %r12d,%eax
sar    %eax
mov    %eax,0x20(%rsp)
cmp    $0x1,%ebx
jne    136a <halve1Dimage_uint+0x25a>
mov    %ecx,0x10(%rsp)
mov    0x60(%rsp),%eax
mov    %eax,0x1c(%rsp)
mov    $0x1,%r14d
mov    $0x1,%edi
call   1030 <assert@plt>
mov    %rbp,%rax
mov    0x8(%rsp),%rbx
mov    %r12d,0x24(%rsp)
cmp    $0x2,%r12d
mov    0x20(%rsp),%r12d
jl     1379 <halve1Dimage_uint+0x269>
mov    0x1c(%rsp),%ecx
mov    %ecx,%eax
sub    0x10(%rsp),%eax
movslq %ecx,%r11
movslq 0x4(%rsp),%r10
cltq
mov    %rax,0x10(%rsp)
xor    %r9d,%r9d
movsd  0xd3b(%rip),%xmm0
mov    0x8(%rsp),%rbx
mov    %rbp,%rax
jmp    12e5 <halve1Dimage_uint+0x1d5>
nop
add    0x10(%rsp),%rax
add    %r11,%rax
add    $0x1,%r9d
cmp    %r12d,%r9d
je     1379 <halve1Dimage_uint+0x269>
test   %r13d,%r13d
jle    12d0 <halve1Dimage_uint+0x1c0>
mov    %r13d,%esi
jmp    131e <halve1Dimage_uint+0x20e>
nop
mov    (%rax),%edi
mov    (%rax,%r11,1),%edx
xorps  %xmm1,%xmm1
cvtsi2sd %edi,%xmm1
xorps  %xmm2,%xmm2
cvtsi2sd %edx,%xmm2
addsd  %xmm1,%xmm2
mulsd  %xmm0,%xmm2
cvttsd2si %xmm2,%ecx
mov    %ecx,(%rbx)
add    %r10,%rax
add    $0x4,%rbx
add    $0xffffffff,%esi
je     12d0 <halve1Dimage_uint+0x1c0>
test   %r15d,%r15d
je     12f0 <halve1Dimage_uint+0x1e0>
mov    0xc(%rax),%edx
shl    $0x18,%edx
mov    0x4(%rax),%edi
mov    0x8(%rax),%ecx
shl    $0x10,%ecx
or     %edx,%ecx
shl    $0x8,%edi
or     %ecx,%edi
or     (%rax),%edi
mov    0xc(%rax,%r11,1),%ecx
shl    $0x18,%ecx
mov    0x4(%rax,%r11,1),%edx
mov    0x8(%rax,%r11,1),%r8d
shl    $0x10,%r8d
or     %ecx,%r8d
shl    $0x8,%edx
or     %r8d,%edx
or     (%rax,%r11,1),%edx
jmp    12f6 <halve1Dimage_uint+0x1e6>
mov    0x8(%rsp),%r11
mov    %r11,%rbx
jmp    139b <halve1Dimage_uint+0x28b>
mov    0x8(%rsp),%r11
mov    %r11,%rbx
mov    0x20(%rsp),%r12d
jmp    139b <halve1Dimage_uint+0x28b>
mov    0x1c(%rsp),%ecx
imul   0x24(%rsp),%ecx
movslq %ecx,%rcx
add    %rcx,%rbp
xor    %edi,%edi
cmp    %rbp,%rax
sete   %dil
call   1030 <assert@plt>
mov    0x8(%rsp),%r11
imul   %r14d,%r12d
mov    0x4(%rsp),%eax
imul   %r13d,%eax
imul   %r12d,%eax
cltq
add    %rax,%r11
xor    %edi,%edi
cmp    %rbx,%r11
sete   %dil
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <assert@plt>

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

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