#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 /*<<< orphan*/ odd_nums;
typedef int /*<<< orphan*/ msgs;

/* Variables and functions */
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ test_ge(long long *, int);
int /*<<< orphan*/ test_le(long long *, int);
int /*<<< orphan*/ test_read(int);
int /*<<< orphan*/ test_write(long long *, int);
int main() {
  printf("Hello world\n");
  signed long long msgs[2000];
  int n1 = sizeof(msgs) / sizeof(msgs[0]);
  for (int i = 0; i < n1; i++)
    msgs[i] = i;
  test_write(msgs, n1);
  test_read(1800);
  signed long long odd_nums[1000];
  int n = sizeof(odd_nums) / sizeof(odd_nums[0]);
  for (int i = 0; i < n; ++i) {
    odd_nums[i] = i * 2 + 1;
  }
  test_ge(odd_nums, n);
  test_le(odd_nums, n);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x5df0,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xe97(%rip),%rdi
call   1040 <printf@plt>
movl   $0x7d0,-0x3e94(%rbp)
movl   $0x0,-0x3e98(%rbp)
mov    -0x3e98(%rbp),%eax
cmp    -0x3e94(%rbp),%eax
jge    11be <main+0x6e>
movslq -0x3e98(%rbp),%rcx
movslq -0x3e98(%rbp),%rax
mov    %rcx,-0x3e90(%rbp,%rax,8)
ff
mov    -0x3e98(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3e98(%rbp)
jmp    1182 <main+0x32>
lea    -0x3e90(%rbp),%rdi
mov    -0x3e94(%rbp),%esi
call   1030 <test_write@plt>
mov    $0x708,%edi
call   1050 <test_read@plt>
movl   $0x3e8,-0x5de4(%rbp)
movl   $0x0,-0x5de8(%rbp)
mov    -0x5de8(%rbp),%eax
cmp    -0x5de4(%rbp),%eax
jge    1232 <main+0xe2>
mov    -0x5de8(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
movslq %eax,%rcx
movslq -0x5de8(%rbp),%rax
mov    %rcx,-0x5de0(%rbp,%rax,8)
ff
mov    -0x5de8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5de8(%rbp)
jmp    11ee <main+0x9e>
lea    -0x5de0(%rbp),%rdi
mov    -0x5de4(%rbp),%esi
call   1060 <test_ge@plt>
lea    -0x5de0(%rbp),%rdi
mov    -0x5de4(%rbp),%esi
call   1070 <test_le@plt>
mov    -0x4(%rbp),%eax
add    $0x5df0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x5dc0,%rsp
lea    0xf91(%rip),%rdi
call   1040 <puts@plt>
movdqa 0xe94(%rip),%xmm0
mov    $0x12,%eax
movdqa 0xe96(%rip),%xmm8
movdqa 0xe9d(%rip),%xmm9
movdqa 0xea4(%rip),%xmm10
movdqa 0xebb(%rip),%xmm11
movdqa 0xec3(%rip),%xmm5
movdqa 0xecb(%rip),%xmm6
movdqa 0xed3(%rip),%xmm7
movdqa 0xedb(%rip),%xmm1
movdqa 0xee3(%rip),%xmm2
nopl   (%rax)
movdqa %xmm0,%xmm3
paddq  %xmm8,%xmm3
movdqa %xmm0,-0x90(%rsp,%rax,8)
ff ff
movdqa %xmm3,-0x80(%rsp,%rax,8)
movdqa %xmm0,%xmm3
paddq  %xmm9,%xmm3
movdqa %xmm0,%xmm4
paddq  %xmm10,%xmm4
movdqa %xmm3,-0x70(%rsp,%rax,8)
movdqa %xmm4,-0x60(%rsp,%rax,8)
movdqa %xmm0,%xmm3
paddq  0xe3e(%rip),%xmm3
movdqa %xmm0,%xmm4
paddq  %xmm11,%xmm4
movdqa %xmm3,-0x50(%rsp,%rax,8)
movdqa %xmm4,-0x40(%rsp,%rax,8)
movdqa %xmm0,%xmm3
paddq  %xmm5,%xmm3
movdqa %xmm0,%xmm4
paddq  %xmm6,%xmm4
movdqa %xmm3,-0x30(%rsp,%rax,8)
movdqa %xmm4,-0x20(%rsp,%rax,8)
movdqa %xmm0,%xmm3
paddq  %xmm7,%xmm3
movdqa %xmm0,%xmm4
paddq  %xmm1,%xmm4
movdqa %xmm3,-0x10(%rsp,%rax,8)
movdqa %xmm4,(%rsp,%rax,8)
paddq  %xmm2,%xmm0
add    $0x14,%rax
cmp    $0x7e2,%rax
jne    11c0 <main+0x70>
mov    %rsp,%rdi
mov    $0x7d0,%esi
call   1030 <test_write@plt>
mov    $0x708,%edi
call   1050 <test_read@plt>
movdqa 0xdbe(%rip),%xmm8
movdqa 0xd76(%rip),%xmm0
mov    $0x6,%eax
movdqa 0xe19(%rip),%xmm1
movdqa 0xe21(%rip),%xmm2
movdqa 0xe29(%rip),%xmm3
movdqa 0xe31(%rip),%xmm4
nop
movdqa %xmm0,%xmm5
paddq  %xmm0,%xmm5
movdqa %xmm5,%xmm6
por    %xmm1,%xmm6
movdqa %xmm5,%xmm7
paddq  %xmm2,%xmm7
movdqa %xmm6,0x3e50(%rsp,%rax,8)
movdqa %xmm7,0x3e60(%rsp,%rax,8)
movdqa %xmm5,%xmm6
paddq  %xmm3,%xmm6
paddq  %xmm4,%xmm5
movdqa %xmm6,0x3e70(%rsp,%rax,8)
movdqa %xmm5,0x3e80(%rsp,%rax,8)
paddq  %xmm8,%xmm0
add    $0x8,%rax
cmp    $0x3ee,%rax
jne    12b0 <main+0x160>
lea    0x3e80(%rsp),%rbx
mov    %rbx,%rdi
mov    $0x3e8,%esi
call   1060 <test_ge@plt>
mov    %rbx,%rdi
mov    $0x3e8,%esi
call   1070 <test_le@plt>
xor    %eax,%eax
add    $0x5dc0,%rsp
pop    %rbx
ret

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

LLVM IR (-O2):
@str = [12 x i8] c"Hello world\00"
define i32 @main() {
%1 = alloca [2000 x i64]
%2 = alloca [1000 x i64]
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str, i64 0, i64 0))
%4 = bitcast [2000 x i64]* %1 to i8*
br label %5
5: ; preds = %5, %0
%6 = phi i64 [ 0, %0 ], [ %41, %5 ]
%7 = phi <2 x i64> [ <i64 0, i64 1>, %0 ], [ %42, %5 ]
%8 = add <2 x i64> %7, <i64 2, i64 2>
%9 = getelementptr inbounds [2000 x i64], [2000 x i64]* %1, i64 0, i64 %6
%10 = bitcast i64* %9 to <2 x i64>*
store <2 x i64> %7, <2 x i64>* %10
%11 = getelementptr inbounds i64, i64* %9, i64 2
%12 = bitcast i64* %11 to <2 x i64>*
store <2 x i64> %8, <2 x i64>* %12
%13 = add nuw nsw i64 %6, 4
%14 = add <2 x i64> %7, <i64 4, i64 4>
%15 = add <2 x i64> %7, <i64 6, i64 6>
%16 = getelementptr inbounds [2000 x i64], [2000 x i64]* %1, i64 0, i64 %13
%17 = bitcast i64* %16 to <2 x i64>*
store <2 x i64> %14, <2 x i64>* %17
%18 = getelementptr inbounds i64, i64* %16, i64 2
%19 = bitcast i64* %18 to <2 x i64>*
store <2 x i64> %15, <2 x i64>* %19
%20 = add nuw nsw i64 %6, 8
%21 = add <2 x i64> %7, <i64 8, i64 8>
%22 = add <2 x i64> %7, <i64 10, i64 10>
%23 = getelementptr inbounds [2000 x i64], [2000 x i64]* %1, i64 0, i64 %20
%24 = bitcast i64* %23 to <2 x i64>*
store <2 x i64> %21, <2 x i64>* %24
%25 = getelementptr inbounds i64, i64* %23, i64 2
%26 = bitcast i64* %25 to <2 x i64>*
store <2 x i64> %22, <2 x i64>* %26
%27 = add nuw nsw i64 %6, 12
%28 = add <2 x i64> %7, <i64 12, i64 12>
%29 = add <2 x i64> %7, <i64 14, i64 14>
%30 = getelementptr inbounds [2000 x i64], [2000 x i64]* %1, i64 0, i64 %27
%31 = bitcast i64* %30 to <2 x i64>*
store <2 x i64> %28, <2 x i64>* %31
%32 = getelementptr inbounds i64, i64* %30, i64 2
%33 = bitcast i64* %32 to <2 x i64>*
store <2 x i64> %29, <2 x i64>* %33
%34 = add nuw nsw i64 %6, 16
%35 = add <2 x i64> %7, <i64 16, i64 16>
%36 = add <2 x i64> %7, <i64 18, i64 18>
%37 = getelementptr inbounds [2000 x i64], [2000 x i64]* %1, i64 0, i64 %34
%38 = bitcast i64* %37 to <2 x i64>*
store <2 x i64> %35, <2 x i64>* %38
%39 = getelementptr inbounds i64, i64* %37, i64 2
%40 = bitcast i64* %39 to <2 x i64>*
store <2 x i64> %36, <2 x i64>* %40
%41 = add nuw nsw i64 %6, 20
%42 = add <2 x i64> %7, <i64 20, i64 20>
%43 = icmp eq i64 %41, 2000
br i1 %43, label %44, label %5
44: ; preds = %5
%45 = getelementptr inbounds [2000 x i64], [2000 x i64]* %1, i64 0, i64 0
%46 = call i32 @test_write(i64* %45, i32 2000)
%47 = call i32 @test_read(i32 1800)
%48 = bitcast [1000 x i64]* %2 to i8*
br label %49
49: ; preds = %49, %44
%50 = phi i64 [ 0, %44 ], [ %72, %49 ]
%51 = phi <2 x i64> [ <i64 0, i64 1>, %44 ], [ %73, %49 ]
%52 = shl nuw nsw <2 x i64> %51, <i64 1, i64 1>
%53 = shl <2 x i64> %51, <i64 1, i64 1>
%54 = add <2 x i64> %53, <i64 4, i64 4>
%55 = or <2 x i64> %52, <i64 1, i64 1>
%56 = or <2 x i64> %54, <i64 1, i64 1>
%57 = getelementptr inbounds [1000 x i64], [1000 x i64]* %2, i64 0, i64 %50
%58 = bitcast i64* %57 to <2 x i64>*
store <2 x i64> %55, <2 x i64>* %58
%59 = getelementptr inbounds i64, i64* %57, i64 2
%60 = bitcast i64* %59 to <2 x i64>*
store <2 x i64> %56, <2 x i64>* %60
%61 = or i64 %50, 4
%62 = add <2 x i64> %51, <i64 4, i64 4>
%63 = shl nuw nsw <2 x i64> %62, <i64 1, i64 1>
%64 = shl <2 x i64> %62, <i64 1, i64 1>
%65 = add <2 x i64> %64, <i64 4, i64 4>
%66 = or <2 x i64> %63, <i64 1, i64 1>
%67 = or <2 x i64> %65, <i64 1, i64 1>
%68 = getelementptr inbounds [1000 x i64], [1000 x i64]* %2, i64 0, i64 %61
%69 = bitcast i64* %68 to <2 x i64>*
store <2 x i64> %66, <2 x i64>* %69
%70 = getelementptr inbounds i64, i64* %68, i64 2
%71 = bitcast i64* %70 to <2 x i64>*
store <2 x i64> %67, <2 x i64>* %71
%72 = add nuw nsw i64 %50, 8
%73 = add <2 x i64> %51, <i64 8, i64 8>
%74 = icmp eq i64 %72, 1000
br i1 %74, label %75, label %49
75: ; preds = %49
%76 = getelementptr inbounds [1000 x i64], [1000 x i64]* %2, i64 0, i64 0
%77 = call i32 @test_ge(i64* %76, i32 1000)
%78 = call i32 @test_le(i64* %76, i32 1000)
ret i32 0
}