#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ hoare_select_f(float *, int /*<<< orphan*/, int, int);
float fvec_median(float *f, int n) {
  int halfn = n / 2;
  int j;
  float min_upper, max_lower;
  assert(n > 0);
  if (n == 1)
    return f[0];
  hoare_select_f(f, 0, n, halfn);
  min_upper = f[halfn];
  for (j = halfn + 1; j < n; j++)
    if (f[j] < min_upper)
      min_upper = f[j];
  if (n % 2 == 1)
    return min_upper;
  else {
    max_lower = f[0];
    for (j = 1; j < halfn; j++)
      if (f[j] > max_lower)
        max_lower = f[j];
    return (float)(0.5 * (min_upper + max_lower));
  }
}


x86 assembly (clang, -O0):
<fvec_median>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x14(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x1,-0x14(%rbp)
jne    116a <fvec_median+0x4a>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1284 <fvec_median+0x164>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
xor    %esi,%esi
call   1040 <hoare_select_f@plt>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11e2 <fvec_median+0xc2>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
movss  -0x20(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    11cf <fvec_median+0xaf>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
jmp    11d4 <fvec_median+0xb4>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1196 <fvec_median+0x76>
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x1,%edx
jne    1205 <fvec_median+0xe5>
movss  -0x20(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1284 <fvec_median+0x164>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x24(%rbp)
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1261 <fvec_median+0x141>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss -0x24(%rbp),%xmm0
jbe    124e <fvec_median+0x12e>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x24(%rbp)
jmp    1253 <fvec_median+0x133>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1219 <fvec_median+0xf9>
movss  -0x20(%rbp),%xmm0
addss  -0x24(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xd89(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fvec_median>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %esi,%ebp
mov    %rdi,%rbx
xor    %edi,%edi
test   %esi,%esi
setg   %dil
call   1030 <assert@plt>
cmp    $0x1,%ebp
jne    1147 <fvec_median+0x27>
movss  (%rbx),%xmm0
jmp    12b1 <fvec_median+0x191>
mov    %ebp,%eax
shr    $0x1f,%eax
add    %ebp,%eax
mov    %eax,%r14d
sar    %r14d
and    $0xfffffffe,%eax
mov    %ebp,%r15d
sub    %eax,%r15d
mov    %rbx,%rdi
xor    %esi,%esi
mov    %ebp,%edx
mov    %r14d,%ecx
call   1040 <hoare_select_f@plt>
movslq %r14d,%rax
movss  (%rbx,%rax,4),%xmm0
lea    0x1(%rax),%ecx
cmp    %ebp,%ecx
jge    11f0 <fvec_median+0xd0>
movslq %ebp,%rcx
mov    %r14d,%esi
not    %esi
add    %ebp,%esi
mov    %rcx,%rdx
sub    %rax,%rdx
add    $0x1,%rax
add    $0xfffffffffffffffe,%rdx
and    $0x3,%rsi
je     11b6 <fvec_median+0x96>
movaps %xmm0,%xmm1
nopl   0x0(%rax)
movss  (%rbx,%rax,4),%xmm0
minss  %xmm1,%xmm0
add    $0x1,%rax
movaps %xmm0,%xmm1
add    $0xffffffffffffffff,%rsi
jne    11a0 <fvec_median+0x80>
cmp    $0x3,%rdx
jb     11f0 <fvec_median+0xd0>
nopl   0x0(%rax)
movss  (%rbx,%rax,4),%xmm1
minss  %xmm0,%xmm1
movss  0x4(%rbx,%rax,4),%xmm0
minss  %xmm1,%xmm0
movss  0x8(%rbx,%rax,4),%xmm1
minss  %xmm0,%xmm1
movss  0xc(%rbx,%rax,4),%xmm0
minss  %xmm1,%xmm0
add    $0x4,%rax
cmp    %rax,%rcx
jne    11c0 <fvec_median+0xa0>
cmp    $0x1,%r15d
je     12b1 <fvec_median+0x191>
movss  (%rbx),%xmm1
cmp    $0x4,%ebp
jl     122a <fvec_median+0x10a>
cmp    $0x3,%r14d
mov    $0x2,%ecx
cmovge %r14d,%ecx
lea    -0x1(%rcx),%rdx
add    $0xfffffffffffffffe,%rcx
mov    %edx,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    122f <fvec_median+0x10f>
mov    $0x1,%ecx
jmp    1275 <fvec_median+0x155>
movaps %xmm1,%xmm2
jmp    12a5 <fvec_median+0x185>
and    $0xfffffffffffffffc,%rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
movss  0x4(%rbx,%rcx,4),%xmm2
maxss  %xmm1,%xmm2
movss  0x8(%rbx,%rcx,4),%xmm1
maxss  %xmm2,%xmm1
movss  0xc(%rbx,%rcx,4),%xmm2
maxss  %xmm1,%xmm2
movss  0x10(%rbx,%rcx,4),%xmm1
maxss  %xmm2,%xmm1
add    $0x4,%rcx
cmp    %rcx,%rdx
jne    1240 <fvec_median+0x120>
add    $0x1,%rcx
movaps %xmm1,%xmm2
test   %rax,%rax
je     12a5 <fvec_median+0x185>
lea    (%rbx,%rcx,4),%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movss  (%rcx,%rdx,4),%xmm2
maxss  %xmm1,%xmm2
add    $0x1,%rdx
movaps %xmm2,%xmm1
cmp    %rdx,%rax
jne    1290 <fvec_median+0x170>
addss  %xmm2,%xmm0
mulss  0xd4f(%rip),%xmm0
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define float @fvec_median(float* %0, i32 %1) {
%3 = alloca float
%4 = alloca float*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca float
%9 = alloca float
store float* %0, float** %4
store i32 %1, i32* %5
%10 = load i32, i32* %5
%11 = sdiv i32 %10, 2
store i32 %11, i32* %6
%12 = load i32, i32* %5
%13 = icmp sgt i32 %12, 0
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
%16 = load i32, i32* %5
%17 = icmp eq i32 %16, 1
br i1 %17, label %18, label %22
18: ; preds = %2
%19 = load float*, float** %4
%20 = getelementptr inbounds float, float* %19, i64 0
%21 = load float, float* %20
store float %21, float* %3
br label %95
22: ; preds = %2
%23 = load float*, float** %4
%24 = load i32, i32* %5
%25 = load i32, i32* %6
%26 = call i32 @hoare_select_f(float* %23, i32 0, i32 %24, i32 %25)
%27 = load float*, float** %4
%28 = load i32, i32* %6
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds float, float* %27, i64 %29
%31 = load float, float* %30
store float %31, float* %8
%32 = load i32, i32* %6
%33 = add nsw i32 %32, 1
store i32 %33, i32* %7
br label %34
34: ; preds = %53, %22
%35 = load i32, i32* %7
%36 = load i32, i32* %5
%37 = icmp slt i32 %35, %36
br i1 %37, label %38, label %56
38: ; preds = %34
%39 = load float*, float** %4
%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 = load float, float* %8
%45 = fcmp olt float %43, %44
br i1 %45, label %46, label %52
46: ; preds = %38
%47 = load float*, float** %4
%48 = load i32, i32* %7
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds float, float* %47, i64 %49
%51 = load float, float* %50
store float %51, float* %8
br label %52
52: ; preds = %46, %38
br label %53
53: ; preds = %52
%54 = load i32, i32* %7
%55 = add nsw i32 %54, 1
store i32 %55, i32* %7
br label %34
56: ; preds = %34
%57 = load i32, i32* %5
%58 = srem i32 %57, 2
%59 = icmp eq i32 %58, 1
br i1 %59, label %60, label %62
60: ; preds = %56
%61 = load float, float* %8
store float %61, float* %3
br label %95
62: ; preds = %56
%63 = load float*, float** %4
%64 = getelementptr inbounds float, float* %63, i64 0
%65 = load float, float* %64
store float %65, float* %9
store i32 1, i32* %7
br label %66
66: ; preds = %85, %62
%67 = load i32, i32* %7
%68 = load i32, i32* %6
%69 = icmp slt i32 %67, %68
br i1 %69, label %70, label %88
70: ; preds = %66
%71 = load float*, float** %4
%72 = load i32, i32* %7
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds float, float* %71, i64 %73
%75 = load float, float* %74
%76 = load float, float* %9
%77 = fcmp ogt float %75, %76
br i1 %77, label %78, label %84
78: ; preds = %70
%79 = load float*, float** %4
%80 = load i32, i32* %7
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds float, float* %79, i64 %81
%83 = load float, float* %82
store float %83, float* %9
br label %84
84: ; preds = %78, %70
br label %85
85: ; preds = %84
%86 = load i32, i32* %7
%87 = add nsw i32 %86, 1
store i32 %87, i32* %7
br label %66
88: ; preds = %66
%89 = load float, float* %8
%90 = load float, float* %9
%91 = fadd float %89, %90
%92 = fpext float %91 to double
%93 = fmul double 5.000000e-01, %92
%94 = fptrunc double %93 to float
store float %94, float* %3
br label %95
95: ; preds = %88, %60, %18
%96 = load float, float* %3
ret float %96
}

LLVM IR (-O2):
define float @fvec_median(float* %0, i32 %1) {
%3 = sdiv i32 %1, 2
%4 = srem i32 %1, 2
%5 = icmp sgt i32 %1, 0
%6 = zext i1 %5 to i32
%7 = tail call i32 @assert(i32 %6)
%8 = icmp eq i32 %1, 1
br i1 %8, label %9, label %11
9: ; preds = %2
%10 = load float, float* %0
br label %128
11: ; preds = %2
%12 = tail call i32 @hoare_select_f(float* %0, i32 0, i32 %1, i32 %3)
%13 = sext i32 %3 to i64
%14 = getelementptr inbounds float, float* %0, i64 %13
%15 = load float, float* %14
%16 = add nsw i32 %3, 1
%17 = icmp slt i32 %16, %1
br i1 %17, label %18, label %67
18: ; preds = %11
%19 = add nsw i64 %13, 1
%20 = sext i32 %1 to i64
%21 = xor i64 %13, -1
%22 = add nsw i64 %21, %20
%23 = add nsw i64 %20, -2
%24 = sub nsw i64 %23, %13
%25 = and i64 %22, 3
%26 = icmp eq i64 %25, 0
br i1 %26, label %38, label %27
27: ; preds = %18, %27
%28 = phi i64 [ %35, %27 ], [ %19, %18 ]
%29 = phi float [ %34, %27 ], [ %15, %18 ]
%30 = phi i64 [ %36, %27 ], [ 0, %18 ]
%31 = getelementptr inbounds float, float* %0, i64 %28
%32 = load float, float* %31
%33 = fcmp olt float %32, %29
%34 = select i1 %33, float %32, float %29
%35 = add nsw i64 %28, 1
%36 = add i64 %30, 1
%37 = icmp eq i64 %36, %25
br i1 %37, label %38, label %27
38: ; preds = %27, %18
%39 = phi float [ undef, %18 ], [ %34, %27 ]
%40 = phi i64 [ %19, %18 ], [ %35, %27 ]
%41 = phi float [ %15, %18 ], [ %34, %27 ]
%42 = icmp ult i64 %24, 3
br i1 %42, label %67, label %43
43: ; preds = %38, %43
%44 = phi i64 [ %65, %43 ], [ %40, %38 ]
%45 = phi float [ %64, %43 ], [ %41, %38 ]
%46 = getelementptr inbounds float, float* %0, i64 %44
%47 = load float, float* %46
%48 = fcmp olt float %47, %45
%49 = select i1 %48, float %47, float %45
%50 = add nsw i64 %44, 1
%51 = getelementptr inbounds float, float* %0, i64 %50
%52 = load float, float* %51
%53 = fcmp olt float %52, %49
%54 = select i1 %53, float %52, float %49
%55 = add nsw i64 %44, 2
%56 = getelementptr inbounds float, float* %0, i64 %55
%57 = load float, float* %56
%58 = fcmp olt float %57, %54
%59 = select i1 %58, float %57, float %54
%60 = add nsw i64 %44, 3
%61 = getelementptr inbounds float, float* %0, i64 %60
%62 = load float, float* %61
%63 = fcmp olt float %62, %59
%64 = select i1 %63, float %62, float %59
%65 = add nsw i64 %44, 4
%66 = icmp eq i64 %65, %20
br i1 %66, label %67, label %43
67: ; preds = %38, %43, %11
%68 = phi float [ %15, %11 ], [ %39, %38 ], [ %64, %43 ]
%69 = icmp eq i32 %4, 1
br i1 %69, label %128, label %70
70: ; preds = %67
%71 = load float, float* %0
%72 = icmp sgt i32 %1, 3
br i1 %72, label %73, label %124
73: ; preds = %70
%74 = call i32 @llvm.smax.i32(i32 %3, i32 2)
%75 = zext i32 %74 to i64
%76 = add nsw i64 %75, -1
%77 = add nsw i64 %75, -2
%78 = and i64 %76, 3
%79 = icmp ult i64 %77, 3
br i1 %79, label %108, label %80
80: ; preds = %73
%81 = and i64 %76, -4
br label %82
82: ; preds = %82, %80
%83 = phi i64 [ 1, %80 ], [ %105, %82 ]
%84 = phi float [ %71, %80 ], [ %104, %82 ]
%85 = phi i64 [ 0, %80 ], [ %106, %82 ]
%86 = getelementptr inbounds float, float* %0, i64 %83
%87 = load float, float* %86
%88 = fcmp ogt float %87, %84
%89 = select i1 %88, float %87, float %84
%90 = add nuw nsw i64 %83, 1
%91 = getelementptr inbounds float, float* %0, i64 %90
%92 = load float, float* %91
%93 = fcmp ogt float %92, %89
%94 = select i1 %93, float %92, float %89
%95 = add nuw nsw i64 %83, 2
%96 = getelementptr inbounds float, float* %0, i64 %95
%97 = load float, float* %96
%98 = fcmp ogt float %97, %94
%99 = select i1 %98, float %97, float %94
%100 = add nuw nsw i64 %83, 3
%101 = getelementptr inbounds float, float* %0, i64 %100
%102 = load float, float* %101
%103 = fcmp ogt float %102, %99
%104 = select i1 %103, float %102, float %99
%105 = add nuw nsw i64 %83, 4
%106 = add i64 %85, 4
%107 = icmp eq i64 %106, %81
br i1 %107, label %108, label %82
108: ; preds = %82, %73
%109 = phi float [ undef, %73 ], [ %104, %82 ]
%110 = phi i64 [ 1, %73 ], [ %105, %82 ]
%111 = phi float [ %71, %73 ], [ %104, %82 ]
%112 = icmp eq i64 %78, 0
br i1 %112, label %124, label %113
113: ; preds = %108, %113
%114 = phi i64 [ %121, %113 ], [ %110, %108 ]
%115 = phi float [ %120, %113 ], [ %111, %108 ]
%116 = phi i64 [ %122, %113 ], [ 0, %108 ]
%117 = getelementptr inbounds float, float* %0, i64 %114
%118 = load float, float* %117
%119 = fcmp ogt float %118, %115
%120 = select i1 %119, float %118, float %115
%121 = add nuw nsw i64 %114, 1
%122 = add i64 %116, 1
%123 = icmp eq i64 %122, %78
br i1 %123, label %124, label %113
124: ; preds = %108, %113, %70
%125 = phi float [ %71, %70 ], [ %109, %108 ], [ %120, %113 ]
%126 = fadd float %68, %125
%127 = fmul float %126, 5.000000e-01
br label %128
128: ; preds = %67, %124, %9
%129 = phi float [ %10, %9 ], [ %127, %124 ], [ %68, %67 ]
ret float %129
}