void VecUpdateMinMax3iv(int min[3], int max[3], const int 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):
<VecUpdateMinMax3iv>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    (%rcx),%eax
jge    1133 <VecUpdateMinMax3iv+0x33>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
jmp    1156 <VecUpdateMinMax3iv+0x56>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jle    1151 <VecUpdateMinMax3iv+0x51>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    1156 <VecUpdateMinMax3iv+0x56>
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    0x4(%rcx),%eax
jge    117d <VecUpdateMinMax3iv+0x7d>
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x4(%rax)
jmp    11a4 <VecUpdateMinMax3iv+0xa4>
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x4(%rcx),%eax
jle    119f <VecUpdateMinMax3iv+0x9f>
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
jmp    11a4 <VecUpdateMinMax3iv+0xa4>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x8(%rbp),%rcx
cmp    0x8(%rcx),%eax
jge    11cb <VecUpdateMinMax3iv+0xcb>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,0x8(%rax)
jmp    11f2 <VecUpdateMinMax3iv+0xf2>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x8(%rcx),%eax
jle    11ed <VecUpdateMinMax3iv+0xed>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x8(%rax)
jmp    11f2 <VecUpdateMinMax3iv+0xf2>
pop    %rbp
ret

x86 assembly (clang, -O2):
<VecUpdateMinMax3iv>:
mov    (%rdx),%eax
mov    %rdi,%rcx
cmp    (%rdi),%eax
jl     1110 <VecUpdateMinMax3iv+0x10>
mov    %rsi,%rcx
cmp    (%rsi),%eax
jle    1112 <VecUpdateMinMax3iv+0x12>
mov    %eax,(%rcx)
mov    0x4(%rdx),%eax
cmp    0x4(%rdi),%eax
jge    1120 <VecUpdateMinMax3iv+0x20>
lea    0x4(%rdi),%rcx
jmp    1129 <VecUpdateMinMax3iv+0x29>
cmp    0x4(%rsi),%eax
jle    112b <VecUpdateMinMax3iv+0x2b>
lea    0x4(%rsi),%rcx
mov    %eax,(%rcx)
mov    0x8(%rdx),%eax
cmp    0x8(%rdi),%eax
jge    1139 <VecUpdateMinMax3iv+0x39>
add    $0x8,%rdi
jmp    1145 <VecUpdateMinMax3iv+0x45>
cmp    0x8(%rsi),%eax
jle    1147 <VecUpdateMinMax3iv+0x47>
add    $0x8,%rsi
mov    %rsi,%rdi
mov    %eax,(%rdi)
ret

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

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