void minmax_d(double a[], int n, double *min, double *max) {
  int i;
  if (n == 1) {
    *min = *max = a[0];
    return;
  }
  if (a[0] == a[1])
    *min = *max = a[0];
  else if (a[0] < a[1]) {
    *min = a[0];
    *max = a[1];
  } else {
    *min = a[1];
    *max = a[0];
  }
  for (i = n - 1; i > 2; i -= 2) {
    if (a[i] >= a[i - 1]) {
      if (*max < a[i])
        *max = a[i];
      if (*min > a[i - 1])
        *min = a[i - 1];
    } else {
      if (*max < a[i - 1])
        *max = a[i - 1];
      if (*min > a[i])
        *min = a[i];
    }
  }
  if (n % 2)
    if (*max < a[2])
      *max = a[2];
  if (*min > a[2])
    *min = a[2];
}


x86 assembly (clang, -O0):
<minmax_d>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
cmpl   $0x1,-0xc(%rbp)
jne    113a <minmax_d+0x3a>
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1379 <minmax_d+0x279>
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x8(%rbp),%rax
ucomisd 0x8(%rax),%xmm0
jne    1174 <minmax_d+0x74>
jp     1174 <minmax_d+0x74>
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    11db <minmax_d+0xdb>
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x8(%rbp),%rax
movsd  0x8(%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    11b5 <minmax_d+0xb5>
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    11d6 <minmax_d+0xd6>
mov    -0x8(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    11db <minmax_d+0xdb>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x2,-0x24(%rbp)
jle    130c <minmax_d+0x20c>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
ucomisd (%rax,%rcx,8),%xmm0
jb     1286 <minmax_d+0x186>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd %xmm1,%xmm0
jbe    1247 <minmax_d+0x147>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
ucomisd (%rax,%rcx,8),%xmm0
jbe    1281 <minmax_d+0x181>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    12f9 <minmax_d+0x1f9>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd %xmm1,%xmm0
jbe    12c4 <minmax_d+0x1c4>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
ucomisd (%rax,%rcx,8),%xmm0
jbe    12f4 <minmax_d+0x1f4>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    12f9 <minmax_d+0x1f9>
jmp    12fe <minmax_d+0x1fe>
mov    -0x24(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x24(%rbp)
jmp    11e4 <minmax_d+0xe4>
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1351 <minmax_d+0x251>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x8(%rbp),%rax
movsd  0x10(%rax),%xmm0
ucomisd %xmm1,%xmm0
jbe    134c <minmax_d+0x24c>
mov    -0x8(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1351 <minmax_d+0x251>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x8(%rbp),%rax
ucomisd 0x10(%rax),%xmm0
jbe    1379 <minmax_d+0x279>
mov    -0x8(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<minmax_d>:
movsd  (%rdi),%xmm0
cmp    $0x1,%esi
jne    1112 <minmax_d+0x12>
movsd  %xmm0,(%rcx)
jmp    11ef <minmax_d+0xef>
movsd  0x8(%rdi),%xmm1
ucomisd %xmm1,%xmm0
jne    1131 <minmax_d+0x31>
jp     1131 <minmax_d+0x31>
movsd  %xmm0,(%rcx)
movsd  %xmm0,(%rdx)
cmp    $0x4,%esi
jge    1153 <minmax_d+0x53>
jmp    11cb <minmax_d+0xcb>
ucomisd %xmm0,%xmm1
jbe    1142 <minmax_d+0x42>
movsd  %xmm0,(%rdx)
movsd  0x8(%rdi),%xmm0
jmp    114a <minmax_d+0x4a>
movsd  %xmm1,(%rdx)
movsd  (%rdi),%xmm0
movsd  %xmm0,(%rcx)
cmp    $0x4,%esi
jl     11cb <minmax_d+0xcb>
lea    0x1(%rsi),%r8d
jmp    116a <minmax_d+0x6a>
nopl   0x0(%rax)
movsd  %xmm0,(%rdx)
cmp    $0x4,%r8d
jle    11cb <minmax_d+0xcb>
mov    %r8d,%eax
lea    -0x2(%rax),%r8d
movsd  (%rdi,%r8,8),%xmm1
add    $0xfffffffd,%eax
movsd  (%rdi,%rax,8),%xmm0
ucomisd %xmm0,%xmm1
movsd  (%rcx),%xmm2
jae    11b0 <minmax_d+0xb0>
ucomisd %xmm2,%xmm0
jbe    1199 <minmax_d+0x99>
movsd  %xmm0,(%rcx)
movsd  (%rdi,%r8,8),%xmm1
movsd  (%rdx),%xmm0
ucomisd %xmm1,%xmm0
movapd %xmm1,%xmm0
ja     1160 <minmax_d+0x60>
jmp    1164 <minmax_d+0x64>
nopl   0x0(%rax)
ucomisd %xmm2,%xmm1
jbe    11bf <minmax_d+0xbf>
movsd  %xmm1,(%rcx)
movsd  (%rdi,%rax,8),%xmm0
movsd  (%rdx),%xmm1
ucomisd %xmm0,%xmm1
ja     1160 <minmax_d+0x60>
jmp    1164 <minmax_d+0x64>
test   $0x1,%sil
je     11e0 <minmax_d+0xe0>
movsd  0x10(%rdi),%xmm0
ucomisd (%rcx),%xmm0
jbe    11e0 <minmax_d+0xe0>
movsd  %xmm0,(%rcx)
movsd  (%rdx),%xmm1
movsd  0x10(%rdi),%xmm0
ucomisd %xmm0,%xmm1
jbe    11f3 <minmax_d+0xf3>
movsd  %xmm0,(%rdx)
ret

LLVM IR (-O0):
define void @minmax_d(double* %0, i32 %1, double* %2, double* %3) {
%5 = alloca double*
%6 = alloca i32
%7 = alloca double*
%8 = alloca double*
%9 = alloca i32
store double* %0, double** %5
store i32 %1, i32* %6
store double* %2, double** %7
store double* %3, double** %8
%10 = load i32, i32* %6
%11 = icmp eq i32 %10, 1
br i1 %11, label %12, label %18
12: ; preds = %4
%13 = load double*, double** %5
%14 = getelementptr inbounds double, double* %13, i64 0
%15 = load double, double* %14
%16 = load double*, double** %8
store double %15, double* %16
%17 = load double*, double** %7
store double %15, double* %17
br label %181
18: ; preds = %4
%19 = load double*, double** %5
%20 = getelementptr inbounds double, double* %19, i64 0
%21 = load double, double* %20
%22 = load double*, double** %5
%23 = getelementptr inbounds double, double* %22, i64 1
%24 = load double, double* %23
%25 = fcmp oeq double %21, %24
br i1 %25, label %26, label %32
26: ; preds = %18
%27 = load double*, double** %5
%28 = getelementptr inbounds double, double* %27, i64 0
%29 = load double, double* %28
%30 = load double*, double** %8
store double %29, double* %30
%31 = load double*, double** %7
store double %29, double* %31
br label %59
32: ; preds = %18
%33 = load double*, double** %5
%34 = getelementptr inbounds double, double* %33, i64 0
%35 = load double, double* %34
%36 = load double*, double** %5
%37 = getelementptr inbounds double, double* %36, i64 1
%38 = load double, double* %37
%39 = fcmp olt double %35, %38
br i1 %39, label %40, label %49
40: ; preds = %32
%41 = load double*, double** %5
%42 = getelementptr inbounds double, double* %41, i64 0
%43 = load double, double* %42
%44 = load double*, double** %7
store double %43, double* %44
%45 = load double*, double** %5
%46 = getelementptr inbounds double, double* %45, i64 1
%47 = load double, double* %46
%48 = load double*, double** %8
store double %47, double* %48
br label %58
49: ; preds = %32
%50 = load double*, double** %5
%51 = getelementptr inbounds double, double* %50, i64 1
%52 = load double, double* %51
%53 = load double*, double** %7
store double %52, double* %53
%54 = load double*, double** %5
%55 = getelementptr inbounds double, double* %54, i64 0
%56 = load double, double* %55
%57 = load double*, double** %8
store double %56, double* %57
br label %58
58: ; preds = %49, %40
br label %59
59: ; preds = %58, %26
%60 = load i32, i32* %6
%61 = sub nsw i32 %60, 1
store i32 %61, i32* %9
br label %62
62: ; preds = %149, %59
%63 = load i32, i32* %9
%64 = icmp sgt i32 %63, 2
br i1 %64, label %65, label %152
65: ; preds = %62
%66 = load double*, double** %5
%67 = load i32, i32* %9
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds double, double* %66, i64 %68
%70 = load double, double* %69
%71 = load double*, double** %5
%72 = load i32, i32* %9
%73 = sub nsw i32 %72, 1
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds double, double* %71, i64 %74
%76 = load double, double* %75
%77 = fcmp oge double %70, %76
br i1 %77, label %78, label %113
78: ; preds = %65
%79 = load double*, double** %8
%80 = load double, double* %79
%81 = load double*, double** %5
%82 = load i32, i32* %9
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds double, double* %81, i64 %83
%85 = load double, double* %84
%86 = fcmp olt double %80, %85
br i1 %86, label %87, label %94
87: ; preds = %78
%88 = load double*, double** %5
%89 = load i32, i32* %9
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds double, double* %88, i64 %90
%92 = load double, double* %91
%93 = load double*, double** %8
store double %92, double* %93
br label %94
94: ; preds = %87, %78
%95 = load double*, double** %7
%96 = load double, double* %95
%97 = load double*, double** %5
%98 = load i32, i32* %9
%99 = sub nsw i32 %98, 1
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds double, double* %97, i64 %100
%102 = load double, double* %101
%103 = fcmp ogt double %96, %102
br i1 %103, label %104, label %112
104: ; preds = %94
%105 = load double*, double** %5
%106 = load i32, i32* %9
%107 = sub nsw i32 %106, 1
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds double, double* %105, i64 %108
%110 = load double, double* %109
%111 = load double*, double** %7
store double %110, double* %111
br label %112
112: ; preds = %104, %94
br label %148
113: ; preds = %65
%114 = load double*, double** %8
%115 = load double, double* %114
%116 = load double*, double** %5
%117 = load i32, i32* %9
%118 = sub nsw i32 %117, 1
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds double, double* %116, i64 %119
%121 = load double, double* %120
%122 = fcmp olt double %115, %121
br i1 %122, label %123, label %131
123: ; preds = %113
%124 = load double*, double** %5
%125 = load i32, i32* %9
%126 = sub nsw i32 %125, 1
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds double, double* %124, i64 %127
%129 = load double, double* %128
%130 = load double*, double** %8
store double %129, double* %130
br label %131
131: ; preds = %123, %113
%132 = load double*, double** %7
%133 = load double, double* %132
%134 = load double*, double** %5
%135 = load i32, i32* %9
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds double, double* %134, i64 %136
%138 = load double, double* %137
%139 = fcmp ogt double %133, %138
br i1 %139, label %140, label %147
140: ; preds = %131
%141 = load double*, double** %5
%142 = load i32, i32* %9
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds double, double* %141, i64 %143
%145 = load double, double* %144
%146 = load double*, double** %7
store double %145, double* %146
br label %147
147: ; preds = %140, %131
br label %148
148: ; preds = %147, %112
br label %149
149: ; preds = %148
%150 = load i32, i32* %9
%151 = sub nsw i32 %150, 2
store i32 %151, i32* %9
br label %62
152: ; preds = %62
%153 = load i32, i32* %6
%154 = srem i32 %153, 2
%155 = icmp ne i32 %154, 0
br i1 %155, label %156, label %169
156: ; preds = %152
%157 = load double*, double** %8
%158 = load double, double* %157
%159 = load double*, double** %5
%160 = getelementptr inbounds double, double* %159, i64 2
%161 = load double, double* %160
%162 = fcmp olt double %158, %161
br i1 %162, label %163, label %168
163: ; preds = %156
%164 = load double*, double** %5
%165 = getelementptr inbounds double, double* %164, i64 2
%166 = load double, double* %165
%167 = load double*, double** %8
store double %166, double* %167
br label %168
168: ; preds = %163, %156
br label %169
169: ; preds = %168, %152
%170 = load double*, double** %7
%171 = load double, double* %170
%172 = load double*, double** %5
%173 = getelementptr inbounds double, double* %172, i64 2
%174 = load double, double* %173
%175 = fcmp ogt double %171, %174
br i1 %175, label %176, label %181
176: ; preds = %169
%177 = load double*, double** %5
%178 = getelementptr inbounds double, double* %177, i64 2
%179 = load double, double* %178
%180 = load double*, double** %7
store double %179, double* %180
br label %181
181: ; preds = %12, %176, %169
ret void
}

LLVM IR (-O2):
define void @minmax_d(double* nocapture %0, i32 %1, double* nocapture %2, double* nocapture %3) {
%5 = icmp eq i32 %1, 1
%6 = load double, double* %0
br i1 %5, label %7, label %8
7: ; preds = %4
store double %6, double* %3
br label %69
8: ; preds = %4
%9 = getelementptr inbounds double, double* %0, i64 1
%10 = load double, double* %9
%11 = fcmp oeq double %6, %10
br i1 %11, label %12, label %13
12: ; preds = %8
store double %6, double* %3
store double %6, double* %2
br label %19
13: ; preds = %8
%14 = fcmp olt double %6, %10
br i1 %14, label %15, label %17
15: ; preds = %13
store double %6, double* %2
%16 = load double, double* %9
store double %16, double* %3
br label %19
17: ; preds = %13
store double %10, double* %2
%18 = load double, double* %0
store double %18, double* %3
br label %19
19: ; preds = %15, %17, %12
%20 = icmp sgt i32 %1, 3
br i1 %20, label %21, label %55
21: ; preds = %19
%22 = add nsw i32 %1, -1
br label %23
23: ; preds = %21, %52
%24 = phi i32 [ %53, %52 ], [ %22, %21 ]
%25 = zext i32 %24 to i64
%26 = getelementptr inbounds double, double* %0, i64 %25
%27 = load double, double* %26
%28 = add nsw i32 %24, -1
%29 = zext i32 %28 to i64
%30 = getelementptr inbounds double, double* %0, i64 %29
%31 = load double, double* %30
%32 = fcmp ult double %27, %31
%33 = load double, double* %3
br i1 %32, label %42, label %34
34: ; preds = %23
%35 = fcmp olt double %33, %27
br i1 %35, label %36, label %38
36: ; preds = %34
store double %27, double* %3
%37 = load double, double* %30
br label %38
38: ; preds = %36, %34
%39 = phi double [ %37, %36 ], [ %31, %34 ]
%40 = load double, double* %2
%41 = fcmp ogt double %40, %39
br i1 %41, label %50, label %52
42: ; preds = %23
%43 = fcmp olt double %33, %31
br i1 %43, label %44, label %46
44: ; preds = %42
store double %31, double* %3
%45 = load double, double* %26
br label %46
46: ; preds = %44, %42
%47 = phi double [ %45, %44 ], [ %27, %42 ]
%48 = load double, double* %2
%49 = fcmp ogt double %48, %47
br i1 %49, label %50, label %52
50: ; preds = %46, %38
%51 = phi double [ %39, %38 ], [ %47, %46 ]
store double %51, double* %2
br label %52
52: ; preds = %50, %38, %46
%53 = add nsw i32 %24, -2
%54 = icmp sgt i32 %24, 4
br i1 %54, label %23, label %55
55: ; preds = %52, %19
%56 = and i32 %1, 1
%57 = icmp eq i32 %56, 0
br i1 %57, label %64, label %58
58: ; preds = %55
%59 = load double, double* %3
%60 = getelementptr inbounds double, double* %0, i64 2
%61 = load double, double* %60
%62 = fcmp olt double %59, %61
br i1 %62, label %63, label %64
63: ; preds = %58
store double %61, double* %3
br label %64
64: ; preds = %58, %63, %55
%65 = load double, double* %2
%66 = getelementptr inbounds double, double* %0, i64 2
%67 = load double, double* %66
%68 = fcmp ogt double %65, %67
br i1 %68, label %69, label %71
69: ; preds = %64, %7
%70 = phi double [ %6, %7 ], [ %67, %64 ]
store double %70, double* %2
br label %71
71: ; preds = %69, %64
ret void
}