void crank(unsigned long n, float w[], float *s) {
  unsigned long j = 1, ji, jt;
  float t, rank;
  *s = 0.0;
  while (j < n) {
    if (w[j + 1] != w[j]) {
      w[j] = j;
      ++j;
    } else {
      for (jt = j + 1; jt <= n && w[jt] == w[j]; jt++)
        ;
      rank = 0.5 * (j + jt - 1);
      for (ji = j; ji <= (jt - 1); ji++)
        w[ji] = rank;
      t = jt - j;
      *s += t * t * t - t;
      j = jt;
    }
  }
  if (j == n)
    w[n] = n;
}


x86 assembly (clang, -O0):
<crank>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x1,-0x20(%rbp)
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
cmp    -0x8(%rbp),%rax
jae    133e <crank+0x23e>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movss  0x4(%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jne    115c <crank+0x5c>
jp     115c <crank+0x5c>
jmp    11bc <crank+0xbc>
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
shr    %rdx
mov    %eax,%ecx
and    $0x1,%ecx
or     %rdx,%rcx
cvtsi2ss %rcx,%xmm0
addss  %xmm0,%xmm0
cvtsi2ss %rax,%xmm1
movss  %xmm1,-0x40(%rbp)
test   %rax,%rax
movss  %xmm0,-0x3c(%rbp)
js     1199 <crank+0x99>
movss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x3c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1339 <crank+0x239>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x8(%rbp),%rcx
mov    %al,-0x41(%rbp)
ja     11ff <crank+0xff>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
sete   %al
setnp  %cl
and    %cl,%al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    120f <crank+0x10f>
jmp    1225 <crank+0x125>
jmp    1214 <crank+0x114>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    11c8 <crank+0xc8>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
lea    -0x1(%rax,%rcx,1),%rax
movq   %rax,%xmm1
movaps 0xdd2(%rip),%xmm0
punpckldq %xmm0,%xmm1
movapd 0xdd6(%rip),%xmm0
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm0
unpckhpd %xmm1,%xmm1
addsd  %xmm0,%xmm1
movsd  0xd9f(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    $0x1,%rcx
cmp    %rcx,%rax
ja     12ae <crank+0x1ae>
movss  -0x38(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1276 <crank+0x176>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,%rdx
shr    %rdx
mov    %eax,%ecx
and    $0x1,%ecx
or     %rdx,%rcx
cvtsi2ss %rcx,%xmm0
addss  %xmm0,%xmm0
cvtsi2ss %rax,%xmm1
movss  %xmm1,-0x4c(%rbp)
test   %rax,%rax
movss  %xmm0,-0x48(%rbp)
js     12f2 <crank+0x1f2>
movss  -0x4c(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x48(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x34(%rbp),%xmm0
mulss  -0x34(%rbp),%xmm0
movss  -0x34(%rbp),%xmm2
movss  -0x34(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
addss  (%rax),%xmm0
movss  %xmm0,(%rax)
mov    -0x30(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    1123 <crank+0x23>
mov    -0x20(%rbp),%rax
cmp    -0x8(%rbp),%rax
jne    139b <crank+0x29b>
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
shr    %rdx
mov    %eax,%ecx
and    $0x1,%ecx
or     %rdx,%rcx
cvtsi2ss %rcx,%xmm0
addss  %xmm0,%xmm0
cvtsi2ss %rax,%xmm1
movss  %xmm1,-0x54(%rbp)
test   %rax,%rax
movss  %xmm0,-0x50(%rbp)
js     1389 <crank+0x289>
movss  -0x54(%rbp),%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x50(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<crank>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
movl   $0x0,(%rdx)
mov    $0x1,%r10d
cmp    $0x2,%rdi
jb     1337 <crank+0x237>
lea    0x70(%rsi),%r8
lea    0x10(%rsi),%r9
mov    $0x1,%r15d
movdqa 0xecb(%rip),%xmm0
movapd 0xed3(%rip),%xmm1
movsd  0xedb(%rip),%xmm2
jmp    117d <crank+0x7d>
nopw   0x0(%rax,%rax,1)
mov    %r15,%rax
shr    %rax
mov    %r15d,%ecx
and    $0x1,%ecx
or     %rax,%rcx
xorps  %xmm3,%xmm3
cvtsi2ss %rcx,%xmm3
addss  %xmm3,%xmm3
movss  %xmm3,(%rsi,%r15,4)
mov    %r10,%r15
cmp    %rdi,%r10
jae    1337 <crank+0x237>
lea    0x1(%r15),%r10
movss  (%rsi,%r15,4),%xmm3
movss  0x4(%rsi,%r15,4),%xmm4
ucomiss %xmm3,%xmm4
jne    1195 <crank+0x95>
jnp    11b0 <crank+0xb0>
test   %r15,%r15
js     1150 <crank+0x50>
xorps  %xmm3,%xmm3
cvtsi2ss %r15,%xmm3
jmp    116b <crank+0x6b>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r10,%r12
cmp    %rdi,%r15
jae    11ea <crank+0xea>
ucomiss %xmm3,%xmm4
mov    %r10,%r12
jne    11ea <crank+0xea>
jp     11ea <crank+0xea>
lea    0x2(%r15),%rax
cs nopw 0x0(%rax,%rax,1)
mov    %rax,%r12
cmp    %rdi,%rax
ja     11ea <crank+0xea>
movss  (%rsi,%r12,4),%xmm4
lea    0x1(%r12),%rax
ucomiss %xmm3,%xmm4
jne    11ea <crank+0xea>
jnp    11d0 <crank+0xd0>
lea    -0x1(%r12),%r11
lea    (%r12,%r15,1),%rax
add    $0xffffffffffffffff,%rax
movq   %rax,%xmm4
punpckldq %xmm0,%xmm4
subpd  %xmm1,%xmm4
movapd %xmm4,%xmm3
unpckhpd %xmm4,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm2,%xmm3
cmp    %r11,%r15
ja     12ee <crank+0x1ee>
cmp    %r10,%r12
cmova  %r12,%r10
cvtsd2ss %xmm3,%xmm3
sub    %r15,%r10
mov    %r15,%rbx
cmp    $0x8,%r10
jb     12e0 <crank+0x1e0>
mov    %r10,%rbx
and    $0xfffffffffffffff8,%rbx
movaps %xmm3,%xmm4
shufps $0x0,%xmm3,%xmm4
lea    -0x8(%rbx),%rax
mov    %rax,%r13
shr    $0x3,%r13
add    $0x1,%r13
mov    %r13d,%r14d
and    $0x3,%r14d
cmp    $0x18,%rax
jae    1266 <crank+0x166>
xor    %ecx,%ecx
jmp    12a1 <crank+0x1a1>
and    $0xfffffffffffffffc,%r13
lea    (%r8,%r15,4),%rax
xor    %ecx,%ecx
movups %xmm4,-0x70(%rax,%rcx,4)
movups %xmm4,-0x60(%rax,%rcx,4)
movups %xmm4,-0x50(%rax,%rcx,4)
movups %xmm4,-0x40(%rax,%rcx,4)
movups %xmm4,-0x30(%rax,%rcx,4)
movups %xmm4,-0x20(%rax,%rcx,4)
movups %xmm4,-0x10(%rax,%rcx,4)
movups %xmm4,(%rax,%rcx,4)
add    $0x20,%rcx
add    $0xfffffffffffffffc,%r13
jne    1270 <crank+0x170>
test   %r14,%r14
je     12d2 <crank+0x1d2>
add    %r15,%rcx
lea    (%r9,%rcx,4),%rax
shl    $0x5,%r14
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups %xmm4,-0x10(%rax,%rcx,1)
movups %xmm4,(%rax,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r14
jne    12c0 <crank+0x1c0>
cmp    %rbx,%r10
je     12ee <crank+0x1ee>
add    %r15,%rbx
nopw   0x0(%rax,%rax,1)
movss  %xmm3,(%rsi,%rbx,4)
add    $0x1,%rbx
cmp    %r11,%rbx
jbe    12e0 <crank+0x1e0>
mov    %r12,%rax
sub    %r15,%rax
js     1300 <crank+0x200>
xorps  %xmm3,%xmm3
cvtsi2ss %rax,%xmm3
jmp    1318 <crank+0x218>
mov    %rax,%rcx
shr    %rcx
and    $0x1,%eax
or     %rcx,%rax
xorps  %xmm3,%xmm3
cvtsi2ss %rax,%xmm3
addss  %xmm3,%xmm3
movaps %xmm3,%xmm4
mulss  %xmm3,%xmm4
mulss  %xmm3,%xmm4
subss  %xmm3,%xmm4
addss  (%rdx),%xmm4
movss  %xmm4,(%rdx)
mov    %r12,%r10
jmp    1171 <crank+0x71>
cmp    %rdi,%r10
jne    136a <crank+0x26a>
test   %rdi,%rdi
js     134b <crank+0x24b>
xorps  %xmm0,%xmm0
cvtsi2ss %rdi,%xmm0
jmp    1365 <crank+0x265>
mov    %rdi,%rax
shr    %rax
mov    %edi,%ecx
and    $0x1,%ecx
or     %rax,%rcx
xorps  %xmm0,%xmm0
cvtsi2ss %rcx,%xmm0
addss  %xmm0,%xmm0
movss  %xmm0,(%rsi,%rdi,4)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @crank(i64 %0, float* %1, float* %2) {
%4 = alloca i64
%5 = alloca float*
%6 = alloca float*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca float
%11 = alloca float
store i64 %0, i64* %4
store float* %1, float** %5
store float* %2, float** %6
store i64 1, i64* %7
%12 = load float*, float** %6
store float 0.000000e+00, float* %12
br label %13
13: ; preds = %97, %3
%14 = load i64, i64* %7
%15 = load i64, i64* %4
%16 = icmp ult i64 %14, %15
br i1 %16, label %17, label %98
17: ; preds = %13
%18 = load float*, float** %5
%19 = load i64, i64* %7
%20 = add i64 %19, 1
%21 = getelementptr inbounds float, float* %18, i64 %20
%22 = load float, float* %21
%23 = load float*, float** %5
%24 = load i64, i64* %7
%25 = getelementptr inbounds float, float* %23, i64 %24
%26 = load float, float* %25
%27 = fcmp une float %22, %26
br i1 %27, label %28, label %36
28: ; preds = %17
%29 = load i64, i64* %7
%30 = uitofp i64 %29 to float
%31 = load float*, float** %5
%32 = load i64, i64* %7
%33 = getelementptr inbounds float, float* %31, i64 %32
store float %30, float* %33
%34 = load i64, i64* %7
%35 = add i64 %34, 1
store i64 %35, i64* %7
br label %97
36: ; preds = %17
%37 = load i64, i64* %7
%38 = add i64 %37, 1
store i64 %38, i64* %9
br label %39
39: ; preds = %56, %36
%40 = load i64, i64* %9
%41 = load i64, i64* %4
%42 = icmp ule i64 %40, %41
br i1 %42, label %43, label %53
43: ; preds = %39
%44 = load float*, float** %5
%45 = load i64, i64* %9
%46 = getelementptr inbounds float, float* %44, i64 %45
%47 = load float, float* %46
%48 = load float*, float** %5
%49 = load i64, i64* %7
%50 = getelementptr inbounds float, float* %48, i64 %49
%51 = load float, float* %50
%52 = fcmp oeq float %47, %51
br label %53
53: ; preds = %43, %39
%54 = phi i1 [ false, %39 ], [ %52, %43 ]
br i1 %54, label %55, label %59
55: ; preds = %53
br label %56
56: ; preds = %55
%57 = load i64, i64* %9
%58 = add i64 %57, 1
store i64 %58, i64* %9
br label %39
59: ; preds = %53
%60 = load i64, i64* %7
%61 = load i64, i64* %9
%62 = add i64 %60, %61
%63 = sub i64 %62, 1
%64 = uitofp i64 %63 to double
%65 = fmul double 5.000000e-01, %64
%66 = fptrunc double %65 to float
store float %66, float* %11
%67 = load i64, i64* %7
store i64 %67, i64* %8
br label %68
68: ; preds = %78, %59
%69 = load i64, i64* %8
%70 = load i64, i64* %9
%71 = sub i64 %70, 1
%72 = icmp ule i64 %69, %71
br i1 %72, label %73, label %81
73: ; preds = %68
%74 = load float, float* %11
%75 = load float*, float** %5
%76 = load i64, i64* %8
%77 = getelementptr inbounds float, float* %75, i64 %76
store float %74, float* %77
br label %78
78: ; preds = %73
%79 = load i64, i64* %8
%80 = add i64 %79, 1
store i64 %80, i64* %8
br label %68
81: ; preds = %68
%82 = load i64, i64* %9
%83 = load i64, i64* %7
%84 = sub i64 %82, %83
%85 = uitofp i64 %84 to float
store float %85, float* %10
%86 = load float, float* %10
%87 = load float, float* %10
%88 = fmul float %86, %87
%89 = load float, float* %10
%90 = load float, float* %10
%91 = fneg float %90
%92 = call float @llvm.fmuladd.f32(float %88, float %89, float %91)
%93 = load float*, float** %6
%94 = load float, float* %93
%95 = fadd float %94, %92
store float %95, float* %93
%96 = load i64, i64* %9
store i64 %96, i64* %7
br label %97
97: ; preds = %81, %28
br label %13
98: ; preds = %13
%99 = load i64, i64* %7
%100 = load i64, i64* %4
%101 = icmp eq i64 %99, %100
br i1 %101, label %102, label %108
102: ; preds = %98
%103 = load i64, i64* %4
%104 = uitofp i64 %103 to float
%105 = load float*, float** %5
%106 = load i64, i64* %4
%107 = getelementptr inbounds float, float* %105, i64 %106
store float %104, float* %107
br label %108
108: ; preds = %102, %98
ret void
}

LLVM IR (-O2):
define void @crank(i64 %0, float* nocapture %1, float* nocapture %2) {
store float 0.000000e+00, float* %2
%4 = icmp ugt i64 %0, 1
br i1 %4, label %5, label %116
5: ; preds = %3, %113
%6 = phi i64 [ %114, %113 ], [ 1, %3 ]
%7 = add nuw i64 %6, 1
%8 = getelementptr inbounds float, float* %1, i64 %7
%9 = load float, float* %8
%10 = getelementptr inbounds float, float* %1, i64 %6
%11 = load float, float* %10
%12 = fcmp une float %9, %11
br i1 %12, label %17, label %13
13: ; preds = %5
%14 = icmp ult i64 %6, %0
%15 = fcmp oeq float %9, %11
%16 = select i1 %14, i1 %15, i1 false
br i1 %16, label %19, label %27
17: ; preds = %5
%18 = uitofp i64 %6 to float
store float %18, float* %10
br label %113
19: ; preds = %13, %23
%20 = phi i64 [ %21, %23 ], [ %7, %13 ]
%21 = add i64 %20, 1
%22 = icmp ugt i64 %21, %0
br i1 %22, label %27, label %23
23: ; preds = %19
%24 = getelementptr inbounds float, float* %1, i64 %21
%25 = load float, float* %24
%26 = fcmp oeq float %25, %11
br i1 %26, label %19, label %27
27: ; preds = %19, %23, %13
%28 = phi i64 [ %7, %13 ], [ %21, %23 ], [ %21, %19 ]
%29 = add i64 %28, -1
%30 = add i64 %29, %6
%31 = uitofp i64 %30 to double
%32 = fmul double %31, 5.000000e-01
%33 = fptrunc double %32 to float
%34 = icmp ugt i64 %6, %29
br i1 %34, label %105, label %35
35: ; preds = %27
%36 = call i64 @llvm.umax.i64(i64 %28, i64 %7)
%37 = sub i64 %36, %6
%38 = icmp ult i64 %37, 8
br i1 %38, label %98, label %39
39: ; preds = %35
%40 = and i64 %37, -8
%41 = add i64 %6, %40
%42 = insertelement <4 x float> poison, float %33, i64 0
%43 = shufflevector <4 x float> %42, <4 x float> poison, <4 x i32> zeroinitializer
%44 = insertelement <4 x float> poison, float %33, i64 0
%45 = shufflevector <4 x float> %44, <4 x float> poison, <4 x i32> zeroinitializer
%46 = add i64 %40, -8
%47 = lshr exact i64 %46, 3
%48 = add nuw nsw i64 %47, 1
%49 = and i64 %48, 3
%50 = icmp ult i64 %46, 24
br i1 %50, label %82, label %51
51: ; preds = %39
%52 = and i64 %48, 4611686018427387900
br label %53
53: ; preds = %53, %51
%54 = phi i64 [ 0, %51 ], [ %79, %53 ]
%55 = phi i64 [ 0, %51 ], [ %80, %53 ]
%56 = add i64 %6, %54
%57 = getelementptr inbounds float, float* %1, i64 %56
%58 = bitcast float* %57 to <4 x float>*
store <4 x float> %43, <4 x float>* %58
%59 = getelementptr inbounds float, float* %57, i64 4
%60 = bitcast float* %59 to <4 x float>*
store <4 x float> %45, <4 x float>* %60
%61 = or i64 %54, 8
%62 = add i64 %6, %61
%63 = getelementptr inbounds float, float* %1, i64 %62
%64 = bitcast float* %63 to <4 x float>*
store <4 x float> %43, <4 x float>* %64
%65 = getelementptr inbounds float, float* %63, i64 4
%66 = bitcast float* %65 to <4 x float>*
store <4 x float> %45, <4 x float>* %66
%67 = or i64 %54, 16
%68 = add i64 %6, %67
%69 = getelementptr inbounds float, float* %1, i64 %68
%70 = bitcast float* %69 to <4 x float>*
store <4 x float> %43, <4 x float>* %70
%71 = getelementptr inbounds float, float* %69, i64 4
%72 = bitcast float* %71 to <4 x float>*
store <4 x float> %45, <4 x float>* %72
%73 = or i64 %54, 24
%74 = add i64 %6, %73
%75 = getelementptr inbounds float, float* %1, i64 %74
%76 = bitcast float* %75 to <4 x float>*
store <4 x float> %43, <4 x float>* %76
%77 = getelementptr inbounds float, float* %75, i64 4
%78 = bitcast float* %77 to <4 x float>*
store <4 x float> %45, <4 x float>* %78
%79 = add nuw i64 %54, 32
%80 = add i64 %55, 4
%81 = icmp eq i64 %80, %52
br i1 %81, label %82, label %53
82: ; preds = %53, %39
%83 = phi i64 [ 0, %39 ], [ %79, %53 ]
%84 = icmp eq i64 %49, 0
br i1 %84, label %96, label %85
85: ; preds = %82, %85
%86 = phi i64 [ %93, %85 ], [ %83, %82 ]
%87 = phi i64 [ %94, %85 ], [ 0, %82 ]
%88 = add i64 %6, %86
%89 = getelementptr inbounds float, float* %1, i64 %88
%90 = bitcast float* %89 to <4 x float>*
store <4 x float> %43, <4 x float>* %90
%91 = getelementptr inbounds float, float* %89, i64 4
%92 = bitcast float* %91 to <4 x float>*
store <4 x float> %45, <4 x float>* %92
%93 = add nuw i64 %86, 8
%94 = add i64 %87, 1
%95 = icmp eq i64 %94, %49
br i1 %95, label %96, label %85
96: ; preds = %85, %82
%97 = icmp eq i64 %37, %40
br i1 %97, label %105, label %98
98: ; preds = %35, %96
%99 = phi i64 [ %6, %35 ], [ %41, %96 ]
br label %100
100: ; preds = %98, %100
%101 = phi i64 [ %103, %100 ], [ %99, %98 ]
%102 = getelementptr inbounds float, float* %1, i64 %101
store float %33, float* %102
%103 = add i64 %101, 1
%104 = icmp ugt i64 %103, %29
br i1 %104, label %105, label %100
105: ; preds = %100, %96, %27
%106 = sub i64 %28, %6
%107 = uitofp i64 %106 to float
%108 = fmul float %107, %107
%109 = fneg float %107
%110 = tail call float @llvm.fmuladd.f32(float %108, float %107, float %109)
%111 = load float, float* %2
%112 = fadd float %110, %111
store float %112, float* %2
br label %113
113: ; preds = %105, %17
%114 = phi i64 [ %7, %17 ], [ %28, %105 ]
%115 = icmp ult i64 %114, %0
br i1 %115, label %5, label %116
116: ; preds = %113, %3
%117 = phi i64 [ 1, %3 ], [ %114, %113 ]
%118 = icmp eq i64 %117, %0
br i1 %118, label %119, label %122
119: ; preds = %116
%120 = uitofp i64 %0 to float
%121 = getelementptr inbounds float, float* %1, i64 %0
store float %120, float* %121
br label %122
122: ; preds = %119, %116
ret void
}