void v_fltshfl(float *vec, int n, double randfn(void)) {
  int i;
  float t;
  while (--n > 0) {
    i = (int)((n + 1) * randfn());
    if (i > n)
      i = n;
    if (i < 0)
      i = 0;
    t = vec[i];
    vec[i] = vec[n];
    vec[n] = t;
  }
}


x86 assembly (clang, -O0):
<v_fltshfl>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmp    $0x0,%eax
jle    11b0 <v_fltshfl+0xb0>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x28(%rbp)
call   *-0x18(%rbp)
movaps %xmm0,%xmm1
movsd  -0x28(%rbp),%xmm0
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    115c <v_fltshfl+0x5c>
mov    -0xc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jge    116d <v_fltshfl+0x6d>
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x20(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    1113 <v_fltshfl+0x13>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<v_fltshfl>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x10,%rsp
cmp    $0x2,%esi
jl     1173 <v_fltshfl+0x73>
mov    %rdx,%r14
mov    %rdi,%r15
mov    %esi,%ebx
xor    %r12d,%r12d
jmp    1149 <v_fltshfl+0x49>
xchg   %ax,%ax
test   %eax,%eax
cmovs  %r12d,%eax
movss  (%r15,%rax,4),%xmm0
mov    %ebp,%ecx
movss  (%r15,%rcx,4),%xmm1
movss  %xmm1,(%r15,%rax,4)
movss  %xmm0,(%r15,%rcx,4)
cmp    $0x2,%rbx
mov    %rbp,%rbx
jbe    1173 <v_fltshfl+0x73>
lea    -0x1(%rbx),%rbp
xorps  %xmm0,%xmm0
cvtsi2sd %ebx,%xmm0
movsd  %xmm0,0x8(%rsp)
call   *%r14
mulsd  0x8(%rsp),%xmm0
cvttsd2si %xmm0,%eax
movslq %eax,%rcx
cmp    %rcx,%rbx
jg     1120 <v_fltshfl+0x20>
mov    %ebp,%eax
jmp    1120 <v_fltshfl+0x20>
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @v_fltshfl(float* nocapture %0, i32 %1, double ()* nocapture %2) {
%4 = icmp sgt i32 %1, 1
br i1 %4, label %5, label %28
5: ; preds = %3
%6 = zext i32 %1 to i64
br label %7
7: ; preds = %5, %7
%8 = phi i64 [ %6, %5 ], [ %9, %7 ]
%9 = add nsw i64 %8, -1
%10 = trunc i64 %9 to i32
%11 = trunc i64 %8 to i32
%12 = sitofp i32 %11 to double
%13 = tail call double %2()
%14 = fmul double %13, %12
%15 = fptosi double %14 to i32
%16 = sext i32 %15 to i64
%17 = icmp sgt i64 %8, %16
%18 = select i1 %17, i32 %15, i32 %10
%19 = icmp sgt i32 %18, 0
%20 = select i1 %19, i32 %18, i32 0
%21 = zext i32 %20 to i64
%22 = getelementptr inbounds float, float* %0, i64 %21
%23 = load float, float* %22
%24 = and i64 %9, 4294967295
%25 = getelementptr inbounds float, float* %0, i64 %24
%26 = load float, float* %25
store float %26, float* %22
store float %23, float* %25
%27 = icmp ugt i64 %8, 2
br i1 %27, label %7, label %28
28: ; preds = %7, %3
ret void
}