#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 GLushort;
typedef int GLuint;
typedef int GLint;

/* Variables and functions */
void halveImage(GLint components, GLuint width, GLuint height,
                const GLushort *datain, GLushort *dataout) {
  int i, j, k;
  int newwidth, newheight;
  int delta;
  GLushort *s;
  const GLushort *t;
  newwidth = width / 2;
  newheight = height / 2;
  delta = width * components;
  s = dataout;
  t = datain;
  for (i = 0; i < newheight; i++) {
    for (j = 0; j < newwidth; j++) {
      for (k = 0; k < components; k++) {
        s[0] =
            (t[0] + t[components] + t[delta] + t[delta + components] + 2) / 4;
        s++;
        t++;
      }
      t += components;
    }
    t += delta;
  }
}


x86 assembly (clang, -O0):
<halveImage>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%eax
imul   -0x4(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    122f <halveImage+0x12f>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    120c <halveImage+0x10c>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11e9 <halveImage+0xe9>
mov    -0x48(%rbp),%rax
mov    (%rax),%eax
mov    -0x48(%rbp),%rcx
movslq -0x4(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    -0x48(%rbp),%rcx
movslq -0x38(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    -0x48(%rbp),%rcx
mov    -0x38(%rbp),%edx
add    -0x4(%rbp),%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
add    $0x2,%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x40(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x48(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1178 <halveImage+0x78>
mov    -0x4(%rbp),%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1165 <halveImage+0x65>
mov    -0x38(%rbp),%ecx
mov    -0x48(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1152 <halveImage+0x52>
pop    %rbp
ret

x86 assembly (clang, -O2):
<halveImage>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %esi,-0x4c(%rsp)
mov    %rdi,-0x48(%rsp)
cmp    $0x2,%edx
jl     136e <halveImage+0x26e>
mov    -0x4c(%rsp),%eax
mov    %eax,%esi
shr    $0x1f,%esi
add    %eax,%esi
sar    %esi
mov    %esi,-0x3c(%rsp)
mov    %edx,%esi
shr    $0x1f,%esi
add    %edx,%esi
sar    %esi
mov    %esi,-0x40(%rsp)
mov    -0x48(%rsp),%rdx
imul   %edx,%eax
movslq %edx,%r9
movslq %eax,%r11
lea    (%r11,%rdx,1),%eax
movslq %eax,%r14
lea    -0x1(%r9),%eax
lea    0x1(%rax),%rdx
lea    0x1(%r14,%rax,1),%rsi
mov    %rsi,-0x10(%rsp)
lea    0x1(%r11,%rax,1),%rsi
mov    %rsi,-0x18(%rsp)
mov    %rax,-0x8(%rsp)
add    %r9,%rax
add    $0x1,%rax
mov    %rax,-0x20(%rsp)
mov    %rdx,-0x30(%rsp)
and    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x38(%rsp)
xor    %eax,%eax
movdqa 0xe6c(%rip),%xmm0
jmp    11bc <halveImage+0xbc>
cs nopw 0x0(%rax,%rax,1)
mov    %r8,%r15
lea    (%rcx,%r11,4),%rcx
mov    -0x28(%rsp),%rax
add    $0x1,%eax
mov    %r15,%r8
cmp    -0x40(%rsp),%eax
je     136e <halveImage+0x26e>
cmpl   $0x2,-0x4c(%rsp)
mov    %rax,-0x28(%rsp)
jl     11a0 <halveImage+0xa0>
xor    %r10d,%r10d
jmp    11e8 <halveImage+0xe8>
nopl   (%rax)
mov    %r8,%r15
mov    %rcx,%r12
lea    (%r12,%r9,4),%rcx
add    $0x1,%r10d
mov    %r15,%r8
cmp    -0x3c(%rsp),%r10d
je     11a3 <halveImage+0xa3>
cmpl   $0x0,-0x48(%rsp)
jle    11d0 <halveImage+0xd0>
xor    %esi,%esi
cmpl   $0x3,-0x8(%rsp)
jae    1210 <halveImage+0x110>
mov    %rcx,%r12
mov    %r8,%r15
jmp    130c <halveImage+0x20c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    -0x30(%rsp),%rsi
lea    (%r8,%rsi,4),%rbp
lea    (%rcx,%r14,4),%rax
mov    -0x10(%rsp),%rdx
lea    (%rcx,%rdx,4),%rdx
lea    (%rcx,%r11,4),%r12
mov    -0x18(%rsp),%rdi
lea    (%rcx,%rdi,4),%rbx
cmp    %rdx,%r8
setb   %r13b
cmp    %rbp,%rax
lea    (%rcx,%r9,4),%rdi
setb   %r15b
cmp    %rbx,%r8
setb   %al
cmp    %rbp,%r12
mov    -0x20(%rsp),%rdx
lea    (%rcx,%rdx,4),%rdx
setb   %r12b
cmp    %rdx,%r8
setb   %dl
cmp    %rbp,%rdi
lea    (%rcx,%rsi,4),%rdi
setb   %sil
cmp    %rdi,%r8
setb   %bl
cmp    %rbp,%rcx
setb   %dil
test   %r15b,%r13b
jne    1304 <halveImage+0x204>
and    %r12b,%al
jne    1304 <halveImage+0x204>
and    %sil,%dl
jne    1304 <halveImage+0x204>
and    %dil,%bl
jne    1304 <halveImage+0x204>
mov    -0x38(%rsp),%rbp
lea    (%rcx,%rbp,4),%r12
lea    (%r8,%rbp,4),%r15
xchg   %ax,%ax
movdqu (%rcx),%xmm1
movdqu (%rcx,%r9,4),%xmm2
paddd  %xmm1,%xmm2
movdqu (%rcx,%r11,4),%xmm1
movdqu (%rcx,%r14,4),%xmm3
paddd  %xmm1,%xmm3
paddd  %xmm2,%xmm3
paddd  %xmm0,%xmm3
movdqa %xmm3,%xmm1
psrad  $0x1f,%xmm1
psrld  $0x1e,%xmm1
paddd  %xmm3,%xmm1
psrad  $0x2,%xmm1
movdqu %xmm1,(%r8)
add    $0x10,%r8
add    $0x10,%rcx
add    $0xfffffffffffffffc,%rbp
jne    12a0 <halveImage+0x1a0>
mov    -0x38(%rsp),%rax
mov    %eax,%esi
cmp    %rax,-0x30(%rsp)
je     11d6 <halveImage+0xd6>
jmp    130c <halveImage+0x20c>
mov    %rcx,%r12
mov    %r8,%r15
xor    %esi,%esi
lea    (%r12,%r9,4),%r8
lea    (%r12,%r11,4),%r13
lea    (%r12,%r14,4),%rbx
mov    -0x48(%rsp),%rdx
sub    %esi,%edx
xor    %eax,%eax
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%r12,%rsi,4),%edi
mov    (%rbx,%rsi,4),%ecx
add    (%r8,%rsi,4),%edi
add    0x0(%r13,%rsi,4),%edi
lea    (%rcx,%rdi,1),%ebp
add    $0x2,%ebp
add    %edi,%ecx
add    $0x5,%ecx
test   %ebp,%ebp
cmovns %ebp,%ecx
sar    $0x2,%ecx
mov    %ecx,(%r15,%rsi,4)
add    $0x1,%rsi
add    $0xfffffffffffffffc,%rax
cmp    %esi,%edx
jne    1330 <halveImage+0x230>
sub    %rax,%r12
sub    %rax,%r15
jmp    11d6 <halveImage+0xd6>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @halveImage(i32 %0, i32 %1, i32 %2, i32* %3, i32* %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%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*
store i32 %0, i32* %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32* %3, i32** %9
store i32* %4, i32** %10
%19 = load i32, i32* %7
%20 = sdiv i32 %19, 2
store i32 %20, i32* %14
%21 = load i32, i32* %8
%22 = sdiv i32 %21, 2
store i32 %22, i32* %15
%23 = load i32, i32* %7
%24 = load i32, i32* %6
%25 = mul nsw i32 %23, %24
store i32 %25, i32* %16
%26 = load i32*, i32** %10
store i32* %26, i32** %17
%27 = load i32*, i32** %9
store i32* %27, i32** %18
store i32 0, i32* %11
br label %28
28: ; preds = %90, %5
%29 = load i32, i32* %11
%30 = load i32, i32* %15
%31 = icmp slt i32 %29, %30
br i1 %31, label %32, label %93
32: ; preds = %28
store i32 0, i32* %12
br label %33
33: ; preds = %82, %32
%34 = load i32, i32* %12
%35 = load i32, i32* %14
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %85
37: ; preds = %33
store i32 0, i32* %13
br label %38
38: ; preds = %74, %37
%39 = load i32, i32* %13
%40 = load i32, i32* %6
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %77
42: ; preds = %38
%43 = load i32*, i32** %18
%44 = getelementptr inbounds i32, i32* %43, i64 0
%45 = load i32, i32* %44
%46 = load i32*, i32** %18
%47 = load i32, i32* %6
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
%50 = load i32, i32* %49
%51 = add nsw i32 %45, %50
%52 = load i32*, i32** %18
%53 = load i32, i32* %16
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
%56 = load i32, i32* %55
%57 = add nsw i32 %51, %56
%58 = load i32*, i32** %18
%59 = load i32, i32* %16
%60 = load i32, i32* %6
%61 = add nsw i32 %59, %60
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i32, i32* %58, i64 %62
%64 = load i32, i32* %63
%65 = add nsw i32 %57, %64
%66 = add nsw i32 %65, 2
%67 = sdiv i32 %66, 4
%68 = load i32*, i32** %17
%69 = getelementptr inbounds i32, i32* %68, i64 0
store i32 %67, i32* %69
%70 = load i32*, i32** %17
%71 = getelementptr inbounds i32, i32* %70, i32 1
store i32* %71, i32** %17
%72 = load i32*, i32** %18
%73 = getelementptr inbounds i32, i32* %72, i32 1
store i32* %73, i32** %18
br label %74
74: ; preds = %42
%75 = load i32, i32* %13
%76 = add nsw i32 %75, 1
store i32 %76, i32* %13
br label %38
77: ; preds = %38
%78 = load i32, i32* %6
%79 = load i32*, i32** %18
%80 = sext i32 %78 to i64
%81 = getelementptr inbounds i32, i32* %79, i64 %80
store i32* %81, i32** %18
br label %82
82: ; preds = %77
%83 = load i32, i32* %12
%84 = add nsw i32 %83, 1
store i32 %84, i32* %12
br label %33
85: ; preds = %33
%86 = load i32, i32* %16
%87 = load i32*, i32** %18
%88 = sext i32 %86 to i64
%89 = getelementptr inbounds i32, i32* %87, i64 %88
store i32* %89, i32** %18
br label %90
90: ; preds = %85
%91 = load i32, i32* %11
%92 = add nsw i32 %91, 1
store i32 %92, i32* %11
br label %28
93: ; preds = %28
ret void
}

LLVM IR (-O2):
define void @halveImage(i32 %0, i32 %1, i32 %2, i32* nocapture %3, i32* nocapture writeonly %4) {
%6 = sdiv i32 %1, 2
%7 = sdiv i32 %2, 2
%8 = mul nsw i32 %1, %0
%9 = icmp sgt i32 %2, 1
br i1 %9, label %10, label %129
10: ; preds = %5
%11 = icmp sgt i32 %1, 1
%12 = icmp sgt i32 %0, 0
%13 = sext i32 %0 to i64
%14 = sext i32 %8 to i64
%15 = add nsw i32 %8, %0
%16 = sext i32 %15 to i64
%17 = add i32 %0, -1
%18 = zext i32 %17 to i64
%19 = add nuw nsw i64 %18, 1
%20 = add nsw i64 %16, %18
%21 = add nsw i64 %20, 1
%22 = add nsw i64 %14, %18
%23 = add nsw i64 %22, 1
%24 = add nsw i64 %13, %18
%25 = add nsw i64 %24, 1
%26 = add i32 %0, -1
%27 = zext i32 %26 to i64
%28 = add nuw nsw i64 %27, 1
%29 = icmp ult i32 %26, 3
%30 = and i64 %28, 8589934588
%31 = trunc i64 %30 to i32
%32 = icmp eq i64 %28, %30
br label %33
33: ; preds = %10, %123
%34 = phi i32* [ %3, %10 ], [ %126, %123 ]
%35 = phi i32* [ %4, %10 ], [ %124, %123 ]
%36 = phi i32 [ 0, %10 ], [ %127, %123 ]
br i1 %11, label %37, label %123
37: ; preds = %33, %117
%38 = phi i32* [ %120, %117 ], [ %34, %33 ]
%39 = phi i32* [ %118, %117 ], [ %35, %33 ]
%40 = phi i32 [ %121, %117 ], [ 0, %33 ]
br i1 %12, label %41, label %117
41: ; preds = %37
br i1 %29, label %93, label %42
42: ; preds = %41
%43 = getelementptr i32, i32* %39, i64 %19
%44 = getelementptr i32, i32* %38, i64 %16
%45 = getelementptr i32, i32* %38, i64 %21
%46 = getelementptr i32, i32* %38, i64 %14
%47 = getelementptr i32, i32* %38, i64 %23
%48 = getelementptr i32, i32* %38, i64 %13
%49 = getelementptr i32, i32* %38, i64 %25
%50 = getelementptr i32, i32* %38, i64 %19
%51 = icmp ult i32* %39, %45
%52 = icmp ult i32* %44, %43
%53 = and i1 %51, %52
%54 = icmp ult i32* %39, %47
%55 = icmp ult i32* %46, %43
%56 = and i1 %54, %55
%57 = or i1 %53, %56
%58 = icmp ult i32* %39, %49
%59 = icmp ult i32* %48, %43
%60 = and i1 %58, %59
%61 = or i1 %57, %60
%62 = icmp ult i32* %39, %50
%63 = icmp ult i32* %38, %43
%64 = and i1 %62, %63
%65 = or i1 %61, %64
br i1 %65, label %93, label %66
66: ; preds = %42
%67 = getelementptr i32, i32* %38, i64 %30
%68 = getelementptr i32, i32* %39, i64 %30
br label %69
69: ; preds = %69, %66
%70 = phi i64 [ 0, %66 ], [ %90, %69 ]
%71 = getelementptr i32, i32* %38, i64 %70
%72 = getelementptr i32, i32* %39, i64 %70
%73 = bitcast i32* %71 to <4 x i32>*
%74 = load <4 x i32>, <4 x i32>* %73
%75 = getelementptr inbounds i32, i32* %71, i64 %13
%76 = bitcast i32* %75 to <4 x i32>*
%77 = load <4 x i32>, <4 x i32>* %76
%78 = getelementptr inbounds i32, i32* %71, i64 %14
%79 = bitcast i32* %78 to <4 x i32>*
%80 = load <4 x i32>, <4 x i32>* %79
%81 = getelementptr inbounds i32, i32* %71, i64 %16
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = add <4 x i32> %74, <i32 2, i32 2, i32 2, i32 2>
%85 = add <4 x i32> %84, %77
%86 = add <4 x i32> %85, %80
%87 = add <4 x i32> %86, %83
%88 = sdiv <4 x i32> %87, <i32 4, i32 4, i32 4, i32 4>
%89 = bitcast i32* %72 to <4 x i32>*
store <4 x i32> %88, <4 x i32>* %89
%90 = add nuw i64 %70, 4
%91 = icmp eq i64 %90, %30
br i1 %91, label %92, label %69
92: ; preds = %69
br i1 %32, label %117, label %93
93: ; preds = %42, %41, %92
%94 = phi i32* [ %38, %42 ], [ %38, %41 ], [ %67, %92 ]
%95 = phi i32* [ %39, %42 ], [ %39, %41 ], [ %68, %92 ]
%96 = phi i32 [ 0, %42 ], [ 0, %41 ], [ %31, %92 ]
br label %97
97: ; preds = %93, %97
%98 = phi i32* [ %114, %97 ], [ %94, %93 ]
%99 = phi i32* [ %113, %97 ], [ %95, %93 ]
%100 = phi i32 [ %115, %97 ], [ %96, %93 ]
%101 = load i32, i32* %98
%102 = getelementptr inbounds i32, i32* %98, i64 %13
%103 = load i32, i32* %102
%104 = getelementptr inbounds i32, i32* %98, i64 %14
%105 = load i32, i32* %104
%106 = getelementptr inbounds i32, i32* %98, i64 %16
%107 = load i32, i32* %106
%108 = add i32 %101, 2
%109 = add i32 %108, %103
%110 = add i32 %109, %105
%111 = add i32 %110, %107
%112 = sdiv i32 %111, 4
store i32 %112, i32* %99
%113 = getelementptr inbounds i32, i32* %99, i64 1
%114 = getelementptr inbounds i32, i32* %98, i64 1
%115 = add nuw nsw i32 %100, 1
%116 = icmp eq i32 %115, %0
br i1 %116, label %117, label %97
117: ; preds = %97, %92, %37
%118 = phi i32* [ %39, %37 ], [ %68, %92 ], [ %113, %97 ]
%119 = phi i32* [ %38, %37 ], [ %67, %92 ], [ %114, %97 ]
%120 = getelementptr inbounds i32, i32* %119, i64 %13
%121 = add nuw nsw i32 %40, 1
%122 = icmp eq i32 %121, %6
br i1 %122, label %123, label %37
123: ; preds = %117, %33
%124 = phi i32* [ %35, %33 ], [ %118, %117 ]
%125 = phi i32* [ %34, %33 ], [ %120, %117 ]
%126 = getelementptr inbounds i32, i32* %125, i64 %14
%127 = add nuw nsw i32 %36, 1
%128 = icmp eq i32 %127, %7
br i1 %128, label %129, label %33
129: ; preds = %123, %5
ret void
}