int foo(int *diff) {
  int k, satd = 0, m[16], d[16];
  m[0] = diff[0] + diff[12];
  m[4] = diff[4] + diff[8];
  m[8] = diff[4] - diff[8];
  m[12] = diff[0] - diff[12];
  m[1] = diff[1] + diff[13];
  m[5] = diff[5] + diff[9];
  m[9] = diff[5] - diff[9];
  m[13] = diff[1] - diff[13];
  m[2] = diff[2] + diff[14];
  m[6] = diff[6] + diff[10];
  m[10] = diff[6] - diff[10];
  m[14] = diff[2] - diff[14];
  m[3] = diff[3] + diff[15];
  m[7] = diff[7] + diff[11];
  m[11] = diff[7] - diff[11];
  m[15] = diff[3] - diff[15];
  d[0] = m[0] + m[4];
  d[8] = m[0] - m[4];
  d[4] = m[8] + m[12];
  d[12] = m[12] - m[8];
  d[1] = m[1] + m[5];
  d[9] = m[1] - m[5];
  d[5] = m[9] + m[13];
  d[13] = m[13] - m[9];
  d[2] = m[2] + m[6];
  d[10] = m[2] - m[6];
  d[6] = m[10] + m[14];
  d[14] = m[14] - m[10];
  d[3] = m[3] + m[7];
  d[11] = m[3] - m[7];
  d[7] = m[11] + m[15];
  d[15] = m[15] - m[11];
  m[0] = d[0] + d[3];
  m[1] = d[1] + d[2];
  m[2] = d[1] - d[2];
  m[3] = d[0] - d[3];
  m[4] = d[4] + d[7];
  m[5] = d[5] + d[6];
  m[6] = d[5] - d[6];
  m[7] = d[4] - d[7];
  m[8] = d[8] + d[11];
  m[9] = d[9] + d[10];
  m[10] = d[9] - d[10];
  m[11] = d[8] - d[11];
  m[12] = d[12] + d[15];
  m[13] = d[13] + d[14];
  m[14] = d[13] - d[14];
  m[15] = d[12] - d[15];
  d[0] = m[0] + m[1];
  d[1] = m[0] - m[1];
  d[2] = m[2] + m[3];
  d[3] = m[3] - m[2];
  d[4] = m[4] + m[5];
  d[5] = m[4] - m[5];
  d[6] = m[6] + m[7];
  d[7] = m[7] - m[6];
  d[8] = m[8] + m[9];
  d[9] = m[8] - m[9];
  d[10] = m[10] + m[11];
  d[11] = m[11] - m[10];
  d[12] = m[12] + m[13];
  d[13] = m[12] - m[13];
  d[14] = m[14] + m[15];
  d[15] = m[15] - m[14];
  for (k = 0; k < 16; k++)
    satd += (d[k]) < 0 ? -(d[k]) : (d[k]);
  return satd;
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
add    0x30(%rcx),%eax
mov    %eax,-0x50(%rbp)
mov    -0x8(%rbp),%rax
mov    0x10(%rax),%eax
mov    -0x8(%rbp),%rcx
add    0x20(%rcx),%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    0x10(%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x20(%rcx),%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x30(%rcx),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x8(%rbp),%rcx
add    0x34(%rcx),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x14(%rax),%eax
mov    -0x8(%rbp),%rcx
add    0x24(%rcx),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x14(%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x24(%rcx),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x34(%rcx),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x8(%rbp),%rcx
add    0x38(%rcx),%eax
mov    %eax,-0x48(%rbp)
mov    -0x8(%rbp),%rax
mov    0x18(%rax),%eax
mov    -0x8(%rbp),%rcx
add    0x28(%rcx),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    0x18(%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x28(%rcx),%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x38(%rcx),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x8(%rbp),%rcx
add    0x3c(%rcx),%eax
mov    %eax,-0x44(%rbp)
mov    -0x8(%rbp),%rax
mov    0x1c(%rax),%eax
mov    -0x8(%rbp),%rcx
add    0x2c(%rcx),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
mov    0x1c(%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x2c(%rcx),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x8(%rbp),%rcx
sub    0x3c(%rcx),%eax
mov    %eax,-0x14(%rbp)
mov    -0x50(%rbp),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x50(%rbp),%eax
sub    -0x40(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x30(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x20(%rbp),%eax
sub    -0x30(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x4c(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x1c(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x48(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x48(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x28(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x44(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x44(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x24(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x14(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x90(%rbp),%eax
add    -0x84(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x8c(%rbp),%eax
add    -0x88(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x8c(%rbp),%eax
sub    -0x88(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x90(%rbp),%eax
sub    -0x84(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x80(%rbp),%eax
add    -0x74(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x7c(%rbp),%eax
add    -0x78(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x7c(%rbp),%eax
sub    -0x78(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x80(%rbp),%eax
sub    -0x74(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x70(%rbp),%eax
add    -0x64(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x6c(%rbp),%eax
add    -0x68(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x6c(%rbp),%eax
sub    -0x68(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x70(%rbp),%eax
sub    -0x64(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x60(%rbp),%eax
add    -0x54(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x5c(%rbp),%eax
add    -0x58(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x5c(%rbp),%eax
sub    -0x58(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x60(%rbp),%eax
sub    -0x54(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x50(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x90(%rbp)
mov    -0x50(%rbp),%eax
sub    -0x4c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
mov    -0x48(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x88(%rbp)
mov    -0x44(%rbp),%eax
sub    -0x48(%rbp),%eax
mov    %eax,-0x84(%rbp)
mov    -0x40(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x40(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x38(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x34(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x30(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x30(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x20(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x20(%rbp),%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x18(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
mov    %eax,-0x54(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x10,-0xc(%rbp)
jge    1467 <foo+0x367>
movslq -0xc(%rbp),%rax
cmpl   $0x0,-0x90(%rbp,%rax,4)
jge    143c <foo+0x33c>
movslq -0xc(%rbp),%rcx
xor    %eax,%eax
sub    -0x90(%rbp,%rcx,4),%eax
mov    %eax,-0x94(%rbp)
jmp    144d <foo+0x34d>
movslq -0xc(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%eax
mov    %eax,-0x94(%rbp)
mov    -0x94(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1408 <foo+0x308>
mov    -0x10(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    0x30(%rdi),%eax
mov    (%rdi),%r11d
mov    0x4(%rdi),%edx
lea    (%rax,%r11,1),%r9d
mov    0x10(%rdi),%ecx
mov    0x20(%rdi),%esi
lea    (%rsi,%rcx,1),%r8d
sub    %esi,%ecx
sub    %eax,%r11d
mov    0x34(%rdi),%eax
lea    (%rax,%rdx,1),%r12d
mov    0x14(%rdi),%r10d
mov    0x24(%rdi),%esi
lea    (%rsi,%r10,1),%ebx
mov    %rbx,-0x28(%rsp)
sub    %esi,%r10d
sub    %eax,%edx
mov    0x8(%rdi),%esi
mov    0x38(%rdi),%eax
lea    (%rax,%rsi,1),%r15d
mov    0x18(%rdi),%r14d
mov    0x28(%rdi),%ebp
lea    (%r14,%rbp,1),%ebx
mov    %rbx,-0x30(%rsp)
sub    %ebp,%r14d
sub    %eax,%esi
mov    0x1c(%rdi),%eax
mov    0x2c(%rdi),%ebx
lea    (%rbx,%rax,1),%ebp
mov    %rbp,-0x8(%rsp)
sub    %ebx,%eax
mov    0xc(%rdi),%ebx
mov    0x3c(%rdi),%edi
lea    (%rdi,%rbx,1),%ebp
sub    %edi,%ebx
lea    (%r8,%r9,1),%r13d
sub    %r8d,%r9d
mov    %r9,-0x20(%rsp)
lea    (%rcx,%r11,1),%edi
mov    %rdi,-0x18(%rsp)
sub    %ecx,%r11d
mov    %r11,-0x10(%rsp)
mov    -0x28(%rsp),%rcx
lea    (%rcx,%r12,1),%edi
sub    %ecx,%r12d
lea    (%r10,%rdx,1),%r11d
sub    %r10d,%edx
mov    -0x30(%rsp),%rcx
lea    (%rcx,%r15,1),%r10d
sub    %ecx,%r15d
lea    (%r14,%rsi,1),%r9d
sub    %r14d,%esi
mov    -0x8(%rsp),%rcx
lea    (%rcx,%rbp,1),%r14d
sub    %ecx,%ebp
lea    (%rax,%rbx,1),%ecx
sub    %eax,%ebx
lea    (%r10,%rdi,1),%eax
mov    %rax,-0x30(%rsp)
sub    %r10d,%edi
lea    (%r14,%r13,1),%r8d
sub    %r14d,%r13d
lea    (%r9,%r11,1),%r10d
sub    %r9d,%r11d
mov    -0x18(%rsp),%r9
lea    (%rcx,%r9,1),%r14d
sub    %ecx,%r9d
lea    (%r15,%r12,1),%ecx
mov    %rcx,-0x28(%rsp)
sub    %r15d,%r12d
mov    -0x20(%rsp),%rcx
lea    (%rcx,%rbp,1),%eax
mov    %rax,-0x18(%rsp)
sub    %ebp,%ecx
mov    %rcx,%rbp
lea    (%rsi,%rdx,1),%ecx
sub    %esi,%edx
mov    -0x10(%rsp),%rsi
lea    (%rbx,%rsi,1),%eax
mov    %rax,-0x20(%rsp)
sub    %ebx,%esi
mov    %rsi,-0x10(%rsp)
mov    -0x30(%rsp),%rax
lea    (%r8,%rax,1),%esi
sub    %eax,%r8d
lea    (%rdi,%r13,1),%ebx
sub    %edi,%r13d
lea    (%r14,%r10,1),%r15d
sub    %r10d,%r14d
lea    (%r9,%r11,1),%r10d
sub    %r11d,%r9d
mov    -0x18(%rsp),%rax
mov    -0x28(%rsp),%r11
lea    (%rax,%r11,1),%edi
mov    %edi,-0x30(%rsp)
sub    %r11d,%eax
mov    %rax,-0x18(%rsp)
lea    (%r12,%rbp,1),%eax
mov    %eax,-0x28(%rsp)
sub    %r12d,%ebp
mov    -0x20(%rsp),%r11
lea    (%r11,%rcx,1),%r12d
sub    %ecx,%r11d
mov    -0x10(%rsp),%rdi
lea    (%rdi,%rdx,1),%eax
mov    %eax,-0x20(%rsp)
sub    %edx,%edi
mov    %esi,%edx
neg    %edx
cmovs  %esi,%edx
mov    %r8d,%esi
neg    %esi
cmovs  %r8d,%esi
add    %edx,%esi
mov    %ebx,%eax
neg    %eax
cmovs  %ebx,%eax
add    %esi,%eax
mov    %r13d,%edx
neg    %edx
cmovs  %r13d,%edx
add    %eax,%edx
mov    %r15d,%eax
neg    %eax
cmovs  %r15d,%eax
add    %edx,%eax
mov    %r14d,%edx
neg    %edx
cmovs  %r14d,%edx
add    %eax,%edx
mov    %r10d,%eax
neg    %eax
cmovs  %r10d,%eax
add    %edx,%eax
mov    %r9d,%ecx
neg    %ecx
cmovs  %r9d,%ecx
add    %eax,%ecx
mov    -0x30(%rsp),%edx
mov    %edx,%eax
neg    %eax
cmovs  %edx,%eax
add    %ecx,%eax
mov    -0x18(%rsp),%rdx
mov    %edx,%ecx
neg    %ecx
cmovs  %edx,%ecx
add    %eax,%ecx
mov    -0x28(%rsp),%edx
mov    %edx,%eax
neg    %eax
cmovs  %edx,%eax
add    %ecx,%eax
mov    %ebp,%ecx
neg    %ecx
cmovs  %ebp,%ecx
add    %eax,%ecx
mov    %r12d,%eax
neg    %eax
cmovs  %r12d,%eax
add    %ecx,%eax
mov    %r11d,%ecx
neg    %ecx
cmovs  %r11d,%ecx
add    %eax,%ecx
mov    -0x20(%rsp),%eax
mov    %eax,%edx
neg    %edx
cmovs  %eax,%edx
add    %ecx,%edx
mov    %edi,%eax
neg    %eax
cmovs  %edi,%eax
add    %edx,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @foo(i32* nocapture %0) {
%2 = load i32, i32* %0
%3 = getelementptr inbounds i32, i32* %0, i64 12
%4 = load i32, i32* %3
%5 = add nsw i32 %4, %2
%6 = getelementptr inbounds i32, i32* %0, i64 4
%7 = load i32, i32* %6
%8 = getelementptr inbounds i32, i32* %0, i64 8
%9 = load i32, i32* %8
%10 = add nsw i32 %9, %7
%11 = sub nsw i32 %7, %9
%12 = sub nsw i32 %2, %4
%13 = getelementptr inbounds i32, i32* %0, i64 1
%14 = load i32, i32* %13
%15 = getelementptr inbounds i32, i32* %0, i64 13
%16 = load i32, i32* %15
%17 = add nsw i32 %16, %14
%18 = getelementptr inbounds i32, i32* %0, i64 5
%19 = load i32, i32* %18
%20 = getelementptr inbounds i32, i32* %0, i64 9
%21 = load i32, i32* %20
%22 = add nsw i32 %21, %19
%23 = sub nsw i32 %19, %21
%24 = sub nsw i32 %14, %16
%25 = getelementptr inbounds i32, i32* %0, i64 2
%26 = load i32, i32* %25
%27 = getelementptr inbounds i32, i32* %0, i64 14
%28 = load i32, i32* %27
%29 = add nsw i32 %28, %26
%30 = getelementptr inbounds i32, i32* %0, i64 6
%31 = load i32, i32* %30
%32 = getelementptr inbounds i32, i32* %0, i64 10
%33 = load i32, i32* %32
%34 = add nsw i32 %33, %31
%35 = sub nsw i32 %31, %33
%36 = sub nsw i32 %26, %28
%37 = getelementptr inbounds i32, i32* %0, i64 3
%38 = load i32, i32* %37
%39 = getelementptr inbounds i32, i32* %0, i64 15
%40 = load i32, i32* %39
%41 = add nsw i32 %40, %38
%42 = getelementptr inbounds i32, i32* %0, i64 7
%43 = load i32, i32* %42
%44 = getelementptr inbounds i32, i32* %0, i64 11
%45 = load i32, i32* %44
%46 = add nsw i32 %45, %43
%47 = sub nsw i32 %43, %45
%48 = sub nsw i32 %38, %40
%49 = add nsw i32 %10, %5
%50 = sub nsw i32 %5, %10
%51 = add nsw i32 %11, %12
%52 = sub nsw i32 %12, %11
%53 = add nsw i32 %22, %17
%54 = sub nsw i32 %17, %22
%55 = add nsw i32 %23, %24
%56 = sub nsw i32 %24, %23
%57 = add nsw i32 %34, %29
%58 = sub nsw i32 %29, %34
%59 = add nsw i32 %35, %36
%60 = sub nsw i32 %36, %35
%61 = add nsw i32 %46, %41
%62 = sub nsw i32 %41, %46
%63 = add nsw i32 %47, %48
%64 = sub nsw i32 %48, %47
%65 = add nsw i32 %61, %49
%66 = add nsw i32 %57, %53
%67 = sub nsw i32 %53, %57
%68 = sub nsw i32 %49, %61
%69 = add nsw i32 %63, %51
%70 = add nsw i32 %59, %55
%71 = sub nsw i32 %55, %59
%72 = sub nsw i32 %51, %63
%73 = add nsw i32 %62, %50
%74 = add nsw i32 %58, %54
%75 = sub nsw i32 %54, %58
%76 = sub nsw i32 %50, %62
%77 = add nsw i32 %64, %52
%78 = add nsw i32 %60, %56
%79 = sub nsw i32 %56, %60
%80 = sub nsw i32 %52, %64
%81 = add nsw i32 %65, %66
%82 = sub nsw i32 %65, %66
%83 = add nsw i32 %68, %67
%84 = sub nsw i32 %68, %67
%85 = add nsw i32 %69, %70
%86 = sub nsw i32 %69, %70
%87 = add nsw i32 %72, %71
%88 = sub nsw i32 %72, %71
%89 = add nsw i32 %73, %74
%90 = sub nsw i32 %73, %74
%91 = add nsw i32 %76, %75
%92 = sub nsw i32 %76, %75
%93 = add nsw i32 %77, %78
%94 = sub nsw i32 %77, %78
%95 = add nsw i32 %80, %79
%96 = sub nsw i32 %80, %79
%97 = tail call i32 @llvm.abs.i32(i32 %81, i1 true)
%98 = tail call i32 @llvm.abs.i32(i32 %82, i1 true)
%99 = add nuw nsw i32 %98, %97
%100 = tail call i32 @llvm.abs.i32(i32 %83, i1 true)
%101 = add nuw nsw i32 %100, %99
%102 = tail call i32 @llvm.abs.i32(i32 %84, i1 true)
%103 = add nuw nsw i32 %102, %101
%104 = tail call i32 @llvm.abs.i32(i32 %85, i1 true)
%105 = add nuw nsw i32 %104, %103
%106 = tail call i32 @llvm.abs.i32(i32 %86, i1 true)
%107 = add nuw nsw i32 %106, %105
%108 = tail call i32 @llvm.abs.i32(i32 %87, i1 true)
%109 = add nuw nsw i32 %108, %107
%110 = tail call i32 @llvm.abs.i32(i32 %88, i1 true)
%111 = add nuw nsw i32 %110, %109
%112 = tail call i32 @llvm.abs.i32(i32 %89, i1 true)
%113 = add nuw nsw i32 %112, %111
%114 = tail call i32 @llvm.abs.i32(i32 %90, i1 true)
%115 = add nuw nsw i32 %114, %113
%116 = tail call i32 @llvm.abs.i32(i32 %91, i1 true)
%117 = add nuw nsw i32 %116, %115
%118 = tail call i32 @llvm.abs.i32(i32 %92, i1 true)
%119 = add nuw nsw i32 %118, %117
%120 = tail call i32 @llvm.abs.i32(i32 %93, i1 true)
%121 = add nuw nsw i32 %120, %119
%122 = tail call i32 @llvm.abs.i32(i32 %94, i1 true)
%123 = add nuw nsw i32 %122, %121
%124 = tail call i32 @llvm.abs.i32(i32 %95, i1 true)
%125 = add nuw nsw i32 %124, %123
%126 = tail call i32 @llvm.abs.i32(i32 %96, i1 true)
%127 = add nuw nsw i32 %126, %125
ret i32 %127
}