#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 */
typedef scalar_t__ int32_t;

/* Variables and functions */
int32_t conv_dbl_to_flt(float *dst, const double *src, int32_t num) {
  int32_t i;
  for (i = 0; i < num; i++) {
    *dst++ = (float)*src++;
  }
  return num;
}


x86 assembly (clang, -O0):
<conv_dbl_to_flt>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1161 <conv_dbl_to_flt+0x61>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x10(%rbp)
movsd  (%rax),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
movss  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1118 <conv_dbl_to_flt+0x18>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<conv_dbl_to_flt>:
mov    %rdx,%rax
test   %rdx,%rdx
jle    11e7 <conv_dbl_to_flt+0xe7>
cmp    $0x4,%rax
jae    111a <conv_dbl_to_flt+0x1a>
xor    %r8d,%r8d
jmp    11c3 <conv_dbl_to_flt+0xc3>
mov    %rax,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rcx
mov    %rcx,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     11e8 <conv_dbl_to_flt+0xe8>
mov    %r9,%rdx
and    $0xfffffffffffffffe,%rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movupd (%rsi,%rcx,8),%xmm0
movupd 0x10(%rsi,%rcx,8),%xmm1
cvtpd2ps %xmm0,%xmm0
cvtpd2ps %xmm1,%xmm1
unpcklpd %xmm1,%xmm0
movupd %xmm0,(%rdi,%rcx,4)
movupd 0x20(%rsi,%rcx,8),%xmm0
movupd 0x30(%rsi,%rcx,8),%xmm1
cvtpd2ps %xmm0,%xmm0
cvtpd2ps %xmm1,%xmm1
unpcklpd %xmm1,%xmm0
movupd %xmm0,0x10(%rdi,%rcx,4)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rdx
jne    1150 <conv_dbl_to_flt+0x50>
test   $0x1,%r9b
je     11b6 <conv_dbl_to_flt+0xb6>
movupd (%rsi,%rcx,8),%xmm0
movupd 0x10(%rsi,%rcx,8),%xmm1
cvtpd2ps %xmm0,%xmm0
cvtpd2ps %xmm1,%xmm1
unpcklpd %xmm1,%xmm0
movupd %xmm0,(%rdi,%rcx,4)
cmp    %rax,%r8
je     11e7 <conv_dbl_to_flt+0xe7>
lea    (%rdi,%r8,4),%rdi
lea    (%rsi,%r8,8),%rsi
mov    %rax,%rcx
sub    %r8,%rcx
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
movsd  (%rsi,%rdx,8),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,(%rdi,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    11d0 <conv_dbl_to_flt+0xd0>
ret
xor    %ecx,%ecx
test   $0x1,%r9b
jne    119a <conv_dbl_to_flt+0x9a>
jmp    11b6 <conv_dbl_to_flt+0xb6>

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

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