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


x86 assembly (clang, -O0):
<VecUpdateMinMax3fv>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    113e <VecUpdateMinMax3fv+0x3e>
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
jmp    1168 <VecUpdateMinMax3fv+0x68>
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomiss (%rax),%xmm0
jbe    1163 <VecUpdateMinMax3fv+0x63>
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
jmp    1168 <VecUpdateMinMax3fv+0x68>
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    119a <VecUpdateMinMax3fv+0x9a>
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
jmp    11c8 <VecUpdateMinMax3fv+0xc8>
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomiss 0x4(%rax),%xmm0
jbe    11c3 <VecUpdateMinMax3fv+0xc3>
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x4(%rax)
jmp    11c8 <VecUpdateMinMax3fv+0xc8>
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    11fa <VecUpdateMinMax3fv+0xfa>
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
jmp    1228 <VecUpdateMinMax3fv+0x128>
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
ucomiss 0x8(%rax),%xmm0
jbe    1223 <VecUpdateMinMax3fv+0x123>
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x8(%rax)
jmp    1228 <VecUpdateMinMax3fv+0x128>
pop    %rbp
ret

x86 assembly (clang, -O2):
<VecUpdateMinMax3fv>:
movss  (%rdx),%xmm0
movss  (%rdi),%xmm1
ucomiss %xmm0,%xmm1
mov    %rdi,%rax
ja     1118 <VecUpdateMinMax3fv+0x18>
ucomiss (%rsi),%xmm0
mov    %rsi,%rax
jbe    111c <VecUpdateMinMax3fv+0x1c>
movss  %xmm0,(%rax)
movss  0x4(%rdx),%xmm0
movss  0x4(%rdi),%xmm1
ucomiss %xmm0,%xmm1
jbe    1131 <VecUpdateMinMax3fv+0x31>
lea    0x4(%rdi),%rax
jmp    113b <VecUpdateMinMax3fv+0x3b>
ucomiss 0x4(%rsi),%xmm0
jbe    113f <VecUpdateMinMax3fv+0x3f>
lea    0x4(%rsi),%rax
movss  %xmm0,(%rax)
movss  0x8(%rdx),%xmm0
movss  0x8(%rdi),%xmm1
ucomiss %xmm0,%xmm1
jbe    1154 <VecUpdateMinMax3fv+0x54>
add    $0x8,%rdi
jmp    1161 <VecUpdateMinMax3fv+0x61>
ucomiss 0x8(%rsi),%xmm0
jbe    1165 <VecUpdateMinMax3fv+0x65>
add    $0x8,%rsi
mov    %rsi,%rdi
movss  %xmm0,(%rdi)
ret

LLVM IR (-O0):
define void @VecUpdateMinMax3fv(float* %0, float* %1, float* %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca float*
store float* %0, float** %4
store float* %1, float** %5
store float* %2, float** %6
%7 = load float*, float** %6
%8 = getelementptr inbounds float, float* %7, i64 0
%9 = load float, float* %8
%10 = load float*, float** %4
%11 = getelementptr inbounds float, float* %10, i64 0
%12 = load float, float* %11
%13 = fcmp olt float %9, %12
br i1 %13, label %14, label %20
14: ; preds = %3
%15 = load float*, float** %6
%16 = getelementptr inbounds float, float* %15, i64 0
%17 = load float, float* %16
%18 = load float*, float** %4
%19 = getelementptr inbounds float, float* %18, i64 0
store float %17, float* %19
br label %35
20: ; preds = %3
%21 = load float*, float** %6
%22 = getelementptr inbounds float, float* %21, i64 0
%23 = load float, float* %22
%24 = load float*, float** %5
%25 = getelementptr inbounds float, float* %24, i64 0
%26 = load float, float* %25
%27 = fcmp ogt float %23, %26
br i1 %27, label %28, label %34
28: ; preds = %20
%29 = load float*, float** %6
%30 = getelementptr inbounds float, float* %29, i64 0
%31 = load float, float* %30
%32 = load float*, float** %5
%33 = getelementptr inbounds float, float* %32, i64 0
store float %31, float* %33
br label %34
34: ; preds = %28, %20
br label %35
35: ; preds = %34, %14
%36 = load float*, float** %6
%37 = getelementptr inbounds float, float* %36, i64 1
%38 = load float, float* %37
%39 = load float*, float** %4
%40 = getelementptr inbounds float, float* %39, i64 1
%41 = load float, float* %40
%42 = fcmp olt float %38, %41
br i1 %42, label %43, label %49
43: ; preds = %35
%44 = load float*, float** %6
%45 = getelementptr inbounds float, float* %44, i64 1
%46 = load float, float* %45
%47 = load float*, float** %4
%48 = getelementptr inbounds float, float* %47, i64 1
store float %46, float* %48
br label %64
49: ; preds = %35
%50 = load float*, float** %6
%51 = getelementptr inbounds float, float* %50, i64 1
%52 = load float, float* %51
%53 = load float*, float** %5
%54 = getelementptr inbounds float, float* %53, i64 1
%55 = load float, float* %54
%56 = fcmp ogt float %52, %55
br i1 %56, label %57, label %63
57: ; preds = %49
%58 = load float*, float** %6
%59 = getelementptr inbounds float, float* %58, i64 1
%60 = load float, float* %59
%61 = load float*, float** %5
%62 = getelementptr inbounds float, float* %61, i64 1
store float %60, float* %62
br label %63
63: ; preds = %57, %49
br label %64
64: ; preds = %63, %43
%65 = load float*, float** %6
%66 = getelementptr inbounds float, float* %65, i64 2
%67 = load float, float* %66
%68 = load float*, float** %4
%69 = getelementptr inbounds float, float* %68, i64 2
%70 = load float, float* %69
%71 = fcmp olt float %67, %70
br i1 %71, label %72, label %78
72: ; preds = %64
%73 = load float*, float** %6
%74 = getelementptr inbounds float, float* %73, i64 2
%75 = load float, float* %74
%76 = load float*, float** %4
%77 = getelementptr inbounds float, float* %76, i64 2
store float %75, float* %77
br label %93
78: ; preds = %64
%79 = load float*, float** %6
%80 = getelementptr inbounds float, float* %79, i64 2
%81 = load float, float* %80
%82 = load float*, float** %5
%83 = getelementptr inbounds float, float* %82, i64 2
%84 = load float, float* %83
%85 = fcmp ogt float %81, %84
br i1 %85, label %86, label %92
86: ; preds = %78
%87 = load float*, float** %6
%88 = getelementptr inbounds float, float* %87, i64 2
%89 = load float, float* %88
%90 = load float*, float** %5
%91 = getelementptr inbounds float, float* %90, i64 2
store float %89, float* %91
br label %92
92: ; preds = %86, %78
br label %93
93: ; preds = %92, %72
ret void
}

LLVM IR (-O2):
define void @VecUpdateMinMax3fv(float* nocapture %0, float* nocapture %1, float* nocapture %2) {
%4 = load float, float* %2
%5 = load float, float* %0
%6 = fcmp olt float %4, %5
br i1 %6, label %10, label %7
7: ; preds = %3
%8 = load float, float* %1
%9 = fcmp ogt float %4, %8
br i1 %9, label %10, label %12
10: ; preds = %7, %3
%11 = phi float* [ %0, %3 ], [ %1, %7 ]
store float %4, float* %11
br label %12
12: ; preds = %10, %7
%13 = getelementptr inbounds float, float* %2, i64 1
%14 = load float, float* %13
%15 = getelementptr inbounds float, float* %0, i64 1
%16 = load float, float* %15
%17 = fcmp olt float %14, %16
br i1 %17, label %22, label %18
18: ; preds = %12
%19 = getelementptr inbounds float, float* %1, i64 1
%20 = load float, float* %19
%21 = fcmp ogt float %14, %20
br i1 %21, label %22, label %24
22: ; preds = %18, %12
%23 = phi float* [ %15, %12 ], [ %19, %18 ]
store float %14, float* %23
br label %24
24: ; preds = %22, %18
%25 = getelementptr inbounds float, float* %2, i64 2
%26 = load float, float* %25
%27 = getelementptr inbounds float, float* %0, i64 2
%28 = load float, float* %27
%29 = fcmp olt float %26, %28
br i1 %29, label %34, label %30
30: ; preds = %24
%31 = getelementptr inbounds float, float* %1, i64 2
%32 = load float, float* %31
%33 = fcmp ogt float %26, %32
br i1 %33, label %34, label %36
34: ; preds = %30, %24
%35 = phi float* [ %27, %24 ], [ %31, %30 ]
store float %26, float* %35
br label %36
36: ; preds = %34, %30
ret void
}