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


x86 assembly (clang, -O0):
<MC_put_y_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
movzbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x1(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x2(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x3(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x3(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x4(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x4(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x5(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x5(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x5(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x6(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x6(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x6(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x7(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x7(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x7(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x8(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x8(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x8(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x9(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0x9(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x9(%rax)
mov    -0x10(%rbp),%rax
movzbl 0xa(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0xa(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xa(%rax)
mov    -0x10(%rbp),%rax
movzbl 0xb(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0xb(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xb(%rax)
mov    -0x10(%rbp),%rax
movzbl 0xc(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0xc(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xc(%rax)
mov    -0x10(%rbp),%rax
movzbl 0xd(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0xd(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xd(%rax)
mov    -0x10(%rbp),%rax
movzbl 0xe(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0xe(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xe(%rax)
mov    -0x10(%rbp),%rax
movzbl 0xf(%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
movzbl 0xf(%rcx,%rdx,1),%ecx
add    %ecx,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xf(%rax)
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rax
movslq %ecx,%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_put_y_16_c+0x12>
pop    %rbp
ret

x86 assembly (clang, -O2):
<MC_put_y_16_c>:
movslq %edx,%rax
add    $0xf,%rsi
add    $0xf,%rdi
nopl   0x0(%rax,%rax,1)
movzbl -0xf(%rsi),%r8d
movzbl -0xf(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0xf(%rdi)
movzbl -0xe(%rsi),%r8d
movzbl -0xe(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0xe(%rdi)
movzbl -0xd(%rsi),%r8d
movzbl -0xd(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0xd(%rdi)
movzbl -0xc(%rsi),%r8d
movzbl -0xc(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0xc(%rdi)
movzbl -0xb(%rsi),%r8d
movzbl -0xb(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0xb(%rdi)
movzbl -0xa(%rsi),%r8d
movzbl -0xa(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0xa(%rdi)
movzbl -0x9(%rsi),%r8d
movzbl -0x9(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x9(%rdi)
movzbl -0x8(%rsi),%r8d
movzbl -0x8(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x8(%rdi)
movzbl -0x7(%rsi),%r8d
movzbl -0x7(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x7(%rdi)
movzbl -0x6(%rsi),%r8d
movzbl -0x6(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x6(%rdi)
movzbl -0x5(%rsi),%r8d
movzbl -0x5(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x5(%rdi)
movzbl -0x4(%rsi),%r8d
movzbl -0x4(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x4(%rdi)
movzbl -0x3(%rsi),%r8d
movzbl -0x3(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x3(%rdi)
movzbl -0x2(%rsi),%r8d
movzbl -0x2(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x2(%rdi)
movzbl -0x1(%rsi),%r8d
movzbl -0x1(%rsi,%rax,1),%edx
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,-0x1(%rdi)
movzbl (%rsi),%r8d
movzbl (%rsi,%rax,1),%edx
add    %rax,%rsi
add    %r8d,%edx
add    $0x1,%edx
shr    %edx
mov    %dl,(%rdi)
add    %rax,%rdi
add    $0xffffffff,%ecx
jne    1110 <MC_put_y_16_c+0x10>
ret

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