#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*/ assert(int);
void t11() {
  int arr[1024];
  int i;
  for (i = 0; i < 1024; i++)
    arr[i] = 99;
#pragma acc parallel copy(arr) num_gangs(1024) num_workers(1) vector_length(32)
  {
    int j;
#pragma acc loop gang(static : *)
    for (j = 0; j < 1024; j++)
      arr[j] = 0;
#pragma acc loop gang(static : *)
    for (j = 0; j < 1024; j++)
      switch (j % 5) {
      case 0:
        arr[j] += 1;
        break;
      case 1:
        arr[j] += 2;
        break;
      case 2:
        arr[j] += 3;
        break;
      case 3:
        arr[j] += 4;
        break;
      case 4:
        arr[j] += 5;
        break;
      default:
        arr[j] += 99;
      }
  }
  for (i = 0; i < 1024; i++)
    assert(arr[i] == (i % 5) + 1);
}


x86 assembly (clang, -O0):
<t11>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1020,%rsp
movl   $0x0,-0x1004(%rbp)
cmpl   $0x400,-0x1004(%rbp)
jge    115b <t11+0x4b>
movslq -0x1004(%rbp),%rax
movl   $0x63,-0x1000(%rbp,%rax,4)
mov    -0x1004(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1004(%rbp)
jmp    1125 <t11+0x15>
movl   $0x0,-0x1008(%rbp)
cmpl   $0x400,-0x1008(%rbp)
jge    119b <t11+0x8b>
movslq -0x1008(%rbp),%rax
movl   $0x0,-0x1000(%rbp,%rax,4)
mov    -0x1008(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1008(%rbp)
jmp    1165 <t11+0x55>
movl   $0x0,-0x1008(%rbp)
cmpl   $0x400,-0x1008(%rbp)
jge    12c4 <t11+0x1b4>
movslq -0x1008(%rbp),%rcx
mov    %ecx,%eax
imul   $0x66666667,%rcx,%rdx
mov    %rdx,%rcx
shr    $0x3f,%rcx
sar    $0x21,%rdx
add    %ecx,%edx
mov    %edx,%ecx
lea    (%rcx,%rcx,4),%ecx
sub    %ecx,%eax
mov    %eax,%ecx
mov    %rcx,-0x1010(%rbp)
sub    $0x4,%eax
ja     1293 <t11+0x183>
mov    -0x1010(%rbp),%rax
lea    0xe07(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movslq -0x1008(%rbp),%rax
mov    -0x1000(%rbp,%rax,4),%ecx
add    $0x1,%ecx
mov    %ecx,-0x1000(%rbp,%rax,4)
jmp    12ab <t11+0x19b>
movslq -0x1008(%rbp),%rax
mov    -0x1000(%rbp,%rax,4),%ecx
add    $0x2,%ecx
mov    %ecx,-0x1000(%rbp,%rax,4)
jmp    12ab <t11+0x19b>
movslq -0x1008(%rbp),%rax
mov    -0x1000(%rbp,%rax,4),%ecx
add    $0x3,%ecx
mov    %ecx,-0x1000(%rbp,%rax,4)
jmp    12ab <t11+0x19b>
movslq -0x1008(%rbp),%rax
mov    -0x1000(%rbp,%rax,4),%ecx
add    $0x4,%ecx
mov    %ecx,-0x1000(%rbp,%rax,4)
jmp    12ab <t11+0x19b>
movslq -0x1008(%rbp),%rax
mov    -0x1000(%rbp,%rax,4),%ecx
add    $0x5,%ecx
mov    %ecx,-0x1000(%rbp,%rax,4)
jmp    12ab <t11+0x19b>
movslq -0x1008(%rbp),%rax
mov    -0x1000(%rbp,%rax,4),%ecx
add    $0x63,%ecx
mov    %ecx,-0x1000(%rbp,%rax,4)
jmp    12b0 <t11+0x1a0>
mov    -0x1008(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1008(%rbp)
jmp    11a5 <t11+0x95>
movl   $0x0,-0x1004(%rbp)
cmpl   $0x400,-0x1004(%rbp)
jge    132c <t11+0x21c>
movslq -0x1004(%rbp),%rax
mov    -0x1000(%rbp,%rax,4),%eax
mov    %eax,-0x1014(%rbp)
mov    -0x1004(%rbp),%eax
mov    $0x5,%ecx
cltd
idiv   %ecx
mov    -0x1014(%rbp),%eax
add    $0x1,%edx
cmp    %edx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x1004(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1004(%rbp)
jmp    12ce <t11+0x1be>
add    $0x1020,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<t11>:
push   %rbp
push   %rbx
sub    $0x1008,%rsp
xor    %eax,%eax
movaps 0xece(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movaps %xmm0,(%rsp,%rax,4)
movaps %xmm0,0x10(%rsp,%rax,4)
movaps %xmm0,0x20(%rsp,%rax,4)
movaps %xmm0,0x30(%rsp,%rax,4)
movaps %xmm0,0x40(%rsp,%rax,4)
movaps %xmm0,0x50(%rsp,%rax,4)
movaps %xmm0,0x60(%rsp,%rax,4)
movaps %xmm0,0x70(%rsp,%rax,4)
movaps %xmm0,0x80(%rsp,%rax,4)
movaps %xmm0,0x90(%rsp,%rax,4)
movaps %xmm0,0xa0(%rsp,%rax,4)
movaps %xmm0,0xb0(%rsp,%rax,4)
movaps %xmm0,0xc0(%rsp,%rax,4)
movaps %xmm0,0xd0(%rsp,%rax,4)
movaps %xmm0,0xe0(%rsp,%rax,4)
movaps %xmm0,0xf0(%rsp,%rax,4)
add    $0x40,%rax
cmp    $0x400,%rax
jne    1140 <t11+0x20>
mov    %rsp,%rdi
xor    %ebx,%ebx
mov    $0x1000,%edx
xor    %esi,%esi
call   1030 <memset@plt>
mov    $0x2,%ax
mov    $0x1,%cx
xor    %edx,%edx
xchg   %ax,%ax
movzwl %cx,%esi
imul   $0xcccd,%esi,%esi
shr    $0x12,%esi
lea    (%rsi,%rsi,4),%esi
mov    %eax,%edi
sub    %esi,%edi
movzwl %bx,%esi
imul   $0xcccd,%esi,%esi
shr    $0x12,%esi
lea    (%rsi,%rsi,4),%esi
mov    %ecx,%ebp
sub    %esi,%ebp
movzwl %bp,%esi
add    %esi,(%rsp,%rdx,1)
movzwl %di,%esi
add    %esi,0x4(%rsp,%rdx,1)
add    $0x2,%eax
add    $0x2,%ecx
add    $0x8,%rdx
add    $0x2,%ebx
cmp    $0x1000,%rdx
jne    11d0 <t11+0xb0>
mov    $0x1,%bp
xor    %ebx,%ebx
nop
movzwl %bx,%eax
imul   $0xcccd,%eax,%eax
shr    $0x12,%eax
lea    (%rax,%rax,4),%eax
mov    %ebp,%ecx
sub    %eax,%ecx
movzwl %cx,%eax
xor    %edi,%edi
cmp    %eax,(%rsp,%rbx,4)
sete   %dil
call   1040 <assert@plt>
add    $0x1,%rbx
add    $0x1,%ebp
cmp    $0x400,%rbx
jne    1220 <t11+0x100>
add    $0x1008,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define void @t11() {
%1 = alloca [1024 x i32]
%2 = alloca i32
%3 = alloca i32
store i32 0, i32* %2
br label %4
4: ; preds = %11, %0
%5 = load i32, i32* %2
%6 = icmp slt i32 %5, 1024
br i1 %6, label %7, label %14
7: ; preds = %4
%8 = load i32, i32* %2
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %9
store i32 99, i32* %10
br label %11
11: ; preds = %7
%12 = load i32, i32* %2
%13 = add nsw i32 %12, 1
store i32 %13, i32* %2
br label %4
14: ; preds = %4
store i32 0, i32* %3
br label %15
15: ; preds = %22, %14
%16 = load i32, i32* %3
%17 = icmp slt i32 %16, 1024
br i1 %17, label %18, label %25
18: ; preds = %15
%19 = load i32, i32* %3
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %20
store i32 0, i32* %21
br label %22
22: ; preds = %18
%23 = load i32, i32* %3
%24 = add nsw i32 %23, 1
store i32 %24, i32* %3
br label %15
25: ; preds = %15
store i32 0, i32* %3
br label %26
26: ; preds = %69, %25
%27 = load i32, i32* %3
%28 = icmp slt i32 %27, 1024
br i1 %28, label %29, label %72
29: ; preds = %26
%30 = load i32, i32* %3
%31 = srem i32 %30, 5
switch i32 %31, label %62 [
i32 0, label %32
i32 1, label %38
i32 2, label %44
i32 3, label %50
i32 4, label %56
]
32: ; preds = %29
%33 = load i32, i32* %3
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %34
%36 = load i32, i32* %35
%37 = add nsw i32 %36, 1
store i32 %37, i32* %35
br label %68
38: ; preds = %29
%39 = load i32, i32* %3
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %40
%42 = load i32, i32* %41
%43 = add nsw i32 %42, 2
store i32 %43, i32* %41
br label %68
44: ; preds = %29
%45 = load i32, i32* %3
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %46
%48 = load i32, i32* %47
%49 = add nsw i32 %48, 3
store i32 %49, i32* %47
br label %68
50: ; preds = %29
%51 = load i32, i32* %3
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %52
%54 = load i32, i32* %53
%55 = add nsw i32 %54, 4
store i32 %55, i32* %53
br label %68
56: ; preds = %29
%57 = load i32, i32* %3
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %58
%60 = load i32, i32* %59
%61 = add nsw i32 %60, 5
store i32 %61, i32* %59
br label %68
62: ; preds = %29
%63 = load i32, i32* %3
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %64
%66 = load i32, i32* %65
%67 = add nsw i32 %66, 99
store i32 %67, i32* %65
br label %68
68: ; preds = %62, %56, %50, %44, %38, %32
br label %69
69: ; preds = %68
%70 = load i32, i32* %3
%71 = add nsw i32 %70, 1
store i32 %71, i32* %3
br label %26
72: ; preds = %26
store i32 0, i32* %2
br label %73
73: ; preds = %87, %72
%74 = load i32, i32* %2
%75 = icmp slt i32 %74, 1024
br i1 %75, label %76, label %90
76: ; preds = %73
%77 = load i32, i32* %2
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %78
%80 = load i32, i32* %79
%81 = load i32, i32* %2
%82 = srem i32 %81, 5
%83 = add nsw i32 %82, 1
%84 = icmp eq i32 %80, %83
%85 = zext i1 %84 to i32
%86 = call i32 @assert(i32 %85)
br label %87
87: ; preds = %76
%88 = load i32, i32* %2
%89 = add nsw i32 %88, 1
store i32 %89, i32* %2
br label %73
90: ; preds = %73
ret void
}

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