#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 */
size_t RankOfElement(const int *array, size_t length, size_t index) {
  size_t count = 0;
  for (int i = 0; i < index; i++) {
    if (array[i] <= array[index]) {
      count++;
    }
  }
  for (int i = index; i < length; i++) {
    if (array[i] < array[index]) {
      count++;
    }
  }
  return count;
}


x86 assembly (clang, -O0):
<RankOfElement>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movslq -0x24(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1168 <RankOfElement+0x68>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     1155 <RankOfElement+0x55>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    115a <RankOfElement+0x5a>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    111f <RankOfElement+0x1f>
mov    -0x18(%rbp),%rax
mov    %eax,-0x28(%rbp)
movslq -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    11b8 <RankOfElement+0xb8>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11a5 <RankOfElement+0xa5>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    11aa <RankOfElement+0xaa>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    116f <RankOfElement+0x6f>
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<RankOfElement>:
push   %rbx
test   %rdx,%rdx
je     1119 <RankOfElement+0x19>
mov    (%rdi,%rdx,4),%r8d
cmp    $0x4,%rdx
jae    1120 <RankOfElement+0x20>
xor    %ecx,%ecx
xor    %eax,%eax
jmp    1230 <RankOfElement+0x130>
xor    %eax,%eax
jmp    1245 <RankOfElement+0x145>
mov    %rdx,%rcx
and    $0xfffffffffffffffc,%rcx
movd   %r8d,%xmm0
pshufd $0x50,%xmm0,%xmm0
lea    -0x4(%rcx),%rax
mov    %rax,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rax,%rax
je     13a7 <RankOfElement+0x2a7>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
pxor   %xmm1,%xmm1
xor    %eax,%eax
movdqa 0xea2(%rip),%xmm3
pxor   %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movq   (%rdi,%rax,4),%xmm4
movq   0x8(%rdi,%rax,4),%xmm5
pcmpgtd %xmm0,%xmm4
pshufd $0xd4,%xmm4,%xmm4
pandn  %xmm3,%xmm4
paddq  %xmm1,%xmm4
pcmpgtd %xmm0,%xmm5
pshufd $0xd4,%xmm5,%xmm5
pandn  %xmm3,%xmm5
paddq  %xmm2,%xmm5
movq   0x10(%rdi,%rax,4),%xmm1
movq   0x18(%rdi,%rax,4),%xmm2
pcmpgtd %xmm0,%xmm1
pshufd $0xd4,%xmm1,%xmm1
pandn  %xmm3,%xmm1
paddq  %xmm4,%xmm1
pcmpgtd %xmm0,%xmm2
pshufd $0xd4,%xmm2,%xmm2
pandn  %xmm3,%xmm2
paddq  %xmm5,%xmm2
add    $0x8,%rax
add    $0xfffffffffffffffe,%r10
jne    1170 <RankOfElement+0x70>
test   $0x1,%r9b
je     1210 <RankOfElement+0x110>
movq   (%rdi,%rax,4),%xmm3
movq   0x8(%rdi,%rax,4),%xmm4
pcmpgtd %xmm0,%xmm3
pshufd $0xd4,%xmm3,%xmm3
movdqa 0xe09(%rip),%xmm5
pandn  %xmm5,%xmm3
paddq  %xmm3,%xmm1
pcmpgtd %xmm0,%xmm4
pshufd $0xd4,%xmm4,%xmm0
pandn  %xmm5,%xmm0
paddq  %xmm0,%xmm2
paddq  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddq  %xmm1,%xmm0
movq   %xmm0,%rax
cmp    %rdx,%rcx
je     1245 <RankOfElement+0x145>
nopw   0x0(%rax,%rax,1)
xor    %ebx,%ebx
cmp    %r8d,(%rdi,%rcx,4)
setle  %bl
add    %rbx,%rax
add    $0x1,%rcx
cmp    %rcx,%rdx
jne    1230 <RankOfElement+0x130>
movslq %edx,%rcx
cmp    %rsi,%rcx
jae    13a5 <RankOfElement+0x2a5>
mov    (%rdi,%rdx,4),%r11d
mov    %rsi,%r8
sub    %rcx,%r8
cmp    $0x4,%r8
jb     1390 <RankOfElement+0x290>
mov    %r8,%r9
and    $0xfffffffffffffffc,%r9
movq   %rax,%xmm0
movd   %r11d,%xmm1
pshufd $0x50,%xmm1,%xmm1
lea    -0x4(%r9),%rax
mov    %rax,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rax,%rax
je     13c0 <RankOfElement+0x2c0>
mov    %r10,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%rdi,%rcx,4),%rbx
add    $0x18,%rbx
pxor   %xmm2,%xmm2
xor    %eax,%eax
movdqa 0xd50(%rip),%xmm3
movq   -0x18(%rbx,%rax,4),%xmm4
movq   -0x10(%rbx,%rax,4),%xmm5
movdqa %xmm1,%xmm6
pcmpgtd %xmm4,%xmm6
pshufd $0xd4,%xmm6,%xmm4
pand   %xmm3,%xmm4
paddq  %xmm0,%xmm4
movdqa %xmm1,%xmm0
pcmpgtd %xmm5,%xmm0
pshufd $0xd4,%xmm0,%xmm5
pand   %xmm3,%xmm5
paddq  %xmm2,%xmm5
movq   -0x8(%rbx,%rax,4),%xmm0
movq   (%rbx,%rax,4),%xmm2
movdqa %xmm1,%xmm6
pcmpgtd %xmm0,%xmm6
pshufd $0xd4,%xmm6,%xmm0
pand   %xmm3,%xmm0
paddq  %xmm4,%xmm0
movdqa %xmm1,%xmm4
pcmpgtd %xmm2,%xmm4
pshufd $0xd4,%xmm4,%xmm2
pand   %xmm3,%xmm2
paddq  %xmm5,%xmm2
add    $0x8,%rax
add    $0xfffffffffffffffe,%rdx
jne    12b0 <RankOfElement+0x1b0>
test   $0x1,%r10b
je     1367 <RankOfElement+0x267>
add    %rcx,%rax
movq   (%rdi,%rax,4),%xmm3
movq   0x8(%rdi,%rax,4),%xmm4
movdqa %xmm1,%xmm5
pcmpgtd %xmm3,%xmm5
pshufd $0xd4,%xmm5,%xmm3
movdqa 0xcb2(%rip),%xmm5
pand   %xmm5,%xmm3
paddq  %xmm3,%xmm0
pcmpgtd %xmm4,%xmm1
pshufd $0xd4,%xmm1,%xmm1
pand   %xmm5,%xmm1
paddq  %xmm1,%xmm2
paddq  %xmm2,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rax
cmp    %r9,%r8
je     13a5 <RankOfElement+0x2a5>
add    %r9,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %edx,%edx
cmp    %r11d,(%rdi,%rcx,4)
setl   %dl
add    %rdx,%rax
add    $0x1,%rcx
cmp    %rsi,%rcx
jb     1390 <RankOfElement+0x290>
pop    %rbx
ret
pxor   %xmm1,%xmm1
xor    %eax,%eax
pxor   %xmm2,%xmm2
test   $0x1,%r9b
jne    11db <RankOfElement+0xdb>
jmp    1210 <RankOfElement+0x110>
pxor   %xmm2,%xmm2
xor    %eax,%eax
test   $0x1,%r10b
jne    132b <RankOfElement+0x22b>
jmp    1367 <RankOfElement+0x267>

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

LLVM IR (-O2):
define i64 @RankOfElement(i32* nocapture %0, i64 %1, i64 %2) {
%4 = icmp eq i64 %2, 0
br i1 %4, label %84, label %5
5: ; preds = %3
%6 = getelementptr inbounds i32, i32* %0, i64 %2
%7 = load i32, i32* %6
%8 = icmp ult i64 %2, 4
br i1 %8, label %81, label %9
9: ; preds = %5
%10 = and i64 %2, -4
%11 = insertelement <2 x i32> poison, i32 %7, i64 0
%12 = shufflevector <2 x i32> %11, <2 x i32> poison, <2 x i32> zeroinitializer
%13 = insertelement <2 x i32> poison, i32 %7, i64 0
%14 = shufflevector <2 x i32> %13, <2 x i32> poison, <2 x i32> zeroinitializer
%15 = add i64 %10, -4
%16 = lshr exact i64 %15, 2
%17 = add nuw nsw i64 %16, 1
%18 = and i64 %17, 1
%19 = icmp eq i64 %15, 0
br i1 %19, label %55, label %20
20: ; preds = %9
%21 = and i64 %17, 9223372036854775806
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %52, %22 ]
%24 = phi <2 x i64> [ zeroinitializer, %20 ], [ %50, %22 ]
%25 = phi <2 x i64> [ zeroinitializer, %20 ], [ %51, %22 ]
%26 = phi i64 [ 0, %20 ], [ %53, %22 ]
%27 = getelementptr inbounds i32, i32* %0, i64 %23
%28 = bitcast i32* %27 to <2 x i32>*
%29 = load <2 x i32>, <2 x i32>* %28
%30 = getelementptr inbounds i32, i32* %27, i64 2
%31 = bitcast i32* %30 to <2 x i32>*
%32 = load <2 x i32>, <2 x i32>* %31
%33 = icmp sle <2 x i32> %29, %12
%34 = icmp sle <2 x i32> %32, %14
%35 = zext <2 x i1> %33 to <2 x i64>
%36 = zext <2 x i1> %34 to <2 x i64>
%37 = add <2 x i64> %24, %35
%38 = add <2 x i64> %25, %36
%39 = or i64 %23, 4
%40 = getelementptr inbounds i32, i32* %0, i64 %39
%41 = bitcast i32* %40 to <2 x i32>*
%42 = load <2 x i32>, <2 x i32>* %41
%43 = getelementptr inbounds i32, i32* %40, i64 2
%44 = bitcast i32* %43 to <2 x i32>*
%45 = load <2 x i32>, <2 x i32>* %44
%46 = icmp sle <2 x i32> %42, %12
%47 = icmp sle <2 x i32> %45, %14
%48 = zext <2 x i1> %46 to <2 x i64>
%49 = zext <2 x i1> %47 to <2 x i64>
%50 = add <2 x i64> %37, %48
%51 = add <2 x i64> %38, %49
%52 = add nuw i64 %23, 8
%53 = add i64 %26, 2
%54 = icmp eq i64 %53, %21
br i1 %54, label %55, label %22
55: ; preds = %22, %9
%56 = phi <2 x i64> [ undef, %9 ], [ %50, %22 ]
%57 = phi <2 x i64> [ undef, %9 ], [ %51, %22 ]
%58 = phi i64 [ 0, %9 ], [ %52, %22 ]
%59 = phi <2 x i64> [ zeroinitializer, %9 ], [ %50, %22 ]
%60 = phi <2 x i64> [ zeroinitializer, %9 ], [ %51, %22 ]
%61 = icmp eq i64 %18, 0
br i1 %61, label %75, label %62
62: ; preds = %55
%63 = getelementptr inbounds i32, i32* %0, i64 %58
%64 = bitcast i32* %63 to <2 x i32>*
%65 = load <2 x i32>, <2 x i32>* %64
%66 = getelementptr inbounds i32, i32* %63, i64 2
%67 = bitcast i32* %66 to <2 x i32>*
%68 = load <2 x i32>, <2 x i32>* %67
%69 = icmp sle <2 x i32> %65, %12
%70 = icmp sle <2 x i32> %68, %14
%71 = zext <2 x i1> %69 to <2 x i64>
%72 = zext <2 x i1> %70 to <2 x i64>
%73 = add <2 x i64> %59, %71
%74 = add <2 x i64> %60, %72
br label %75
75: ; preds = %55, %62
%76 = phi <2 x i64> [ %56, %55 ], [ %73, %62 ]
%77 = phi <2 x i64> [ %57, %55 ], [ %74, %62 ]
%78 = add <2 x i64> %77, %76
%79 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %78)
%80 = icmp eq i64 %10, %2
br i1 %80, label %84, label %81
81: ; preds = %5, %75
%82 = phi i64 [ 0, %5 ], [ %10, %75 ]
%83 = phi i64 [ 0, %5 ], [ %79, %75 ]
br label %174
84: ; preds = %174, %75, %3
%85 = phi i64 [ 0, %3 ], [ %79, %75 ], [ %181, %174 ]
%86 = shl i64 %2, 32
%87 = ashr exact i64 %86, 32
%88 = icmp ult i64 %87, %1
br i1 %88, label %89, label %184
89: ; preds = %84
%90 = getelementptr inbounds i32, i32* %0, i64 %2
%91 = load i32, i32* %90
%92 = sub i64 %1, %87
%93 = icmp ult i64 %92, 4
br i1 %93, label %171, label %94
94: ; preds = %89
%95 = and i64 %92, -4
%96 = add i64 %87, %95
%97 = insertelement <2 x i64> <i64 poison, i64 0>, i64 %85, i64 0
%98 = insertelement <2 x i32> poison, i32 %91, i64 0
%99 = shufflevector <2 x i32> %98, <2 x i32> poison, <2 x i32> zeroinitializer
%100 = insertelement <2 x i32> poison, i32 %91, i64 0
%101 = shufflevector <2 x i32> %100, <2 x i32> poison, <2 x i32> zeroinitializer
%102 = add i64 %95, -4
%103 = lshr exact i64 %102, 2
%104 = add nuw nsw i64 %103, 1
%105 = and i64 %104, 1
%106 = icmp eq i64 %102, 0
br i1 %106, label %144, label %107
107: ; preds = %94
%108 = and i64 %104, 9223372036854775806
br label %109
109: ; preds = %109, %107
%110 = phi i64 [ 0, %107 ], [ %141, %109 ]
%111 = phi <2 x i64> [ %97, %107 ], [ %139, %109 ]
%112 = phi <2 x i64> [ zeroinitializer, %107 ], [ %140, %109 ]
%113 = phi i64 [ 0, %107 ], [ %142, %109 ]
%114 = add i64 %87, %110
%115 = getelementptr inbounds i32, i32* %0, i64 %114
%116 = bitcast i32* %115 to <2 x i32>*
%117 = load <2 x i32>, <2 x i32>* %116
%118 = getelementptr inbounds i32, i32* %115, i64 2
%119 = bitcast i32* %118 to <2 x i32>*
%120 = load <2 x i32>, <2 x i32>* %119
%121 = icmp slt <2 x i32> %117, %99
%122 = icmp slt <2 x i32> %120, %101
%123 = zext <2 x i1> %121 to <2 x i64>
%124 = zext <2 x i1> %122 to <2 x i64>
%125 = add <2 x i64> %111, %123
%126 = add <2 x i64> %112, %124
%127 = or i64 %110, 4
%128 = add i64 %87, %127
%129 = getelementptr inbounds i32, i32* %0, i64 %128
%130 = bitcast i32* %129 to <2 x i32>*
%131 = load <2 x i32>, <2 x i32>* %130
%132 = getelementptr inbounds i32, i32* %129, i64 2
%133 = bitcast i32* %132 to <2 x i32>*
%134 = load <2 x i32>, <2 x i32>* %133
%135 = icmp slt <2 x i32> %131, %99
%136 = icmp slt <2 x i32> %134, %101
%137 = zext <2 x i1> %135 to <2 x i64>
%138 = zext <2 x i1> %136 to <2 x i64>
%139 = add <2 x i64> %125, %137
%140 = add <2 x i64> %126, %138
%141 = add nuw i64 %110, 8
%142 = add i64 %113, 2
%143 = icmp eq i64 %142, %108
br i1 %143, label %144, label %109
144: ; preds = %109, %94
%145 = phi <2 x i64> [ undef, %94 ], [ %139, %109 ]
%146 = phi <2 x i64> [ undef, %94 ], [ %140, %109 ]
%147 = phi i64 [ 0, %94 ], [ %141, %109 ]
%148 = phi <2 x i64> [ %97, %94 ], [ %139, %109 ]
%149 = phi <2 x i64> [ zeroinitializer, %94 ], [ %140, %109 ]
%150 = icmp eq i64 %105, 0
br i1 %150, label %165, label %151
151: ; preds = %144
%152 = add i64 %87, %147
%153 = getelementptr inbounds i32, i32* %0, i64 %152
%154 = bitcast i32* %153 to <2 x i32>*
%155 = load <2 x i32>, <2 x i32>* %154
%156 = getelementptr inbounds i32, i32* %153, i64 2
%157 = bitcast i32* %156 to <2 x i32>*
%158 = load <2 x i32>, <2 x i32>* %157
%159 = icmp slt <2 x i32> %155, %99
%160 = icmp slt <2 x i32> %158, %101
%161 = zext <2 x i1> %159 to <2 x i64>
%162 = zext <2 x i1> %160 to <2 x i64>
%163 = add <2 x i64> %148, %161
%164 = add <2 x i64> %149, %162
br label %165
165: ; preds = %144, %151
%166 = phi <2 x i64> [ %145, %144 ], [ %163, %151 ]
%167 = phi <2 x i64> [ %146, %144 ], [ %164, %151 ]
%168 = add <2 x i64> %167, %166
%169 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %168)
%170 = icmp eq i64 %92, %95
br i1 %170, label %184, label %171
171: ; preds = %89, %165
%172 = phi i64 [ %87, %89 ], [ %96, %165 ]
%173 = phi i64 [ %85, %89 ], [ %169, %165 ]
br label %186
174: ; preds = %81, %174
%175 = phi i64 [ %182, %174 ], [ %82, %81 ]
%176 = phi i64 [ %181, %174 ], [ %83, %81 ]
%177 = getelementptr inbounds i32, i32* %0, i64 %175
%178 = load i32, i32* %177
%179 = icmp sle i32 %178, %7
%180 = zext i1 %179 to i64
%181 = add i64 %176, %180
%182 = add nuw nsw i64 %175, 1
%183 = icmp eq i64 %182, %2
br i1 %183, label %84, label %174
184: ; preds = %186, %165, %84
%185 = phi i64 [ %85, %84 ], [ %169, %165 ], [ %193, %186 ]
ret i64 %185
186: ; preds = %171, %186
%187 = phi i64 [ %194, %186 ], [ %172, %171 ]
%188 = phi i64 [ %193, %186 ], [ %173, %171 ]
%189 = getelementptr inbounds i32, i32* %0, i64 %187
%190 = load i32, i32* %189
%191 = icmp slt i32 %190, %91
%192 = zext i1 %191 to i64
%193 = add i64 %188, %192
%194 = add i64 %187, 1
%195 = icmp ult i64 %194, %1
br i1 %195, label %186, label %184
}