void MaxAndMin(int *arr, int len, int **pmax, int **pmin) {
  int i = 0;
  *pmax = &arr[i];
  *pmin = &arr[i];
  for (i = 0; i < len; i++) {
    if (**pmax < arr[i])
      *pmax = &arr[i];
    if (**pmin > arr[i])
      *pmin = &arr[i];
  }
}


x86 assembly (clang, -O0):
<MaxAndMin>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11cc <MaxAndMin+0xcc>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1189 <MaxAndMin+0x89>
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%eax
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11b9 <MaxAndMin+0xb9>
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
jmp    11be <MaxAndMin+0xbe>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    114d <MaxAndMin+0x4d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<MaxAndMin>:
mov    %rdi,(%rdx)
mov    %rdi,(%rcx)
test   %esi,%esi
jle    114a <MaxAndMin+0x4a>
mov    %esi,%eax
mov    (%rdx),%r8
mov    %rdi,%r9
jmp    112a <MaxAndMin+0x2a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x4,%rdi
add    $0xffffffffffffffff,%rax
je     114a <MaxAndMin+0x4a>
mov    (%rdi),%esi
cmp    %esi,(%r8)
jge    113a <MaxAndMin+0x3a>
mov    %rdi,(%rdx)
mov    (%rcx),%r9
mov    %rdi,%r8
cmp    %esi,(%r9)
jle    1120 <MaxAndMin+0x20>
mov    %rdi,(%rcx)
mov    (%rdx),%r8
mov    %rdi,%r9
jmp    1120 <MaxAndMin+0x20>
ret

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

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