int float2double(int xn, float *xp, int yn, double *yp) {

  int k;
  for (k = 0; k < xn; k++) {
    yp[k] = xp[k];
  }
  return 0;
}


x86 assembly (clang, -O0):
<float2double>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1151 <float2double+0x51>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1119 <float2double+0x19>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<float2double>:
test   %edi,%edi
jle    11a7 <float2double+0xa7>
mov    %edi,%r9d
cmp    $0x4,%edi
jae    1117 <float2double+0x17>
xor    %edx,%edx
jmp    1190 <float2double+0x90>
mov    %r9d,%edx
and    $0xfffffffc,%edx
lea    -0x4(%rdx),%rax
mov    %rax,%r8
shr    $0x2,%r8
add    $0x1,%r8
test   %rax,%rax
je     11aa <float2double+0xaa>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
xor    %edi,%edi
xchg   %ax,%ax
cvtps2pd (%rsi,%rdi,4),%xmm0
cvtps2pd 0x8(%rsi,%rdi,4),%xmm1
movups %xmm0,(%rcx,%rdi,8)
movups %xmm1,0x10(%rcx,%rdi,8)
cvtps2pd 0x10(%rsi,%rdi,4),%xmm0
cvtps2pd 0x18(%rsi,%rdi,4),%xmm1
movups %xmm0,0x20(%rcx,%rdi,8)
movups %xmm1,0x30(%rcx,%rdi,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rax
jne    1140 <float2double+0x40>
test   $0x1,%r8b
je     1188 <float2double+0x88>
cvtps2pd (%rsi,%rdi,4),%xmm0
cvtps2pd 0x8(%rsi,%rdi,4),%xmm1
movups %xmm0,(%rcx,%rdi,8)
movups %xmm1,0x10(%rcx,%rdi,8)
cmp    %r9,%rdx
je     11a7 <float2double+0xa7>
nopl   (%rax)
movss  (%rsi,%rdx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,(%rcx,%rdx,8)
add    $0x1,%rdx
cmp    %rdx,%r9
jne    1190 <float2double+0x90>
xor    %eax,%eax
ret
xor    %edi,%edi
test   $0x1,%r8b
jne    1176 <float2double+0x76>
jmp    1188 <float2double+0x88>

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

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