#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();
void f(int *x, int n) {
  int i;
  for (i = 0; i < n; i++) {
#pragma omp task depend(out : x[i]) firstprivate(i)
    { x[i] = i; }
#pragma omp task depend(inout : x[i]) firstprivate(i)
    {
      if (x[i] != i) {
        abort();
      }
      x[i]++;
    }
#pragma omp task depend(in : x[i]) firstprivate(i)
    {
      if (x[i] != (i + 1)) {
        abort();
      }
    }
  }
#pragma omp taskwait
}


x86 assembly (clang, -O0):
<f>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    119f <f+0x8f>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
je     115b <f+0x4b>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     118c <f+0x7c>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1191 <f+0x81>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1126 <f+0x16>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<f>:
test   %esi,%esi
jle    11ff <f+0xff>
mov    %esi,%eax
cmp    $0x8,%esi
jae    1116 <f+0x16>
xor    %ecx,%ecx
jmp    11f0 <f+0xf0>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rdx,%rdx
je     1200 <f+0x100>
mov    %r8,%rdx
and    $0xfffffffffffffffe,%rdx
movaps 0xecf(%rip),%xmm1
movaps 0xed8(%rip),%xmm0
xor    %esi,%esi
pcmpeqd %xmm8,%xmm8
movdqa 0xed8(%rip),%xmm9
movdqa 0xee0(%rip),%xmm4
movdqa 0xee8(%rip),%xmm5
movdqa 0xef0(%rip),%xmm6
movaps %xmm0,%xmm7
shufps $0x88,%xmm1,%xmm7
movaps %xmm7,%xmm2
psubd  %xmm8,%xmm2
movaps %xmm7,%xmm3
paddd  %xmm9,%xmm3
movdqu %xmm2,(%rdi,%rsi,4)
movdqu %xmm3,0x10(%rdi,%rsi,4)
movaps %xmm7,%xmm2
paddd  %xmm4,%xmm2
paddd  %xmm5,%xmm7
movdqu %xmm2,0x20(%rdi,%rsi,4)
movdqu %xmm7,0x30(%rdi,%rsi,4)
add    $0x10,%rsi
paddq  %xmm6,%xmm0
paddq  %xmm6,%xmm1
add    $0xfffffffffffffffe,%rdx
jne    1170 <f+0x70>
shufps $0x88,%xmm1,%xmm0
test   $0x1,%r8b
je     11e3 <f+0xe3>
pcmpeqd %xmm1,%xmm1
movaps %xmm0,%xmm2
psubd  %xmm1,%xmm2
paddd  0xe58(%rip),%xmm0
movdqu %xmm2,(%rdi,%rsi,4)
movdqu %xmm0,0x10(%rdi,%rsi,4)
cmp    %rax,%rcx
je     11ff <f+0xff>
nopl   0x0(%rax,%rax,1)
lea    0x1(%rcx),%rdx
mov    %edx,(%rdi,%rcx,4)
mov    %rdx,%rcx
cmp    %rdx,%rax
jne    11f0 <f+0xf0>
ret
movaps 0xdf9(%rip),%xmm0
xor    %esi,%esi
test   $0x1,%r8b
jne    11c5 <f+0xc5>
jmp    11e3 <f+0xe3>

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

LLVM IR (-O2):
define void @f(i32* nocapture writeonly %0, i32 %1) {
%3 = icmp sgt i32 %1, 0
br i1 %3, label %4, label %65
4: ; preds = %2
%5 = zext i32 %1 to i64
%6 = icmp ult i32 %1, 8
br i1 %6, label %57, label %7
7: ; preds = %4
%8 = and i64 %5, 4294967288
%9 = add nsw i64 %8, -8
%10 = lshr exact i64 %9, 3
%11 = add nuw nsw i64 %10, 1
%12 = and i64 %11, 1
%13 = icmp eq i64 %9, 0
br i1 %13, label %44, label %14
14: ; preds = %7
%15 = and i64 %11, 4611686018427387902
br label %16
16: ; preds = %16, %14
%17 = phi i64 [ 0, %14 ], [ %38, %16 ]
%18 = phi <4 x i64> [ <i64 0, i64 1, i64 2, i64 3>, %14 ], [ %39, %16 ]
%19 = phi i64 [ 0, %14 ], [ %40, %16 ]
%20 = getelementptr inbounds i32, i32* %0, i64 %17
%21 = trunc <4 x i64> %18 to <4 x i32>
%22 = add <4 x i32> %21, <i32 1, i32 1, i32 1, i32 1>
%23 = trunc <4 x i64> %18 to <4 x i32>
%24 = add <4 x i32> %23, <i32 5, i32 5, i32 5, i32 5>
%25 = bitcast i32* %20 to <4 x i32>*
store <4 x i32> %22, <4 x i32>* %25
%26 = getelementptr inbounds i32, i32* %20, i64 4
%27 = bitcast i32* %26 to <4 x i32>*
store <4 x i32> %24, <4 x i32>* %27
%28 = or i64 %17, 8
%29 = add <4 x i64> %18, <i64 8, i64 8, i64 8, i64 8>
%30 = getelementptr inbounds i32, i32* %0, i64 %28
%31 = trunc <4 x i64> %29 to <4 x i32>
%32 = add <4 x i32> %31, <i32 1, i32 1, i32 1, i32 1>
%33 = trunc <4 x i64> %29 to <4 x i32>
%34 = add <4 x i32> %33, <i32 5, i32 5, i32 5, i32 5>
%35 = bitcast i32* %30 to <4 x i32>*
store <4 x i32> %32, <4 x i32>* %35
%36 = getelementptr inbounds i32, i32* %30, i64 4
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %37
%38 = add nuw i64 %17, 16
%39 = add <4 x i64> %18, <i64 16, i64 16, i64 16, i64 16>
%40 = add i64 %19, 2
%41 = icmp eq i64 %40, %15
br i1 %41, label %42, label %16
42: ; preds = %16
%43 = trunc <4 x i64> %39 to <4 x i32>
br label %44
44: ; preds = %42, %7
%45 = phi i64 [ 0, %7 ], [ %38, %42 ]
%46 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %7 ], [ %43, %42 ]
%47 = icmp eq i64 %12, 0
br i1 %47, label %55, label %48
48: ; preds = %44
%49 = getelementptr inbounds i32, i32* %0, i64 %45
%50 = add <4 x i32> %46, <i32 1, i32 1, i32 1, i32 1>
%51 = add <4 x i32> %46, <i32 5, i32 5, i32 5, i32 5>
%52 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %50, <4 x i32>* %52
%53 = getelementptr inbounds i32, i32* %49, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %51, <4 x i32>* %54
br label %55
55: ; preds = %44, %48
%56 = icmp eq i64 %8, %5
br i1 %56, label %65, label %57
57: ; preds = %4, %55
%58 = phi i64 [ 0, %4 ], [ %8, %55 ]
br label %59
59: ; preds = %57, %59
%60 = phi i64 [ %62, %59 ], [ %58, %57 ]
%61 = getelementptr inbounds i32, i32* %0, i64 %60
%62 = add nuw nsw i64 %60, 1
%63 = trunc i64 %62 to i32
store i32 %63, i32* %61
%64 = icmp eq i64 %62, %5
br i1 %64, label %65, label %59
65: ; preds = %59, %55, %2
ret void
}