#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_put_xy_16_c(uint8_t *dest, const uint8_t *ref, const int stride,
                    int height) {
  do {
    dest[0] = ((
        (ref[0] + ref[0 + 1] + (ref + stride)[0] + (ref + stride)[0 + 1] + 2) >>
        2));
    dest[1] = ((
        (ref[1] + ref[1 + 1] + (ref + stride)[1] + (ref + stride)[1 + 1] + 2) >>
        2));
    dest[2] = ((
        (ref[2] + ref[2 + 1] + (ref + stride)[2] + (ref + stride)[2 + 1] + 2) >>
        2));
    dest[3] = ((
        (ref[3] + ref[3 + 1] + (ref + stride)[3] + (ref + stride)[3 + 1] + 2) >>
        2));
    dest[4] = ((
        (ref[4] + ref[4 + 1] + (ref + stride)[4] + (ref + stride)[4 + 1] + 2) >>
        2));
    dest[5] = ((
        (ref[5] + ref[5 + 1] + (ref + stride)[5] + (ref + stride)[5 + 1] + 2) >>
        2));
    dest[6] = ((
        (ref[6] + ref[6 + 1] + (ref + stride)[6] + (ref + stride)[6 + 1] + 2) >>
        2));
    dest[7] = ((
        (ref[7] + ref[7 + 1] + (ref + stride)[7] + (ref + stride)[7 + 1] + 2) >>
        2));
    dest[8] = ((
        (ref[8] + ref[8 + 1] + (ref + stride)[8] + (ref + stride)[8 + 1] + 2) >>
        2));
    dest[9] = ((
        (ref[9] + ref[9 + 1] + (ref + stride)[9] + (ref + stride)[9 + 1] + 2) >>
        2));
    dest[10] = (((ref[10] + ref[10 + 1] + (ref + stride)[10] +
                  (ref + stride)[10 + 1] + 2) >>
                 2));
    dest[11] = (((ref[11] + ref[11 + 1] + (ref + stride)[11] +
                  (ref + stride)[11 + 1] + 2) >>
                 2));
    dest[12] = (((ref[12] + ref[12 + 1] + (ref + stride)[12] +
                  (ref + stride)[12 + 1] + 2) >>
                 2));
    dest[13] = (((ref[13] + ref[13 + 1] + (ref + stride)[13] +
                  (ref + stride)[13 + 1] + 2) >>
                 2));
    dest[14] = (((ref[14] + ref[14 + 1] + (ref + stride)[14] +
                  (ref + stride)[14 + 1] + 2) >>
                 2));
    dest[15] = (((ref[15] + ref[15 + 1] + (ref + stride)[15] +
                  (ref + stride)[15 + 1] + 2) >>
                 2));
    ref += stride;
    dest += stride;
  } while (--height);
}


x86 assembly (clang, -O0):
<MC_put_xy_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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    (%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x4(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x10(%rbp),%rax
add    0x8(%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x4(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x8(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x8(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0xc(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0xc(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x10(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x10(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x14(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x14(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x18(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x18(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x1c(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x1c(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x20(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x20(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x24(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x24(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x28(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x28(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x2c(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x2c(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x30(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x30(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x34(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x34(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x38(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x38(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x3c(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x3c(%rax,%rdx,4),%ecx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rdx
add    0x40(%rax,%rdx,4),%ecx
add    $0x2,%ecx
sar    $0x2,%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_put_xy_16_c+0x12>
pop    %rbp
ret

x86 assembly (clang, -O2):
<MC_put_xy_16_c>:
movslq %edx,%r9
add    $0x40,%rsi
shl    $0x2,%r9
add    $0x3c,%rdi
nop
mov    -0x40(%rsi),%edx
add    -0x3c(%rsi),%edx
mov    -0x3c(%rsi,%r9,1),%r8d
add    -0x40(%rsi,%r9,1),%edx
add    %r8d,%edx
add    $0x2,%edx
sar    $0x2,%edx
mov    %edx,-0x3c(%rdi)
mov    -0x3c(%rsi),%edx
mov    -0x38(%rsi,%r9,1),%r8d
add    -0x38(%rsi),%edx
add    -0x3c(%rsi,%r9,1),%edx
add    %r8d,%edx
add    $0x2,%edx
sar    $0x2,%edx
mov    %edx,-0x38(%rdi)
mov    -0x38(%rsi),%edx
add    -0x34(%rsi),%edx
add    -0x38(%rsi,%r9,1),%edx
mov    -0x34(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x34(%rdi)
mov    -0x34(%rsi),%eax
mov    -0x30(%rsi,%r9,1),%edx
add    -0x30(%rsi),%eax
add    -0x34(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x30(%rdi)
mov    -0x30(%rsi),%eax
add    -0x2c(%rsi),%eax
mov    -0x2c(%rsi,%r9,1),%edx
add    -0x30(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x2c(%rdi)
mov    -0x2c(%rsi),%eax
mov    -0x28(%rsi,%r9,1),%edx
add    -0x28(%rsi),%eax
add    -0x2c(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x28(%rdi)
mov    -0x28(%rsi),%eax
add    -0x24(%rsi),%eax
add    -0x28(%rsi,%r9,1),%eax
mov    -0x24(%rsi,%r9,1),%edx
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x24(%rdi)
mov    -0x24(%rsi),%eax
mov    -0x20(%rsi,%r9,1),%edx
add    -0x20(%rsi),%eax
add    -0x24(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x20(%rdi)
mov    -0x20(%rsi),%eax
add    -0x1c(%rsi),%eax
mov    -0x1c(%rsi,%r9,1),%edx
add    -0x20(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x1c(%rdi)
mov    -0x1c(%rsi),%eax
mov    -0x18(%rsi,%r9,1),%edx
add    -0x18(%rsi),%eax
add    -0x1c(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x18(%rdi)
mov    -0x18(%rsi),%eax
add    -0x14(%rsi),%eax
add    -0x18(%rsi,%r9,1),%eax
mov    -0x14(%rsi,%r9,1),%edx
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x14(%rdi)
mov    -0x14(%rsi),%eax
mov    -0x10(%rsi,%r9,1),%edx
add    -0x10(%rsi),%eax
add    -0x14(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x10(%rdi)
mov    -0x10(%rsi),%eax
add    -0xc(%rsi),%eax
mov    -0xc(%rsi,%r9,1),%edx
add    -0x10(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0xc(%rdi)
mov    -0xc(%rsi),%eax
mov    -0x8(%rsi,%r9,1),%edx
add    -0x8(%rsi),%eax
add    -0xc(%rsi,%r9,1),%eax
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x8(%rdi)
mov    -0x8(%rsi),%eax
add    -0x4(%rsi),%eax
add    -0x8(%rsi,%r9,1),%eax
mov    -0x4(%rsi,%r9,1),%edx
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,-0x4(%rdi)
mov    -0x4(%rsi),%eax
mov    (%rsi,%r9,1),%edx
add    (%rsi),%eax
add    -0x4(%rsi,%r9,1),%eax
add    %r9,%rsi
add    %edx,%eax
add    $0x2,%eax
sar    $0x2,%eax
mov    %eax,(%rdi)
add    %r9,%rdi
add    $0xffffffff,%ecx
jne    1110 <MC_put_xy_16_c+0x10>
ret

LLVM IR (-O0):
define void @MC_put_xy_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 = %418, %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 = load i32*, i32** %6
%18 = load i32, i32* %7
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %17, i64 %19
%21 = getelementptr inbounds i32, i32* %20, i64 0
%22 = load i32, i32* %21
%23 = add nsw i32 %16, %22
%24 = load i32*, i32** %6
%25 = load i32, i32* %7
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = getelementptr inbounds i32, i32* %27, i64 1
%29 = load i32, i32* %28
%30 = add nsw i32 %23, %29
%31 = add nsw i32 %30, 2
%32 = ashr i32 %31, 2
%33 = load i32*, i32** %5
%34 = getelementptr inbounds i32, i32* %33, i64 0
store i32 %32, i32* %34
%35 = load i32*, i32** %6
%36 = getelementptr inbounds i32, i32* %35, i64 1
%37 = load i32, i32* %36
%38 = load i32*, i32** %6
%39 = getelementptr inbounds i32, i32* %38, i64 2
%40 = load i32, i32* %39
%41 = add nsw i32 %37, %40
%42 = load i32*, i32** %6
%43 = load i32, i32* %7
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %42, i64 %44
%46 = getelementptr inbounds i32, i32* %45, i64 1
%47 = load i32, i32* %46
%48 = add nsw i32 %41, %47
%49 = load i32*, i32** %6
%50 = load i32, i32* %7
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
%53 = getelementptr inbounds i32, i32* %52, i64 2
%54 = load i32, i32* %53
%55 = add nsw i32 %48, %54
%56 = add nsw i32 %55, 2
%57 = ashr i32 %56, 2
%58 = load i32*, i32** %5
%59 = getelementptr inbounds i32, i32* %58, i64 1
store i32 %57, i32* %59
%60 = load i32*, i32** %6
%61 = getelementptr inbounds i32, i32* %60, i64 2
%62 = load i32, i32* %61
%63 = load i32*, i32** %6
%64 = getelementptr inbounds i32, i32* %63, i64 3
%65 = load i32, i32* %64
%66 = add nsw i32 %62, %65
%67 = load i32*, i32** %6
%68 = load i32, i32* %7
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
%71 = getelementptr inbounds i32, i32* %70, i64 2
%72 = load i32, i32* %71
%73 = add nsw i32 %66, %72
%74 = load i32*, i32** %6
%75 = load i32, i32* %7
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %74, i64 %76
%78 = getelementptr inbounds i32, i32* %77, i64 3
%79 = load i32, i32* %78
%80 = add nsw i32 %73, %79
%81 = add nsw i32 %80, 2
%82 = ashr i32 %81, 2
%83 = load i32*, i32** %5
%84 = getelementptr inbounds i32, i32* %83, i64 2
store i32 %82, i32* %84
%85 = load i32*, i32** %6
%86 = getelementptr inbounds i32, i32* %85, i64 3
%87 = load i32, i32* %86
%88 = load i32*, i32** %6
%89 = getelementptr inbounds i32, i32* %88, i64 4
%90 = load i32, i32* %89
%91 = add nsw i32 %87, %90
%92 = load i32*, i32** %6
%93 = load i32, i32* %7
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %92, i64 %94
%96 = getelementptr inbounds i32, i32* %95, i64 3
%97 = load i32, i32* %96
%98 = add nsw i32 %91, %97
%99 = load i32*, i32** %6
%100 = load i32, i32* %7
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %99, i64 %101
%103 = getelementptr inbounds i32, i32* %102, i64 4
%104 = load i32, i32* %103
%105 = add nsw i32 %98, %104
%106 = add nsw i32 %105, 2
%107 = ashr i32 %106, 2
%108 = load i32*, i32** %5
%109 = getelementptr inbounds i32, i32* %108, i64 3
store i32 %107, i32* %109
%110 = load i32*, i32** %6
%111 = getelementptr inbounds i32, i32* %110, i64 4
%112 = load i32, i32* %111
%113 = load i32*, i32** %6
%114 = getelementptr inbounds i32, i32* %113, i64 5
%115 = load i32, i32* %114
%116 = add nsw i32 %112, %115
%117 = load i32*, i32** %6
%118 = load i32, i32* %7
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %117, i64 %119
%121 = getelementptr inbounds i32, i32* %120, i64 4
%122 = load i32, i32* %121
%123 = add nsw i32 %116, %122
%124 = load i32*, i32** %6
%125 = load i32, i32* %7
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds i32, i32* %124, i64 %126
%128 = getelementptr inbounds i32, i32* %127, i64 5
%129 = load i32, i32* %128
%130 = add nsw i32 %123, %129
%131 = add nsw i32 %130, 2
%132 = ashr i32 %131, 2
%133 = load i32*, i32** %5
%134 = getelementptr inbounds i32, i32* %133, i64 4
store i32 %132, i32* %134
%135 = load i32*, i32** %6
%136 = getelementptr inbounds i32, i32* %135, i64 5
%137 = load i32, i32* %136
%138 = load i32*, i32** %6
%139 = getelementptr inbounds i32, i32* %138, i64 6
%140 = load i32, i32* %139
%141 = add nsw i32 %137, %140
%142 = load i32*, i32** %6
%143 = load i32, i32* %7
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i32, i32* %142, i64 %144
%146 = getelementptr inbounds i32, i32* %145, i64 5
%147 = load i32, i32* %146
%148 = add nsw i32 %141, %147
%149 = load i32*, i32** %6
%150 = load i32, i32* %7
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds i32, i32* %149, i64 %151
%153 = getelementptr inbounds i32, i32* %152, i64 6
%154 = load i32, i32* %153
%155 = add nsw i32 %148, %154
%156 = add nsw i32 %155, 2
%157 = ashr i32 %156, 2
%158 = load i32*, i32** %5
%159 = getelementptr inbounds i32, i32* %158, i64 5
store i32 %157, i32* %159
%160 = load i32*, i32** %6
%161 = getelementptr inbounds i32, i32* %160, i64 6
%162 = load i32, i32* %161
%163 = load i32*, i32** %6
%164 = getelementptr inbounds i32, i32* %163, i64 7
%165 = load i32, i32* %164
%166 = add nsw i32 %162, %165
%167 = load i32*, i32** %6
%168 = load i32, i32* %7
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds i32, i32* %167, i64 %169
%171 = getelementptr inbounds i32, i32* %170, i64 6
%172 = load i32, i32* %171
%173 = add nsw i32 %166, %172
%174 = load i32*, i32** %6
%175 = load i32, i32* %7
%176 = sext i32 %175 to i64
%177 = getelementptr inbounds i32, i32* %174, i64 %176
%178 = getelementptr inbounds i32, i32* %177, i64 7
%179 = load i32, i32* %178
%180 = add nsw i32 %173, %179
%181 = add nsw i32 %180, 2
%182 = ashr i32 %181, 2
%183 = load i32*, i32** %5
%184 = getelementptr inbounds i32, i32* %183, i64 6
store i32 %182, i32* %184
%185 = load i32*, i32** %6
%186 = getelementptr inbounds i32, i32* %185, i64 7
%187 = load i32, i32* %186
%188 = load i32*, i32** %6
%189 = getelementptr inbounds i32, i32* %188, i64 8
%190 = load i32, i32* %189
%191 = add nsw i32 %187, %190
%192 = load i32*, i32** %6
%193 = load i32, i32* %7
%194 = sext i32 %193 to i64
%195 = getelementptr inbounds i32, i32* %192, i64 %194
%196 = getelementptr inbounds i32, i32* %195, i64 7
%197 = load i32, i32* %196
%198 = add nsw i32 %191, %197
%199 = load i32*, i32** %6
%200 = load i32, i32* %7
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds i32, i32* %199, i64 %201
%203 = getelementptr inbounds i32, i32* %202, i64 8
%204 = load i32, i32* %203
%205 = add nsw i32 %198, %204
%206 = add nsw i32 %205, 2
%207 = ashr i32 %206, 2
%208 = load i32*, i32** %5
%209 = getelementptr inbounds i32, i32* %208, i64 7
store i32 %207, i32* %209
%210 = load i32*, i32** %6
%211 = getelementptr inbounds i32, i32* %210, i64 8
%212 = load i32, i32* %211
%213 = load i32*, i32** %6
%214 = getelementptr inbounds i32, i32* %213, i64 9
%215 = load i32, i32* %214
%216 = add nsw i32 %212, %215
%217 = load i32*, i32** %6
%218 = load i32, i32* %7
%219 = sext i32 %218 to i64
%220 = getelementptr inbounds i32, i32* %217, i64 %219
%221 = getelementptr inbounds i32, i32* %220, i64 8
%222 = load i32, i32* %221
%223 = add nsw i32 %216, %222
%224 = load i32*, i32** %6
%225 = load i32, i32* %7
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i32, i32* %224, i64 %226
%228 = getelementptr inbounds i32, i32* %227, i64 9
%229 = load i32, i32* %228
%230 = add nsw i32 %223, %229
%231 = add nsw i32 %230, 2
%232 = ashr i32 %231, 2
%233 = load i32*, i32** %5
%234 = getelementptr inbounds i32, i32* %233, i64 8
store i32 %232, i32* %234
%235 = load i32*, i32** %6
%236 = getelementptr inbounds i32, i32* %235, i64 9
%237 = load i32, i32* %236
%238 = load i32*, i32** %6
%239 = getelementptr inbounds i32, i32* %238, i64 10
%240 = load i32, i32* %239
%241 = add nsw i32 %237, %240
%242 = load i32*, i32** %6
%243 = load i32, i32* %7
%244 = sext i32 %243 to i64
%245 = getelementptr inbounds i32, i32* %242, i64 %244
%246 = getelementptr inbounds i32, i32* %245, i64 9
%247 = load i32, i32* %246
%248 = add nsw i32 %241, %247
%249 = load i32*, i32** %6
%250 = load i32, i32* %7
%251 = sext i32 %250 to i64
%252 = getelementptr inbounds i32, i32* %249, i64 %251
%253 = getelementptr inbounds i32, i32* %252, i64 10
%254 = load i32, i32* %253
%255 = add nsw i32 %248, %254
%256 = add nsw i32 %255, 2
%257 = ashr i32 %256, 2
%258 = load i32*, i32** %5
%259 = getelementptr inbounds i32, i32* %258, i64 9
store i32 %257, i32* %259
%260 = load i32*, i32** %6
%261 = getelementptr inbounds i32, i32* %260, i64 10
%262 = load i32, i32* %261
%263 = load i32*, i32** %6
%264 = getelementptr inbounds i32, i32* %263, i64 11
%265 = load i32, i32* %264
%266 = add nsw i32 %262, %265
%267 = load i32*, i32** %6
%268 = load i32, i32* %7
%269 = sext i32 %268 to i64
%270 = getelementptr inbounds i32, i32* %267, i64 %269
%271 = getelementptr inbounds i32, i32* %270, i64 10
%272 = load i32, i32* %271
%273 = add nsw i32 %266, %272
%274 = load i32*, i32** %6
%275 = load i32, i32* %7
%276 = sext i32 %275 to i64
%277 = getelementptr inbounds i32, i32* %274, i64 %276
%278 = getelementptr inbounds i32, i32* %277, i64 11
%279 = load i32, i32* %278
%280 = add nsw i32 %273, %279
%281 = add nsw i32 %280, 2
%282 = ashr i32 %281, 2
%283 = load i32*, i32** %5
%284 = getelementptr inbounds i32, i32* %283, i64 10
store i32 %282, i32* %284
%285 = load i32*, i32** %6
%286 = getelementptr inbounds i32, i32* %285, i64 11
%287 = load i32, i32* %286
%288 = load i32*, i32** %6
%289 = getelementptr inbounds i32, i32* %288, i64 12
%290 = load i32, i32* %289
%291 = add nsw i32 %287, %290
%292 = load i32*, i32** %6
%293 = load i32, i32* %7
%294 = sext i32 %293 to i64
%295 = getelementptr inbounds i32, i32* %292, i64 %294
%296 = getelementptr inbounds i32, i32* %295, i64 11
%297 = load i32, i32* %296
%298 = add nsw i32 %291, %297
%299 = load i32*, i32** %6
%300 = load i32, i32* %7
%301 = sext i32 %300 to i64
%302 = getelementptr inbounds i32, i32* %299, i64 %301
%303 = getelementptr inbounds i32, i32* %302, i64 12
%304 = load i32, i32* %303
%305 = add nsw i32 %298, %304
%306 = add nsw i32 %305, 2
%307 = ashr i32 %306, 2
%308 = load i32*, i32** %5
%309 = getelementptr inbounds i32, i32* %308, i64 11
store i32 %307, i32* %309
%310 = load i32*, i32** %6
%311 = getelementptr inbounds i32, i32* %310, i64 12
%312 = load i32, i32* %311
%313 = load i32*, i32** %6
%314 = getelementptr inbounds i32, i32* %313, i64 13
%315 = load i32, i32* %314
%316 = add nsw i32 %312, %315
%317 = load i32*, i32** %6
%318 = load i32, i32* %7
%319 = sext i32 %318 to i64
%320 = getelementptr inbounds i32, i32* %317, i64 %319
%321 = getelementptr inbounds i32, i32* %320, i64 12
%322 = load i32, i32* %321
%323 = add nsw i32 %316, %322
%324 = load i32*, i32** %6
%325 = load i32, i32* %7
%326 = sext i32 %325 to i64
%327 = getelementptr inbounds i32, i32* %324, i64 %326
%328 = getelementptr inbounds i32, i32* %327, i64 13
%329 = load i32, i32* %328
%330 = add nsw i32 %323, %329
%331 = add nsw i32 %330, 2
%332 = ashr i32 %331, 2
%333 = load i32*, i32** %5
%334 = getelementptr inbounds i32, i32* %333, i64 12
store i32 %332, i32* %334
%335 = load i32*, i32** %6
%336 = getelementptr inbounds i32, i32* %335, i64 13
%337 = load i32, i32* %336
%338 = load i32*, i32** %6
%339 = getelementptr inbounds i32, i32* %338, i64 14
%340 = load i32, i32* %339
%341 = add nsw i32 %337, %340
%342 = load i32*, i32** %6
%343 = load i32, i32* %7
%344 = sext i32 %343 to i64
%345 = getelementptr inbounds i32, i32* %342, i64 %344
%346 = getelementptr inbounds i32, i32* %345, i64 13
%347 = load i32, i32* %346
%348 = add nsw i32 %341, %347
%349 = load i32*, i32** %6
%350 = load i32, i32* %7
%351 = sext i32 %350 to i64
%352 = getelementptr inbounds i32, i32* %349, i64 %351
%353 = getelementptr inbounds i32, i32* %352, i64 14
%354 = load i32, i32* %353
%355 = add nsw i32 %348, %354
%356 = add nsw i32 %355, 2
%357 = ashr i32 %356, 2
%358 = load i32*, i32** %5
%359 = getelementptr inbounds i32, i32* %358, i64 13
store i32 %357, i32* %359
%360 = load i32*, i32** %6
%361 = getelementptr inbounds i32, i32* %360, i64 14
%362 = load i32, i32* %361
%363 = load i32*, i32** %6
%364 = getelementptr inbounds i32, i32* %363, i64 15
%365 = load i32, i32* %364
%366 = add nsw i32 %362, %365
%367 = load i32*, i32** %6
%368 = load i32, i32* %7
%369 = sext i32 %368 to i64
%370 = getelementptr inbounds i32, i32* %367, i64 %369
%371 = getelementptr inbounds i32, i32* %370, i64 14
%372 = load i32, i32* %371
%373 = add nsw i32 %366, %372
%374 = load i32*, i32** %6
%375 = load i32, i32* %7
%376 = sext i32 %375 to i64
%377 = getelementptr inbounds i32, i32* %374, i64 %376
%378 = getelementptr inbounds i32, i32* %377, i64 15
%379 = load i32, i32* %378
%380 = add nsw i32 %373, %379
%381 = add nsw i32 %380, 2
%382 = ashr i32 %381, 2
%383 = load i32*, i32** %5
%384 = getelementptr inbounds i32, i32* %383, i64 14
store i32 %382, i32* %384
%385 = load i32*, i32** %6
%386 = getelementptr inbounds i32, i32* %385, i64 15
%387 = load i32, i32* %386
%388 = load i32*, i32** %6
%389 = getelementptr inbounds i32, i32* %388, i64 16
%390 = load i32, i32* %389
%391 = add nsw i32 %387, %390
%392 = load i32*, i32** %6
%393 = load i32, i32* %7
%394 = sext i32 %393 to i64
%395 = getelementptr inbounds i32, i32* %392, i64 %394
%396 = getelementptr inbounds i32, i32* %395, i64 15
%397 = load i32, i32* %396
%398 = add nsw i32 %391, %397
%399 = load i32*, i32** %6
%400 = load i32, i32* %7
%401 = sext i32 %400 to i64
%402 = getelementptr inbounds i32, i32* %399, i64 %401
%403 = getelementptr inbounds i32, i32* %402, i64 16
%404 = load i32, i32* %403
%405 = add nsw i32 %398, %404
%406 = add nsw i32 %405, 2
%407 = ashr i32 %406, 2
%408 = load i32*, i32** %5
%409 = getelementptr inbounds i32, i32* %408, i64 15
store i32 %407, i32* %409
%410 = load i32, i32* %7
%411 = load i32*, i32** %6
%412 = sext i32 %410 to i64
%413 = getelementptr inbounds i32, i32* %411, i64 %412
store i32* %413, i32** %6
%414 = load i32, i32* %7
%415 = load i32*, i32** %5
%416 = sext i32 %414 to i64
%417 = getelementptr inbounds i32, i32* %415, i64 %416
store i32* %417, i32** %5
br label %418
418: ; preds = %9
%419 = load i32, i32* %8
%420 = add nsw i32 %419, -1
store i32 %420, i32* %8
%421 = icmp ne i32 %420, 0
br i1 %421, label %9, label %422
422: ; preds = %418
ret void
}

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