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

/* Variables and functions */
int /*<<< orphan*/ assert(int);
void halve1Dimage_float(GLint components, GLuint width, GLuint height,
                        const GLfloat *dataIn, GLfloat *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;
  GLfloat *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++) {
        GLfloat sfloat[2];
        if (myswap_bytes) {
          sfloat[0] = (GLuint)(((GLuint)((const GLubyte *)(src))[3]) << 24 |
                               ((GLuint)((const GLubyte *)(src))[2]) << 16 |
                               ((GLuint)((const GLubyte *)(src))[1]) << 8 |
                               ((const GLubyte *)(src))[0]);
          sfloat[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 {
          sfloat[0] = *(const GLfloat *)src;
          sfloat[1] = *(const GLfloat *)(src + group_size);
        }
        *dest = (sfloat[0] + sfloat[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++) {
        GLfloat sfloat[2];
        if (myswap_bytes) {
          sfloat[0] = (GLuint)(((GLuint)((const GLubyte *)(src))[3]) << 24 |
                               ((GLuint)((const GLubyte *)(src))[2]) << 16 |
                               ((GLuint)((const GLubyte *)(src))[1]) << 8 |
                               ((const GLubyte *)(src))[0]);
          sfloat[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 {
          sfloat[0] = *(const GLfloat *)src;
          sfloat[1] = *(const GLfloat *)(src + ysize);
        }
        *dest = (sfloat[0] + sfloat[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_float>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%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,-0x81(%rbp)
je     1184 <halve1Dimage_float+0x74>
cmpl   $0x1,-0xc(%rbp)
sete   %al
mov    %al,-0x81(%rbp)
mov    -0x81(%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    1320 <halve1Dimage_float+0x210>
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    12fb <halve1Dimage_float+0x1eb>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12dc <halve1Dimage_float+0x1cc>
cmpl   $0x0,0x20(%rbp)
je     1274 <halve1Dimage_float+0x164>
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
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x60(%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
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    1293 <halve1Dimage_float+0x183>
mov    -0x38(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x38(%rbp),%rax
movslq 0x18(%rbp),%rcx
movsd  (%rax,%rcx,1),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x60(%rbp),%xmm0
addsd  -0x58(%rbp),%xmm0
movsd  0xd5b(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x40(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    11e3 <halve1Dimage_float+0xd3>
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    11d0 <halve1Dimage_float+0xc0>
mov    0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   0x18(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    149e <halve1Dimage_float+0x38e>
cmpl   $0x1,-0x8(%rbp)
jne    1499 <halve1Dimage_float+0x389>
mov    0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   0x18(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x68(%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    1494 <halve1Dimage_float+0x384>
movl   $0x0,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1464 <halve1Dimage_float+0x354>
cmpl   $0x0,0x20(%rbp)
je     13fc <halve1Dimage_float+0x2ec>
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
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x80(%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
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x78(%rbp)
jmp    141b <halve1Dimage_float+0x30b>
mov    -0x38(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    -0x38(%rbp),%rax
movslq 0x10(%rbp),%rcx
movsd  (%rax,%rcx,1),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x80(%rbp),%xmm0
addsd  -0x78(%rbp),%xmm0
movsd  0xbd3(%rip),%xmm1
divsd  %xmm1,%xmm0
mov    -0x40(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    136b <halve1Dimage_float+0x25b>
mov    -0x68(%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    1358 <halve1Dimage_float+0x248>
jmp    1499 <halve1Dimage_float+0x389>
jmp    149e <halve1Dimage_float+0x38e>
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>
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    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<halve1Dimage_float>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9d,%r13d
mov    %r8,%r12
mov    %rcx,%rbp
mov    %edx,%ebx
mov    %esi,%r14d
mov    %edi,0x8(%rsp)
mov    %esi,%eax
shr    $0x1f,%eax
add    %esi,%eax
sar    %eax
mov    %eax,0xc(%rsp)
cmp    $0x1,%esi
sete   %al
cmp    $0x1,%edx
sete   %cl
or     %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
xor    %edi,%edi
cmp    %ebx,%r14d
setne  %dil
call   1030 <assert@plt>
mov    0x60(%rsp),%r15d
mov    0x58(%rsp),%eax
mov    0x50(%rsp),%edx
cmp    $0x1,%ebx
mov    %r13d,0x10(%rsp)
mov    %ebx,0x14(%rsp)
jne    125c <halve1Dimage_float+0x14c>
mov    %eax,(%rsp)
mov    %edx,0x4(%rsp)
xor    %edi,%edi
cmp    $0x1,%r14d
setne  %dil
call   1030 <assert@plt>
mov    %rbp,%rcx
mov    %r12,%r9
cmp    $0x2,%r14d
mov    0xc(%rsp),%r10d
mov    %rbp,%r11
mov    %r14d,%esi
jl     135c <halve1Dimage_float+0x24c>
movslq (%rsp),%rax
movslq %r13d,%rdx
xor    %r8d,%r8d
movsd  0xe3d(%rip),%xmm0
mov    %r9,%r12
mov    %r11,%rcx
mov    %esi,%r14d
jmp    11e3 <halve1Dimage_float+0xd3>
xchg   %ax,%ax
add    %rax,%rcx
add    $0x1,%r8d
cmp    %r10d,%r8d
mov    %r14d,%esi
je     135c <halve1Dimage_float+0x24c>
mov    0x8(%rsp),%edi
test   %edi,%edi
jg     1213 <halve1Dimage_float+0x103>
jmp    11d0 <halve1Dimage_float+0xc0>
nopl   (%rax)
movsd  (%rcx),%xmm1
movsd  (%rcx,%rax,1),%xmm2
addsd  %xmm1,%xmm2
mulsd  %xmm0,%xmm2
movsd  %xmm2,(%r12)
add    %rdx,%rcx
add    $0x8,%r12
add    $0xffffffff,%edi
je     11d0 <halve1Dimage_float+0xc0>
test   %r15d,%r15d
je     11f0 <halve1Dimage_float+0xe0>
mov    0xc(%rcx),%ebp
shl    $0x18,%ebp
mov    0x4(%rcx),%ebx
mov    0x8(%rcx),%esi
shl    $0x10,%esi
or     %ebp,%esi
shl    $0x8,%ebx
or     %esi,%ebx
or     (%rcx),%ebx
xorps  %xmm1,%xmm1
cvtsi2sd %ebx,%xmm1
mov    0xc(%rcx,%rax,1),%esi
shl    $0x18,%esi
mov    0x4(%rcx,%rax,1),%ebp
mov    0x8(%rcx,%rax,1),%ebx
shl    $0x10,%ebx
or     %esi,%ebx
shl    $0x8,%ebp
or     %ebx,%ebp
or     (%rcx,%rax,1),%ebp
xorps  %xmm2,%xmm2
cvtsi2sd %ebp,%xmm2
jmp    11f9 <halve1Dimage_float+0xe9>
mov    %ebx,%r13d
shr    $0x1f,%r13d
add    %ebx,%r13d
sar    %r13d
cmp    $0x1,%r14d
jne    137f <halve1Dimage_float+0x26f>
mov    %eax,(%rsp)
movl   $0x1,0xc(%rsp)
mov    $0x1,%edi
mov    %edx,0x4(%rsp)
call   1030 <assert@plt>
mov    0x4(%rsp),%edx
cmp    $0x2,%ebx
mov    %rbp,%r11
mov    0x8(%rsp),%r14d
jl     138f <halve1Dimage_float+0x27f>
mov    %edx,%eax
sub    (%rsp),%eax
movslq %edx,%rcx
movslq 0x10(%rsp),%rdx
movslq %eax,%r8
xor    %r9d,%r9d
movsd  0xd44(%rip),%xmm0
mov    %r12,%r10
mov    %r11,%rax
jmp    12e3 <halve1Dimage_float+0x1d3>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    %r8,%rax
add    %rcx,%rax
add    $0x1,%r9d
cmp    %r13d,%r9d
je     1397 <halve1Dimage_float+0x287>
test   %r14d,%r14d
jle    12d0 <halve1Dimage_float+0x1c0>
mov    %r14d,%ebp
jmp    1313 <halve1Dimage_float+0x203>
nopl   (%rax)
movsd  (%rax),%xmm1
movsd  (%rax,%rcx,1),%xmm2
addsd  %xmm1,%xmm2
mulsd  %xmm0,%xmm2
movsd  %xmm2,(%r12)
add    %rdx,%rax
add    $0x8,%r12
add    $0xffffffff,%ebp
je     12d0 <halve1Dimage_float+0x1c0>
test   %r15d,%r15d
je     12f0 <halve1Dimage_float+0x1e0>
mov    0xc(%rax),%ebx
shl    $0x18,%ebx
mov    0x4(%rax),%esi
mov    0x8(%rax),%edi
shl    $0x10,%edi
or     %ebx,%edi
shl    $0x8,%esi
or     %edi,%esi
or     (%rax),%esi
xorps  %xmm1,%xmm1
cvtsi2sd %esi,%xmm1
mov    0xc(%rax,%rcx,1),%esi
shl    $0x18,%esi
mov    0x4(%rax,%rcx,1),%edi
mov    0x8(%rax,%rcx,1),%ebx
shl    $0x10,%ebx
or     %esi,%ebx
shl    $0x8,%edi
or     %ebx,%edi
or     (%rax,%rcx,1),%edi
xorps  %xmm2,%xmm2
cvtsi2sd %edi,%xmm2
jmp    12f9 <halve1Dimage_float+0x1e9>
mov    (%rsp),%edi
imul   %esi,%edi
mov    0x4(%rsp),%edx
mov    %edx,%eax
sub    %edi,%eax
cltq
add    %rcx,%rax
mov    $0x1,%r13d
mov    %r9,%rbx
mov    0x8(%rsp),%r14d
jmp    139e <halve1Dimage_float+0x28e>
mov    %rbp,%r11
mov    %rbp,%rax
mov    %r12,%rbx
mov    0x8(%rsp),%r14d
jmp    139e <halve1Dimage_float+0x28e>
mov    %r11,%rax
mov    %r12,%rbx
jmp    139e <halve1Dimage_float+0x28e>
mov    %r10,%rbx
mov    0x4(%rsp),%edx
imul   0x14(%rsp),%edx
movslq %edx,%rcx
add    %rcx,%r11
xor    %edi,%edi
cmp    %r11,%rax
sete   %dil
call   1030 <assert@plt>
mov    0x10(%rsp),%eax
imul   %r14d,%eax
imul   0xc(%rsp),%r13d
imul   %eax,%r13d
movslq %r13d,%rax
add    %rax,%rbx
xor    %edi,%edi
cmp    %r12,%rbx
sete   %dil
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <assert@plt>

LLVM IR (-O0):
define void @halve1Dimage_float(i32 %0, i32 %1, i32 %2, double* %3, double* %4, i32 %5, i32 %6, i32 %7, i32 %8) {
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca double*
%14 = alloca double*
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i8*
%22 = alloca double*
%23 = alloca i32
%24 = alloca i32
%25 = alloca [2 x double]
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
%29 = alloca [2 x double]
store i32 %0, i32* %10
store i32 %1, i32* %11
store i32 %2, i32* %12
store double* %3, double** %13
store double* %4, double** %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 double*, double** %13
%35 = bitcast double* %34 to i8*
store i8* %35, i8** %21
%36 = load double*, double** %14
store double* %36, double** %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 %178
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 = %165, %53
%59 = load i32, i32* %23
%60 = load i32, i32* %19
%61 = icmp slt i32 %59, %60
br i1 %61, label %62, label %168
62: ; preds = %58
store i32 0, i32* %24
br label %63
63: ; preds = %157, %62
%64 = load i32, i32* %24
%65 = load i32, i32* %10
%66 = icmp slt i32 %64, %65
br i1 %66, label %67, label %160
67: ; preds = %63
%68 = load i32, i32* %18
%69 = icmp ne i32 %68, 0
br i1 %69, label %70, label %131
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 = sitofp i32 %92 to double
%94 = getelementptr inbounds [2 x double], [2 x double]* %25, i64 0, i64 0
store double %93, double* %94
%95 = load i8*, i8** %21
%96 = load i32, i32* %17
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i8, i8* %95, i64 %97
%99 = bitcast i8* %98 to i32*
%100 = getelementptr inbounds i32, i32* %99, i64 3
%101 = load i32, i32* %100
%102 = shl i32 %101, 24
%103 = load i8*, i8** %21
%104 = load i32, i32* %17
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i8, i8* %103, i64 %105
%107 = bitcast i8* %106 to i32*
%108 = getelementptr inbounds i32, i32* %107, i64 2
%109 = load i32, i32* %108
%110 = shl i32 %109, 16
%111 = or i32 %102, %110
%112 = load i8*, i8** %21
%113 = load i32, i32* %17
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %112, i64 %114
%116 = bitcast i8* %115 to i32*
%117 = getelementptr inbounds i32, i32* %116, i64 1
%118 = load i32, i32* %117
%119 = shl i32 %118, 8
%120 = or i32 %111, %119
%121 = load i8*, i8** %21
%122 = load i32, i32* %17
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i8, i8* %121, i64 %123
%125 = bitcast i8* %124 to i32*
%126 = getelementptr inbounds i32, i32* %125, i64 0
%127 = load i32, i32* %126
%128 = or i32 %120, %127
%129 = sitofp i32 %128 to double
%130 = getelementptr inbounds [2 x double], [2 x double]* %25, i64 0, i64 1
store double %129, double* %130
br label %143
131: ; preds = %67
%132 = load i8*, i8** %21
%133 = bitcast i8* %132 to double*
%134 = load double, double* %133
%135 = getelementptr inbounds [2 x double], [2 x double]* %25, i64 0, i64 0
store double %134, double* %135
%136 = load i8*, i8** %21
%137 = load i32, i32* %17
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i8, i8* %136, i64 %138
%140 = bitcast i8* %139 to double*
%141 = load double, double* %140
%142 = getelementptr inbounds [2 x double], [2 x double]* %25, i64 0, i64 1
store double %141, double* %142
br label %143
143: ; preds = %131, %70
%144 = getelementptr inbounds [2 x double], [2 x double]* %25, i64 0, i64 0
%145 = load double, double* %144
%146 = getelementptr inbounds [2 x double], [2 x double]* %25, i64 0, i64 1
%147 = load double, double* %146
%148 = fadd double %145, %147
%149 = fdiv double %148, 2.000000e+00
%150 = load double*, double** %22
store double %149, double* %150
%151 = load i32, i32* %15
%152 = load i8*, i8** %21
%153 = sext i32 %151 to i64
%154 = getelementptr inbounds i8, i8* %152, i64 %153
store i8* %154, i8** %21
%155 = load double*, double** %22
%156 = getelementptr inbounds double, double* %155, i32 1
store double* %156, double** %22
br label %157
157: ; preds = %143
%158 = load i32, i32* %24
%159 = add nsw i32 %158, 1
store i32 %159, i32* %24
br label %63
160: ; preds = %63
%161 = load i32, i32* %17
%162 = load i8*, i8** %21
%163 = sext i32 %161 to i64
%164 = getelementptr inbounds i8, i8* %162, i64 %163
store i8* %164, i8** %21
br label %165
165: ; preds = %160
%166 = load i32, i32* %23
%167 = add nsw i32 %166, 1
store i32 %167, i32* %23
br label %58
168: ; preds = %58
%169 = load i32, i32* %16
%170 = load i32, i32* %11
%171 = load i32, i32* %17
%172 = mul nsw i32 %170, %171
%173 = sub nsw i32 %169, %172
store i32 %173, i32* %26
%174 = load i32, i32* %26
%175 = load i8*, i8** %21
%176 = sext i32 %174 to i64
%177 = getelementptr inbounds i8, i8* %175, i64 %176
store i8* %177, i8** %21
br label %307
178: ; preds = %42
%179 = load i32, i32* %11
%180 = icmp eq i32 %179, 1
br i1 %180, label %181, label %306
181: ; preds = %178
%182 = load i32, i32* %16
%183 = load i32, i32* %11
%184 = load i32, i32* %17
%185 = mul nsw i32 %183, %184
%186 = sub nsw i32 %182, %185
store i32 %186, i32* %27
%187 = load i32, i32* %12
%188 = icmp ne i32 %187, 1
%189 = zext i1 %188 to i32
%190 = call i32 @assert(i32 %189)
store i32 1, i32* %19
store i32 0, i32* %23
br label %191
191: ; preds = %302, %181
%192 = load i32, i32* %23
%193 = load i32, i32* %20
%194 = icmp slt i32 %192, %193
br i1 %194, label %195, label %305
195: ; preds = %191
store i32 0, i32* %28
br label %196
196: ; preds = %290, %195
%197 = load i32, i32* %28
%198 = load i32, i32* %10
%199 = icmp slt i32 %197, %198
br i1 %199, label %200, label %293
200: ; preds = %196
%201 = load i32, i32* %18
%202 = icmp ne i32 %201, 0
br i1 %202, label %203, label %264
203: ; preds = %200
%204 = load i8*, i8** %21
%205 = bitcast i8* %204 to i32*
%206 = getelementptr inbounds i32, i32* %205, i64 3
%207 = load i32, i32* %206
%208 = shl i32 %207, 24
%209 = load i8*, i8** %21
%210 = bitcast i8* %209 to i32*
%211 = getelementptr inbounds i32, i32* %210, i64 2
%212 = load i32, i32* %211
%213 = shl i32 %212, 16
%214 = or i32 %208, %213
%215 = load i8*, i8** %21
%216 = bitcast i8* %215 to i32*
%217 = getelementptr inbounds i32, i32* %216, i64 1
%218 = load i32, i32* %217
%219 = shl i32 %218, 8
%220 = or i32 %214, %219
%221 = load i8*, i8** %21
%222 = bitcast i8* %221 to i32*
%223 = getelementptr inbounds i32, i32* %222, i64 0
%224 = load i32, i32* %223
%225 = or i32 %220, %224
%226 = sitofp i32 %225 to double
%227 = getelementptr inbounds [2 x double], [2 x double]* %29, i64 0, i64 0
store double %226, double* %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 = sitofp i32 %261 to double
%263 = getelementptr inbounds [2 x double], [2 x double]* %29, i64 0, i64 1
store double %262, double* %263
br label %276
264: ; preds = %200
%265 = load i8*, i8** %21
%266 = bitcast i8* %265 to double*
%267 = load double, double* %266
%268 = getelementptr inbounds [2 x double], [2 x double]* %29, i64 0, i64 0
store double %267, double* %268
%269 = load i8*, i8** %21
%270 = load i32, i32* %16
%271 = sext i32 %270 to i64
%272 = getelementptr inbounds i8, i8* %269, i64 %271
%273 = bitcast i8* %272 to double*
%274 = load double, double* %273
%275 = getelementptr inbounds [2 x double], [2 x double]* %29, i64 0, i64 1
store double %274, double* %275
br label %276
276: ; preds = %264, %203
%277 = getelementptr inbounds [2 x double], [2 x double]* %29, i64 0, i64 0
%278 = load double, double* %277
%279 = getelementptr inbounds [2 x double], [2 x double]* %29, i64 0, i64 1
%280 = load double, double* %279
%281 = fadd double %278, %280
%282 = fdiv double %281, 2.000000e+00
%283 = load double*, double** %22
store double %282, double* %283
%284 = load i32, i32* %15
%285 = load i8*, i8** %21
%286 = sext i32 %284 to i64
%287 = getelementptr inbounds i8, i8* %285, i64 %286
store i8* %287, i8** %21
%288 = load double*, double** %22
%289 = getelementptr inbounds double, double* %288, i32 1
store double* %289, double** %22
br label %290
290: ; preds = %276
%291 = load i32, i32* %28
%292 = add nsw i32 %291, 1
store i32 %292, i32* %28
br label %196
293: ; preds = %196
%294 = load i32, i32* %27
%295 = load i8*, i8** %21
%296 = sext i32 %294 to i64
%297 = getelementptr inbounds i8, i8* %295, i64 %296
store i8* %297, i8** %21
%298 = load i32, i32* %16
%299 = load i8*, i8** %21
%300 = sext i32 %298 to i64
%301 = getelementptr inbounds i8, i8* %299, i64 %300
store i8* %301, i8** %21
br label %302
302: ; preds = %293
%303 = load i32, i32* %23
%304 = add nsw i32 %303, 1
store i32 %304, i32* %23
br label %191
305: ; preds = %191
br label %306
306: ; preds = %305, %178
br label %307
307: ; preds = %306, %168
%308 = load i8*, i8** %21
%309 = load double*, double** %13
%310 = bitcast double* %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)
%319 = load double*, double** %22
%320 = bitcast double* %319 to i8*
%321 = load double*, double** %14
%322 = bitcast double* %321 to i8*
%323 = load i32, i32* %10
%324 = load i32, i32* %15
%325 = mul nsw i32 %323, %324
%326 = load i32, i32* %19
%327 = mul nsw i32 %325, %326
%328 = load i32, i32* %20
%329 = mul nsw i32 %327, %328
%330 = sext i32 %329 to i64
%331 = getelementptr inbounds i8, i8* %322, i64 %330
%332 = icmp eq i8* %320, %331
%333 = zext i1 %332 to i32
%334 = call i32 @assert(i32 %333)
ret void
}

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