#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 */

/* Variables and functions */
int mipmap_image(const unsigned char *const orig, int width, int height,
                 int channels, unsigned char *resampled, int block_size_x,
                 int block_size_y) {
  int mip_width, mip_height;
  int i, j, c;
  if ((width < 1) || (height < 1) || (channels < 1) || (orig == NULL) ||
      (resampled == NULL) || (block_size_x < 1) || (block_size_y < 1)) {
    return 0;
  }
  mip_width = width / block_size_x;
  mip_height = height / block_size_y;
  if (mip_width < 1) {
    mip_width = 1;
  }
  if (mip_height < 1) {
    mip_height = 1;
  }
  for (j = 0; j < mip_height; ++j) {
    for (i = 0; i < mip_width; ++i) {
      for (c = 0; c < channels; ++c) {
        const int index = (j * block_size_y) * width * channels +
                          (i * block_size_x) * channels + c;
        int sum_value;
        int u, v;
        int u_block = block_size_x;
        int v_block = block_size_y;
        int block_area;
        if (block_size_x * (i + 1) > width) {
          u_block = width - i * block_size_y;
        }
        if (block_size_y * (j + 1) > height) {
          v_block = height - j * block_size_y;
        }
        block_area = u_block * v_block;
        sum_value = block_area >> 1;
        for (v = 0; v < v_block; ++v)
          for (u = 0; u < u_block; ++u) {
            sum_value += orig[index + v * width * channels + u * channels];
          }
        resampled[j * mip_width * channels + i * channels + c] =
            sum_value / block_area;
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<mipmap_image>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%eax
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
cmpl   $0x1,-0x14(%rbp)
jl     1164 <mipmap_image+0x64>
cmpl   $0x1,-0x18(%rbp)
jl     1164 <mipmap_image+0x64>
cmpl   $0x1,-0x1c(%rbp)
jl     1164 <mipmap_image+0x64>
cmpq   $0x0,-0x10(%rbp)
je     1164 <mipmap_image+0x64>
cmpq   $0x0,-0x28(%rbp)
je     1164 <mipmap_image+0x64>
cmpl   $0x1,-0x2c(%rbp)
jl     1164 <mipmap_image+0x64>
cmpl   $0x1,0x10(%rbp)
jge    1170 <mipmap_image+0x70>
movl   $0x0,-0x4(%rbp)
jmp    133e <mipmap_image+0x23e>
mov    -0x14(%rbp),%eax
cltd
idivl  -0x2c(%rbp)
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%eax
cltd
idivl  0x10(%rbp)
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x30(%rbp)
jge    1195 <mipmap_image+0x95>
movl   $0x1,-0x30(%rbp)
cmpl   $0x1,-0x34(%rbp)
jge    11a6 <mipmap_image+0xa6>
movl   $0x1,-0x34(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    1337 <mipmap_image+0x237>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    1324 <mipmap_image+0x224>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1311 <mipmap_image+0x211>
mov    -0x3c(%rbp),%eax
imul   0x10(%rbp),%eax
imul   -0x14(%rbp),%eax
imul   -0x1c(%rbp),%eax
mov    -0x38(%rbp),%ecx
imul   -0x2c(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    %ecx,%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    0x10(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
imul   %ecx,%eax
cmp    -0x14(%rbp),%eax
jle    1231 <mipmap_image+0x131>
mov    -0x14(%rbp),%eax
mov    -0x38(%rbp),%ecx
imul   0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x54(%rbp)
mov    0x10(%rbp),%eax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
imul   %ecx,%eax
cmp    -0x18(%rbp),%eax
jle    1255 <mipmap_image+0x155>
mov    -0x18(%rbp),%eax
mov    -0x3c(%rbp),%ecx
imul   0x10(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%eax
imul   -0x58(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x48(%rbp)
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x58(%rbp),%eax
jge    12d9 <mipmap_image+0x1d9>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x54(%rbp),%eax
jge    12c6 <mipmap_image+0x1c6>
mov    -0x10(%rbp),%rax
mov    -0x44(%rbp),%ecx
mov    -0x50(%rbp),%edx
imul   -0x14(%rbp),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
mov    -0x4c(%rbp),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
add    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1282 <mipmap_image+0x182>
jmp    12cb <mipmap_image+0x1cb>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    126f <mipmap_image+0x16f>
mov    -0x48(%rbp),%eax
cltd
idivl  -0x5c(%rbp)
mov    %al,%dl
mov    -0x28(%rbp),%rax
mov    -0x3c(%rbp),%ecx
imul   -0x30(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
mov    -0x38(%rbp),%esi
imul   -0x1c(%rbp),%esi
add    %esi,%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11d3 <mipmap_image+0xd3>
jmp    1316 <mipmap_image+0x216>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11c0 <mipmap_image+0xc0>
jmp    1329 <mipmap_image+0x229>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11ad <mipmap_image+0xad>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mipmap_image>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    %r8,-0x8(%rsp)
mov    %edx,-0x80(%rsp)
xor    %eax,%eax
cmpl   $0x0,0xd0(%rsp)
jle    1697 <mipmap_image+0x597>
test   %r9d,%r9d
jle    1697 <mipmap_image+0x597>
cmpq   $0x0,-0x8(%rsp)
je     1697 <mipmap_image+0x597>
test   %rdi,%rdi
je     1697 <mipmap_image+0x597>
test   %esi,%esi
jle    1697 <mipmap_image+0x597>
cmpl   $0x0,-0x80(%rsp)
jle    1697 <mipmap_image+0x597>
test   %ecx,%ecx
jle    1697 <mipmap_image+0x597>
xor    %r11d,%r11d
mov    %esi,%eax
xor    %edx,%edx
div    %r9d
mov    %eax,%r8d
mov    -0x80(%rsp),%eax
xor    %edx,%edx
mov    0xd0(%rsp),%ebp
div    %ebp
mov    %eax,-0x44(%rsp)
test   %r8d,%r8d
mov    %esi,%r10d
mov    $0x1,%r12d
cmove  %r12d,%r8d
mov    %r8,-0x10(%rsp)
mov    %r9d,%edx
mov    %rdx,0x28(%rsp)
mov    %esi,%edx
mov    %rdx,0x20(%rsp)
mov    %ecx,%edx
mov    %rdx,0x50(%rsp)
mov    %ebp,%r8d
imul   %esi,%r8d
mov    %rcx,%rdx
lea    0x0(,%rcx,8),%ebx
imul   %edx,%ebp
imul   %esi,%ebp
mov    %ebp,-0x48(%rsp)
mov    %r9d,%ebp
imul   %edx,%ebp
mov    %ebp,-0x34(%rsp)
mov    %edx,%ebp
imul   %esi,%ebp
mov    %ebp,-0x14(%rsp)
mov    %edx,%eax
shl    $0x4,%eax
mov    %eax,-0x20(%rsp)
lea    (%rcx,%rcx,1),%r13d
pxor   %xmm0,%xmm0
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rcx,-0x70(%rsp)
mov    %esi,%ecx
mov    %esi,-0x1c(%rsp)
mov    %r9d,-0x30(%rsp)
mov    %r8,0x8(%rsp)
jmp    1244 <mipmap_image+0x144>
nopl   0x0(%rax,%rax,1)
mov    -0x3c(%rsp),%ebx
mov    -0x48(%rsp),%eax
add    %eax,%ebx
mov    -0x40(%rsp),%ebp
add    %eax,%ebp
mov    -0x38(%rsp),%r12d
mov    0x8(%rsp),%r8
add    %r8d,%r12d
mov    0x18(%rsp),%r11
add    %r8d,%r11d
mov    0x10(%rsp),%rax
cmp    -0x44(%rsp),%eax
jae    1692 <mipmap_image+0x592>
mov    %eax,%esi
mov    %rax,%rdx
imul   %r8,%rdx
mov    %rdx,0x38(%rsp)
mov    %eax,%r8d
mov    0xd0(%rsp),%r10d
imul   %r10d,%r8d
add    $0x1,%rax
mov    %rax,0x10(%rsp)
mov    %eax,%edx
imul   %r10d,%edx
mov    -0x80(%rsp),%r15d
mov    %r15d,%r14d
mov    %r8,%rax
mov    %r8,0x90(%rsp)
sub    %r8d,%r14d
cmp    %r15d,%edx
cmovle %r10d,%r14d
mov    %r14d,-0x7c(%rsp)
mov    -0x10(%rsp),%rdx
imul   %esi,%edx
mov    %rdx,0x30(%rsp)
mov    %r11,0x18(%rsp)
mov    %r11d,%eax
mov    %r11d,-0x60(%rsp)
mov    %r12d,-0x38(%rsp)
mov    %r12d,-0x64(%rsp)
mov    %ebp,-0x40(%rsp)
mov    %ebp,%r14d
mov    %ebx,-0x3c(%rsp)
mov    %ebx,%r8d
xor    %eax,%eax
jmp    1303 <mipmap_image+0x203>
nopl   0x0(%rax,%rax,1)
mov    -0x34(%rsp),%eax
mov    -0x2c(%rsp),%r8d
add    %eax,%r8d
mov    -0x28(%rsp),%r14d
add    %eax,%r14d
mov    -0x30(%rsp),%r9d
add    %r9d,-0x64(%rsp)
add    %r9d,-0x60(%rsp)
mov    0x40(%rsp),%rax
cmp    -0x10(%rsp),%rax
je     1210 <mipmap_image+0x110>
mov    %rax,%rbp
mov    %rax,%rdx
mov    0x28(%rsp),%r11
imul   %r11,%rdx
add    0x38(%rsp),%rdx
mov    %rdx,0x48(%rsp)
add    $0x1,%rax
mov    %rax,0x40(%rsp)
imul   %r11,%rax
mov    %ebp,%edx
imul   0xd0(%rsp),%edx
mov    %ecx,%ebx
sub    %edx,%ebx
cmp    0x20(%rsp),%rax
cmovbe %r9d,%ebx
mov    %ebx,%eax
imul   -0x7c(%rsp),%eax
mov    %eax,-0x24(%rsp)
sar    %eax
mov    %eax,-0x54(%rsp)
mov    0x30(%rsp),%rax
add    %ebp,%eax
imul   -0x70(%rsp),%eax
cltq
mov    %rax,0x58(%rsp)
imul   %r9d,%ebp
mov    %rbp,(%rsp)
lea    -0x1(%rbx),%rax
mov    %rax,0x80(%rsp)
mov    %ebx,%eax
and    $0xfffffff8,%eax
mov    %rax,0x78(%rsp)
add    $0xfffffffffffffff8,%rax
mov    %rax,0x70(%rsp)
mov    %rax,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %rdx,%rax
mov    %rdx,0x68(%rsp)
and    $0xfffffffffffffffe,%rdx
mov    %rdx,0x60(%rsp)
mov    %rbx,%rax
neg    %rax
mov    %rax,0x88(%rsp)
mov    %r14d,-0x28(%rsp)
mov    %r14d,-0x58(%rsp)
mov    %r8d,-0x2c(%rsp)
mov    %r8d,-0x5c(%rsp)
xor    %eax,%eax
mov    %rax,-0x78(%rsp)
mov    %rbx,-0x50(%rsp)
jmp    141c <mipmap_image+0x31c>
nopw   0x0(%rax,%rax,1)
cltd
idivl  -0x24(%rsp)
mov    0x58(%rsp),%rdx
mov    -0x78(%rsp),%rsi
lea    (%rsi,%rdx,1),%rbp
mov    -0x8(%rsp),%rdx
mov    %al,(%rdx,%rbp,1)
add    $0x1,%rsi
addl   $0x1,-0x5c(%rsp)
addl   $0x1,-0x58(%rsp)
mov    %rsi,%rax
mov    %rsi,-0x78(%rsp)
cmp    0x50(%rsp),%rsi
je     12d0 <mipmap_image+0x1d0>
mov    -0x54(%rsp),%eax
cmpl   $0x0,-0x7c(%rsp)
jle    13e0 <mipmap_image+0x2e0>
mov    0x48(%rsp),%rax
mov    -0x78(%rsp),%rdx
add    %edx,%eax
mov    %eax,-0x18(%rsp)
xor    %r8d,%r8d
mov    -0x60(%rsp),%eax
mov    %eax,%r9d
mov    -0x64(%rsp),%eax
mov    %eax,%r14d
mov    -0x58(%rsp),%r11d
mov    -0x5c(%rsp),%r15d
mov    -0x54(%rsp),%eax
jmp    1484 <mipmap_image+0x384>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r8d
mov    -0x14(%rsp),%edx
add    %edx,%r15d
add    %edx,%r11d
add    %ecx,%r14d
add    %ecx,%r9d
cmp    -0x7c(%rsp),%r8d
mov    -0x50(%rsp),%rbx
jge    13e0 <mipmap_image+0x2e0>
test   %ebx,%ebx
jle    1460 <mipmap_image+0x360>
mov    0x90(%rsp),%rdx
lea    (%r8,%rdx,1),%r10d
imul   %ecx,%r10d
cmp    $0x8,%ebx
jb     1560 <mipmap_image+0x460>
cmpl   $0x1,-0x70(%rsp)
jne    1560 <mipmap_image+0x460>
mov    %r8d,%edx
imul   %ecx,%edx
add    -0x18(%rsp),%edx
mov    0x80(%rsp),%rbp
lea    (%rdx,%rbp,1),%ebx
cmp    %edx,%ebx
jl     1683 <mipmap_image+0x583>
mov    %rbp,%rdx
shr    $0x20,%rdx
jne    1560 <mipmap_image+0x460>
movd   %eax,%xmm1
cmpq   $0x0,0x70(%rsp)
je     1596 <mipmap_image+0x496>
pxor   %xmm2,%xmm2
mov    0x60(%rsp),%rcx
mov    %r11d,%ebx
mov    %r15d,%r12d
xor    %eax,%eax
mov    -0x20(%rsp),%edx
nopl   0x0(%rax,%rax,1)
movslq %ebx,%rbx
movd   (%rdi,%rbx,1),%xmm3
movd   0x4(%rdi,%rbx,1),%xmm4
punpcklbw %xmm0,%xmm3
punpcklwd %xmm0,%xmm3
paddd  %xmm1,%xmm3
punpcklbw %xmm0,%xmm4
punpcklwd %xmm0,%xmm4
paddd  %xmm2,%xmm4
movslq %r12d,%r12
movd   (%rdi,%r12,1),%xmm1
movd   0x4(%rdi,%r12,1),%xmm2
punpcklbw %xmm0,%xmm1
punpcklwd %xmm0,%xmm1
paddd  %xmm3,%xmm1
punpcklbw %xmm0,%xmm2
punpcklwd %xmm0,%xmm2
paddd  %xmm4,%xmm2
add    $0x10,%rax
add    %edx,%r12d
add    %edx,%ebx
add    $0xfffffffffffffffe,%rcx
jne    1500 <mipmap_image+0x400>
jmp    159c <mipmap_image+0x49c>
nop
xor    %edx,%edx
testb  $0x1,-0x50(%rsp)
je     161b <mipmap_image+0x51b>
mov    (%rsp),%rbx
add    %edx,%ebx
add    %ebx,%r10d
imul   -0x70(%rsp),%r10d
add    -0x78(%rsp),%r10d
movslq %r10d,%rbx
movzbl (%rdi,%rbx,1),%ebx
add    %ebx,%eax
mov    %rdx,%rbp
or     $0x1,%rbp
jmp    161e <mipmap_image+0x51e>
pxor   %xmm2,%xmm2
xor    %eax,%eax
testb  $0x1,0x68(%rsp)
mov    -0x70(%rsp),%rcx
je     15da <mipmap_image+0x4da>
add    (%rsp),%eax
add    %r10d,%eax
imul   %ecx,%eax
add    -0x78(%rsp),%eax
cltq
movd   (%rdi,%rax,1),%xmm3
movd   0x4(%rdi,%rax,1),%xmm4
punpcklbw %xmm0,%xmm3
punpcklwd %xmm0,%xmm3
paddd  %xmm3,%xmm1
punpcklbw %xmm0,%xmm4
punpcklwd %xmm0,%xmm4
paddd  %xmm4,%xmm2
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm2
paddd  %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm1
paddd  %xmm2,%xmm1
movd   %xmm1,%eax
mov    0x78(%rsp),%rcx
mov    %rcx,%rdx
cmp    -0x50(%rsp),%rcx
mov    -0x1c(%rsp),%ecx
je     1460 <mipmap_image+0x360>
nopl   0x0(%rax,%rax,1)
testb  $0x1,-0x50(%rsp)
jne    156d <mipmap_image+0x46d>
mov    %rdx,%rbp
not    %rdx
cmp    0x88(%rsp),%rdx
je     1460 <mipmap_image+0x360>
lea    (%r14,%rbp,1),%ebx
mov    -0x70(%rsp),%rdx
imul   %edx,%ebx
mov    -0x78(%rsp),%rsi
add    %esi,%ebx
mov    -0x50(%rsp),%r12
sub    %rbp,%r12
add    %r9d,%ebp
imul   %edx,%ebp
add    %esi,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movslq %ebp,%rbp
movzbl (%rdi,%rbp,1),%edx
add    %eax,%edx
movslq %ebx,%rbx
movzbl (%rdi,%rbx,1),%eax
add    %edx,%eax
add    %r13d,%ebx
add    %r13d,%ebp
add    $0xfffffffffffffffe,%r12
jne    1660 <mipmap_image+0x560>
jmp    1460 <mipmap_image+0x360>
xor    %edx,%edx
testb  $0x1,-0x50(%rsp)
jne    156d <mipmap_image+0x46d>
jmp    161b <mipmap_image+0x51b>
mov    $0x1,%eax
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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