void addBox(float *bmin, float *bmax, const float *v) {
  int i;
  for (i = 0; i < 3; i++) {
    if (v[i] < bmin[i])
      bmin[i] = v[i];
    if (v[i] > bmax[i])
      bmax[i] = v[i];
  }
}


x86 assembly (clang, -O0):
<addBox>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x3,-0x1c(%rbp)
jge    11aa <addBox+0xaa>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    115e <addBox+0x5e>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    1197 <addBox+0x97>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    119c <addBox+0x9c>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1117 <addBox+0x17>
pop    %rbp
ret

x86 assembly (clang, -O2):
<addBox>:
movss  (%rdx),%xmm0
movss  (%rdi),%xmm1
ucomiss %xmm0,%xmm1
jbe    1115 <addBox+0x15>
movss  %xmm0,(%rdi)
movss  (%rdx),%xmm0
ucomiss (%rsi),%xmm0
jbe    111e <addBox+0x1e>
movss  %xmm0,(%rsi)
movss  0x4(%rdx),%xmm0
movss  0x4(%rdi),%xmm1
ucomiss %xmm0,%xmm1
jbe    1137 <addBox+0x37>
movss  %xmm0,0x4(%rdi)
movss  0x4(%rdx),%xmm0
ucomiss 0x4(%rsi),%xmm0
jbe    1142 <addBox+0x42>
movss  %xmm0,0x4(%rsi)
movss  0x8(%rdx),%xmm0
movss  0x8(%rdi),%xmm1
ucomiss %xmm0,%xmm1
ja     1158 <addBox+0x58>
ucomiss 0x8(%rsi),%xmm0
ja     1168 <addBox+0x68>
ret
movss  %xmm0,0x8(%rdi)
movss  0x8(%rdx),%xmm0
ucomiss 0x8(%rsi),%xmm0
jbe    1157 <addBox+0x57>
movss  %xmm0,0x8(%rsi)
ret

LLVM IR (-O0):
define void @addBox(float* %0, float* %1, float* %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca float*
%7 = alloca i32
store float* %0, float** %4
store float* %1, float** %5
store float* %2, float** %6
store i32 0, i32* %7
br label %8
8: ; preds = %56, %3
%9 = load i32, i32* %7
%10 = icmp slt i32 %9, 3
br i1 %10, label %11, label %59
11: ; preds = %8
%12 = load float*, float** %6
%13 = load i32, i32* %7
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds float, float* %12, i64 %14
%16 = load float, float* %15
%17 = load float*, float** %4
%18 = load i32, i32* %7
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds float, float* %17, i64 %19
%21 = load float, float* %20
%22 = fcmp olt float %16, %21
br i1 %22, label %23, label %33
23: ; preds = %11
%24 = load float*, float** %6
%25 = load i32, i32* %7
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds float, float* %24, i64 %26
%28 = load float, float* %27
%29 = load float*, float** %4
%30 = load i32, i32* %7
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds float, float* %29, i64 %31
store float %28, float* %32
br label %33
33: ; preds = %23, %11
%34 = load float*, float** %6
%35 = load i32, i32* %7
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds float, float* %34, i64 %36
%38 = load float, float* %37
%39 = load float*, float** %5
%40 = load i32, i32* %7
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds float, float* %39, i64 %41
%43 = load float, float* %42
%44 = fcmp ogt float %38, %43
br i1 %44, label %45, label %55
45: ; preds = %33
%46 = load float*, float** %6
%47 = load i32, i32* %7
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds float, float* %46, i64 %48
%50 = load float, float* %49
%51 = load float*, float** %5
%52 = load i32, i32* %7
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds float, float* %51, i64 %53
store float %50, float* %54
br label %55
55: ; preds = %45, %33
br label %56
56: ; preds = %55
%57 = load i32, i32* %7
%58 = add nsw i32 %57, 1
store i32 %58, i32* %7
br label %8
59: ; preds = %8
ret void
}

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