#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();
scalar_t__ acc_is_present(float *, int);
scalar_t__ malloc(int);
int main(int argc, char **argv) {
  int N = 8;
  float *a, *b;
  int i;
  a = (float *)malloc(N * sizeof(float));
  b = (float *)malloc(N * sizeof(float));
  for (i = 0; i < N; i++) {
    a[i] = 2.0;
    b[i] = 5.0;
  }
#pragma acc parallel copyin(a [2:4]) copyout(b [2:4])
  {
    b[2] = a[2];
    b[3] = a[3];
  }
  for (i = 2; i < 4; i++) {
    if (a[i] != 2.0)
      abort();
    if (b[i] != 2.0)
      abort();
  }
  for (i = 0; i < N; i++) {
    a[i] = 3.0;
    b[i] = 1.0;
  }
#pragma acc parallel copyin(a [0:4]) copyout(b [0:4])
  {
    b[0] = a[0];
    b[1] = a[1];
    b[2] = a[2];
    b[3] = a[3];
  }
  for (i = 0; i < 4; i++) {
    if (a[i] != 3.0)
      abort();
    if (b[i] != 3.0)
      abort();
  }
  for (i = 0; i < N; i++) {
    a[i] = 9.0;
    b[i] = 6.0;
  }
#pragma acc parallel copyin(a [0:4]) copyout(b [4:4])
  {
    b[4] = a[0];
    b[5] = a[1];
    b[6] = a[2];
    b[7] = a[3];
  }
  for (i = 0; i < 4; i++) {
    if (a[i] != 9.0)
      abort();
  }
  for (i = 4; i < 8; i++) {
    if (b[i] != 9.0)
      abort();
  }
  if (acc_is_present(a, (N * sizeof(float))))
    abort();
  if (acc_is_present(b, (N * sizeof(float))))
    abort();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x8,-0x14(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x20(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11be <main+0x8e>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  0xe96(%rip),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  0xe7d(%rip),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    117a <main+0x4a>
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x20(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0xc(%rax)
movl   $0x2,-0x2c(%rbp)
cmpl   $0x4,-0x2c(%rbp)
jge    1270 <main+0x140>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe04(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    1221 <main+0xf1>
jp     1221 <main+0xf1>
jmp    1228 <main+0xf8>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xdcf(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    1256 <main+0x126>
jp     1256 <main+0x126>
jmp    125d <main+0x12d>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1262 <main+0x132>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11e9 <main+0xb9>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12bb <main+0x18b>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  0xd91(%rip),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  0xd78(%rip),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1277 <main+0x147>
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x20(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0xc(%rax)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x4,-0x2c(%rbp)
jge    138f <main+0x25f>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xcdd(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    1340 <main+0x210>
jp     1340 <main+0x210>
jmp    1347 <main+0x217>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xca8(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    1375 <main+0x245>
jp     1375 <main+0x245>
jmp    137c <main+0x24c>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1381 <main+0x251>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1308 <main+0x1d8>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13da <main+0x2aa>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  0xc6a(%rip),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  0xc51(%rip),%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1396 <main+0x266>
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x14(%rax)
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x18(%rax)
mov    -0x20(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x1c(%rax)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x4,-0x2c(%rbp)
jge    147a <main+0x34a>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xbb5(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    1460 <main+0x330>
jp     1460 <main+0x330>
jmp    1467 <main+0x337>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    146c <main+0x33c>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1428 <main+0x2f8>
movl   $0x4,-0x2c(%rbp)
cmpl   $0x8,-0x2c(%rbp)
jge    14d3 <main+0x3a3>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xb5c(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    14b9 <main+0x389>
jp     14b9 <main+0x389>
jmp    14c0 <main+0x390>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    14c5 <main+0x395>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1481 <main+0x351>
mov    -0x20(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%esi
call   1040 <acc_is_present@plt>
cmp    $0x0,%rax
je     14f7 <main+0x3c7>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x28(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%esi
call   1040 <acc_is_present@plt>
cmp    $0x0,%rax
je     151b <main+0x3eb>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
push   %rax
mov    $0x20,%edi
call   1050 <malloc@plt>
mov    %rax,%rbx
mov    $0x20,%edi
call   1050 <malloc@plt>
movl   $0x40000000,(%rbx)
movl   $0x40a00000,(%rax)
movl   $0x40000000,0x4(%rbx)
movl   $0x40a00000,0x4(%rax)
movl   $0x40000000,0x8(%rbx)
movl   $0x40a00000,0x8(%rax)
movl   $0x40000000,0xc(%rbx)
movl   $0x40a00000,0xc(%rax)
movl   $0x40000000,0x10(%rbx)
movl   $0x40a00000,0x10(%rax)
movl   $0x40000000,0x14(%rbx)
movl   $0x40a00000,0x14(%rax)
movl   $0x40000000,0x18(%rbx)
movl   $0x40a00000,0x18(%rax)
movl   $0x40000000,0x1c(%rbx)
movl   $0x40a00000,0x1c(%rax)
movss  0x8(%rbx),%xmm1
movss  %xmm1,0x8(%rax)
movss  0xc(%rbx),%xmm0
movss  %xmm0,0xc(%rax)
movss  0x8(%rbx),%xmm2
ucomiss 0xe27(%rip),%xmm2
jne    1497 <main+0x367>
jp     1497 <main+0x367>
ucomiss 0xe14(%rip),%xmm1
jne    1497 <main+0x367>
jp     1497 <main+0x367>
mov    %rax,%r14
movss  0xc(%rbx),%xmm1
ucomiss 0xdf9(%rip),%xmm1
jne    1497 <main+0x367>
jp     1497 <main+0x367>
ucomiss 0xde6(%rip),%xmm0
jne    1497 <main+0x367>
jp     1497 <main+0x367>
movl   $0x40400000,(%rbx)
movl   $0x3f800000,(%r14)
movl   $0x40400000,0x4(%rbx)
movl   $0x3f800000,0x4(%r14)
3f
movl   $0x40400000,0x8(%rbx)
movl   $0x3f800000,0x8(%r14)
3f
movl   $0x40400000,0xc(%rbx)
movl   $0x3f800000,0xc(%r14)
3f
movl   $0x40400000,0x10(%rbx)
movl   $0x3f800000,0x10(%r14)
3f
movl   $0x40400000,0x14(%rbx)
movl   $0x3f800000,0x14(%r14)
3f
movl   $0x40400000,0x18(%rbx)
movl   $0x3f800000,0x18(%r14)
3f
movl   $0x40400000,0x1c(%rbx)
movl   $0x3f800000,0x1c(%r14)
3f
movss  (%rbx),%xmm3
movss  %xmm3,(%r14)
movss  0x4(%rbx),%xmm2
movss  %xmm2,0x4(%r14)
movss  0x8(%rbx),%xmm1
movss  %xmm1,0x8(%r14)
movss  0xc(%rbx),%xmm0
movss  %xmm0,0xc(%r14)
movss  (%rbx),%xmm4
ucomiss 0xd33(%rip),%xmm4
jne    1497 <main+0x367>
jp     1497 <main+0x367>
ucomiss 0xd20(%rip),%xmm3
jne    1497 <main+0x367>
jp     1497 <main+0x367>
movss  0x4(%rbx),%xmm3
ucomiss 0xd08(%rip),%xmm3
jne    1497 <main+0x367>
jp     1497 <main+0x367>
ucomiss 0xcf5(%rip),%xmm2
jne    1497 <main+0x367>
jp     1497 <main+0x367>
movss  0x8(%rbx),%xmm2
ucomiss 0xcdd(%rip),%xmm2
jne    1497 <main+0x367>
jp     1497 <main+0x367>
ucomiss 0xcca(%rip),%xmm1
jne    1497 <main+0x367>
jp     1497 <main+0x367>
movss  0xc(%rbx),%xmm1
ucomiss 0xcb2(%rip),%xmm1
jne    1497 <main+0x367>
jp     1497 <main+0x367>
ucomiss 0xc9f(%rip),%xmm0
jne    1497 <main+0x367>
jp     1497 <main+0x367>
movl   $0x41100000,(%rbx)
movl   $0x40c00000,(%r14)
movl   $0x41100000,0x4(%rbx)
movl   $0x40c00000,0x4(%r14)
40
movl   $0x41100000,0x8(%rbx)
movl   $0x40c00000,0x8(%r14)
40
movl   $0x41100000,0xc(%rbx)
movl   $0x40c00000,0xc(%r14)
40
movl   $0x41100000,0x10(%rbx)
movl   $0x40c00000,0x10(%r14)
40
movl   $0x41100000,0x14(%rbx)
movl   $0x40c00000,0x14(%r14)
40
movl   $0x41100000,0x18(%rbx)
movl   $0x40c00000,0x18(%r14)
40
movl   $0x41100000,0x1c(%rbx)
movl   $0x40c00000,0x1c(%r14)
40
movss  (%rbx),%xmm0
movss  %xmm0,0x10(%r14)
movss  0x4(%rbx),%xmm1
movss  %xmm1,0x14(%r14)
movss  0x8(%rbx),%xmm2
movss  %xmm2,0x18(%r14)
movss  0xc(%rbx),%xmm3
movss  %xmm3,0x1c(%r14)
movss  (%rbx),%xmm4
ucomiss 0xbeb(%rip),%xmm4
jne    1497 <main+0x367>
jp     1497 <main+0x367>
movss  0x4(%rbx),%xmm4
ucomiss 0xbdb(%rip),%xmm4
jne    1497 <main+0x367>
jp     1497 <main+0x367>
movss  0x8(%rbx),%xmm4
ucomiss 0xbcb(%rip),%xmm4
jne    1497 <main+0x367>
jp     1497 <main+0x367>
movss  0xc(%rbx),%xmm4
ucomiss 0xbbb(%rip),%xmm4
jne    1497 <main+0x367>
jp     1497 <main+0x367>
unpcklps %xmm3,%xmm2
unpcklps %xmm1,%xmm0
movlhps %xmm2,%xmm0
cmpneqps 0xbae(%rip),%xmm0
04
movmskps %xmm0,%eax
test   %eax,%eax
jne    1497 <main+0x367>
mov    %rbx,%rdi
mov    $0x20,%esi
call   1040 <acc_is_present@plt>
test   %rax,%rax
jne    1497 <main+0x367>
mov    %r14,%rdi
mov    $0x20,%esi
call   1040 <acc_is_present@plt>
test   %rax,%rax
jne    1497 <main+0x367>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca float*
%8 = alloca float*
%9 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store i32 8, i32* %6
%10 = load i32, i32* %6
%11 = sext i32 %10 to i64
%12 = mul i64 %11, 4
%13 = trunc i64 %12 to i32
%14 = call i64 @malloc(i32 %13)
%15 = inttoptr i64 %14 to float*
store float* %15, float** %7
%16 = load i32, i32* %6
%17 = sext i32 %16 to i64
%18 = mul i64 %17, 4
%19 = trunc i64 %18 to i32
%20 = call i64 @malloc(i32 %19)
%21 = inttoptr i64 %20 to float*
store float* %21, float** %8
store i32 0, i32* %9
br label %22
22: ; preds = %35, %2
%23 = load i32, i32* %9
%24 = load i32, i32* %6
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %38
26: ; preds = %22
%27 = load float*, float** %7
%28 = load i32, i32* %9
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds float, float* %27, i64 %29
store float 2.000000e+00, float* %30
%31 = load float*, float** %8
%32 = load i32, i32* %9
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds float, float* %31, i64 %33
store float 5.000000e+00, float* %34
br label %35
35: ; preds = %26
%36 = load i32, i32* %9
%37 = add nsw i32 %36, 1
store i32 %37, i32* %9
br label %22
38: ; preds = %22
%39 = load float*, float** %7
%40 = getelementptr inbounds float, float* %39, i64 2
%41 = load float, float* %40
%42 = load float*, float** %8
%43 = getelementptr inbounds float, float* %42, i64 2
store float %41, float* %43
%44 = load float*, float** %7
%45 = getelementptr inbounds float, float* %44, i64 3
%46 = load float, float* %45
%47 = load float*, float** %8
%48 = getelementptr inbounds float, float* %47, i64 3
store float %46, float* %48
store i32 2, i32* %9
br label %49
49: ; preds = %73, %38
%50 = load i32, i32* %9
%51 = icmp slt i32 %50, 4
br i1 %51, label %52, label %76
52: ; preds = %49
%53 = load float*, float** %7
%54 = load i32, i32* %9
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds float, float* %53, i64 %55
%57 = load float, float* %56
%58 = fpext float %57 to double
%59 = fcmp une double %58, 2.000000e+00
br i1 %59, label %60, label %62
60: ; preds = %52
%61 = call i32 (...) @abort()
unreachable
62: ; preds = %52
%63 = load float*, float** %8
%64 = load i32, i32* %9
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds float, float* %63, i64 %65
%67 = load float, float* %66
%68 = fpext float %67 to double
%69 = fcmp une double %68, 2.000000e+00
br i1 %69, label %70, label %72
70: ; preds = %62
%71 = call i32 (...) @abort()
unreachable
72: ; preds = %62
br label %73
73: ; preds = %72
%74 = load i32, i32* %9
%75 = add nsw i32 %74, 1
store i32 %75, i32* %9
br label %49
76: ; preds = %49
store i32 0, i32* %9
br label %77
77: ; preds = %90, %76
%78 = load i32, i32* %9
%79 = load i32, i32* %6
%80 = icmp slt i32 %78, %79
br i1 %80, label %81, label %93
81: ; preds = %77
%82 = load float*, float** %7
%83 = load i32, i32* %9
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds float, float* %82, i64 %84
store float 3.000000e+00, float* %85
%86 = load float*, float** %8
%87 = load i32, i32* %9
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds float, float* %86, i64 %88
store float 1.000000e+00, float* %89
br label %90
90: ; preds = %81
%91 = load i32, i32* %9
%92 = add nsw i32 %91, 1
store i32 %92, i32* %9
br label %77
93: ; preds = %77
%94 = load float*, float** %7
%95 = getelementptr inbounds float, float* %94, i64 0
%96 = load float, float* %95
%97 = load float*, float** %8
%98 = getelementptr inbounds float, float* %97, i64 0
store float %96, float* %98
%99 = load float*, float** %7
%100 = getelementptr inbounds float, float* %99, i64 1
%101 = load float, float* %100
%102 = load float*, float** %8
%103 = getelementptr inbounds float, float* %102, i64 1
store float %101, float* %103
%104 = load float*, float** %7
%105 = getelementptr inbounds float, float* %104, i64 2
%106 = load float, float* %105
%107 = load float*, float** %8
%108 = getelementptr inbounds float, float* %107, i64 2
store float %106, float* %108
%109 = load float*, float** %7
%110 = getelementptr inbounds float, float* %109, i64 3
%111 = load float, float* %110
%112 = load float*, float** %8
%113 = getelementptr inbounds float, float* %112, i64 3
store float %111, float* %113
store i32 0, i32* %9
br label %114
114: ; preds = %138, %93
%115 = load i32, i32* %9
%116 = icmp slt i32 %115, 4
br i1 %116, label %117, label %141
117: ; preds = %114
%118 = load float*, float** %7
%119 = load i32, i32* %9
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds float, float* %118, i64 %120
%122 = load float, float* %121
%123 = fpext float %122 to double
%124 = fcmp une double %123, 3.000000e+00
br i1 %124, label %125, label %127
125: ; preds = %117
%126 = call i32 (...) @abort()
unreachable
127: ; preds = %117
%128 = load float*, float** %8
%129 = load i32, i32* %9
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds float, float* %128, i64 %130
%132 = load float, float* %131
%133 = fpext float %132 to double
%134 = fcmp une double %133, 3.000000e+00
br i1 %134, label %135, label %137
135: ; preds = %127
%136 = call i32 (...) @abort()
unreachable
137: ; preds = %127
br label %138
138: ; preds = %137
%139 = load i32, i32* %9
%140 = add nsw i32 %139, 1
store i32 %140, i32* %9
br label %114
141: ; preds = %114
store i32 0, i32* %9
br label %142
142: ; preds = %155, %141
%143 = load i32, i32* %9
%144 = load i32, i32* %6
%145 = icmp slt i32 %143, %144
br i1 %145, label %146, label %158
146: ; preds = %142
%147 = load float*, float** %7
%148 = load i32, i32* %9
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds float, float* %147, i64 %149
store float 9.000000e+00, float* %150
%151 = load float*, float** %8
%152 = load i32, i32* %9
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds float, float* %151, i64 %153
store float 6.000000e+00, float* %154
br label %155
155: ; preds = %146
%156 = load i32, i32* %9
%157 = add nsw i32 %156, 1
store i32 %157, i32* %9
br label %142
158: ; preds = %142
%159 = load float*, float** %7
%160 = getelementptr inbounds float, float* %159, i64 0
%161 = load float, float* %160
%162 = load float*, float** %8
%163 = getelementptr inbounds float, float* %162, i64 4
store float %161, float* %163
%164 = load float*, float** %7
%165 = getelementptr inbounds float, float* %164, i64 1
%166 = load float, float* %165
%167 = load float*, float** %8
%168 = getelementptr inbounds float, float* %167, i64 5
store float %166, float* %168
%169 = load float*, float** %7
%170 = getelementptr inbounds float, float* %169, i64 2
%171 = load float, float* %170
%172 = load float*, float** %8
%173 = getelementptr inbounds float, float* %172, i64 6
store float %171, float* %173
%174 = load float*, float** %7
%175 = getelementptr inbounds float, float* %174, i64 3
%176 = load float, float* %175
%177 = load float*, float** %8
%178 = getelementptr inbounds float, float* %177, i64 7
store float %176, float* %178
store i32 0, i32* %9
br label %179
179: ; preds = %193, %158
%180 = load i32, i32* %9
%181 = icmp slt i32 %180, 4
br i1 %181, label %182, label %196
182: ; preds = %179
%183 = load float*, float** %7
%184 = load i32, i32* %9
%185 = sext i32 %184 to i64
%186 = getelementptr inbounds float, float* %183, i64 %185
%187 = load float, float* %186
%188 = fpext float %187 to double
%189 = fcmp une double %188, 9.000000e+00
br i1 %189, label %190, label %192
190: ; preds = %182
%191 = call i32 (...) @abort()
unreachable
192: ; preds = %182
br label %193
193: ; preds = %192
%194 = load i32, i32* %9
%195 = add nsw i32 %194, 1
store i32 %195, i32* %9
br label %179
196: ; preds = %179
store i32 4, i32* %9
br label %197
197: ; preds = %211, %196
%198 = load i32, i32* %9
%199 = icmp slt i32 %198, 8
br i1 %199, label %200, label %214
200: ; preds = %197
%201 = load float*, float** %8
%202 = load i32, i32* %9
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds float, float* %201, i64 %203
%205 = load float, float* %204
%206 = fpext float %205 to double
%207 = fcmp une double %206, 9.000000e+00
br i1 %207, label %208, label %210
208: ; preds = %200
%209 = call i32 (...) @abort()
unreachable
210: ; preds = %200
br label %211
211: ; preds = %210
%212 = load i32, i32* %9
%213 = add nsw i32 %212, 1
store i32 %213, i32* %9
br label %197
214: ; preds = %197
%215 = load float*, float** %7
%216 = load i32, i32* %6
%217 = sext i32 %216 to i64
%218 = mul i64 %217, 4
%219 = trunc i64 %218 to i32
%220 = call i64 @acc_is_present(float* %215, i32 %219)
%221 = icmp ne i64 %220, 0
br i1 %221, label %222, label %224
222: ; preds = %214
%223 = call i32 (...) @abort()
unreachable
224: ; preds = %214
%225 = load float*, float** %8
%226 = load i32, i32* %6
%227 = sext i32 %226 to i64
%228 = mul i64 %227, 4
%229 = trunc i64 %228 to i32
%230 = call i64 @acc_is_present(float* %225, i32 %229)
%231 = icmp ne i64 %230, 0
br i1 %231, label %232, label %234
232: ; preds = %224
%233 = call i32 (...) @abort()
unreachable
234: ; preds = %224
ret i32 0
}

LLVM IR (-O2):
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = tail call i64 @malloc(i32 32)
%4 = inttoptr i64 %3 to float*
%5 = tail call i64 @malloc(i32 32)
%6 = inttoptr i64 %5 to float*
store float 2.000000e+00, float* %4
store float 5.000000e+00, float* %6
%7 = getelementptr inbounds float, float* %4, i64 1
store float 2.000000e+00, float* %7
%8 = getelementptr inbounds float, float* %6, i64 1
store float 5.000000e+00, float* %8
%9 = getelementptr inbounds float, float* %4, i64 2
store float 2.000000e+00, float* %9
%10 = getelementptr inbounds float, float* %6, i64 2
store float 5.000000e+00, float* %10
%11 = getelementptr inbounds float, float* %4, i64 3
store float 2.000000e+00, float* %11
%12 = getelementptr inbounds float, float* %6, i64 3
store float 5.000000e+00, float* %12
%13 = getelementptr inbounds float, float* %4, i64 4
store float 2.000000e+00, float* %13
%14 = getelementptr inbounds float, float* %6, i64 4
store float 5.000000e+00, float* %14
%15 = getelementptr inbounds float, float* %4, i64 5
store float 2.000000e+00, float* %15
%16 = getelementptr inbounds float, float* %6, i64 5
store float 5.000000e+00, float* %16
%17 = getelementptr inbounds float, float* %4, i64 6
store float 2.000000e+00, float* %17
%18 = getelementptr inbounds float, float* %6, i64 6
store float 5.000000e+00, float* %18
%19 = getelementptr inbounds float, float* %4, i64 7
store float 2.000000e+00, float* %19
%20 = getelementptr inbounds float, float* %6, i64 7
store float 5.000000e+00, float* %20
%21 = load float, float* %9
store float %21, float* %10
%22 = load float, float* %11
store float %22, float* %12
%23 = load float, float* %9
%24 = fcmp une float %23, 2.000000e+00
br i1 %24, label %37, label %39
25: ; preds = %39
%26 = load float, float* %11
%27 = fcmp une float %26, 2.000000e+00
br i1 %27, label %37, label %28
28: ; preds = %25
%29 = fcmp une float %22, 2.000000e+00
br i1 %29, label %41, label %30
30: ; preds = %28
store float 3.000000e+00, float* %4
store float 1.000000e+00, float* %6
store float 3.000000e+00, float* %7
store float 1.000000e+00, float* %8
store float 3.000000e+00, float* %9
store float 1.000000e+00, float* %10
store float 3.000000e+00, float* %11
store float 1.000000e+00, float* %12
store float 3.000000e+00, float* %13
store float 1.000000e+00, float* %14
store float 3.000000e+00, float* %15
store float 1.000000e+00, float* %16
store float 3.000000e+00, float* %17
store float 1.000000e+00, float* %18
store float 3.000000e+00, float* %19
store float 1.000000e+00, float* %20
%31 = load float, float* %4
store float %31, float* %6
%32 = load float, float* %7
store float %32, float* %8
%33 = load float, float* %9
store float %33, float* %10
%34 = load float, float* %11
store float %34, float* %12
%35 = load float, float* %4
%36 = fcmp une float %35, 3.000000e+00
br i1 %36, label %65, label %67
37: ; preds = %25, %2
%38 = tail call i32 (...) @abort()
unreachable
39: ; preds = %2
%40 = fcmp une float %21, 2.000000e+00
br i1 %40, label %41, label %25
41: ; preds = %28, %39
%42 = tail call i32 (...) @abort()
unreachable
43: ; preds = %67
%44 = load float, float* %7
%45 = fcmp une float %44, 3.000000e+00
br i1 %45, label %65, label %46
46: ; preds = %43
%47 = fcmp une float %32, 3.000000e+00
br i1 %47, label %69, label %48
48: ; preds = %46
%49 = load float, float* %9
%50 = fcmp une float %49, 3.000000e+00
br i1 %50, label %65, label %51
51: ; preds = %48
%52 = fcmp une float %33, 3.000000e+00
br i1 %52, label %69, label %53
53: ; preds = %51
%54 = load float, float* %11
%55 = fcmp une float %54, 3.000000e+00
br i1 %55, label %65, label %56
56: ; preds = %53
%57 = fcmp une float %34, 3.000000e+00
br i1 %57, label %69, label %58
58: ; preds = %56
store float 9.000000e+00, float* %4
store float 6.000000e+00, float* %6
store float 9.000000e+00, float* %7
store float 6.000000e+00, float* %8
store float 9.000000e+00, float* %9
store float 6.000000e+00, float* %10
store float 9.000000e+00, float* %11
store float 6.000000e+00, float* %12
store float 9.000000e+00, float* %13
store float 6.000000e+00, float* %14
store float 9.000000e+00, float* %15
store float 6.000000e+00, float* %16
store float 9.000000e+00, float* %17
store float 6.000000e+00, float* %18
store float 9.000000e+00, float* %19
store float 6.000000e+00, float* %20
%59 = load float, float* %4
store float %59, float* %14
%60 = load float, float* %7
store float %60, float* %16
%61 = load float, float* %9
store float %61, float* %18
%62 = load float, float* %11
store float %62, float* %20
%63 = load float, float* %4
%64 = fcmp une float %63, 9.000000e+00
br i1 %64, label %89, label %71
65: ; preds = %53, %48, %43, %30
%66 = tail call i32 (...) @abort()
unreachable
67: ; preds = %30
%68 = fcmp une float %31, 3.000000e+00
br i1 %68, label %69, label %43
69: ; preds = %56, %51, %46, %67
%70 = tail call i32 (...) @abort()
unreachable
71: ; preds = %58
%72 = load float, float* %7
%73 = fcmp une float %72, 9.000000e+00
br i1 %73, label %89, label %74
74: ; preds = %71
%75 = load float, float* %9
%76 = fcmp une float %75, 9.000000e+00
br i1 %76, label %89, label %77
77: ; preds = %74
%78 = load float, float* %11
%79 = fcmp une float %78, 9.000000e+00
br i1 %79, label %89, label %80
80: ; preds = %77
%81 = insertelement <4 x float> poison, float %59, i64 0
%82 = insertelement <4 x float> %81, float %60, i64 1
%83 = insertelement <4 x float> %82, float %61, i64 2
%84 = insertelement <4 x float> %83, float %62, i64 3
%85 = freeze <4 x float> %84
%86 = fcmp une <4 x float> %85, <float 9.000000e+00, float 9.000000e+00, float 9.000000e+00, float 9.000000e+00>
%87 = bitcast <4 x i1> %86 to i4
%88 = icmp eq i4 %87, 0
br i1 %88, label %91, label %94
89: ; preds = %77, %74, %71, %58
%90 = tail call i32 (...) @abort()
unreachable
91: ; preds = %80
%92 = tail call i64 @acc_is_present(float* %4, i32 32)
%93 = icmp eq i64 %92, 0
br i1 %93, label %98, label %96
94: ; preds = %80
%95 = tail call i32 (...) @abort()
unreachable
96: ; preds = %91
%97 = tail call i32 (...) @abort()
unreachable
98: ; preds = %91
%99 = tail call i64 @acc_is_present(float* %6, i32 32)
%100 = icmp eq i64 %99, 0
br i1 %100, label %103, label %101
101: ; preds = %98
%102 = tail call i32 (...) @abort()
unreachable
103: ; preds = %98
ret i32 0
}