#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();
int main1() {
  int i;
  int a[16];
  int b[16] = {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45};
  for (i = 16; i > 0; i--) {
    a[16 - i] = b[i - 1];
  }
  for (i = 0; i < 16; i++) {
    if (a[i] != b[16 - 1 - i])
      abort();
  }
  return 0;
}


x86 assembly (clang, -O0):
<main1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
lea    -0x90(%rbp),%rdi
lea    0xec7(%rip),%rsi
mov    $0x40,%edx
call   1040 <memcpy@plt>
movl   $0x10,-0x4(%rbp)
cmpl   $0x0,-0x4(%rbp)
jle    117f <main1+0x5f>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x90(%rbp,%rax,4),%ecx
mov    $0x10,%eax
sub    -0x4(%rbp),%eax
cltq
mov    %ecx,-0x50(%rbp,%rax,4)
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
jmp    114a <main1+0x2a>
movl   $0x0,-0x4(%rbp)
cmpl   $0x10,-0x4(%rbp)
jge    11ca <main1+0xaa>
movslq -0x4(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%eax
mov    $0xf,%ecx
sub    -0x4(%rbp),%ecx
movslq %ecx,%rcx
cmp    -0x90(%rbp,%rcx,4),%eax
je     11b7 <main1+0x97>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11bc <main1+0x9c>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1186 <main1+0x66>
xor    %eax,%eax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main1>:
xor    %eax,%eax
ret

LLVM IR (-O0):
@__const.main1.b = [16 x i32] [i32 0, i32 3, i32 6, i32 9, i32 12, i32 15, i32 18, i32 21, i32 24, i32 27, i32 30, i32 33, i32 36, i32 39, i32 42, i32 45]
define i32 @main1() {
%1 = alloca i32
%2 = alloca [16 x i32]
%3 = alloca [16 x i32]
%4 = bitcast [16 x i32]* %3 to i8*
store i32 16, i32* %1
br label %5
5: ; preds = %18, %0
%6 = load i32, i32* %1
%7 = icmp sgt i32 %6, 0
br i1 %7, label %8, label %21
8: ; preds = %5
%9 = load i32, i32* %1
%10 = sub nsw i32 %9, 1
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %11
%13 = load i32, i32* %12
%14 = load i32, i32* %1
%15 = sub nsw i32 16, %14
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %16
store i32 %13, i32* %17
br label %18
18: ; preds = %8
%19 = load i32, i32* %1
%20 = add nsw i32 %19, -1
store i32 %20, i32* %1
br label %5
21: ; preds = %5
store i32 0, i32* %1
br label %22
22: ; preds = %39, %21
%23 = load i32, i32* %1
%24 = icmp slt i32 %23, 16
br i1 %24, label %25, label %42
25: ; preds = %22
%26 = load i32, i32* %1
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [16 x i32], [16 x i32]* %2, i64 0, i64 %27
%29 = load i32, i32* %28
%30 = load i32, i32* %1
%31 = sub nsw i32 15, %30
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds [16 x i32], [16 x i32]* %3, i64 0, i64 %32
%34 = load i32, i32* %33
%35 = icmp ne i32 %29, %34
br i1 %35, label %36, label %38
36: ; preds = %25
%37 = call i32 (...) @abort()
unreachable
38: ; preds = %25
br label %39
39: ; preds = %38
%40 = load i32, i32* %1
%41 = add nsw i32 %40, 1
store i32 %41, i32* %1
br label %22
42: ; preds = %22
ret i32 0
}

LLVM IR (-O2):
define i32 @main1() {
ret i32 0
}