void chstwo(float bins1[], float bins2[], int nbins, int knstrn, float *df,
            float *chsq, float *prob) {
  float gammq(float a, float x);
  int j;
  float temp;
  *df = nbins - knstrn;
  *chsq = 0.0;
  for (j = 1; j <= nbins; j++)
    if (bins1[j] == 0.0 && bins2[j] == 0.0)
      --(*df);
    else {
      temp = bins1[j] - bins2[j];
      *chsq += temp * temp / (bins1[j] + bins2[j]);
    }
  *prob = gammq(0.5 * (*df), 0.5 * (*chsq));
}


x86 assembly (clang, -O0):
<chstwo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
cvtsi2ss %eax,%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     1229 <chstwo+0x119>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11c3 <chstwo+0xb3>
jp     11c3 <chstwo+0xb3>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11c3 <chstwo+0xb3>
jp     11c3 <chstwo+0xb3>
mov    -0x20(%rbp),%rax
movss  0xe52(%rip),%xmm0
addss  (%rax),%xmm0
movss  %xmm0,(%rax)
jmp    1216 <chstwo+0x106>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm0
mulss  -0x30(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm1
divss  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
addss  (%rax),%xmm0
movss  %xmm0,(%rax)
jmp    121b <chstwo+0x10b>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1156 <chstwo+0x46>
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xdc3(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x28(%rbp),%rax
movss  (%rax),%xmm1
cvtss2sd %xmm1,%xmm2
movsd  0xda7(%rip),%xmm1
mulsd  %xmm2,%xmm1
cvtsd2ss %xmm1,%xmm1
call   1030 <gammq@plt>
mov    0x10(%rbp),%rax
movss  %xmm0,(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<chstwo>:
push   %rbx
mov    %edx,%eax
sub    %ecx,%eax
cvtsi2ss %eax,%xmm0
mov    0x10(%rsp),%rbx
movss  %xmm0,(%r8)
movl   $0x0,(%r9)
test   %edx,%edx
jle    11a6 <chstwo+0x96>
add    $0x1,%edx
mov    $0x1,%eax
xorps  %xmm0,%xmm0
movss  0xebf(%rip),%xmm1
jmp    1177 <chstwo+0x67>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movaps %xmm2,%xmm3
subss  %xmm4,%xmm3
mulss  %xmm3,%xmm3
addss  %xmm4,%xmm2
divss  %xmm2,%xmm3
mov    %r9,%rcx
addss  (%rcx),%xmm3
movss  %xmm3,(%rcx)
add    $0x1,%rax
cmp    %rax,%rdx
je     1197 <chstwo+0x87>
movss  (%rdi,%rax,4),%xmm2
ucomiss %xmm0,%xmm2
movss  (%rsi,%rax,4),%xmm4
jne    1150 <chstwo+0x40>
jp     1150 <chstwo+0x40>
ucomiss %xmm0,%xmm4
mov    %r8,%rcx
movaps %xmm1,%xmm3
jne    1150 <chstwo+0x40>
jnp    1166 <chstwo+0x56>
jmp    1150 <chstwo+0x40>
movss  (%r9),%xmm1
mulss  0xe60(%rip),%xmm1
jmp    11a9 <chstwo+0x99>
xorps  %xmm1,%xmm1
movss  (%r8),%xmm0
mulss  0xe4e(%rip),%xmm0
call   1030 <gammq@plt>
movss  %xmm0,(%rbx)
pop    %rbx
ret

LLVM IR (-O0):
define void @chstwo(float* %0, float* %1, i32 %2, i32 %3, float* %4, float* %5, float* %6) {
%8 = alloca float*
%9 = alloca float*
%10 = alloca i32
%11 = alloca i32
%12 = alloca float*
%13 = alloca float*
%14 = alloca float*
%15 = alloca i32
%16 = alloca float
store float* %0, float** %8
store float* %1, float** %9
store i32 %2, i32* %10
store i32 %3, i32* %11
store float* %4, float** %12
store float* %5, float** %13
store float* %6, float** %14
%17 = load i32, i32* %10
%18 = load i32, i32* %11
%19 = sub nsw i32 %17, %18
%20 = sitofp i32 %19 to float
%21 = load float*, float** %12
store float %20, float* %21
%22 = load float*, float** %13
store float 0.000000e+00, float* %22
store i32 1, i32* %15
br label %23
23: ; preds = %78, %7
%24 = load i32, i32* %15
%25 = load i32, i32* %10
%26 = icmp sle i32 %24, %25
br i1 %26, label %27, label %81
27: ; preds = %23
%28 = load float*, float** %8
%29 = load i32, i32* %15
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds float, float* %28, i64 %30
%32 = load float, float* %31
%33 = fpext float %32 to double
%34 = fcmp oeq double %33, 0.000000e+00
br i1 %34, label %35, label %47
35: ; preds = %27
%36 = load float*, float** %9
%37 = load i32, i32* %15
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds float, float* %36, i64 %38
%40 = load float, float* %39
%41 = fpext float %40 to double
%42 = fcmp oeq double %41, 0.000000e+00
br i1 %42, label %43, label %47
43: ; preds = %35
%44 = load float*, float** %12
%45 = load float, float* %44
%46 = fadd float %45, -1.000000e+00
store float %46, float* %44
br label %77
47: ; preds = %35, %27
%48 = load float*, float** %8
%49 = load i32, i32* %15
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds float, float* %48, i64 %50
%52 = load float, float* %51
%53 = load float*, float** %9
%54 = load i32, i32* %15
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds float, float* %53, i64 %55
%57 = load float, float* %56
%58 = fsub float %52, %57
store float %58, float* %16
%59 = load float, float* %16
%60 = load float, float* %16
%61 = fmul float %59, %60
%62 = load float*, float** %8
%63 = load i32, i32* %15
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds float, float* %62, i64 %64
%66 = load float, float* %65
%67 = load float*, float** %9
%68 = load i32, i32* %15
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds float, float* %67, i64 %69
%71 = load float, float* %70
%72 = fadd float %66, %71
%73 = fdiv float %61, %72
%74 = load float*, float** %13
%75 = load float, float* %74
%76 = fadd float %75, %73
store float %76, float* %74
br label %77
77: ; preds = %47, %43
br label %78
78: ; preds = %77
%79 = load i32, i32* %15
%80 = add nsw i32 %79, 1
store i32 %80, i32* %15
br label %23
81: ; preds = %23
%82 = load float*, float** %12
%83 = load float, float* %82
%84 = fpext float %83 to double
%85 = fmul double 5.000000e-01, %84
%86 = fptrunc double %85 to float
%87 = load float*, float** %13
%88 = load float, float* %87
%89 = fpext float %88 to double
%90 = fmul double 5.000000e-01, %89
%91 = fptrunc double %90 to float
%92 = call float @gammq(float %86, float %91)
%93 = load float*, float** %14
store float %92, float* %93
ret void
}

LLVM IR (-O2):
define void @chstwo(float* nocapture %0, float* nocapture %1, i32 %2, i32 %3, float* nocapture %4, float* nocapture %5, float* nocapture writeonly %6) {
%8 = sub nsw i32 %2, %3
%9 = sitofp i32 %8 to float
store float %9, float* %4
store float 0.000000e+00, float* %5
%10 = icmp slt i32 %2, 1
br i1 %10, label %38, label %11
11: ; preds = %7
%12 = add nuw i32 %2, 1
%13 = zext i32 %12 to i64
br label %14
14: ; preds = %11, %28
%15 = phi i64 [ 1, %11 ], [ %33, %28 ]
%16 = getelementptr inbounds float, float* %0, i64 %15
%17 = load float, float* %16
%18 = fcmp oeq float %17, 0.000000e+00
%19 = getelementptr inbounds float, float* %1, i64 %15
%20 = load float, float* %19
%21 = fcmp oeq float %20, 0.000000e+00
%22 = select i1 %18, i1 %21, i1 false
br i1 %22, label %28, label %23
23: ; preds = %14
%24 = fsub float %17, %20
%25 = fmul float %24, %24
%26 = fadd float %17, %20
%27 = fdiv float %25, %26
br label %28
28: ; preds = %14, %23
%29 = phi float* [ %5, %23 ], [ %4, %14 ]
%30 = phi float [ %27, %23 ], [ -1.000000e+00, %14 ]
%31 = load float, float* %29
%32 = fadd float %31, %30
store float %32, float* %29
%33 = add nuw nsw i64 %15, 1
%34 = icmp eq i64 %33, %13
br i1 %34, label %35, label %14
35: ; preds = %28
%36 = load float, float* %5
%37 = fmul float %36, 5.000000e-01
br label %38
38: ; preds = %35, %7
%39 = phi float [ %37, %35 ], [ 0.000000e+00, %7 ]
%40 = load float, float* %4
%41 = fmul float %40, 5.000000e-01
%42 = tail call float @gammq(float %41, float %39)
store float %42, float* %6
ret void
}