float VecMax3fv(const float v[3]) {
  if (v[0] > v[1])
    return ((v[0] > v[2]) ? v[0] : v[2]);
  else
    return ((v[1] > v[2]) ? v[1] : v[2]);
}


x86 assembly (clang, -O0):
<VecMax3fv>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomiss 0x4(%rax),%xmm0
jbe    1163 <VecMax3fv+0x63>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomiss 0x8(%rax),%xmm0
jbe    1146 <VecMax3fv+0x46>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x14(%rbp)
jmp    1154 <VecMax3fv+0x54>
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11a5 <VecMax3fv+0xa5>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomiss 0x8(%rax),%xmm0
jbe    118d <VecMax3fv+0x8d>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x18(%rbp)
jmp    119b <VecMax3fv+0x9b>
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<VecMax3fv>:
movss  (%rdi),%xmm0
maxss  0x4(%rdi),%xmm0
maxss  0x8(%rdi),%xmm0
ret

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

LLVM IR (-O2):
define float @VecMax3fv(float* nocapture %0) {
%2 = load float, float* %0
%3 = getelementptr inbounds float, float* %0, i64 1
%4 = load float, float* %3
%5 = fcmp ogt float %2, %4
%6 = getelementptr inbounds float, float* %0, i64 2
%7 = load float, float* %6
%8 = select i1 %5, float %2, float %4
%9 = fcmp ogt float %8, %7
%10 = select i1 %9, float %8, float %7
ret float %10
}