#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_ubyte(GLint components, GLuint width, GLuint height,
                        const GLubyte *dataIn, GLubyte *dataOut,
                        GLint element_size, GLint ysize, GLint group_size) {
  GLint halfWidth = width / 2;
  GLint halfHeight = height / 2;
  const char *src = (const char *)dataIn;
  GLubyte *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++) {
        *dest =
            (*(const GLubyte *)src + *(const GLubyte *)(src + group_size)) / 2;
        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++) {
        *dest = (*(const GLubyte *)src + *(const GLubyte *)(src + ysize)) / 2;
        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_ubyte>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
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,-0x55(%rbp)
je     1178 <halve1Dimage_ubyte+0x68>
cmpl   $0x1,-0xc(%rbp)
sete   %al
mov    %al,-0x55(%rbp)
mov    -0x55(%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    1270 <halve1Dimage_ubyte+0x160>
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    124b <halve1Dimage_ubyte+0x13b>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    122c <halve1Dimage_ubyte+0x11c>
mov    -0x38(%rbp),%rax
mov    (%rax),%eax
mov    -0x38(%rbp),%rcx
movslq 0x18(%rbp),%rdx
add    (%rcx,%rdx,1),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%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    11d4 <halve1Dimage_ubyte+0xc4>
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    11c1 <halve1Dimage_ubyte+0xb1>
mov    0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   0x18(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    134d <halve1Dimage_ubyte+0x23d>
cmpl   $0x1,-0x8(%rbp)
jne    1348 <halve1Dimage_ubyte+0x238>
mov    0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   0x18(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x50(%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    1343 <halve1Dimage_ubyte+0x233>
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1313 <halve1Dimage_ubyte+0x203>
mov    -0x38(%rbp),%rax
mov    (%rax),%eax
mov    -0x38(%rbp),%rcx
movslq 0x10(%rbp),%rdx
add    (%rcx,%rdx,1),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%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    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    12bb <halve1Dimage_ubyte+0x1ab>
mov    -0x50(%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    12a8 <halve1Dimage_ubyte+0x198>
jmp    1348 <halve1Dimage_ubyte+0x238>
jmp    134d <halve1Dimage_ubyte+0x23d>
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    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<halve1Dimage_ubyte>:
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,%r15d
mov    %esi,%eax
shr    $0x1f,%eax
add    %esi,%eax
sar    %eax
mov    %eax,0x4(%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    0x58(%rsp),%eax
mov    0x50(%rsp),%ecx
cmp    $0x1,%ebx
mov    %r13d,0x10(%rsp)
mov    %ebx,0x14(%rsp)
jne    124a <halve1Dimage_ubyte+0x13a>
mov    %eax,0x8(%rsp)
mov    %ecx,(%rsp)
xor    %edi,%edi
cmp    $0x1,%r14d
setne  %dil
call   1030 <assert@plt>
mov    %rbp,%rsi
mov    %r12,%r10
cmp    $0x2,%r14d
mov    %rbp,%r11
mov    0x4(%rsp),%ebx
jl     1339 <halve1Dimage_ubyte+0x229>
movslq 0x8(%rsp),%rax
movslq %r13d,%rcx
mov    %r15d,%r8d
and    $0xfffffffe,%r8d
lea    (%rax,%rcx,1),%rdi
xor    %r9d,%r9d
mov    %r10,%r12
mov    %r11,%rsi
jmp    11e0 <halve1Dimage_ubyte+0xd0>
cs nopw 0x0(%rax,%rax,1)
nop
add    %rax,%rsi
add    $0x1,%r9d
cmp    %ebx,%r9d
je     1339 <halve1Dimage_ubyte+0x229>
test   %r15d,%r15d
jle    11d0 <halve1Dimage_ubyte+0xc0>
cmp    $0x1,%r15d
je     1229 <halve1Dimage_ubyte+0x119>
mov    %r8d,%ebx
xchg   %ax,%ax
mov    (%rsi,%rax,1),%edx
add    (%rsi),%edx
mov    %edx,%ebp
shr    $0x1f,%ebp
add    %edx,%ebp
sar    %ebp
mov    %ebp,(%r12)
mov    (%rsi,%rdi,1),%ebp
add    (%rsi,%rcx,1),%ebp
add    %rcx,%rsi
mov    %ebp,%edx
shr    $0x1f,%edx
add    %ebp,%edx
sar    %edx
mov    %edx,0x4(%r12)
add    %rcx,%rsi
add    $0x8,%r12
add    $0xfffffffe,%ebx
jne    11f0 <halve1Dimage_ubyte+0xe0>
mov    0x4(%rsp),%ebx
test   $0x1,%r15b
je     11d0 <halve1Dimage_ubyte+0xc0>
mov    (%rsi,%rax,1),%ebp
add    (%rsi),%ebp
mov    %ebp,%edx
shr    $0x1f,%edx
add    %ebp,%edx
sar    %edx
mov    %edx,(%r12)
add    %rcx,%rsi
add    $0x4,%r12
jmp    11d0 <halve1Dimage_ubyte+0xc0>
mov    %rbp,0x8(%rsp)
mov    %ebx,%r13d
shr    $0x1f,%r13d
add    %ebx,%r13d
sar    %r13d
cmp    $0x1,%r14d
jne    1358 <halve1Dimage_ubyte+0x248>
mov    %eax,%ebp
movl   $0x1,0x4(%rsp)
mov    $0x1,%edi
mov    %ecx,(%rsp)
call   1030 <assert@plt>
mov    (%rsp),%ecx
cmp    $0x2,%ebx
jl     1358 <halve1Dimage_ubyte+0x248>
mov    %ecx,%eax
sub    %ebp,%eax
movslq %ecx,%rcx
movslq 0x10(%rsp),%rdx
movslq %eax,%r9
mov    %r15d,%r8d
and    $0xfffffffe,%r8d
lea    (%rcx,%rdx,1),%rdi
xor    %r10d,%r10d
mov    %r12,%r11
mov    0x8(%rsp),%rax
jmp    12c3 <halve1Dimage_ubyte+0x1b3>
add    %r9,%rax
add    %rcx,%rax
add    $0x1,%r10d
cmp    %r13d,%r10d
je     1365 <halve1Dimage_ubyte+0x255>
test   %r15d,%r15d
jle    12b0 <halve1Dimage_ubyte+0x1a0>
cmp    $0x1,%r15d
je     1315 <halve1Dimage_ubyte+0x205>
mov    %r8d,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rax,%rcx,1),%esi
add    (%rax),%esi
mov    %esi,%ebp
shr    $0x1f,%ebp
add    %esi,%ebp
sar    %ebp
mov    %ebp,(%r12)
mov    (%rax,%rdi,1),%ebp
add    (%rax,%rdx,1),%ebp
add    %rdx,%rax
mov    %ebp,%esi
shr    $0x1f,%esi
add    %ebp,%esi
sar    %esi
mov    %esi,0x4(%r12)
add    %rdx,%rax
add    $0x8,%r12
add    $0xfffffffe,%ebx
jne    12e0 <halve1Dimage_ubyte+0x1d0>
test   $0x1,%r15b
je     12b0 <halve1Dimage_ubyte+0x1a0>
mov    (%rax,%rcx,1),%ebp
add    (%rax),%ebp
mov    %ebp,%esi
shr    $0x1f,%esi
add    %ebp,%esi
sar    %esi
mov    %esi,(%r12)
add    %rdx,%rax
add    $0x4,%r12
jmp    12b0 <halve1Dimage_ubyte+0x1a0>
mov    0x8(%rsp),%edx
imul   %r14d,%edx
mov    (%rsp),%ecx
mov    %ecx,%eax
sub    %edx,%eax
cltq
add    %rsi,%rax
mov    $0x1,%r13d
mov    %r10,%rbx
jmp    1370 <halve1Dimage_ubyte+0x260>
mov    0x8(%rsp),%r11
mov    %r11,%rax
mov    %r12,%rbx
jmp    1370 <halve1Dimage_ubyte+0x260>
mov    %r11,%rbx
mov    0x8(%rsp),%r11
mov    (%rsp),%ecx
imul   0x14(%rsp),%ecx
movslq %ecx,%rcx
add    %rcx,%r11
xor    %edi,%edi
cmp    %r11,%rax
sete   %dil
call   1030 <assert@plt>
mov    0x10(%rsp),%eax
imul   %r15d,%eax
imul   0x4(%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_ubyte(i32 %0, i32 %1, i32 %2, i32* %3, i32* %4, i32 %5, i32 %6, i32 %7) {
%9 = alloca i32
%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 i8*
%20 = alloca i32*
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
store i32 %0, i32* %9
store i32 %1, i32* %10
store i32 %2, i32* %11
store i32* %3, i32** %12
store i32* %4, i32** %13
store i32 %5, i32* %14
store i32 %6, i32* %15
store i32 %7, i32* %16
%26 = load i32, i32* %10
%27 = sdiv i32 %26, 2
store i32 %27, i32* %17
%28 = load i32, i32* %11
%29 = sdiv i32 %28, 2
store i32 %29, i32* %18
%30 = load i32*, i32** %12
%31 = bitcast i32* %30 to i8*
store i8* %31, i8** %19
%32 = load i32*, i32** %13
store i32* %32, i32** %20
%33 = load i32, i32* %10
%34 = icmp eq i32 %33, 1
br i1 %34, label %38, label %35
35: ; preds = %8
%36 = load i32, i32* %11
%37 = icmp eq i32 %36, 1
br label %38
38: ; preds = %35, %8
%39 = phi i1 [ true, %8 ], [ %37, %35 ]
%40 = zext i1 %39 to i32
%41 = call i32 @assert(i32 %40)
%42 = load i32, i32* %10
%43 = load i32, i32* %11
%44 = icmp ne i32 %42, %43
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = load i32, i32* %11
%48 = icmp eq i32 %47, 1
br i1 %48, label %49, label %103
49: ; preds = %38
%50 = load i32, i32* %10
%51 = icmp ne i32 %50, 1
%52 = zext i1 %51 to i32
%53 = call i32 @assert(i32 %52)
store i32 1, i32* %18
store i32 0, i32* %21
br label %54
54: ; preds = %90, %49
%55 = load i32, i32* %21
%56 = load i32, i32* %17
%57 = icmp slt i32 %55, %56
br i1 %57, label %58, label %93
58: ; preds = %54
store i32 0, i32* %22
br label %59
59: ; preds = %82, %58
%60 = load i32, i32* %22
%61 = load i32, i32* %9
%62 = icmp slt i32 %60, %61
br i1 %62, label %63, label %85
63: ; preds = %59
%64 = load i8*, i8** %19
%65 = bitcast i8* %64 to i32*
%66 = load i32, i32* %65
%67 = load i8*, i8** %19
%68 = load i32, i32* %16
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i8, i8* %67, i64 %69
%71 = bitcast i8* %70 to i32*
%72 = load i32, i32* %71
%73 = add nsw i32 %66, %72
%74 = sdiv i32 %73, 2
%75 = load i32*, i32** %20
store i32 %74, i32* %75
%76 = load i32, i32* %14
%77 = load i8*, i8** %19
%78 = sext i32 %76 to i64
%79 = getelementptr inbounds i8, i8* %77, i64 %78
store i8* %79, i8** %19
%80 = load i32*, i32** %20
%81 = getelementptr inbounds i32, i32* %80, i32 1
store i32* %81, i32** %20
br label %82
82: ; preds = %63
%83 = load i32, i32* %22
%84 = add nsw i32 %83, 1
store i32 %84, i32* %22
br label %59
85: ; preds = %59
%86 = load i32, i32* %16
%87 = load i8*, i8** %19
%88 = sext i32 %86 to i64
%89 = getelementptr inbounds i8, i8* %87, i64 %88
store i8* %89, i8** %19
br label %90
90: ; preds = %85
%91 = load i32, i32* %21
%92 = add nsw i32 %91, 1
store i32 %92, i32* %21
br label %54
93: ; preds = %54
%94 = load i32, i32* %15
%95 = load i32, i32* %10
%96 = load i32, i32* %16
%97 = mul nsw i32 %95, %96
%98 = sub nsw i32 %94, %97
store i32 %98, i32* %23
%99 = load i32, i32* %23
%100 = load i8*, i8** %19
%101 = sext i32 %99 to i64
%102 = getelementptr inbounds i8, i8* %100, i64 %101
store i8* %102, i8** %19
br label %161
103: ; preds = %38
%104 = load i32, i32* %10
%105 = icmp eq i32 %104, 1
br i1 %105, label %106, label %160
106: ; preds = %103
%107 = load i32, i32* %15
%108 = load i32, i32* %10
%109 = load i32, i32* %16
%110 = mul nsw i32 %108, %109
%111 = sub nsw i32 %107, %110
store i32 %111, i32* %24
%112 = load i32, i32* %11
%113 = icmp ne i32 %112, 1
%114 = zext i1 %113 to i32
%115 = call i32 @assert(i32 %114)
store i32 1, i32* %17
store i32 0, i32* %21
br label %116
116: ; preds = %156, %106
%117 = load i32, i32* %21
%118 = load i32, i32* %18
%119 = icmp slt i32 %117, %118
br i1 %119, label %120, label %159
120: ; preds = %116
store i32 0, i32* %25
br label %121
121: ; preds = %144, %120
%122 = load i32, i32* %25
%123 = load i32, i32* %9
%124 = icmp slt i32 %122, %123
br i1 %124, label %125, label %147
125: ; preds = %121
%126 = load i8*, i8** %19
%127 = bitcast i8* %126 to i32*
%128 = load i32, i32* %127
%129 = load i8*, i8** %19
%130 = load i32, i32* %15
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i8, i8* %129, i64 %131
%133 = bitcast i8* %132 to i32*
%134 = load i32, i32* %133
%135 = add nsw i32 %128, %134
%136 = sdiv i32 %135, 2
%137 = load i32*, i32** %20
store i32 %136, i32* %137
%138 = load i32, i32* %14
%139 = load i8*, i8** %19
%140 = sext i32 %138 to i64
%141 = getelementptr inbounds i8, i8* %139, i64 %140
store i8* %141, i8** %19
%142 = load i32*, i32** %20
%143 = getelementptr inbounds i32, i32* %142, i32 1
store i32* %143, i32** %20
br label %144
144: ; preds = %125
%145 = load i32, i32* %25
%146 = add nsw i32 %145, 1
store i32 %146, i32* %25
br label %121
147: ; preds = %121
%148 = load i32, i32* %24
%149 = load i8*, i8** %19
%150 = sext i32 %148 to i64
%151 = getelementptr inbounds i8, i8* %149, i64 %150
store i8* %151, i8** %19
%152 = load i32, i32* %15
%153 = load i8*, i8** %19
%154 = sext i32 %152 to i64
%155 = getelementptr inbounds i8, i8* %153, i64 %154
store i8* %155, i8** %19
br label %156
156: ; preds = %147
%157 = load i32, i32* %21
%158 = add nsw i32 %157, 1
store i32 %158, i32* %21
br label %116
159: ; preds = %116
br label %160
160: ; preds = %159, %103
br label %161
161: ; preds = %160, %93
%162 = load i8*, i8** %19
%163 = load i32*, i32** %12
%164 = bitcast i32* %163 to i8*
%165 = load i32, i32* %15
%166 = load i32, i32* %11
%167 = mul nsw i32 %165, %166
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds i8, i8* %164, i64 %168
%170 = icmp eq i8* %162, %169
%171 = zext i1 %170 to i32
%172 = call i32 @assert(i32 %171)
%173 = load i32*, i32** %20
%174 = bitcast i32* %173 to i8*
%175 = load i32*, i32** %13
%176 = bitcast i32* %175 to i8*
%177 = load i32, i32* %9
%178 = load i32, i32* %14
%179 = mul nsw i32 %177, %178
%180 = load i32, i32* %17
%181 = mul nsw i32 %179, %180
%182 = load i32, i32* %18
%183 = mul nsw i32 %181, %182
%184 = sext i32 %183 to i64
%185 = getelementptr inbounds i8, i8* %176, i64 %184
%186 = icmp eq i8* %174, %185
%187 = zext i1 %186 to i32
%188 = call i32 @assert(i32 %187)
ret void
}

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