#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 int16_t;

/* Variables and functions */
void taa_h264_inverse_hadamard_4x4(int16_t *coeff, int16_t *block) {
  int tmp0, tmp1, tmp2, tmp3;
  for (int i = 0; i < 4; i++) {
    tmp0 = coeff[i * 4 + 0] + coeff[i * 4 + 2];
    tmp1 = coeff[i * 4 + 0] - coeff[i * 4 + 2];
    tmp2 = coeff[i * 4 + 1] - coeff[i * 4 + 3];
    tmp3 = coeff[i * 4 + 1] + coeff[i * 4 + 3];
    block[i * 4 + 0] = (int16_t)(tmp0 + tmp3);
    block[i * 4 + 1] = (int16_t)(tmp1 + tmp2);
    block[i * 4 + 2] = (int16_t)(tmp1 - tmp2);
    block[i * 4 + 3] = (int16_t)(tmp0 - tmp3);
  }
  for (int i = 0; i < 4; i++) {
    tmp0 = block[0 * 4 + i] + block[2 * 4 + i];
    tmp1 = block[0 * 4 + i] - block[2 * 4 + i];
    tmp2 = block[1 * 4 + i] - block[3 * 4 + i];
    tmp3 = block[1 * 4 + i] + block[3 * 4 + i];
    block[0 * 4 + i] = (int16_t)(tmp0 + tmp3);
    block[1 * 4 + i] = (int16_t)(tmp1 + tmp2);
    block[2 * 4 + i] = (int16_t)(tmp1 - tmp2);
    block[3 * 4 + i] = (int16_t)(tmp0 - tmp3);
  }
}


x86 assembly (clang, -O0):
<taa_h264_inverse_hadamard_4x4>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x4,-0x24(%rbp)
jge    1233 <taa_h264_inverse_hadamard_4x4+0x133>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x24(%rbp),%edx
shl    $0x2,%edx
add    $0x2,%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x24(%rbp),%edx
shl    $0x2,%edx
add    $0x2,%edx
movslq %edx,%rdx
sub    (%rcx,%rdx,4),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x24(%rbp),%edx
shl    $0x2,%edx
add    $0x3,%edx
movslq %edx,%rdx
sub    (%rcx,%rdx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x24(%rbp),%edx
shl    $0x2,%edx
add    $0x3,%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x14(%rbp),%edx
add    -0x20(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
add    -0x1c(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
sub    -0x1c(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%edx
sub    -0x20(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1113 <taa_h264_inverse_hadamard_4x4+0x13>
movl   $0x0,-0x28(%rbp)
cmpl   $0x4,-0x28(%rbp)
jge    1336 <taa_h264_inverse_hadamard_4x4+0x236>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
add    $0x8,%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
add    $0x8,%edx
movslq %edx,%rdx
sub    (%rcx,%rdx,4),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
add    $0xc,%edx
movslq %edx,%rdx
sub    (%rcx,%rdx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
add    $0xc,%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x14(%rbp),%edx
add    -0x20(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
add    -0x1c(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
sub    -0x1c(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%edx
sub    -0x20(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0xc,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    123a <taa_h264_inverse_hadamard_4x4+0x13a>
pop    %rbp
ret

x86 assembly (clang, -O2):
<taa_h264_inverse_hadamard_4x4>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
movdqu (%rdi),%xmm1
pshufd $0x4e,%xmm1,%xmm0
movdqa %xmm1,%xmm2
paddd  %xmm0,%xmm2
psubd  %xmm0,%xmm1
movdqa %xmm2,%xmm3
shufps $0x1b,%xmm1,%xmm3
shufps $0x78,%xmm3,%xmm3
shufps $0xe4,%xmm2,%xmm1
shufps $0xd2,%xmm1,%xmm1
movaps %xmm3,%xmm0
paddd  %xmm1,%xmm0
psubd  %xmm1,%xmm3
movsd  %xmm0,%xmm3
movupd %xmm3,(%rsi)
mov    0x18(%rdi),%eax
mov    0x10(%rdi),%r10d
mov    0x14(%rdi),%ecx
lea    (%rax,%r10,1),%r11d
sub    %eax,%r10d
mov    0x1c(%rdi),%eax
mov    %ecx,%edx
sub    %eax,%edx
add    %ecx,%eax
lea    (%rax,%r11,1),%r14d
mov    %r14d,0x10(%rsi)
lea    (%rdx,%r10,1),%ecx
mov    %ecx,-0x4(%rsp)
mov    %ecx,0x14(%rsi)
sub    %edx,%r10d
mov    %r10d,0x18(%rsi)
sub    %eax,%r11d
mov    %r11d,0x1c(%rsi)
mov    0x28(%rdi),%eax
mov    0x20(%rdi),%edx
mov    0x24(%rdi),%ecx
lea    (%rax,%rdx,1),%r9d
sub    %eax,%edx
mov    0x2c(%rdi),%eax
mov    %ecx,%ebx
sub    %eax,%ebx
add    %ecx,%eax
lea    (%rax,%r9,1),%r12d
mov    %r12d,0x20(%rsi)
lea    (%rbx,%rdx,1),%r15d
mov    %r15d,0x24(%rsi)
sub    %ebx,%edx
mov    %edx,0x28(%rsi)
sub    %eax,%r9d
mov    %r9d,0x2c(%rsi)
mov    0x38(%rdi),%ebx
mov    0x30(%rdi),%ecx
mov    0x34(%rdi),%ebp
lea    (%rbx,%rcx,1),%r13d
sub    %ebx,%ecx
mov    0x3c(%rdi),%ebx
mov    %ebp,%eax
sub    %ebx,%eax
add    %ebp,%ebx
lea    (%rbx,%r13,1),%ebp
lea    (%rax,%rcx,1),%r8d
sub    %eax,%ecx
sub    %ebx,%r13d
movd   %xmm0,%eax
lea    (%r12,%rax,1),%ebx
sub    %r12d,%eax
mov    %r14d,%r12d
sub    %ebp,%r12d
add    %r14d,%ebp
lea    (%rbx,%rbp,1),%edi
mov    %edi,(%rsi)
lea    (%r12,%rax,1),%edi
mov    %edi,0x10(%rsi)
sub    %r12d,%eax
mov    %eax,0x20(%rsi)
sub    %ebp,%ebx
mov    %ebx,0x30(%rsi)
pshufd $0x55,%xmm0,%xmm0
movd   %xmm0,%eax
lea    (%r15,%rax,1),%edi
sub    %r15d,%eax
mov    -0x4(%rsp),%ebp
mov    %ebp,%ebx
sub    %r8d,%ebx
add    %ebp,%r8d
lea    (%r8,%rdi,1),%ebp
mov    %ebp,0x4(%rsi)
lea    (%rbx,%rax,1),%ebp
mov    %ebp,0x14(%rsi)
sub    %ebx,%eax
mov    %eax,0x24(%rsi)
sub    %r8d,%edi
mov    %edi,0x34(%rsi)
mov    0x8(%rsi),%eax
lea    (%rdx,%rax,1),%edi
sub    %edx,%eax
mov    %r10d,%edx
sub    %ecx,%edx
add    %r10d,%ecx
lea    (%rcx,%rdi,1),%ebp
mov    %ebp,0x8(%rsi)
lea    (%rdx,%rax,1),%ebp
mov    %ebp,0x18(%rsi)
sub    %edx,%eax
mov    %eax,0x28(%rsi)
sub    %ecx,%edi
mov    %edi,0x38(%rsi)
mov    0xc(%rsi),%eax
lea    (%r9,%rax,1),%ecx
sub    %r9d,%eax
mov    %r11d,%edx
sub    %r13d,%edx
add    %r11d,%r13d
lea    (%rcx,%r13,1),%edi
mov    %edi,0xc(%rsi)
lea    (%rdx,%rax,1),%edi
mov    %edi,0x1c(%rsi)
sub    %edx,%eax
mov    %eax,0x2c(%rsi)
sub    %r13d,%ecx
mov    %ecx,0x3c(%rsi)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @taa_h264_inverse_hadamard_4x4(i32* nocapture %0, i32* nocapture %1) {
%3 = bitcast i32* %0 to <4 x i32>*
%4 = load <4 x i32>, <4 x i32>* %3
%5 = shufflevector <4 x i32> %4, <4 x i32> undef, <4 x i32> <i32 2, i32 3, i32 0, i32 1>
%6 = add nsw <4 x i32> %4, %5
%7 = sub nsw <4 x i32> %4, %5
%8 = shufflevector <4 x i32> %6, <4 x i32> %7, <4 x i32> <i32 3, i32 5, i32 4, i32 2>
%9 = getelementptr inbounds i32, i32* %1, i64 1
%10 = getelementptr inbounds i32, i32* %1, i64 2
%11 = shufflevector <4 x i32> %7, <4 x i32> %6, <4 x i32> <i32 6, i32 0, i32 1, i32 7>
%12 = add nsw <4 x i32> %8, %11
%13 = sub nsw <4 x i32> %8, %11
%14 = shufflevector <4 x i32> %12, <4 x i32> %13, <4 x i32> <i32 0, i32 1, i32 6, i32 7>
%15 = getelementptr inbounds i32, i32* %1, i64 3
%16 = bitcast i32* %1 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %16
%17 = getelementptr inbounds i32, i32* %0, i64 4
%18 = load i32, i32* %17
%19 = getelementptr inbounds i32, i32* %0, i64 6
%20 = load i32, i32* %19
%21 = add nsw i32 %20, %18
%22 = sub nsw i32 %18, %20
%23 = getelementptr inbounds i32, i32* %0, i64 5
%24 = load i32, i32* %23
%25 = getelementptr inbounds i32, i32* %0, i64 7
%26 = load i32, i32* %25
%27 = sub nsw i32 %24, %26
%28 = add nsw i32 %26, %24
%29 = add nsw i32 %28, %21
%30 = getelementptr inbounds i32, i32* %1, i64 4
store i32 %29, i32* %30
%31 = add nsw i32 %27, %22
%32 = getelementptr inbounds i32, i32* %1, i64 5
store i32 %31, i32* %32
%33 = sub nsw i32 %22, %27
%34 = getelementptr inbounds i32, i32* %1, i64 6
store i32 %33, i32* %34
%35 = sub nsw i32 %21, %28
%36 = getelementptr inbounds i32, i32* %1, i64 7
store i32 %35, i32* %36
%37 = getelementptr inbounds i32, i32* %0, i64 8
%38 = load i32, i32* %37
%39 = getelementptr inbounds i32, i32* %0, i64 10
%40 = load i32, i32* %39
%41 = add nsw i32 %40, %38
%42 = sub nsw i32 %38, %40
%43 = getelementptr inbounds i32, i32* %0, i64 9
%44 = load i32, i32* %43
%45 = getelementptr inbounds i32, i32* %0, i64 11
%46 = load i32, i32* %45
%47 = sub nsw i32 %44, %46
%48 = add nsw i32 %46, %44
%49 = add nsw i32 %48, %41
%50 = getelementptr inbounds i32, i32* %1, i64 8
store i32 %49, i32* %50
%51 = add nsw i32 %47, %42
%52 = getelementptr inbounds i32, i32* %1, i64 9
store i32 %51, i32* %52
%53 = sub nsw i32 %42, %47
%54 = getelementptr inbounds i32, i32* %1, i64 10
store i32 %53, i32* %54
%55 = sub nsw i32 %41, %48
%56 = getelementptr inbounds i32, i32* %1, i64 11
store i32 %55, i32* %56
%57 = getelementptr inbounds i32, i32* %0, i64 12
%58 = load i32, i32* %57
%59 = getelementptr inbounds i32, i32* %0, i64 14
%60 = load i32, i32* %59
%61 = add nsw i32 %60, %58
%62 = sub nsw i32 %58, %60
%63 = getelementptr inbounds i32, i32* %0, i64 13
%64 = load i32, i32* %63
%65 = getelementptr inbounds i32, i32* %0, i64 15
%66 = load i32, i32* %65
%67 = sub nsw i32 %64, %66
%68 = add nsw i32 %66, %64
%69 = add nsw i32 %68, %61
%70 = getelementptr inbounds i32, i32* %1, i64 12
%71 = add nsw i32 %67, %62
%72 = getelementptr inbounds i32, i32* %1, i64 13
%73 = sub nsw i32 %62, %67
%74 = getelementptr inbounds i32, i32* %1, i64 14
%75 = sub nsw i32 %61, %68
%76 = getelementptr inbounds i32, i32* %1, i64 15
%77 = extractelement <4 x i32> %12, i64 0
%78 = add nsw i32 %49, %77
%79 = sub nsw i32 %77, %49
%80 = sub nsw i32 %29, %69
%81 = add nsw i32 %69, %29
%82 = add nsw i32 %81, %78
store i32 %82, i32* %1
%83 = add nsw i32 %80, %79
store i32 %83, i32* %30
%84 = sub nsw i32 %79, %80
store i32 %84, i32* %50
%85 = sub nsw i32 %78, %81
store i32 %85, i32* %70
%86 = extractelement <4 x i32> %12, i64 1
%87 = add nsw i32 %51, %86
%88 = sub nsw i32 %86, %51
%89 = sub nsw i32 %31, %71
%90 = add nsw i32 %71, %31
%91 = add nsw i32 %90, %87
store i32 %91, i32* %9
%92 = add nsw i32 %89, %88
store i32 %92, i32* %32
%93 = sub nsw i32 %88, %89
store i32 %93, i32* %52
%94 = sub nsw i32 %87, %90
store i32 %94, i32* %72
%95 = load i32, i32* %10
%96 = add nsw i32 %53, %95
%97 = sub nsw i32 %95, %53
%98 = sub nsw i32 %33, %73
%99 = add nsw i32 %73, %33
%100 = add nsw i32 %99, %96
store i32 %100, i32* %10
%101 = add nsw i32 %98, %97
store i32 %101, i32* %34
%102 = sub nsw i32 %97, %98
store i32 %102, i32* %54
%103 = sub nsw i32 %96, %99
store i32 %103, i32* %74
%104 = load i32, i32* %15
%105 = add nsw i32 %55, %104
%106 = sub nsw i32 %104, %55
%107 = sub nsw i32 %35, %75
%108 = add nsw i32 %75, %35
%109 = add nsw i32 %108, %105
store i32 %109, i32* %15
%110 = add nsw i32 %107, %106
store i32 %110, i32* %36
%111 = sub nsw i32 %106, %107
store i32 %111, i32* %56
%112 = sub nsw i32 %105, %108
store i32 %112, i32* %76
ret void
}