#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 */
scalar_t__ calloc(int, int);
int /*<<< orphan*/ memoryCheck();
float *convertDouble2Float(double *dataIn, int n) {
  int i;
  float *dataOut;
  if ((dataOut = (float *)calloc(n, sizeof(float))) == NULL)
    memoryCheck();
  for (i = 0; i < n; i++)
    *(dataOut + i) = (float)*(dataIn + i);
  return dataOut;
}


x86 assembly (clang, -O0):
<convertDouble2Float>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%edi
mov    $0x4,%esi
call   1030 <calloc@plt>
mov    %rax,-0x18(%rbp)
cmp    $0x0,%rax
jne    1151 <convertDouble2Float+0x31>
mov    $0x0,%al
call   1040 <memoryCheck@plt>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1190 <convertDouble2Float+0x70>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1158 <convertDouble2Float+0x38>
mov    -0x18(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<convertDouble2Float>:
push   %rbp
push   %r14
push   %rbx
mov    %esi,%ebp
mov    %rdi,%rbx
mov    %esi,%edi
mov    $0x4,%esi
call   1030 <calloc@plt>
mov    %rax,%r14
test   %rax,%rax
jne    1144 <convertDouble2Float+0x24>
xor    %eax,%eax
call   1040 <memoryCheck@plt>
test   %ebp,%ebp
jle    1208 <convertDouble2Float+0xe8>
mov    %ebp,%eax
cmp    $0x4,%ebp
jae    115a <convertDouble2Float+0x3a>
xor    %ecx,%ecx
jmp    11f0 <convertDouble2Float+0xd0>
mov    %eax,%ecx
and    $0xfffffffc,%ecx
lea    -0x4(%rcx),%rsi
mov    %rsi,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     1210 <convertDouble2Float+0xf0>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %esi,%esi
movupd (%rbx,%rsi,8),%xmm0
movupd 0x10(%rbx,%rsi,8),%xmm1
cvtpd2ps %xmm0,%xmm0
cvtpd2ps %xmm1,%xmm1
unpcklpd %xmm1,%xmm0
movupd %xmm0,(%r14,%rsi,4)
movupd 0x20(%rbx,%rsi,8),%xmm0
movupd 0x30(%rbx,%rsi,8),%xmm1
cvtpd2ps %xmm0,%xmm0
cvtpd2ps %xmm1,%xmm1
unpcklpd %xmm1,%xmm0
movupd %xmm0,0x10(%r14,%rsi,4)
add    $0x8,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1180 <convertDouble2Float+0x60>
test   $0x1,%dl
je     11e8 <convertDouble2Float+0xc8>
movupd (%rbx,%rsi,8),%xmm0
movupd 0x10(%rbx,%rsi,8),%xmm1
cvtpd2ps %xmm0,%xmm0
cvtpd2ps %xmm1,%xmm1
unpcklpd %xmm1,%xmm0
movupd %xmm0,(%r14,%rsi,4)
cmp    %rax,%rcx
je     1208 <convertDouble2Float+0xe8>
nopl   (%rax)
movsd  (%rbx,%rcx,8),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,(%r14,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    11f0 <convertDouble2Float+0xd0>
mov    %r14,%rax
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %esi,%esi
test   $0x1,%dl
jne    11cb <convertDouble2Float+0xab>
jmp    11e8 <convertDouble2Float+0xc8>

LLVM IR (-O0):
define float* @convertDouble2Float(double* %0, i32 %1) {
%3 = alloca double*
%4 = alloca i32
%5 = alloca i32
%6 = alloca float*
store double* %0, double** %3
store i32 %1, i32* %4
%7 = load i32, i32* %4
%8 = call i64 @calloc(i32 %7, i32 4)
%9 = inttoptr i64 %8 to float*
store float* %9, float** %6
%10 = icmp eq float* %9, null
br i1 %10, label %11, label %13
11: ; preds = %2
%12 = call i32 (...) @memoryCheck()
br label %13
13: ; preds = %11, %2
store i32 0, i32* %5
br label %14
14: ; preds = %29, %13
%15 = load i32, i32* %5
%16 = load i32, i32* %4
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %32
18: ; preds = %14
%19 = load double*, double** %3
%20 = load i32, i32* %5
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds double, double* %19, i64 %21
%23 = load double, double* %22
%24 = fptrunc double %23 to float
%25 = load float*, float** %6
%26 = load i32, i32* %5
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds float, float* %25, i64 %27
store float %24, float* %28
br label %29
29: ; preds = %18
%30 = load i32, i32* %5
%31 = add nsw i32 %30, 1
store i32 %31, i32* %5
br label %14
32: ; preds = %14
%33 = load float*, float** %6
ret float* %33
}

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