void VecAdd3fv(float v[3], const int a[3], const int b[3]) {
  v[0] = ((float)(a[0])) + ((float)(b[0]));
  v[1] = ((float)(a[1])) + ((float)(b[1]));
  v[2] = ((float)(a[2])) + ((float)(b[2]));
}


x86 assembly (clang, -O0):
<VecAdd3fv>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cvtsi2ssl (%rax),%xmm0
mov    -0x18(%rbp),%rax
cvtsi2ssl (%rax),%xmm1
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
cvtsi2ssl 0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
cvtsi2ssl 0x4(%rax),%xmm1
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x10(%rbp),%rax
cvtsi2ssl 0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
cvtsi2ssl 0x8(%rax),%xmm1
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<VecAdd3fv>:
cvtsi2ssl (%rsi),%xmm0
cvtsi2ssl (%rdx),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,(%rdi)
xorps  %xmm0,%xmm0
cvtsi2ssl 0x4(%rsi),%xmm0
xorps  %xmm1,%xmm1
cvtsi2ssl 0x4(%rdx),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0x4(%rdi)
xorps  %xmm0,%xmm0
cvtsi2ssl 0x8(%rsi),%xmm0
xorps  %xmm1,%xmm1
cvtsi2ssl 0x8(%rdx),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0x8(%rdi)
ret

LLVM IR (-O0):
define void @VecAdd3fv(float* %0, i32* %1, i32* %2) {
%4 = alloca float*
%5 = alloca i32*
%6 = alloca i32*
store float* %0, float** %4
store i32* %1, i32** %5
store i32* %2, i32** %6
%7 = load i32*, i32** %5
%8 = getelementptr inbounds i32, i32* %7, i64 0
%9 = load i32, i32* %8
%10 = sitofp i32 %9 to float
%11 = load i32*, i32** %6
%12 = getelementptr inbounds i32, i32* %11, i64 0
%13 = load i32, i32* %12
%14 = sitofp i32 %13 to float
%15 = fadd float %10, %14
%16 = load float*, float** %4
%17 = getelementptr inbounds float, float* %16, i64 0
store float %15, float* %17
%18 = load i32*, i32** %5
%19 = getelementptr inbounds i32, i32* %18, i64 1
%20 = load i32, i32* %19
%21 = sitofp i32 %20 to float
%22 = load i32*, i32** %6
%23 = getelementptr inbounds i32, i32* %22, i64 1
%24 = load i32, i32* %23
%25 = sitofp i32 %24 to float
%26 = fadd float %21, %25
%27 = load float*, float** %4
%28 = getelementptr inbounds float, float* %27, i64 1
store float %26, float* %28
%29 = load i32*, i32** %5
%30 = getelementptr inbounds i32, i32* %29, i64 2
%31 = load i32, i32* %30
%32 = sitofp i32 %31 to float
%33 = load i32*, i32** %6
%34 = getelementptr inbounds i32, i32* %33, i64 2
%35 = load i32, i32* %34
%36 = sitofp i32 %35 to float
%37 = fadd float %32, %36
%38 = load float*, float** %4
%39 = getelementptr inbounds float, float* %38, i64 2
store float %37, float* %39
ret void
}

LLVM IR (-O2):
define void @VecAdd3fv(float* nocapture writeonly %0, i32* nocapture %1, i32* nocapture %2) {
%4 = load i32, i32* %1
%5 = sitofp i32 %4 to float
%6 = load i32, i32* %2
%7 = sitofp i32 %6 to float
%8 = fadd float %5, %7
store float %8, float* %0
%9 = getelementptr inbounds i32, i32* %1, i64 1
%10 = load i32, i32* %9
%11 = sitofp i32 %10 to float
%12 = getelementptr inbounds i32, i32* %2, i64 1
%13 = load i32, i32* %12
%14 = sitofp i32 %13 to float
%15 = fadd float %11, %14
%16 = getelementptr inbounds float, float* %0, i64 1
store float %15, float* %16
%17 = getelementptr inbounds i32, i32* %1, i64 2
%18 = load i32, i32* %17
%19 = sitofp i32 %18 to float
%20 = getelementptr inbounds i32, i32* %2, i64 2
%21 = load i32, i32* %20
%22 = sitofp i32 %21 to float
%23 = fadd float %19, %22
%24 = getelementptr inbounds float, float* %0, i64 2
store float %23, float* %24
ret void
}