#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*/ free(long long *);
scalar_t__ malloc(int);
int main() {
  const long long start = (long long)1024 * 1024 * 1024 * 6;
  const long long length = (long long)1024 * 1024;
  long long i;
  long long *a;
  long long *alloc;
  alloc = (long long *)malloc(sizeof(long long) * length);
  a = alloc - start;
#pragma acc data create(a [start:length])
  {
#pragma acc parallel loop
    for (i = start; i < start + length; i++) {
      a[i] = i;
    }
#pragma acc update host(a [start:length])
  }
  for (i = start; i < start + length; i++) {
    if (a[i] != i) {
      return 1;
    }
  }
  free(alloc);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movabs $0x180000000,%rax
mov    %rax,-0x10(%rbp)
movq   $0x100000,-0x18(%rbp)
mov    $0x800000,%edi
call   1040 <malloc@plt>
mov    %rax,-0x30(%rbp)
movabs $0xfffffff400000000,%rax
ff ff ff
add    -0x30(%rbp),%rax
mov    %rax,-0x28(%rbp)
movabs $0x180000000,%rax
mov    %rax,-0x20(%rbp)
movabs $0x180100000,%rax
cmp    %rax,-0x20(%rbp)
jge    11a8 <main+0x88>
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1173 <main+0x53>
movabs $0x180000000,%rax
mov    %rax,-0x20(%rbp)
movabs $0x180100000,%rax
cmp    %rax,-0x20(%rbp)
jge    1202 <main+0xe2>
mov    -0x28(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x20(%rbp),%rax
je     11ec <main+0xcc>
movl   $0x1,-0x4(%rbp)
jmp    1212 <main+0xf2>
jmp    11f1 <main+0xd1>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    11b6 <main+0x96>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0x800000,%edi
call   1040 <malloc@plt>
movdqa 0xecd(%rip),%xmm0
mov    $0xe,%ecx
movdqa 0xecf(%rip),%xmm8
movdqa 0xed6(%rip),%xmm9
movdqa 0xedd(%rip),%xmm10
movdqa 0xee5(%rip),%xmm4
movdqa 0xeed(%rip),%xmm5
movdqa 0xef5(%rip),%xmm6
movdqa 0xefd(%rip),%xmm7
movdqa 0xf05(%rip),%xmm1
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm2
paddq  %xmm8,%xmm2
movdqu %xmm0,-0x70(%rax,%rcx,8)
movdqu %xmm2,-0x60(%rax,%rcx,8)
movdqa %xmm0,%xmm2
paddq  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddq  %xmm10,%xmm3
movdqu %xmm2,-0x50(%rax,%rcx,8)
movdqu %xmm3,-0x40(%rax,%rcx,8)
movdqa %xmm0,%xmm2
paddq  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddq  %xmm5,%xmm3
movdqu %xmm2,-0x30(%rax,%rcx,8)
movdqu %xmm3,-0x20(%rax,%rcx,8)
movdqa %xmm0,%xmm2
paddq  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddq  %xmm7,%xmm3
movdqu %xmm2,-0x10(%rax,%rcx,8)
movdqu %xmm3,(%rax,%rcx,8)
paddq  %xmm1,%xmm0
add    $0x10,%rcx
cmp    $0x10000e,%rcx
jne    1180 <main+0x60>
movabs $0x180000000,%rdx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
lea    (%rsi,%rdx,1),%rdi
mov    $0x1,%ecx
cmp    (%rax,%rsi,8),%rdi
jne    125e <main+0x13e>
add    $0x1,%rdi
cmp    %rdi,0x8(%rax,%rsi,8)
jne    125e <main+0x13e>
add    $0x1,%rdi
cmp    %rdi,0x10(%rax,%rsi,8)
jne    125e <main+0x13e>
add    $0x1,%rdi
cmp    %rdi,0x18(%rax,%rsi,8)
jne    125e <main+0x13e>
add    $0x4,%rsi
add    $0x1,%rdi
lea    0x100000(%rdx),%rcx
cmp    %rcx,%rdi
jne    1210 <main+0xf0>
mov    %rax,%rdi
call   1030 <free@plt>
xor    %ecx,%ecx
mov    %ecx,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i64
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64*
%6 = alloca i64*
store i32 0, i32* %1
store i64 6442450944, i64* %2
store i64 1048576, i64* %3
%7 = call i64 @malloc(i32 8388608)
%8 = inttoptr i64 %7 to i64*
store i64* %8, i64** %6
%9 = load i64*, i64** %6
%10 = getelementptr inbounds i64, i64* %9, i64 -6442450944
store i64* %10, i64** %5
store i64 6442450944, i64* %4
br label %11
11: ; preds = %19, %0
%12 = load i64, i64* %4
%13 = icmp slt i64 %12, 6443499520
br i1 %13, label %14, label %22
14: ; preds = %11
%15 = load i64, i64* %4
%16 = load i64*, i64** %5
%17 = load i64, i64* %4
%18 = getelementptr inbounds i64, i64* %16, i64 %17
store i64 %15, i64* %18
br label %19
19: ; preds = %14
%20 = load i64, i64* %4
%21 = add nsw i64 %20, 1
store i64 %21, i64* %4
br label %11
22: ; preds = %11
store i64 6442450944, i64* %4
br label %23
23: ; preds = %35, %22
%24 = load i64, i64* %4
%25 = icmp slt i64 %24, 6443499520
br i1 %25, label %26, label %38
26: ; preds = %23
%27 = load i64*, i64** %5
%28 = load i64, i64* %4
%29 = getelementptr inbounds i64, i64* %27, i64 %28
%30 = load i64, i64* %29
%31 = load i64, i64* %4
%32 = icmp ne i64 %30, %31
br i1 %32, label %33, label %34
33: ; preds = %26
store i32 1, i32* %1
br label %41
34: ; preds = %26
br label %35
35: ; preds = %34
%36 = load i64, i64* %4
%37 = add nsw i64 %36, 1
store i64 %37, i64* %4
br label %23
38: ; preds = %23
%39 = load i64*, i64** %6
%40 = call i32 @free(i64* %39)
store i32 0, i32* %1
br label %41
41: ; preds = %38, %33
%42 = load i32, i32* %1
ret i32 %42
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i64 @malloc(i32 8388608)
%2 = inttoptr i64 %1 to i64*
%3 = getelementptr inbounds i64, i64* %2, i64 -6442450944
br label %4
4: ; preds = %4, %0
%5 = phi i64 [ 0, %0 ], [ %33, %4 ]
%6 = phi <2 x i64> [ <i64 6442450944, i64 6442450945>, %0 ], [ %34, %4 ]
%7 = add <2 x i64> %6, <i64 2, i64 2>
%8 = getelementptr inbounds i64, i64* %2, i64 %5
%9 = bitcast i64* %8 to <2 x i64>*
store <2 x i64> %6, <2 x i64>* %9
%10 = getelementptr inbounds i64, i64* %8, i64 2
%11 = bitcast i64* %10 to <2 x i64>*
store <2 x i64> %7, <2 x i64>* %11
%12 = or i64 %5, 4
%13 = add <2 x i64> %6, <i64 4, i64 4>
%14 = add <2 x i64> %6, <i64 6, i64 6>
%15 = getelementptr inbounds i64, i64* %2, i64 %12
%16 = bitcast i64* %15 to <2 x i64>*
store <2 x i64> %13, <2 x i64>* %16
%17 = getelementptr inbounds i64, i64* %15, i64 2
%18 = bitcast i64* %17 to <2 x i64>*
store <2 x i64> %14, <2 x i64>* %18
%19 = or i64 %5, 8
%20 = add <2 x i64> %6, <i64 8, i64 8>
%21 = add <2 x i64> %6, <i64 10, i64 10>
%22 = getelementptr inbounds i64, i64* %2, i64 %19
%23 = bitcast i64* %22 to <2 x i64>*
store <2 x i64> %20, <2 x i64>* %23
%24 = getelementptr inbounds i64, i64* %22, i64 2
%25 = bitcast i64* %24 to <2 x i64>*
store <2 x i64> %21, <2 x i64>* %25
%26 = or i64 %5, 12
%27 = add <2 x i64> %6, <i64 12, i64 12>
%28 = add <2 x i64> %6, <i64 14, i64 14>
%29 = getelementptr inbounds i64, i64* %2, i64 %26
%30 = bitcast i64* %29 to <2 x i64>*
store <2 x i64> %27, <2 x i64>* %30
%31 = getelementptr inbounds i64, i64* %29, i64 2
%32 = bitcast i64* %31 to <2 x i64>*
store <2 x i64> %28, <2 x i64>* %32
%33 = add nuw nsw i64 %5, 16
%34 = add <2 x i64> %6, <i64 16, i64 16>
%35 = icmp eq i64 %33, 1048576
br i1 %35, label %54, label %4
36: ; preds = %54
%37 = or i64 %55, 1
%38 = getelementptr inbounds i64, i64* %3, i64 %37
%39 = load i64, i64* %38
%40 = icmp eq i64 %39, %37
br i1 %40, label %41, label %61
41: ; preds = %36
%42 = or i64 %55, 2
%43 = getelementptr inbounds i64, i64* %3, i64 %42
%44 = load i64, i64* %43
%45 = icmp eq i64 %44, %42
br i1 %45, label %46, label %61
46: ; preds = %41
%47 = or i64 %55, 3
%48 = getelementptr inbounds i64, i64* %3, i64 %47
%49 = load i64, i64* %48
%50 = icmp eq i64 %49, %47
br i1 %50, label %51, label %61
51: ; preds = %46
%52 = add nuw nsw i64 %55, 4
%53 = icmp eq i64 %52, 6443499520
br i1 %53, label %59, label %54
54: ; preds = %4, %51
%55 = phi i64 [ %52, %51 ], [ 6442450944, %4 ]
%56 = getelementptr inbounds i64, i64* %3, i64 %55
%57 = load i64, i64* %56
%58 = icmp eq i64 %57, %55
br i1 %58, label %36, label %61
59: ; preds = %51
%60 = tail call i32 @free(i64* %2)
br label %61
61: ; preds = %54, %36, %41, %46, %59
%62 = phi i32 [ 0, %59 ], [ 1, %46 ], [ 1, %41 ], [ 1, %36 ], [ 1, %54 ]
ret i32 %62
}