#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_8_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);
    ref += stride;
    dest += stride;
  } while (--height);
}


x86 assembly (clang, -O0):
<MC_avg_x_8_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    -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_8_c+0x12>
pop    %rbp
ret

x86 assembly (clang, -O2):
<MC_avg_x_8_c>:
movslq %edx,%r8
shl    $0x2,%r8
mov    $0x1c,%edx
nopl   0x0(%rax)
mov    -0x1c(%rsi,%rdx,1),%r9d
mov    -0x18(%rsi,%rdx,1),%eax
add    %r9d,%eax
add    $0x1,%eax
sar    %eax
mov    -0x1c(%rdi,%rdx,1),%r9d
mov    -0x18(%rdi,%rdx,1),%r10d
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    %r9d,%eax
add    $0x1,%eax
sar    %eax
add    %r10d,%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_8_c+0x10>
ret

LLVM IR (-O0):
define void @MC_avg_x_8_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 = %154, %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* %7
%147 = load i32*, i32** %6
%148 = sext i32 %146 to i64
%149 = getelementptr inbounds i32, i32* %147, i64 %148
store i32* %149, i32** %6
%150 = load i32, i32* %7
%151 = load i32*, i32** %5
%152 = sext i32 %150 to i64
%153 = getelementptr inbounds i32, i32* %151, i64 %152
store i32* %153, i32** %5
br label %154
154: ; preds = %9
%155 = load i32, i32* %8
%156 = add nsw i32 %155, -1
store i32 %156, i32* %8
%157 = icmp ne i32 %156, 0
br i1 %157, label %9, label %158
158: ; preds = %154
ret void
}

LLVM IR (-O2):
define void @MC_avg_x_8_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 ], [ %97, %6 ]
%8 = phi i32* [ %0, %4 ], [ %98, %6 ]
%9 = phi i32 [ %3, %4 ], [ %99, %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 = getelementptr inbounds i32, i32* %7, i64 %5
%98 = getelementptr inbounds i32, i32* %8, i64 %5
%99 = add nsw i32 %9, -1
%100 = icmp eq i32 %99, 0
br i1 %100, label %101, label %6
101: ; preds = %6
ret void
}