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

/* Variables and functions */
void MC_avg_x_16_c(uint8_t *dest, const uint8_t *ref, const int stride,
                   int height) {
  do {
    dest[0] = (((((ref[0] + ref[0 + 1] + 1) >> 1)) + dest[0] + 1) >> 1);
    dest[1] = (((((ref[1] + ref[1 + 1] + 1) >> 1)) + dest[1] + 1) >> 1);
    dest[2] = (((((ref[2] + ref[2 + 1] + 1) >> 1)) + dest[2] + 1) >> 1);
    dest[3] = (((((ref[3] + ref[3 + 1] + 1) >> 1)) + dest[3] + 1) >> 1);
    dest[4] = (((((ref[4] + ref[4 + 1] + 1) >> 1)) + dest[4] + 1) >> 1);
    dest[5] = (((((ref[5] + ref[5 + 1] + 1) >> 1)) + dest[5] + 1) >> 1);
    dest[6] = (((((ref[6] + ref[6 + 1] + 1) >> 1)) + dest[6] + 1) >> 1);
    dest[7] = (((((ref[7] + ref[7 + 1] + 1) >> 1)) + dest[7] + 1) >> 1);
    dest[8] = (((((ref[8] + ref[8 + 1] + 1) >> 1)) + dest[8] + 1) >> 1);
    dest[9] = (((((ref[9] + ref[9 + 1] + 1) >> 1)) + dest[9] + 1) >> 1);
    dest[10] = (((((ref[10] + ref[10 + 1] + 1) >> 1)) + dest[10] + 1) >> 1);
    dest[11] = (((((ref[11] + ref[11 + 1] + 1) >> 1)) + dest[11] + 1) >> 1);
    dest[12] = (((((ref[12] + ref[12 + 1] + 1) >> 1)) + dest[12] + 1) >> 1);
    dest[13] = (((((ref[13] + ref[13 + 1] + 1) >> 1)) + dest[13] + 1) >> 1);
    dest[14] = (((((ref[14] + ref[14 + 1] + 1) >> 1)) + dest[14] + 1) >> 1);
    dest[15] = (((((ref[15] + ref[15 + 1] + 1) >> 1)) + dest[15] + 1) >> 1);
    ref += stride;
    dest += stride;
  } while (--height);
}


x86 assembly (clang, -O0):
<MC_avg_x_16_c>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x4(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    (%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x8(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x4(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0xc(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x8(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x10(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0xc(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x14(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x10(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x10(%rax)
mov    -0x10(%rbp),%rax
mov    0x14(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x18(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x14(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x14(%rax)
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x1c(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x18(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x18(%rax)
mov    -0x10(%rbp),%rax
mov    0x1c(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x20(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x1c(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x1c(%rax)
mov    -0x10(%rbp),%rax
mov    0x20(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x24(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x20(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x20(%rax)
mov    -0x10(%rbp),%rax
mov    0x24(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x28(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x24(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x24(%rax)
mov    -0x10(%rbp),%rax
mov    0x28(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x2c(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x28(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x28(%rax)
mov    -0x10(%rbp),%rax
mov    0x2c(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x30(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x2c(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x2c(%rax)
mov    -0x10(%rbp),%rax
mov    0x30(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x34(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x30(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x30(%rax)
mov    -0x10(%rbp),%rax
mov    0x34(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x38(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x34(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x34(%rax)
mov    -0x10(%rbp),%rax
mov    0x38(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x3c(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x38(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x38(%rax)
mov    -0x10(%rbp),%rax
mov    0x3c(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x40(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
add    0x3c(%rax),%ecx
add    $0x1,%ecx
sar    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x3c(%rax)
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
cmp    $0x0,%eax
jne    1112 <MC_avg_x_16_c+0x12>
pop    %rbp
ret

x86 assembly (clang, -O2):
<MC_avg_x_16_c>:
movslq %edx,%r8
shl    $0x2,%r8
mov    $0x3c,%edx
nopl   0x0(%rax)
mov    -0x3c(%rsi,%rdx,1),%r9d
mov    -0x38(%rsi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    -0x3c(%rdi,%rdx,1),%r9d
mov    -0x38(%rdi,%rdx,1),%r10d
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x3c(%rdi,%rdx,1)
mov    -0x38(%rsi,%rdx,1),%r9d
mov    -0x34(%rsi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
add    %r10d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x38(%rdi,%rdx,1)
mov    -0x34(%rsi,%rdx,1),%r9d
mov    -0x30(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x34(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x34(%rdi,%rdx,1)
mov    -0x30(%rsi,%rdx,1),%r9d
mov    -0x2c(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x30(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x30(%rdi,%rdx,1)
mov    -0x2c(%rsi,%rdx,1),%r9d
mov    -0x28(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x2c(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x2c(%rdi,%rdx,1)
mov    -0x28(%rsi,%rdx,1),%r9d
mov    -0x24(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x28(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x28(%rdi,%rdx,1)
mov    -0x24(%rsi,%rdx,1),%r9d
mov    -0x20(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x24(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x24(%rdi,%rdx,1)
mov    -0x20(%rsi,%rdx,1),%r9d
mov    -0x1c(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x20(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x20(%rdi,%rdx,1)
mov    -0x1c(%rsi,%rdx,1),%r9d
mov    -0x18(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x1c(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x1c(%rdi,%rdx,1)
mov    -0x18(%rsi,%rdx,1),%r9d
mov    -0x14(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x18(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x18(%rdi,%rdx,1)
mov    -0x14(%rsi,%rdx,1),%r9d
mov    -0x10(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x14(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x14(%rdi,%rdx,1)
mov    -0x10(%rsi,%rdx,1),%r9d
mov    -0xc(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x10(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x10(%rdi,%rdx,1)
mov    -0xc(%rsi,%rdx,1),%r9d
mov    -0x8(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0xc(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0xc(%rdi,%rdx,1)
mov    -0x8(%rsi,%rdx,1),%r9d
mov    -0x4(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x8(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x8(%rdi,%rdx,1)
mov    -0x4(%rsi,%rdx,1),%r9d
mov    (%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    -0x4(%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,-0x4(%rdi,%rdx,1)
mov    (%rsi,%rdx,1),%r9d
mov    0x4(%rsi,%rdx,1),%eax
add    %eax,%r9d
add    $0x1,%r9d
sar    %r9d
mov    (%rdi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    %eax,(%rdi,%rdx,1)
add    %r8,%rdx
add    $0xffffffff,%ecx
jne    1110 <MC_avg_x_16_c+0x10>
ret

LLVM IR (-O0):
define void @MC_avg_x_16_c(i32* %0, i32* %1, i32 %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
store i32* %0, i32** %5
store i32* %1, i32** %6
store i32 %2, i32* %7
store i32 %3, i32* %8
br label %9
9: ; preds = %290, %4
%10 = load i32*, i32** %6
%11 = getelementptr inbounds i32, i32* %10, i64 0
%12 = load i32, i32* %11
%13 = load i32*, i32** %6
%14 = getelementptr inbounds i32, i32* %13, i64 1
%15 = load i32, i32* %14
%16 = add nsw i32 %12, %15
%17 = add nsw i32 %16, 1
%18 = ashr i32 %17, 1
%19 = load i32*, i32** %5
%20 = getelementptr inbounds i32, i32* %19, i64 0
%21 = load i32, i32* %20
%22 = add nsw i32 %18, %21
%23 = add nsw i32 %22, 1
%24 = ashr i32 %23, 1
%25 = load i32*, i32** %5
%26 = getelementptr inbounds i32, i32* %25, i64 0
store i32 %24, i32* %26
%27 = load i32*, i32** %6
%28 = getelementptr inbounds i32, i32* %27, i64 1
%29 = load i32, i32* %28
%30 = load i32*, i32** %6
%31 = getelementptr inbounds i32, i32* %30, i64 2
%32 = load i32, i32* %31
%33 = add nsw i32 %29, %32
%34 = add nsw i32 %33, 1
%35 = ashr i32 %34, 1
%36 = load i32*, i32** %5
%37 = getelementptr inbounds i32, i32* %36, i64 1
%38 = load i32, i32* %37
%39 = add nsw i32 %35, %38
%40 = add nsw i32 %39, 1
%41 = ashr i32 %40, 1
%42 = load i32*, i32** %5
%43 = getelementptr inbounds i32, i32* %42, i64 1
store i32 %41, i32* %43
%44 = load i32*, i32** %6
%45 = getelementptr inbounds i32, i32* %44, i64 2
%46 = load i32, i32* %45
%47 = load i32*, i32** %6
%48 = getelementptr inbounds i32, i32* %47, i64 3
%49 = load i32, i32* %48
%50 = add nsw i32 %46, %49
%51 = add nsw i32 %50, 1
%52 = ashr i32 %51, 1
%53 = load i32*, i32** %5
%54 = getelementptr inbounds i32, i32* %53, i64 2
%55 = load i32, i32* %54
%56 = add nsw i32 %52, %55
%57 = add nsw i32 %56, 1
%58 = ashr i32 %57, 1
%59 = load i32*, i32** %5
%60 = getelementptr inbounds i32, i32* %59, i64 2
store i32 %58, i32* %60
%61 = load i32*, i32** %6
%62 = getelementptr inbounds i32, i32* %61, i64 3
%63 = load i32, i32* %62
%64 = load i32*, i32** %6
%65 = getelementptr inbounds i32, i32* %64, i64 4
%66 = load i32, i32* %65
%67 = add nsw i32 %63, %66
%68 = add nsw i32 %67, 1
%69 = ashr i32 %68, 1
%70 = load i32*, i32** %5
%71 = getelementptr inbounds i32, i32* %70, i64 3
%72 = load i32, i32* %71
%73 = add nsw i32 %69, %72
%74 = add nsw i32 %73, 1
%75 = ashr i32 %74, 1
%76 = load i32*, i32** %5
%77 = getelementptr inbounds i32, i32* %76, i64 3
store i32 %75, i32* %77
%78 = load i32*, i32** %6
%79 = getelementptr inbounds i32, i32* %78, i64 4
%80 = load i32, i32* %79
%81 = load i32*, i32** %6
%82 = getelementptr inbounds i32, i32* %81, i64 5
%83 = load i32, i32* %82
%84 = add nsw i32 %80, %83
%85 = add nsw i32 %84, 1
%86 = ashr i32 %85, 1
%87 = load i32*, i32** %5
%88 = getelementptr inbounds i32, i32* %87, i64 4
%89 = load i32, i32* %88
%90 = add nsw i32 %86, %89
%91 = add nsw i32 %90, 1
%92 = ashr i32 %91, 1
%93 = load i32*, i32** %5
%94 = getelementptr inbounds i32, i32* %93, i64 4
store i32 %92, i32* %94
%95 = load i32*, i32** %6
%96 = getelementptr inbounds i32, i32* %95, i64 5
%97 = load i32, i32* %96
%98 = load i32*, i32** %6
%99 = getelementptr inbounds i32, i32* %98, i64 6
%100 = load i32, i32* %99
%101 = add nsw i32 %97, %100
%102 = add nsw i32 %101, 1
%103 = ashr i32 %102, 1
%104 = load i32*, i32** %5
%105 = getelementptr inbounds i32, i32* %104, i64 5
%106 = load i32, i32* %105
%107 = add nsw i32 %103, %106
%108 = add nsw i32 %107, 1
%109 = ashr i32 %108, 1
%110 = load i32*, i32** %5
%111 = getelementptr inbounds i32, i32* %110, i64 5
store i32 %109, i32* %111
%112 = load i32*, i32** %6
%113 = getelementptr inbounds i32, i32* %112, i64 6
%114 = load i32, i32* %113
%115 = load i32*, i32** %6
%116 = getelementptr inbounds i32, i32* %115, i64 7
%117 = load i32, i32* %116
%118 = add nsw i32 %114, %117
%119 = add nsw i32 %118, 1
%120 = ashr i32 %119, 1
%121 = load i32*, i32** %5
%122 = getelementptr inbounds i32, i32* %121, i64 6
%123 = load i32, i32* %122
%124 = add nsw i32 %120, %123
%125 = add nsw i32 %124, 1
%126 = ashr i32 %125, 1
%127 = load i32*, i32** %5
%128 = getelementptr inbounds i32, i32* %127, i64 6
store i32 %126, i32* %128
%129 = load i32*, i32** %6
%130 = getelementptr inbounds i32, i32* %129, i64 7
%131 = load i32, i32* %130
%132 = load i32*, i32** %6
%133 = getelementptr inbounds i32, i32* %132, i64 8
%134 = load i32, i32* %133
%135 = add nsw i32 %131, %134
%136 = add nsw i32 %135, 1
%137 = ashr i32 %136, 1
%138 = load i32*, i32** %5
%139 = getelementptr inbounds i32, i32* %138, i64 7
%140 = load i32, i32* %139
%141 = add nsw i32 %137, %140
%142 = add nsw i32 %141, 1
%143 = ashr i32 %142, 1
%144 = load i32*, i32** %5
%145 = getelementptr inbounds i32, i32* %144, i64 7
store i32 %143, i32* %145
%146 = load i32*, i32** %6
%147 = getelementptr inbounds i32, i32* %146, i64 8
%148 = load i32, i32* %147
%149 = load i32*, i32** %6
%150 = getelementptr inbounds i32, i32* %149, i64 9
%151 = load i32, i32* %150
%152 = add nsw i32 %148, %151
%153 = add nsw i32 %152, 1
%154 = ashr i32 %153, 1
%155 = load i32*, i32** %5
%156 = getelementptr inbounds i32, i32* %155, i64 8
%157 = load i32, i32* %156
%158 = add nsw i32 %154, %157
%159 = add nsw i32 %158, 1
%160 = ashr i32 %159, 1
%161 = load i32*, i32** %5
%162 = getelementptr inbounds i32, i32* %161, i64 8
store i32 %160, i32* %162
%163 = load i32*, i32** %6
%164 = getelementptr inbounds i32, i32* %163, i64 9
%165 = load i32, i32* %164
%166 = load i32*, i32** %6
%167 = getelementptr inbounds i32, i32* %166, i64 10
%168 = load i32, i32* %167
%169 = add nsw i32 %165, %168
%170 = add nsw i32 %169, 1
%171 = ashr i32 %170, 1
%172 = load i32*, i32** %5
%173 = getelementptr inbounds i32, i32* %172, i64 9
%174 = load i32, i32* %173
%175 = add nsw i32 %171, %174
%176 = add nsw i32 %175, 1
%177 = ashr i32 %176, 1
%178 = load i32*, i32** %5
%179 = getelementptr inbounds i32, i32* %178, i64 9
store i32 %177, i32* %179
%180 = load i32*, i32** %6
%181 = getelementptr inbounds i32, i32* %180, i64 10
%182 = load i32, i32* %181
%183 = load i32*, i32** %6
%184 = getelementptr inbounds i32, i32* %183, i64 11
%185 = load i32, i32* %184
%186 = add nsw i32 %182, %185
%187 = add nsw i32 %186, 1
%188 = ashr i32 %187, 1
%189 = load i32*, i32** %5
%190 = getelementptr inbounds i32, i32* %189, i64 10
%191 = load i32, i32* %190
%192 = add nsw i32 %188, %191
%193 = add nsw i32 %192, 1
%194 = ashr i32 %193, 1
%195 = load i32*, i32** %5
%196 = getelementptr inbounds i32, i32* %195, i64 10
store i32 %194, i32* %196
%197 = load i32*, i32** %6
%198 = getelementptr inbounds i32, i32* %197, i64 11
%199 = load i32, i32* %198
%200 = load i32*, i32** %6
%201 = getelementptr inbounds i32, i32* %200, i64 12
%202 = load i32, i32* %201
%203 = add nsw i32 %199, %202
%204 = add nsw i32 %203, 1
%205 = ashr i32 %204, 1
%206 = load i32*, i32** %5
%207 = getelementptr inbounds i32, i32* %206, i64 11
%208 = load i32, i32* %207
%209 = add nsw i32 %205, %208
%210 = add nsw i32 %209, 1
%211 = ashr i32 %210, 1
%212 = load i32*, i32** %5
%213 = getelementptr inbounds i32, i32* %212, i64 11
store i32 %211, i32* %213
%214 = load i32*, i32** %6
%215 = getelementptr inbounds i32, i32* %214, i64 12
%216 = load i32, i32* %215
%217 = load i32*, i32** %6
%218 = getelementptr inbounds i32, i32* %217, i64 13
%219 = load i32, i32* %218
%220 = add nsw i32 %216, %219
%221 = add nsw i32 %220, 1
%222 = ashr i32 %221, 1
%223 = load i32*, i32** %5
%224 = getelementptr inbounds i32, i32* %223, i64 12
%225 = load i32, i32* %224
%226 = add nsw i32 %222, %225
%227 = add nsw i32 %226, 1
%228 = ashr i32 %227, 1
%229 = load i32*, i32** %5
%230 = getelementptr inbounds i32, i32* %229, i64 12
store i32 %228, i32* %230
%231 = load i32*, i32** %6
%232 = getelementptr inbounds i32, i32* %231, i64 13
%233 = load i32, i32* %232
%234 = load i32*, i32** %6
%235 = getelementptr inbounds i32, i32* %234, i64 14
%236 = load i32, i32* %235
%237 = add nsw i32 %233, %236
%238 = add nsw i32 %237, 1
%239 = ashr i32 %238, 1
%240 = load i32*, i32** %5
%241 = getelementptr inbounds i32, i32* %240, i64 13
%242 = load i32, i32* %241
%243 = add nsw i32 %239, %242
%244 = add nsw i32 %243, 1
%245 = ashr i32 %244, 1
%246 = load i32*, i32** %5
%247 = getelementptr inbounds i32, i32* %246, i64 13
store i32 %245, i32* %247
%248 = load i32*, i32** %6
%249 = getelementptr inbounds i32, i32* %248, i64 14
%250 = load i32, i32* %249
%251 = load i32*, i32** %6
%252 = getelementptr inbounds i32, i32* %251, i64 15
%253 = load i32, i32* %252
%254 = add nsw i32 %250, %253
%255 = add nsw i32 %254, 1
%256 = ashr i32 %255, 1
%257 = load i32*, i32** %5
%258 = getelementptr inbounds i32, i32* %257, i64 14
%259 = load i32, i32* %258
%260 = add nsw i32 %256, %259
%261 = add nsw i32 %260, 1
%262 = ashr i32 %261, 1
%263 = load i32*, i32** %5
%264 = getelementptr inbounds i32, i32* %263, i64 14
store i32 %262, i32* %264
%265 = load i32*, i32** %6
%266 = getelementptr inbounds i32, i32* %265, i64 15
%267 = load i32, i32* %266
%268 = load i32*, i32** %6
%269 = getelementptr inbounds i32, i32* %268, i64 16
%270 = load i32, i32* %269
%271 = add nsw i32 %267, %270
%272 = add nsw i32 %271, 1
%273 = ashr i32 %272, 1
%274 = load i32*, i32** %5
%275 = getelementptr inbounds i32, i32* %274, i64 15
%276 = load i32, i32* %275
%277 = add nsw i32 %273, %276
%278 = add nsw i32 %277, 1
%279 = ashr i32 %278, 1
%280 = load i32*, i32** %5
%281 = getelementptr inbounds i32, i32* %280, i64 15
store i32 %279, i32* %281
%282 = load i32, i32* %7
%283 = load i32*, i32** %6
%284 = sext i32 %282 to i64
%285 = getelementptr inbounds i32, i32* %283, i64 %284
store i32* %285, i32** %6
%286 = load i32, i32* %7
%287 = load i32*, i32** %5
%288 = sext i32 %286 to i64
%289 = getelementptr inbounds i32, i32* %287, i64 %288
store i32* %289, i32** %5
br label %290
290: ; preds = %9
%291 = load i32, i32* %8
%292 = add nsw i32 %291, -1
store i32 %292, i32* %8
%293 = icmp ne i32 %292, 0
br i1 %293, label %9, label %294
294: ; preds = %290
ret void
}

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