#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 /*<<< orphan*/);
double *malloc(size_t);
void convertftd(float *f, size_t size, double **d) {
  double *td, *dp;
  float *fp = f, *lfp;
  td = malloc(size * sizeof *td);
  assert(td != NULL);
  lfp = fp + size;
  dp = td;
  while (fp < lfp)
    *dp++ = *fp++;
  *d = td;
}


x86 assembly (clang, -O0):
<convertftd>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
shl    $0x3,%rdi
call   1040 <malloc@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    11b7 <convertftd+0x97>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x30(%rbp)
movss  (%rax),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x28(%rbp)
movsd  %xmm0,(%rax)
jmp    117a <convertftd+0x5a>
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<convertftd>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%rbx
lea    0x0(,%rsi,8),%rdi
call   1040 <malloc@plt>
mov    %rax,%r15
xor    %edi,%edi
test   %rax,%rax
setne  %dil
call   1030 <assert@plt>
test   %r12,%r12
jle    1239 <convertftd+0x119>
lea    (%rbx,%r12,4),%rax
lea    0x4(%rbx),%rdx
cmp    %rdx,%rax
cmova  %rax,%rdx
mov    %rbx,%rcx
not    %rcx
add    %rdx,%rcx
cmp    $0xc,%rcx
jae    117e <convertftd+0x5e>
mov    %r15,%rcx
jmp    1220 <convertftd+0x100>
shr    $0x2,%rcx
add    $0x1,%rcx
mov    %rcx,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rdx
mov    %rdx,%rsi
shr    $0x2,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     1248 <convertftd+0x128>
movabs $0x7ffffffffffffffc,%rdx
ff ff 7f
add    $0x2,%rdx
and    %rsi,%rdx
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
cvtps2pd (%rbx,%rdi,4),%xmm0
cvtps2pd 0x8(%rbx,%rdi,4),%xmm1
movups %xmm0,(%r15,%rdi,8)
movups %xmm1,0x10(%r15,%rdi,8)
cvtps2pd 0x10(%rbx,%rdi,4),%xmm0
cvtps2pd 0x18(%rbx,%rdi,4),%xmm1
movups %xmm0,0x20(%r15,%rdi,8)
movups %xmm1,0x30(%r15,%rdi,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rdx
jne    11c0 <convertftd+0xa0>
test   $0x1,%sil
je     120e <convertftd+0xee>
cvtps2pd (%rbx,%rdi,4),%xmm0
cvtps2pd 0x8(%rbx,%rdi,4),%xmm1
movups %xmm0,(%r15,%rdi,8)
movups %xmm1,0x10(%r15,%rdi,8)
cmp    %r8,%rcx
je     1239 <convertftd+0x119>
lea    (%r15,%r8,8),%rcx
lea    (%rbx,%r8,4),%rbx
nopl   0x0(%rax,%rax,1)
movss  (%rbx),%xmm0
add    $0x4,%rbx
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,(%rcx)
add    $0x8,%rcx
cmp    %rax,%rbx
jb     1220 <convertftd+0x100>
mov    %r15,(%r14)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret
xor    %edi,%edi
test   $0x1,%sil
jne    11fa <convertftd+0xda>
jmp    120e <convertftd+0xee>

LLVM IR (-O0):
define void @convertftd(float* %0, i64 %1, double** %2) {
%4 = alloca float*
%5 = alloca i64
%6 = alloca double**
%7 = alloca double*
%8 = alloca double*
%9 = alloca float*
%10 = alloca float*
store float* %0, float** %4
store i64 %1, i64* %5
store double** %2, double*** %6
%11 = load float*, float** %4
store float* %11, float** %9
%12 = load i64, i64* %5
%13 = mul i64 %12, 8
%14 = call double* @malloc(i64 %13)
store double* %14, double** %7
%15 = load double*, double** %7
%16 = icmp ne double* %15, null
%17 = zext i1 %16 to i32
%18 = call i32 @assert(i32 %17)
%19 = load float*, float** %9
%20 = load i64, i64* %5
%21 = getelementptr inbounds float, float* %19, i64 %20
store float* %21, float** %10
%22 = load double*, double** %7
store double* %22, double** %8
br label %23
23: ; preds = %27, %3
%24 = load float*, float** %9
%25 = load float*, float** %10
%26 = icmp ult float* %24, %25
br i1 %26, label %27, label %34
27: ; preds = %23
%28 = load float*, float** %9
%29 = getelementptr inbounds float, float* %28, i32 1
store float* %29, float** %9
%30 = load float, float* %28
%31 = fpext float %30 to double
%32 = load double*, double** %8
%33 = getelementptr inbounds double, double* %32, i32 1
store double* %33, double** %8
store double %31, double* %32
br label %23
34: ; preds = %23
%35 = load double*, double** %7
%36 = load double**, double*** %6
store double* %35, double** %36
ret void
}

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