float *vec3_clamp(float *result, float *a, float *lower, float *higher) {
  result[0] = a[0];
  result[1] = a[1];
  result[2] = a[2];
  if (result[0] < lower[0]) {
    result[0] = lower[0];
  }
  if (result[0] > higher[0]) {
    result[0] = higher[0];
  }
  if (result[1] < lower[1]) {
    result[1] = lower[1];
  }
  if (result[1] > higher[1]) {
    result[1] = higher[1];
  }
  if (result[2] < lower[2]) {
    result[2] = lower[2];
  }
  if (result[2] > higher[2]) {
    result[2] = higher[2];
  }
  return result;
}


x86 assembly (clang, -O0):
<vec3_clamp>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
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
movss  %xmm0,0x4(%rax)
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    1171 <vec3_clamp+0x71>
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x20(%rbp),%rax
ucomiss (%rax),%xmm0
jbe    1196 <vec3_clamp+0x96>
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    11c3 <vec3_clamp+0xc3>
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x20(%rbp),%rax
ucomiss 0x4(%rax),%xmm0
jbe    11ec <vec3_clamp+0xec>
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm0
ucomiss %xmm1,%xmm0
jbe    1219 <vec3_clamp+0x119>
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x20(%rbp),%rax
ucomiss 0x8(%rax),%xmm0
jbe    1242 <vec3_clamp+0x142>
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<vec3_clamp>:
mov    %rdi,%rax
movss  (%rsi),%xmm2
movss  %xmm2,(%rdi)
movss  0x4(%rsi),%xmm1
movss  %xmm1,0x4(%rdi)
movss  0x8(%rsi),%xmm0
movss  %xmm0,0x8(%rdi)
movss  (%rdx),%xmm3
ucomiss %xmm2,%xmm3
jbe    112f <vec3_clamp+0x2f>
movss  %xmm3,(%rax)
movaps %xmm3,%xmm2
movss  (%rcx),%xmm3
ucomiss %xmm3,%xmm2
jbe    113c <vec3_clamp+0x3c>
movss  %xmm3,(%rax)
movss  0x4(%rdx),%xmm2
ucomiss %xmm1,%xmm2
jbe    114e <vec3_clamp+0x4e>
movss  %xmm2,0x4(%rax)
movaps %xmm2,%xmm1
movss  0x4(%rcx),%xmm2
ucomiss %xmm2,%xmm1
jbe    115d <vec3_clamp+0x5d>
movss  %xmm2,0x4(%rax)
movss  0x8(%rdx),%xmm1
ucomiss %xmm0,%xmm1
jbe    116f <vec3_clamp+0x6f>
movss  %xmm1,0x8(%rax)
movaps %xmm1,%xmm0
movss  0x8(%rcx),%xmm1
ucomiss %xmm1,%xmm0
jbe    117e <vec3_clamp+0x7e>
movss  %xmm1,0x8(%rax)
ret

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

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