#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 uint32_t;
typedef int int16_t;

/* Variables and functions */
void audio_out_resample_4channel(int16_t *input_samples, uint32_t in_samples,
                                 int16_t *output_samples,
                                 uint32_t out_samples) {
  int osample;
  uint32_t isample = 0;
  uint32_t istep = ((in_samples - 2) << 16) / (out_samples - 2);
  for (osample = 0; osample < out_samples - 1; osample++) {
    int s1;
    int s2;
    int16_t os;
    uint32_t t = isample & 0xffff;
    s1 = input_samples[(isample >> 16) * 4];
    s2 = input_samples[(isample >> 16) * 4 + 4];
    os = (s1 * (0x10000 - t) + s2 * t) >> 16;
    output_samples[osample * 4] = os;
    s1 = input_samples[(isample >> 16) * 4 + 1];
    s2 = input_samples[(isample >> 16) * 4 + 5];
    os = (s1 * (0x10000 - t) + s2 * t) >> 16;
    output_samples[(osample * 4) + 1] = os;
    s1 = input_samples[(isample >> 16) * 4 + 2];
    s2 = input_samples[(isample >> 16) * 4 + 6];
    os = (s1 * (0x10000 - t) + s2 * t) >> 16;
    output_samples[(osample * 4) + 2] = os;
    s1 = input_samples[(isample >> 16) * 4 + 3];
    s2 = input_samples[(isample >> 16) * 4 + 7];
    os = (s1 * (0x10000 - t) + s2 * t) >> 16;
    output_samples[(osample * 4) + 3] = os;
    isample += istep;
  }
  output_samples[out_samples * 4 - 4] = input_samples[in_samples * 4 - 4];
  output_samples[out_samples * 4 - 3] = input_samples[in_samples * 4 - 3];
  output_samples[out_samples * 4 - 2] = input_samples[in_samples * 4 - 2];
  output_samples[out_samples * 4 - 1] = input_samples[in_samples * 4 - 1];
}


x86 assembly (clang, -O0):
<audio_out_resample_4channel>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x2,%eax
shl    $0x10,%eax
mov    -0x1c(%rbp),%ecx
sub    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12f6 <audio_out_resample_4channel+0x1f6>
mov    -0x24(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
shl    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
shl    $0x2,%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
mov    $0x10000,%ecx
sub    -0x38(%rbp),%ecx
imul   %ecx,%eax
mov    -0x30(%rbp),%ecx
imul   -0x38(%rbp),%ecx
add    %ecx,%eax
sar    $0x10,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edx
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
shl    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
shl    $0x2,%ecx
add    $0x5,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
mov    $0x10000,%ecx
sub    -0x38(%rbp),%ecx
imul   %ecx,%eax
mov    -0x30(%rbp),%ecx
imul   -0x38(%rbp),%ecx
add    %ecx,%eax
sar    $0x10,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edx
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
shl    $0x2,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
shl    $0x2,%ecx
add    $0x6,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
mov    $0x10000,%ecx
sub    -0x38(%rbp),%ecx
imul   %ecx,%eax
mov    -0x30(%rbp),%ecx
imul   -0x38(%rbp),%ecx
add    %ecx,%eax
sar    $0x10,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edx
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
shl    $0x2,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
shl    $0x2,%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sar    $0x10,%ecx
shl    $0x2,%ecx
add    $0x7,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
mov    $0x10000,%ecx
sub    -0x38(%rbp),%ecx
imul   %ecx,%eax
mov    -0x30(%rbp),%ecx
imul   -0x38(%rbp),%ecx
add    %ecx,%eax
sar    $0x10,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edx
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
shl    $0x2,%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1135 <audio_out_resample_4channel+0x35>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x2,%ecx
sub    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x2,%ecx
sub    $0x4,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x2,%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x2,%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x2,%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x2,%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x2,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x2,%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<audio_out_resample_4channel>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdx,%r8
mov    %esi,%eax
shl    $0x10,%eax
add    $0xfffe0000,%eax
lea    -0x2(%rcx),%ebp
cltd
idiv   %ebp
cmp    $0x2,%ecx
jl     11e3 <audio_out_resample_4channel+0xe3>
lea    -0x1(%rcx),%r9d
shl    $0x4,%r9
xor    %r11d,%r11d
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzwl %r10w,%edx
mov    %r10d,%r14d
sar    $0xe,%r14d
mov    %r14d,%ebx
and    $0xfffffffc,%ebx
movslq %ebx,%r15
mov    $0x10000,%r12d
sub    %edx,%r12d
mov    (%rdi,%r15,4),%ebp
imul   %r12d,%ebp
mov    0x10(%rdi,%r15,4),%ebx
imul   %edx,%ebx
add    %ebp,%ebx
sar    $0x10,%ebx
mov    %ebx,(%r8,%r11,1)
lea    0x1(%r15),%ebx
movslq %ebx,%rbx
mov    (%rdi,%rbx,4),%ebx
imul   %r12d,%ebx
mov    0x14(%rdi,%r15,4),%ebp
imul   %edx,%ebp
add    %ebx,%ebp
sar    $0x10,%ebp
mov    %ebp,0x4(%r8,%r11,1)
lea    0x2(%r15),%ebx
movslq %ebx,%rbx
mov    (%rdi,%rbx,4),%ebx
imul   %r12d,%ebx
mov    0x18(%rdi,%r15,4),%ebp
imul   %edx,%ebp
add    %ebx,%ebp
sar    $0x10,%ebp
mov    %ebp,0x8(%r8,%r11,1)
or     $0x3,%r14d
movslq %r14d,%rbx
imul   (%rdi,%rbx,4),%r12d
imul   0x1c(%rdi,%r15,4),%edx
add    %r12d,%edx
sar    $0x10,%edx
mov    %edx,0xc(%r8,%r11,1)
add    %eax,%r10d
add    $0x10,%r11
cmp    %r11,%r9
jne    1140 <audio_out_resample_4channel+0x40>
shl    $0x2,%esi
movslq %esi,%rax
mov    -0x10(%rdi,%rax,4),%edx
shl    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,-0x10(%r8,%rcx,4)
mov    -0xc(%rdi,%rax,4),%edx
mov    %edx,-0xc(%r8,%rcx,4)
mov    -0x8(%rdi,%rax,4),%edx
mov    %edx,-0x8(%r8,%rcx,4)
mov    -0x4(%rdi,%rax,4),%eax
mov    %eax,-0x4(%r8,%rcx,4)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @audio_out_resample_4channel(i32* nocapture %0, i32 %1, i32* nocapture writeonly %2, i32 %3) {
%5 = shl i32 %1, 16
%6 = add i32 %5, -131072
%7 = add nsw i32 %3, -2
%8 = sdiv i32 %6, %7
%9 = icmp sgt i32 %3, 1
br i1 %9, label %10, label %78
10: ; preds = %4
%11 = add nsw i32 %3, -1
%12 = zext i32 %11 to i64
br label %13
13: ; preds = %10, %13
%14 = phi i64 [ 0, %10 ], [ %76, %13 ]
%15 = phi i32 [ 0, %10 ], [ %75, %13 ]
%16 = and i32 %15, 65535
%17 = ashr i32 %15, 14
%18 = and i32 %17, -4
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %0, i64 %19
%21 = load i32, i32* %20
%22 = add nsw i32 %18, 4
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %0, i64 %23
%25 = load i32, i32* %24
%26 = sub nuw nsw i32 65536, %16
%27 = mul nsw i32 %21, %26
%28 = mul nsw i32 %25, %16
%29 = add nsw i32 %28, %27
%30 = ashr i32 %29, 16
%31 = shl nsw i64 %14, 2
%32 = getelementptr inbounds i32, i32* %2, i64 %31
store i32 %30, i32* %32
%33 = or i32 %18, 1
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i32, i32* %0, i64 %34
%36 = load i32, i32* %35
%37 = add nsw i32 %18, 5
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %0, i64 %38
%40 = load i32, i32* %39
%41 = mul nsw i32 %36, %26
%42 = mul nsw i32 %40, %16
%43 = add nsw i32 %42, %41
%44 = ashr i32 %43, 16
%45 = or i64 %31, 1
%46 = getelementptr inbounds i32, i32* %2, i64 %45
store i32 %44, i32* %46
%47 = or i32 %18, 2
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %0, i64 %48
%50 = load i32, i32* %49
%51 = add nsw i32 %18, 6
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %0, i64 %52
%54 = load i32, i32* %53
%55 = mul nsw i32 %50, %26
%56 = mul nsw i32 %54, %16
%57 = add nsw i32 %56, %55
%58 = ashr i32 %57, 16
%59 = or i64 %31, 2
%60 = getelementptr inbounds i32, i32* %2, i64 %59
store i32 %58, i32* %60
%61 = or i32 %17, 3
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i32, i32* %0, i64 %62
%64 = load i32, i32* %63
%65 = add nsw i32 %18, 7
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %0, i64 %66
%68 = load i32, i32* %67
%69 = mul nsw i32 %64, %26
%70 = mul nsw i32 %68, %16
%71 = add nsw i32 %70, %69
%72 = ashr i32 %71, 16
%73 = or i64 %31, 3
%74 = getelementptr inbounds i32, i32* %2, i64 %73
store i32 %72, i32* %74
%75 = add nsw i32 %15, %8
%76 = add nuw nsw i64 %14, 1
%77 = icmp eq i64 %76, %12
br i1 %77, label %78, label %13
78: ; preds = %13, %4
%79 = shl nsw i32 %1, 2
%80 = add nsw i32 %79, -4
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %0, i64 %81
%83 = load i32, i32* %82
%84 = shl nsw i32 %3, 2
%85 = add nsw i32 %84, -4
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i32, i32* %2, i64 %86
store i32 %83, i32* %87
%88 = add nsw i32 %79, -3
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %0, i64 %89
%91 = load i32, i32* %90
%92 = add nsw i32 %84, -3
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %2, i64 %93
store i32 %91, i32* %94
%95 = add nsw i32 %79, -2
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i32, i32* %0, i64 %96
%98 = load i32, i32* %97
%99 = add nsw i32 %84, -2
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i32, i32* %2, i64 %100
store i32 %98, i32* %101
%102 = add nsw i32 %79, -1
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %0, i64 %103
%105 = load i32, i32* %104
%106 = add nsw i32 %84, -1
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds i32, i32* %2, i64 %107
store i32 %105, i32* %108
ret void
}