void VecUpdateMax3fv(float max[3], const float v[3]) {
  if (v[0] > max[0])
    max[0] = v[0];
  if (v[1] > max[1])
    max[1] = v[1];
  if (v[2] > max[2])
    max[2] = v[2];
}


x86 assembly (clang, -O0):
<VecUpdateMax3fv>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
ucomiss (%rax),%xmm0
jbe    1131 <VecUpdateMax3fv+0x31>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
ucomiss 0x4(%rax),%xmm0
jbe    115a <VecUpdateMax3fv+0x5a>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
ucomiss 0x8(%rax),%xmm0
jbe    1183 <VecUpdateMax3fv+0x83>
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<VecUpdateMax3fv>:
movss  (%rsi),%xmm0
ucomiss (%rdi),%xmm0
jbe    110d <VecUpdateMax3fv+0xd>
movss  %xmm0,(%rdi)
movss  0x4(%rsi),%xmm0
ucomiss 0x4(%rdi),%xmm0
jbe    111d <VecUpdateMax3fv+0x1d>
movss  %xmm0,0x4(%rdi)
movss  0x8(%rsi),%xmm0
ucomiss 0x8(%rdi),%xmm0
jbe    112d <VecUpdateMax3fv+0x2d>
movss  %xmm0,0x8(%rdi)
ret

LLVM IR (-O0):
define void @VecUpdateMax3fv(float* %0, float* %1) {
%3 = alloca float*
%4 = alloca float*
store float* %0, float** %3
store float* %1, float** %4
%5 = load float*, float** %4
%6 = getelementptr inbounds float, float* %5, i64 0
%7 = load float, float* %6
%8 = load float*, float** %3
%9 = getelementptr inbounds float, float* %8, i64 0
%10 = load float, float* %9
%11 = fcmp ogt float %7, %10
br i1 %11, label %12, label %18
12: ; preds = %2
%13 = load float*, float** %4
%14 = getelementptr inbounds float, float* %13, i64 0
%15 = load float, float* %14
%16 = load float*, float** %3
%17 = getelementptr inbounds float, float* %16, i64 0
store float %15, float* %17
br label %18
18: ; preds = %12, %2
%19 = load float*, float** %4
%20 = getelementptr inbounds float, float* %19, i64 1
%21 = load float, float* %20
%22 = load float*, float** %3
%23 = getelementptr inbounds float, float* %22, i64 1
%24 = load float, float* %23
%25 = fcmp ogt float %21, %24
br i1 %25, label %26, label %32
26: ; preds = %18
%27 = load float*, float** %4
%28 = getelementptr inbounds float, float* %27, i64 1
%29 = load float, float* %28
%30 = load float*, float** %3
%31 = getelementptr inbounds float, float* %30, i64 1
store float %29, float* %31
br label %32
32: ; preds = %26, %18
%33 = load float*, float** %4
%34 = getelementptr inbounds float, float* %33, i64 2
%35 = load float, float* %34
%36 = load float*, float** %3
%37 = getelementptr inbounds float, float* %36, i64 2
%38 = load float, float* %37
%39 = fcmp ogt float %35, %38
br i1 %39, label %40, label %46
40: ; preds = %32
%41 = load float*, float** %4
%42 = getelementptr inbounds float, float* %41, i64 2
%43 = load float, float* %42
%44 = load float*, float** %3
%45 = getelementptr inbounds float, float* %44, i64 2
store float %43, float* %45
br label %46
46: ; preds = %40, %32
ret void
}

LLVM IR (-O2):
define void @VecUpdateMax3fv(float* nocapture %0, float* nocapture %1) {
%3 = load float, float* %1
%4 = load float, float* %0
%5 = fcmp ogt float %3, %4
br i1 %5, label %6, label %7
6: ; preds = %2
store float %3, float* %0
br label %7
7: ; preds = %6, %2
%8 = getelementptr inbounds float, float* %1, i64 1
%9 = load float, float* %8
%10 = getelementptr inbounds float, float* %0, i64 1
%11 = load float, float* %10
%12 = fcmp ogt float %9, %11
br i1 %12, label %13, label %14
13: ; preds = %7
store float %9, float* %10
br label %14
14: ; preds = %13, %7
%15 = getelementptr inbounds float, float* %1, i64 2
%16 = load float, float* %15
%17 = getelementptr inbounds float, float* %0, i64 2
%18 = load float, float* %17
%19 = fcmp ogt float %16, %18
br i1 %19, label %20, label %21
20: ; preds = %14
store float %16, float* %17
br label %21
21: ; preds = %20, %14
ret void
}