#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 */

/* Variables and functions */
int /*<<< orphan*/ abort();
void foo(short *__restrict__ dst, short *__restrict__ src, int h, int stride,
         int dummy) {
  int i;
  h /= 16;
  for (i = 0; i < h; i++) {
    dst[0] += 3 * src[0] + src[stride];
    dst[1] += 3 * src[1] + src[1 + stride];
    dst[2] += 3 * src[2] + src[2 + stride];
    dst[3] += 3 * src[3] + src[3 + stride];
    dst[4] += 3 * src[4] + src[4 + stride];
    dst[5] += 3 * src[5] + src[5 + stride];
    dst[6] += 3 * src[6] + src[6 + stride];
    dst[7] += 3 * src[7] + src[7 + stride];
    dst += 8;
    src += 8;
    if (dummy == 32)
      abort();
  }
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12df <foo+0x1cf>
mov    -0x10(%rbp),%rax
movswl (%rax),%eax
imul   $0x3,%eax,%edx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
add    %eax,%edx
mov    -0x8(%rbp),%rax
movswl (%rax),%ecx
add    %edx,%ecx
mov    %cx,(%rax)
mov    -0x10(%rbp),%rax
movswl 0x2(%rax),%eax
imul   $0x3,%eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
add    %eax,%edx
mov    -0x8(%rbp),%rax
movswl 0x2(%rax),%ecx
add    %edx,%ecx
mov    %cx,0x2(%rax)
mov    -0x10(%rbp),%rax
movswl 0x4(%rax),%eax
imul   $0x3,%eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
add    %eax,%edx
mov    -0x8(%rbp),%rax
movswl 0x4(%rax),%ecx
add    %edx,%ecx
mov    %cx,0x4(%rax)
mov    -0x10(%rbp),%rax
movswl 0x6(%rax),%eax
imul   $0x3,%eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
add    %eax,%edx
mov    -0x8(%rbp),%rax
movswl 0x6(%rax),%ecx
add    %edx,%ecx
mov    %cx,0x6(%rax)
mov    -0x10(%rbp),%rax
movswl 0x8(%rax),%eax
imul   $0x3,%eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
add    %eax,%edx
mov    -0x8(%rbp),%rax
movswl 0x8(%rax),%ecx
add    %edx,%ecx
mov    %cx,0x8(%rax)
mov    -0x10(%rbp),%rax
movswl 0xa(%rax),%eax
imul   $0x3,%eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
add    %eax,%edx
mov    -0x8(%rbp),%rax
movswl 0xa(%rax),%ecx
add    %edx,%ecx
mov    %cx,0xa(%rax)
mov    -0x10(%rbp),%rax
movswl 0xc(%rax),%eax
imul   $0x3,%eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
add    %eax,%edx
mov    -0x8(%rbp),%rax
movswl 0xc(%rax),%ecx
add    %edx,%ecx
mov    %cx,0xc(%rax)
mov    -0x10(%rbp),%rax
movswl 0xe(%rax),%eax
imul   $0x3,%eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x7,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
add    %eax,%edx
mov    -0x8(%rbp),%rax
movswl 0xe(%rax),%ecx
add    %edx,%ecx
mov    %cx,0xe(%rax)
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x20,-0x1c(%rbp)
jne    12cc <foo+0x1bc>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    12d1 <foo+0x1c1>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    113f <foo+0x2f>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rax
lea    0xf(%rdx),%r9d
test   %edx,%edx
cmovns %edx,%r9d
cmp    $0x10,%edx
jl     11d2 <foo+0xc2>
sar    $0x4,%r9d
movslq %ecx,%rcx
lea    (%rsi,%rcx,2),%rcx
xor    %edx,%edx
movdqa 0xec7(%rip),%xmm0
nopl   0x0(%rax)
movdqu (%rsi,%rdx,1),%xmm1
pmullw %xmm0,%xmm1
movzwl 0xe(%rcx,%rdx,1),%eax
movd   %eax,%xmm2
movzwl 0xc(%rcx,%rdx,1),%eax
movd   %eax,%xmm3
punpcklwd %xmm2,%xmm3
movzwl 0xa(%rcx,%rdx,1),%eax
movd   %eax,%xmm2
movzwl 0x8(%rcx,%rdx,1),%eax
movd   %eax,%xmm4
punpcklwd %xmm2,%xmm4
punpckldq %xmm3,%xmm4
movzwl 0x6(%rcx,%rdx,1),%eax
movd   %eax,%xmm2
movzwl 0x4(%rcx,%rdx,1),%eax
movd   %eax,%xmm3
punpcklwd %xmm2,%xmm3
movzwl 0x2(%rcx,%rdx,1),%eax
movd   %eax,%xmm2
movzwl (%rcx,%rdx,1),%eax
movd   %eax,%xmm5
punpcklwd %xmm2,%xmm5
punpckldq %xmm3,%xmm5
punpcklqdq %xmm4,%xmm5
movdqu (%rdi,%rdx,1),%xmm2
paddw  %xmm5,%xmm2
paddw  %xmm1,%xmm2
movdqu %xmm2,(%rdi,%rdx,1)
cmp    $0x20,%r8d
je     11d4 <foo+0xc4>
add    $0x10,%rdx
add    $0xffffffff,%r9d
jne    1140 <foo+0x30>
pop    %rax
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

LLVM IR (-O2):
define void @foo(i16* noalias nocapture %0, i16* noalias nocapture %1, i32 %2, i32 %3, i32 %4) {
%6 = sdiv i32 %2, 16
%7 = icmp sgt i32 %2, 15
br i1 %7, label %8, label %68
8: ; preds = %5
%9 = sext i32 %3 to i64
%10 = add nsw i32 %3, 1
%11 = sext i32 %10 to i64
%12 = add nsw i32 %3, 2
%13 = sext i32 %12 to i64
%14 = add nsw i32 %3, 3
%15 = sext i32 %14 to i64
%16 = add nsw i32 %3, 4
%17 = sext i32 %16 to i64
%18 = add nsw i32 %3, 5
%19 = sext i32 %18 to i64
%20 = add nsw i32 %3, 6
%21 = sext i32 %20 to i64
%22 = add nsw i32 %3, 7
%23 = sext i32 %22 to i64
%24 = icmp eq i32 %4, 32
br label %25
25: ; preds = %8, %63
%26 = phi i32 [ 0, %8 ], [ %66, %63 ]
%27 = phi i16* [ %0, %8 ], [ %65, %63 ]
%28 = phi i16* [ %1, %8 ], [ %64, %63 ]
%29 = getelementptr inbounds i16, i16* %28, i64 %9
%30 = load i16, i16* %29
%31 = getelementptr inbounds i16, i16* %28, i64 %11
%32 = load i16, i16* %31
%33 = getelementptr inbounds i16, i16* %28, i64 %13
%34 = load i16, i16* %33
%35 = getelementptr inbounds i16, i16* %28, i64 %15
%36 = load i16, i16* %35
%37 = getelementptr inbounds i16, i16* %28, i64 %17
%38 = load i16, i16* %37
%39 = getelementptr inbounds i16, i16* %28, i64 %19
%40 = load i16, i16* %39
%41 = getelementptr inbounds i16, i16* %28, i64 %21
%42 = load i16, i16* %41
%43 = bitcast i16* %28 to <8 x i16>*
%44 = load <8 x i16>, <8 x i16>* %43
%45 = mul <8 x i16> %44, <i16 3, i16 3, i16 3, i16 3, i16 3, i16 3, i16 3, i16 3>
%46 = getelementptr inbounds i16, i16* %28, i64 %23
%47 = load i16, i16* %46
%48 = insertelement <8 x i16> poison, i16 %30, i64 0
%49 = insertelement <8 x i16> %48, i16 %32, i64 1
%50 = insertelement <8 x i16> %49, i16 %34, i64 2
%51 = insertelement <8 x i16> %50, i16 %36, i64 3
%52 = insertelement <8 x i16> %51, i16 %38, i64 4
%53 = insertelement <8 x i16> %52, i16 %40, i64 5
%54 = insertelement <8 x i16> %53, i16 %42, i64 6
%55 = insertelement <8 x i16> %54, i16 %47, i64 7
%56 = add <8 x i16> %45, %55
%57 = bitcast i16* %27 to <8 x i16>*
%58 = load <8 x i16>, <8 x i16>* %57
%59 = add <8 x i16> %56, %58
%60 = bitcast i16* %27 to <8 x i16>*
store <8 x i16> %59, <8 x i16>* %60
br i1 %24, label %61, label %63
61: ; preds = %25
%62 = tail call i32 (...) @abort()
unreachable
63: ; preds = %25
%64 = getelementptr inbounds i16, i16* %28, i64 8
%65 = getelementptr inbounds i16, i16* %27, i64 8
%66 = add nuw nsw i32 %26, 1
%67 = icmp eq i32 %66, %6
br i1 %67, label %68, label %25
68: ; preds = %63, %5
ret void
}