void write_array_dbl(float *ptr, int n, void *target) {
  double *t = (double *)target;
  int i;
  for (i = 0; i < n; i++, ptr++)
    t[i] = (double)(*ptr);
}


x86 assembly (clang, -O0):
<write_array_dbl>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    115d <write_array_dbl+0x5d>
mov    -0x8(%rbp),%rax
movss  (%rax),%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)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
jmp    111e <write_array_dbl+0x1e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<write_array_dbl>:
test   %esi,%esi
jle    11b7 <write_array_dbl+0xb7>
mov    %esi,%eax
cmp    $0x4,%esi
jae    1117 <write_array_dbl+0x17>
xor    %r8d,%r8d
jmp    1191 <write_array_dbl+0x91>
mov    %eax,%r8d
and    $0xfffffffc,%r8d
lea    -0x4(%r8),%rcx
mov    %rcx,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     11b8 <write_array_dbl+0xb8>
mov    %r9,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %ecx,%ecx
nop
cvtps2pd (%rdi,%rcx,4),%xmm0
cvtps2pd 0x8(%rdi,%rcx,4),%xmm1
movups %xmm0,(%rdx,%rcx,8)
movups %xmm1,0x10(%rdx,%rcx,8)
cvtps2pd 0x10(%rdi,%rcx,4),%xmm0
cvtps2pd 0x18(%rdi,%rcx,4),%xmm1
movups %xmm0,0x20(%rdx,%rcx,8)
movups %xmm1,0x30(%rdx,%rcx,8)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rsi
jne    1140 <write_array_dbl+0x40>
test   $0x1,%r9b
je     1188 <write_array_dbl+0x88>
cvtps2pd (%rdi,%rcx,4),%xmm0
cvtps2pd 0x8(%rdi,%rcx,4),%xmm1
movups %xmm0,(%rdx,%rcx,8)
movups %xmm1,0x10(%rdx,%rcx,8)
cmp    %rax,%r8
je     11b7 <write_array_dbl+0xb7>
lea    (%rdi,%r8,4),%rdi
lea    (%rdx,%r8,8),%rcx
sub    %r8,%rax
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movss  (%rdi,%rdx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,(%rcx,%rdx,8)
add    $0x1,%rdx
cmp    %rdx,%rax
jne    11a0 <write_array_dbl+0xa0>
ret
xor    %ecx,%ecx
test   $0x1,%r9b
jne    1176 <write_array_dbl+0x76>
jmp    1188 <write_array_dbl+0x88>

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

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