#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*/ printf(char *, int, int, int);
void main() {
  int c[15], a[15], b[15], i;
  for (i = 0; i < 15; i++) {
    a[i] = i;
    b[i] = i + 2;
  }
  for (i = 0; i < 15; i++) {
    c[i] = a[i] + b[14 - i];
    printf("%d = %d + %d\n", c[i], a[i], b[14 - i]);
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
movl   $0x0,-0xc4(%rbp)
cmpl   $0xf,-0xc4(%rbp)
jge    116e <main+0x5e>
mov    -0xc4(%rbp),%ecx
movslq -0xc4(%rbp),%rax
mov    %ecx,-0x80(%rbp,%rax,4)
mov    -0xc4(%rbp),%ecx
add    $0x2,%ecx
movslq -0xc4(%rbp),%rax
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0xc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc4(%rbp)
jmp    1125 <main+0x15>
movl   $0x0,-0xc4(%rbp)
cmpl   $0xf,-0xc4(%rbp)
jge    11f9 <main+0xe9>
movslq -0xc4(%rbp),%rax
mov    -0x80(%rbp,%rax,4),%ecx
mov    $0xe,%eax
sub    -0xc4(%rbp),%eax
cltq
add    -0xc0(%rbp,%rax,4),%ecx
movslq -0xc4(%rbp),%rax
mov    %ecx,-0x40(%rbp,%rax,4)
movslq -0xc4(%rbp),%rax
mov    -0x40(%rbp,%rax,4),%esi
movslq -0xc4(%rbp),%rax
mov    -0x80(%rbp,%rax,4),%edx
mov    $0xe,%eax
sub    -0xc4(%rbp),%eax
cltq
mov    -0xc0(%rbp,%rax,4),%ecx
lea    0xe20(%rip),%rdi
call   1030 <printf@plt>
mov    -0xc4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc4(%rbp)
jmp    1178 <main+0x68>
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x80,%rsp
movaps 0xee1(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
movaps 0xee5(%rip),%xmm0
movaps %xmm0,(%rsp)
movaps 0xeea(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movaps 0xeee(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movaps 0xef2(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xef6(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movl   $0xc,0x70(%rsp)
movl   $0xe,0x30(%rsp)
movabs $0xe0000000d,%rax
mov    %rax,0x74(%rsp)
movabs $0x100000000f,%rax
mov    %rax,0x34(%rsp)
lea    0xecc(%rip),%rbx
mov    %rbx,%rdi
mov    $0x10,%esi
xor    %edx,%edx
mov    $0x10,%ecx
call   1030 <printf@plt>
mov    0x44(%rsp),%edx
mov    0x34(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x48(%rsp),%edx
mov    0x30(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x4c(%rsp),%edx
mov    0x2c(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x50(%rsp),%edx
mov    0x28(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x54(%rsp),%edx
mov    0x24(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x58(%rsp),%edx
mov    0x20(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x5c(%rsp),%edx
mov    0x1c(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x60(%rsp),%edx
mov    0x18(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x64(%rsp),%edx
mov    0x14(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x68(%rsp),%edx
mov    0x10(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x6c(%rsp),%edx
mov    0xc(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x70(%rsp),%edx
mov    0x8(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x74(%rsp),%edx
mov    0x4(%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
call   1030 <printf@plt>
mov    0x78(%rsp),%edx
mov    (%rsp),%ecx
lea    (%rcx,%rdx,1),%esi
mov    %rbx,%rdi
add    $0x80,%rsp
pop    %rbx
jmp    1030 <printf@plt>

LLVM IR (-O0):
@.str = [14 x i8] c"%d = %d + %d\0A\00"
define void @main() {
%1 = alloca [15 x i32]
%2 = alloca [15 x i32]
%3 = alloca [15 x i32]
%4 = alloca i32
store i32 0, i32* %4
br label %5
5: ; preds = %18, %0
%6 = load i32, i32* %4
%7 = icmp slt i32 %6, 15
br i1 %7, label %8, label %21
8: ; preds = %5
%9 = load i32, i32* %4
%10 = load i32, i32* %4
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds [15 x i32], [15 x i32]* %2, i64 0, i64 %11
store i32 %9, i32* %12
%13 = load i32, i32* %4
%14 = add nsw i32 %13, 2
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [15 x i32], [15 x i32]* %3, i64 0, i64 %16
store i32 %14, i32* %17
br label %18
18: ; preds = %8
%19 = load i32, i32* %4
%20 = add nsw i32 %19, 1
store i32 %20, i32* %4
br label %5
21: ; preds = %5
store i32 0, i32* %4
br label %22
22: ; preds = %53, %21
%23 = load i32, i32* %4
%24 = icmp slt i32 %23, 15
br i1 %24, label %25, label %56
25: ; preds = %22
%26 = load i32, i32* %4
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [15 x i32], [15 x i32]* %2, i64 0, i64 %27
%29 = load i32, i32* %28
%30 = load i32, i32* %4
%31 = sub nsw i32 14, %30
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds [15 x i32], [15 x i32]* %3, i64 0, i64 %32
%34 = load i32, i32* %33
%35 = add nsw i32 %29, %34
%36 = load i32, i32* %4
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [15 x i32], [15 x i32]* %1, i64 0, i64 %37
store i32 %35, i32* %38
%39 = load i32, i32* %4
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds [15 x i32], [15 x i32]* %1, i64 0, i64 %40
%42 = load i32, i32* %41
%43 = load i32, i32* %4
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [15 x i32], [15 x i32]* %2, i64 0, i64 %44
%46 = load i32, i32* %45
%47 = load i32, i32* %4
%48 = sub nsw i32 14, %47
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [15 x i32], [15 x i32]* %3, i64 0, i64 %49
%51 = load i32, i32* %50
%52 = call i32 @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str, i64 0, i64 0), i32 %42, i32 %46, i32 %51)
br label %53
53: ; preds = %25
%54 = load i32, i32* %4
%55 = add nsw i32 %54, 1
store i32 %55, i32* %4
br label %22
56: ; preds = %22
ret void
}

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