#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();
int /*<<< orphan*/ free(float *);
int /*<<< orphan*/ init(float *, float *, int);
scalar_t__ malloc(int);
scalar_t__ omp_is_initial_device();
void vec_mult(float *p, float *v1, float *v2, int n) {
  int i;
#pragma omp task shared(v1, v2) depend(out : v1, v2)
#pragma omp target map(v1, v2)
  {
    if (omp_is_initial_device())
      abort();
    v1 = (float *)malloc(n * sizeof(float));
    v2 = (float *)malloc(n * sizeof(float));
    init(v1, v2, n);
  }
#pragma omp task shared(v1, v2) depend(in : v1, v2)
#pragma omp target map(to : v1, v2) map(from : p [0:n])
  {
    if (omp_is_initial_device())
      abort();
#pragma omp parallel for
    for (i = 0; i < n; i++)
      p[i] = v1[i] * v2[i];
    free(v1);
    free(v2);
  }
}


x86 assembly (clang, -O0):
<vec_mult>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    $0x0,%al
call   1070 <omp_is_initial_device@plt>
cmp    $0x0,%rax
je     117f <vec_mult+0x2f>
mov    $0x0,%al
call   1040 <abort@plt>
movslq -0x1c(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x10(%rbp)
movslq -0x1c(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%edx
call   1050 <init@plt>
mov    $0x0,%al
call   1070 <omp_is_initial_device@plt>
cmp    $0x0,%rax
je     11cd <vec_mult+0x7d>
mov    $0x0,%al
call   1040 <abort@plt>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1215 <vec_mult+0xc5>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mulss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11d4 <vec_mult+0x84>
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
mov    -0x18(%rbp),%rdi
call   1030 <free@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vec_mult>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r12d
mov    %rdi,%r14
xor    %eax,%eax
call   1070 <omp_is_initial_device@plt>
test   %rax,%rax
jne    1382 <vec_mult+0x232>
lea    0x0(,%r12,4),%ebx
mov    %ebx,%edi
call   1060 <malloc@plt>
mov    %rax,%r15
mov    %ebx,%edi
call   1060 <malloc@plt>
mov    %rax,%rbx
mov    %r15,%rdi
mov    %rax,%rsi
mov    %r12d,%edx
call   1050 <init@plt>
xor    %eax,%eax
call   1070 <omp_is_initial_device@plt>
test   %rax,%rax
jne    1382 <vec_mult+0x232>
test   %r12d,%r12d
jle    1356 <vec_mult+0x206>
mov    %r12d,%eax
cmp    $0x8,%r12d
jae    11c1 <vec_mult+0x71>
xor    %ecx,%ecx
jmp    12bb <vec_mult+0x16b>
lea    (%r14,%rax,4),%rcx
lea    (%r15,%rax,4),%rdx
lea    (%rbx,%rax,4),%rsi
cmp    %r14,%rdx
seta   %dil
cmp    %rcx,%r15
setb   %r8b
cmp    %r14,%rsi
seta   %dl
cmp    %rcx,%rbx
setb   %sil
xor    %ecx,%ecx
test   %r8b,%dil
jne    12bb <vec_mult+0x16b>
and    %sil,%dl
jne    12bb <vec_mult+0x16b>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     1371 <vec_mult+0x221>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups (%r15,%rdx,4),%xmm0
movups 0x10(%r15,%rdx,4),%xmm1
movups (%rbx,%rdx,4),%xmm2
mulps  %xmm0,%xmm2
movups 0x10(%rbx,%rdx,4),%xmm0
mulps  %xmm1,%xmm0
movups %xmm2,(%r14,%rdx,4)
movups %xmm0,0x10(%r14,%rdx,4)
movups 0x20(%r15,%rdx,4),%xmm0
movups 0x30(%r15,%rdx,4),%xmm1
movups 0x20(%rbx,%rdx,4),%xmm2
mulps  %xmm0,%xmm2
movups 0x30(%rbx,%rdx,4),%xmm0
mulps  %xmm1,%xmm0
movups %xmm2,0x20(%r14,%rdx,4)
movups %xmm0,0x30(%r14,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rdi
jne    1230 <vec_mult+0xe0>
test   $0x1,%sil
je     12b2 <vec_mult+0x162>
movups (%r15,%rdx,4),%xmm0
movups 0x10(%r15,%rdx,4),%xmm1
movups (%rbx,%rdx,4),%xmm2
mulps  %xmm0,%xmm2
movups 0x10(%rbx,%rdx,4),%xmm0
mulps  %xmm1,%xmm0
movups %xmm2,(%r14,%rdx,4)
movups %xmm0,0x10(%r14,%rdx,4)
cmp    %rax,%rcx
je     1356 <vec_mult+0x206>
mov    %rcx,%rdx
not    %rdx
add    %rax,%rdx
mov    %rax,%rsi
and    $0x3,%rsi
je     12eb <vec_mult+0x19b>
nopl   (%rax)
movss  (%r15,%rcx,4),%xmm0
mulss  (%rbx,%rcx,4),%xmm0
movss  %xmm0,(%r14,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rsi
jne    12d0 <vec_mult+0x180>
cmp    $0x3,%rdx
jb     1356 <vec_mult+0x206>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movss  (%r15,%rcx,4),%xmm0
mulss  (%rbx,%rcx,4),%xmm0
movss  %xmm0,(%r14,%rcx,4)
movss  0x4(%r15,%rcx,4),%xmm0
mulss  0x4(%rbx,%rcx,4),%xmm0
movss  %xmm0,0x4(%r14,%rcx,4)
movss  0x8(%r15,%rcx,4),%xmm0
mulss  0x8(%rbx,%rcx,4),%xmm0
movss  %xmm0,0x8(%r14,%rcx,4)
movss  0xc(%r15,%rcx,4),%xmm0
mulss  0xc(%rbx,%rcx,4),%xmm0
movss  %xmm0,0xc(%r14,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%rax
jne    1300 <vec_mult+0x1b0>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
jmp    1030 <free@plt>
xor    %edx,%edx
test   $0x1,%sil
jne    128d <vec_mult+0x13d>
jmp    12b2 <vec_mult+0x162>
xor    %eax,%eax
call   1040 <abort@plt>

LLVM IR (-O0):
define void @vec_mult(float* %0, float* %1, float* %2, i32 %3) {
%5 = alloca float*
%6 = alloca float*
%7 = alloca float*
%8 = alloca i32
%9 = alloca i32
store float* %0, float** %5
store float* %1, float** %6
store float* %2, float** %7
store i32 %3, i32* %8
%10 = call i64 (...) @omp_is_initial_device()
%11 = icmp ne i64 %10, 0
br i1 %11, label %12, label %14
12: ; preds = %4
%13 = call i32 (...) @abort()
unreachable
14: ; preds = %4
%15 = load i32, i32* %8
%16 = sext i32 %15 to i64
%17 = mul i64 %16, 4
%18 = trunc i64 %17 to i32
%19 = call i64 @malloc(i32 %18)
%20 = inttoptr i64 %19 to float*
store float* %20, float** %6
%21 = load i32, i32* %8
%22 = sext i32 %21 to i64
%23 = mul i64 %22, 4
%24 = trunc i64 %23 to i32
%25 = call i64 @malloc(i32 %24)
%26 = inttoptr i64 %25 to float*
store float* %26, float** %7
%27 = load float*, float** %6
%28 = load float*, float** %7
%29 = load i32, i32* %8
%30 = call i32 @init(float* %27, float* %28, i32 %29)
%31 = call i64 (...) @omp_is_initial_device()
%32 = icmp ne i64 %31, 0
br i1 %32, label %33, label %35
33: ; preds = %14
%34 = call i32 (...) @abort()
unreachable
35: ; preds = %14
store i32 0, i32* %9
br label %36
36: ; preds = %56, %35
%37 = load i32, i32* %9
%38 = load i32, i32* %8
%39 = icmp slt i32 %37, %38
br i1 %39, label %40, label %59
40: ; preds = %36
%41 = load float*, float** %6
%42 = load i32, i32* %9
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds float, float* %41, i64 %43
%45 = load float, float* %44
%46 = load float*, float** %7
%47 = load i32, i32* %9
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds float, float* %46, i64 %48
%50 = load float, float* %49
%51 = fmul float %45, %50
%52 = load float*, float** %5
%53 = load i32, i32* %9
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds float, float* %52, i64 %54
store float %51, float* %55
br label %56
56: ; preds = %40
%57 = load i32, i32* %9
%58 = add nsw i32 %57, 1
store i32 %58, i32* %9
br label %36
59: ; preds = %36
%60 = load float*, float** %6
%61 = call i32 @free(float* %60)
%62 = load float*, float** %7
%63 = call i32 @free(float* %62)
ret void
}

LLVM IR (-O2):
define void @vec_mult(float* nocapture writeonly %0, float* nocapture readnone %1, float* nocapture readnone %2, i32 %3) {
%5 = tail call i64 (...) @omp_is_initial_device()
%6 = icmp eq i64 %5, 0
br i1 %6, label %9, label %7
7: ; preds = %4
%8 = tail call i32 (...) @abort()
unreachable
9: ; preds = %4
%10 = shl i32 %3, 2
%11 = tail call i64 @malloc(i32 %10)
%12 = inttoptr i64 %11 to float*
%13 = inttoptr i64 %11 to i8*
%14 = tail call i64 @malloc(i32 %10)
%15 = inttoptr i64 %14 to float*
%16 = inttoptr i64 %14 to i8*
%17 = tail call i32 @init(float* %12, float* %15, i32 %3)
%18 = tail call i64 (...) @omp_is_initial_device()
%19 = icmp eq i64 %18, 0
br i1 %19, label %20, label %134
20: ; preds = %9
%21 = icmp sgt i32 %3, 0
br i1 %21, label %22, label %167
22: ; preds = %20
%23 = zext i32 %3 to i64
%24 = icmp ult i32 %3, 8
br i1 %24, label %113, label %25
25: ; preds = %22
%26 = getelementptr float, float* %0, i64 %23
%27 = bitcast float* %26 to i8*
%28 = getelementptr float, float* %12, i64 %23
%29 = getelementptr float, float* %15, i64 %23
%30 = icmp ugt float* %28, %0
%31 = icmp ult i8* %13, %27
%32 = and i1 %30, %31
%33 = icmp ugt float* %29, %0
%34 = icmp ult i8* %16, %27
%35 = and i1 %33, %34
%36 = or i1 %32, %35
br i1 %36, label %113, label %37
37: ; preds = %25
%38 = and i64 %23, 4294967288
%39 = add nsw i64 %38, -8
%40 = lshr exact i64 %39, 3
%41 = add nuw nsw i64 %40, 1
%42 = and i64 %41, 1
%43 = icmp eq i64 %39, 0
br i1 %43, label %89, label %44
44: ; preds = %37
%45 = and i64 %41, 4611686018427387902
br label %46
46: ; preds = %46, %44
%47 = phi i64 [ 0, %44 ], [ %86, %46 ]
%48 = phi i64 [ 0, %44 ], [ %87, %46 ]
%49 = getelementptr inbounds float, float* %12, i64 %47
%50 = bitcast float* %49 to <4 x float>*
%51 = load <4 x float>, <4 x float>* %50
%52 = getelementptr inbounds float, float* %49, i64 4
%53 = bitcast float* %52 to <4 x float>*
%54 = load <4 x float>, <4 x float>* %53
%55 = getelementptr inbounds float, float* %15, i64 %47
%56 = bitcast float* %55 to <4 x float>*
%57 = load <4 x float>, <4 x float>* %56
%58 = getelementptr inbounds float, float* %55, i64 4
%59 = bitcast float* %58 to <4 x float>*
%60 = load <4 x float>, <4 x float>* %59
%61 = fmul <4 x float> %51, %57
%62 = fmul <4 x float> %54, %60
%63 = getelementptr inbounds float, float* %0, i64 %47
%64 = bitcast float* %63 to <4 x float>*
store <4 x float> %61, <4 x float>* %64
%65 = getelementptr inbounds float, float* %63, i64 4
%66 = bitcast float* %65 to <4 x float>*
store <4 x float> %62, <4 x float>* %66
%67 = or i64 %47, 8
%68 = getelementptr inbounds float, float* %12, i64 %67
%69 = bitcast float* %68 to <4 x float>*
%70 = load <4 x float>, <4 x float>* %69
%71 = getelementptr inbounds float, float* %68, i64 4
%72 = bitcast float* %71 to <4 x float>*
%73 = load <4 x float>, <4 x float>* %72
%74 = getelementptr inbounds float, float* %15, i64 %67
%75 = bitcast float* %74 to <4 x float>*
%76 = load <4 x float>, <4 x float>* %75
%77 = getelementptr inbounds float, float* %74, i64 4
%78 = bitcast float* %77 to <4 x float>*
%79 = load <4 x float>, <4 x float>* %78
%80 = fmul <4 x float> %70, %76
%81 = fmul <4 x float> %73, %79
%82 = getelementptr inbounds float, float* %0, i64 %67
%83 = bitcast float* %82 to <4 x float>*
store <4 x float> %80, <4 x float>* %83
%84 = getelementptr inbounds float, float* %82, i64 4
%85 = bitcast float* %84 to <4 x float>*
store <4 x float> %81, <4 x float>* %85
%86 = add nuw i64 %47, 16
%87 = add i64 %48, 2
%88 = icmp eq i64 %87, %45
br i1 %88, label %89, label %46
89: ; preds = %46, %37
%90 = phi i64 [ 0, %37 ], [ %86, %46 ]
%91 = icmp eq i64 %42, 0
br i1 %91, label %111, label %92
92: ; preds = %89
%93 = getelementptr inbounds float, float* %12, i64 %90
%94 = bitcast float* %93 to <4 x float>*
%95 = load <4 x float>, <4 x float>* %94
%96 = getelementptr inbounds float, float* %93, i64 4
%97 = bitcast float* %96 to <4 x float>*
%98 = load <4 x float>, <4 x float>* %97
%99 = getelementptr inbounds float, float* %15, i64 %90
%100 = bitcast float* %99 to <4 x float>*
%101 = load <4 x float>, <4 x float>* %100
%102 = getelementptr inbounds float, float* %99, i64 4
%103 = bitcast float* %102 to <4 x float>*
%104 = load <4 x float>, <4 x float>* %103
%105 = fmul <4 x float> %95, %101
%106 = fmul <4 x float> %98, %104
%107 = getelementptr inbounds float, float* %0, i64 %90
%108 = bitcast float* %107 to <4 x float>*
store <4 x float> %105, <4 x float>* %108
%109 = getelementptr inbounds float, float* %107, i64 4
%110 = bitcast float* %109 to <4 x float>*
store <4 x float> %106, <4 x float>* %110
br label %111
111: ; preds = %89, %92
%112 = icmp eq i64 %38, %23
br i1 %112, label %167, label %113
113: ; preds = %25, %22, %111
%114 = phi i64 [ 0, %25 ], [ 0, %22 ], [ %38, %111 ]
%115 = xor i64 %114, -1
%116 = add nsw i64 %115, %23
%117 = and i64 %23, 3
%118 = icmp eq i64 %117, 0
br i1 %118, label %131, label %119
119: ; preds = %113, %119
%120 = phi i64 [ %128, %119 ], [ %114, %113 ]
%121 = phi i64 [ %129, %119 ], [ 0, %113 ]
%122 = getelementptr inbounds float, float* %12, i64 %120
%123 = load float, float* %122
%124 = getelementptr inbounds float, float* %15, i64 %120
%125 = load float, float* %124
%126 = fmul float %123, %125
%127 = getelementptr inbounds float, float* %0, i64 %120
store float %126, float* %127
%128 = add nuw nsw i64 %120, 1
%129 = add i64 %121, 1
%130 = icmp eq i64 %129, %117
br i1 %130, label %131, label %119
131: ; preds = %119, %113
%132 = phi i64 [ %114, %113 ], [ %128, %119 ]
%133 = icmp ult i64 %116, 3
br i1 %133, label %167, label %136
134: ; preds = %9
%135 = tail call i32 (...) @abort()
unreachable
136: ; preds = %131, %136
%137 = phi i64 [ %165, %136 ], [ %132, %131 ]
%138 = getelementptr inbounds float, float* %12, i64 %137
%139 = load float, float* %138
%140 = getelementptr inbounds float, float* %15, i64 %137
%141 = load float, float* %140
%142 = fmul float %139, %141
%143 = getelementptr inbounds float, float* %0, i64 %137
store float %142, float* %143
%144 = add nuw nsw i64 %137, 1
%145 = getelementptr inbounds float, float* %12, i64 %144
%146 = load float, float* %145
%147 = getelementptr inbounds float, float* %15, i64 %144
%148 = load float, float* %147
%149 = fmul float %146, %148
%150 = getelementptr inbounds float, float* %0, i64 %144
store float %149, float* %150
%151 = add nuw nsw i64 %137, 2
%152 = getelementptr inbounds float, float* %12, i64 %151
%153 = load float, float* %152
%154 = getelementptr inbounds float, float* %15, i64 %151
%155 = load float, float* %154
%156 = fmul float %153, %155
%157 = getelementptr inbounds float, float* %0, i64 %151
store float %156, float* %157
%158 = add nuw nsw i64 %137, 3
%159 = getelementptr inbounds float, float* %12, i64 %158
%160 = load float, float* %159
%161 = getelementptr inbounds float, float* %15, i64 %158
%162 = load float, float* %161
%163 = fmul float %160, %162
%164 = getelementptr inbounds float, float* %0, i64 %158
store float %163, float* %164
%165 = add nuw nsw i64 %137, 4
%166 = icmp eq i64 %165, %23
br i1 %166, label %167, label %136
167: ; preds = %131, %136, %111, %20
%168 = tail call i32 @free(float* %12)
%169 = tail call i32 @free(float* %15)
ret void
}