void minmax(int *arr, int size, int *min, int *max) {
  *min = arr[0];
  *max = arr[0];
  for (; size > 0; size--) {
    if (*min > arr[size - 1])
      *min = arr[size - 1];
    if (*max < arr[size - 1])
      *max = arr[size - 1];
  }
}


x86 assembly (clang, -O0):
<minmax>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
cmpl   $0x0,-0xc(%rbp)
jle    11ac <minmax+0xac>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1167 <minmax+0x67>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1199 <minmax+0x99>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    119e <minmax+0x9e>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    112b <minmax+0x2b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<minmax>:
mov    (%rdi),%eax
mov    %eax,(%rdx)
mov    (%rdi),%r8d
mov    %r8d,(%rcx)
test   %esi,%esi
jle    1166 <minmax+0x66>
mov    %esi,%esi
mov    (%rdx),%eax
add    $0x1,%rsi
jmp    112d <minmax+0x2d>
nopl   0x0(%rax,%rax,1)
add    $0xffffffffffffffff,%rsi
mov    %r9d,%eax
cmp    $0x1,%rsi
jbe    1166 <minmax+0x66>
lea    -0x2(%rsi),%r10d
mov    (%rdi,%r10,4),%r9d
cmp    %r9d,%eax
jle    1150 <minmax+0x50>
mov    %r9d,(%rdx)
mov    (%rcx),%r8d
mov    (%rdi,%r10,4),%r10d
cmp    %r10d,%r8d
jge    1120 <minmax+0x20>
jmp    115b <minmax+0x5b>
nopl   0x0(%rax,%rax,1)
mov    %r9d,%r10d
mov    %eax,%r9d
cmp    %r10d,%r8d
jge    1120 <minmax+0x20>
mov    %r10d,(%rcx)
mov    (%rdx),%r9d
mov    %r10d,%r8d
jmp    1120 <minmax+0x20>
ret

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

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