void diffnlcfl(double pySc[], double pyKd[], double pyZ[], int pyBord[],
               int pyNgbs[][20], double pyDist[][20], int pyGIDs[],
               double pyCFL[], int pylocalNb, int pyglobalNb) {
  pyCFL[0] = 1.e6;
  int k;
  double Sc2 = pySc[0] * pySc[0];
  double kd = 20. * pyKd[0];
  for (k = 0; k < pylocalNb; k++) {
    int gid = pyGIDs[k];
    int p;
    if (pyBord[gid] > 0) {
      for (p = 0; p < 20; p++) {
        int ngbid = pyNgbs[gid][p];
        if (ngbid < 0) {
          break;
        }
        if (pyBord[ngbid] > 0 && pyDist[gid][p] > 0.) {
          double dh = pyZ[ngbid] - pyZ[gid];
          if (dh < 0.) {
            dh = -dh;
          }
          double num = pyDist[gid][p] * pyDist[gid][p] - (dh / Sc2);
          if (num > 0.) {
            if (pyCFL[0] > num / kd) {
              pyCFL[0] = num / kd;
            }
          }
        }
        if (pyBord[ngbid] < 1) {
          if (pyZ[ngbid] < pyZ[gid] && pyDist[gid][p] > 0.) {
            double dh = pyZ[ngbid] - pyZ[gid];
            if (dh < 0.) {
              dh = -dh;
            }
            double num = pyDist[gid][p] * pyDist[gid][p] - (dh / Sc2);
            if (num > 0.) {
              if (pyCFL[0] > num / kd) {
                pyCFL[0] = num / kd;
              }
            }
          }
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<diffnlcfl>:
push   %rbp
mov    %rsp,%rbp
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    0x18(%rbp),%rax
movsd  0xed2(%rip),%xmm0
movsd  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x8(%rbp),%rax
mulsd  (%rax),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movsd  0xea5(%rip),%xmm0
mulsd  (%rax),%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    0x20(%rbp),%eax
jge    1490 <diffnlcfl+0x390>
mov    0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jle    147d <diffnlcfl+0x37d>
movl   $0x0,-0x50(%rbp)
cmpl   $0x14,-0x50(%rbp)
jge    1478 <diffnlcfl+0x378>
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   $0x50,%rcx,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
jge    11d0 <diffnlcfl+0xd0>
jmp    1478 <diffnlcfl+0x378>
mov    -0x20(%rbp),%rax
movslq -0x54(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jle    1306 <diffnlcfl+0x206>
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1306 <diffnlcfl+0x206>
mov    -0x18(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x4c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x60(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x60(%rbp),%xmm0
jbe    1258 <diffnlcfl+0x158>
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x60(%rbp),%xmm1
divsd  -0x40(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1301 <diffnlcfl+0x201>
mov    0x18(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x68(%rbp),%xmm1
divsd  -0x48(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jbe    12fc <diffnlcfl+0x1fc>
movsd  -0x68(%rbp),%xmm0
divsd  -0x48(%rbp),%xmm0
mov    0x18(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1301 <diffnlcfl+0x201>
jmp    1306 <diffnlcfl+0x206>
mov    -0x20(%rbp),%rax
movslq -0x54(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jge    1465 <diffnlcfl+0x365>
mov    -0x18(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x18(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd %xmm1,%xmm0
jbe    1460 <diffnlcfl+0x360>
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1460 <diffnlcfl+0x360>
mov    -0x18(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x4c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x70(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x70(%rbp),%xmm0
jbe    13b2 <diffnlcfl+0x2b2>
movsd  -0x70(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   $0xa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x70(%rbp),%xmm1
divsd  -0x40(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x78(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    145b <diffnlcfl+0x35b>
mov    0x18(%rbp),%rax
movsd  (%rax),%xmm0
movsd  -0x78(%rbp),%xmm1
divsd  -0x48(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jbe    1456 <diffnlcfl+0x356>
movsd  -0x78(%rbp),%xmm0
divsd  -0x48(%rbp),%xmm0
mov    0x18(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    145b <diffnlcfl+0x35b>
jmp    1460 <diffnlcfl+0x360>
jmp    1465 <diffnlcfl+0x365>
jmp    146a <diffnlcfl+0x36a>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    119e <diffnlcfl+0x9e>
jmp    147d <diffnlcfl+0x37d>
jmp    1482 <diffnlcfl+0x382>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    116b <diffnlcfl+0x6b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<diffnlcfl>:
push   %r15
push   %r14
push   %r12
push   %rbx
mov    0x38(%rsp),%eax
mov    0x30(%rsp),%r11
movabs $0x412e848000000000,%rbx
84 2e 41
mov    %rbx,(%r11)
test   %eax,%eax
jle    1270 <diffnlcfl+0x170>
mov    0x28(%rsp),%r10
movsd  (%rdi),%xmm0
mulsd  %xmm0,%xmm0
movsd  (%rsi),%xmm1
mulsd  0xec2(%rip),%xmm1
mov    %eax,%r14d
movsd  0xebf(%rip),%xmm3
xor    %r15d,%r15d
xorpd  %xmm2,%xmm2
movapd 0xeb7(%rip),%xmm8
jmp    116d <diffnlcfl+0x6d>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r15
cmp    %r14,%r15
je     1270 <diffnlcfl+0x170>
movslq (%r10,%r15,4),%r12
cmpl   $0x0,(%rcx,%r12,4)
jle    1160 <diffnlcfl+0x60>
lea    (%r12,%r12,4),%rbx
mov    %rbx,%rsi
shl    $0x5,%rsi
add    %r9,%rsi
shl    $0x4,%rbx
add    %r8,%rbx
xor    %edi,%edi
jmp    11aa <diffnlcfl+0xaa>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rdi
cmp    $0x14,%rdi
je     1160 <diffnlcfl+0x60>
mov    (%rbx,%rdi,4),%eax
test   %eax,%eax
js     1160 <diffnlcfl+0x60>
cmpl   $0x0,(%rcx,%rax,4)
jle    1200 <diffnlcfl+0x100>
movsd  (%rsi,%rdi,8),%xmm5
ucomisd %xmm2,%xmm5
jbe    11a0 <diffnlcfl+0xa0>
movsd  (%rdx,%rax,8),%xmm7
subsd  (%rdx,%r12,8),%xmm7
movapd %xmm7,%xmm4
xorpd  %xmm8,%xmm4
movapd %xmm7,%xmm6
cmpltsd %xmm2,%xmm6
andpd  %xmm6,%xmm7
andnpd %xmm4,%xmm6
orpd   %xmm7,%xmm6
divsd  %xmm0,%xmm6
mulsd  %xmm5,%xmm5
addsd  %xmm6,%xmm5
ucomisd %xmm2,%xmm5
ja     1254 <diffnlcfl+0x154>
jmp    11a0 <diffnlcfl+0xa0>
nop
movsd  (%rdx,%rax,8),%xmm6
movsd  (%rdx,%r12,8),%xmm7
ucomisd %xmm6,%xmm7
jbe    11a0 <diffnlcfl+0xa0>
movsd  (%rsi,%rdi,8),%xmm5
ucomisd %xmm2,%xmm5
jbe    11a0 <diffnlcfl+0xa0>
subsd  %xmm7,%xmm6
movapd %xmm6,%xmm4
xorpd  %xmm8,%xmm4
movapd %xmm6,%xmm7
cmpltsd %xmm2,%xmm7
andpd  %xmm7,%xmm6
andnpd %xmm4,%xmm7
orpd   %xmm6,%xmm7
divsd  %xmm0,%xmm7
mulsd  %xmm5,%xmm5
addsd  %xmm7,%xmm5
ucomisd %xmm2,%xmm5
jbe    11a0 <diffnlcfl+0xa0>
divsd  %xmm1,%xmm5
ucomisd %xmm5,%xmm3
jbe    11a0 <diffnlcfl+0xa0>
movsd  %xmm5,(%r11)
movapd %xmm5,%xmm3
jmp    11a0 <diffnlcfl+0xa0>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @diffnlcfl(double* %0, double* %1, double* %2, i32* %3, [20 x i32]* %4, [20 x double]* %5, i32* %6, double* %7, i32 %8, i32 %9) {
%11 = alloca double*
%12 = alloca double*
%13 = alloca double*
%14 = alloca i32*
%15 = alloca [20 x i32]*
%16 = alloca [20 x double]*
%17 = alloca i32*
%18 = alloca double*
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca double
%23 = alloca double
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
store double* %0, double** %11
store double* %1, double** %12
store double* %2, double** %13
store i32* %3, i32** %14
store [20 x i32]* %4, [20 x i32]** %15
store [20 x double]* %5, [20 x double]** %16
store i32* %6, i32** %17
store double* %7, double** %18
store i32 %8, i32* %19
store i32 %9, i32* %20
%31 = load double*, double** %18
%32 = getelementptr inbounds double, double* %31, i64 0
store double 1.000000e+06, double* %32
%33 = load double*, double** %11
%34 = getelementptr inbounds double, double* %33, i64 0
%35 = load double, double* %34
%36 = load double*, double** %11
%37 = getelementptr inbounds double, double* %36, i64 0
%38 = load double, double* %37
%39 = fmul double %35, %38
store double %39, double* %22
%40 = load double*, double** %12
%41 = getelementptr inbounds double, double* %40, i64 0
%42 = load double, double* %41
%43 = fmul double 2.000000e+01, %42
store double %43, double* %23
store i32 0, i32* %21
br label %44
44: ; preds = %243, %10
%45 = load i32, i32* %21
%46 = load i32, i32* %19
%47 = icmp slt i32 %45, %46
br i1 %47, label %48, label %246
48: ; preds = %44
%49 = load i32*, i32** %17
%50 = load i32, i32* %21
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
%53 = load i32, i32* %52
store i32 %53, i32* %24
%54 = load i32*, i32** %14
%55 = load i32, i32* %24
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %54, i64 %56
%58 = load i32, i32* %57
%59 = icmp sgt i32 %58, 0
br i1 %59, label %60, label %242
60: ; preds = %48
store i32 0, i32* %25
br label %61
61: ; preds = %238, %60
%62 = load i32, i32* %25
%63 = icmp slt i32 %62, 20
br i1 %63, label %64, label %241
64: ; preds = %61
%65 = load [20 x i32]*, [20 x i32]** %15
%66 = load i32, i32* %24
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [20 x i32], [20 x i32]* %65, i64 %67
%69 = load i32, i32* %25
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [20 x i32], [20 x i32]* %68, i64 0, i64 %70
%72 = load i32, i32* %71
store i32 %72, i32* %26
%73 = load i32, i32* %26
%74 = icmp slt i32 %73, 0
br i1 %74, label %75, label %76
75: ; preds = %64
br label %241
76: ; preds = %64
%77 = load i32*, i32** %14
%78 = load i32, i32* %26
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32, i32* %77, i64 %79
%81 = load i32, i32* %80
%82 = icmp sgt i32 %81, 0
br i1 %82, label %83, label %150
83: ; preds = %76
%84 = load [20 x double]*, [20 x double]** %16
%85 = load i32, i32* %24
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds [20 x double], [20 x double]* %84, i64 %86
%88 = load i32, i32* %25
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds [20 x double], [20 x double]* %87, i64 0, i64 %89
%91 = load double, double* %90
%92 = fcmp ogt double %91, 0.000000e+00
br i1 %92, label %93, label %150
93: ; preds = %83
%94 = load double*, double** %13
%95 = load i32, i32* %26
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds double, double* %94, i64 %96
%98 = load double, double* %97
%99 = load double*, double** %13
%100 = load i32, i32* %24
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds double, double* %99, i64 %101
%103 = load double, double* %102
%104 = fsub double %98, %103
store double %104, double* %27
%105 = load double, double* %27
%106 = fcmp olt double %105, 0.000000e+00
br i1 %106, label %107, label %110
107: ; preds = %93
%108 = load double, double* %27
%109 = fneg double %108
store double %109, double* %27
br label %110
110: ; preds = %107, %93
%111 = load [20 x double]*, [20 x double]** %16
%112 = load i32, i32* %24
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds [20 x double], [20 x double]* %111, i64 %113
%115 = load i32, i32* %25
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds [20 x double], [20 x double]* %114, i64 0, i64 %116
%118 = load double, double* %117
%119 = load [20 x double]*, [20 x double]** %16
%120 = load i32, i32* %24
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds [20 x double], [20 x double]* %119, i64 %121
%123 = load i32, i32* %25
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds [20 x double], [20 x double]* %122, i64 0, i64 %124
%126 = load double, double* %125
%127 = load double, double* %27
%128 = load double, double* %22
%129 = fdiv double %127, %128
%130 = fneg double %129
%131 = call double @llvm.fmuladd.f64(double %118, double %126, double %130)
store double %131, double* %28
%132 = load double, double* %28
%133 = fcmp ogt double %132, 0.000000e+00
br i1 %133, label %134, label %149
134: ; preds = %110
%135 = load double*, double** %18
%136 = getelementptr inbounds double, double* %135, i64 0
%137 = load double, double* %136
%138 = load double, double* %28
%139 = load double, double* %23
%140 = fdiv double %138, %139
%141 = fcmp ogt double %137, %140
br i1 %141, label %142, label %148
142: ; preds = %134
%143 = load double, double* %28
%144 = load double, double* %23
%145 = fdiv double %143, %144
%146 = load double*, double** %18
%147 = getelementptr inbounds double, double* %146, i64 0
store double %145, double* %147
br label %148
148: ; preds = %142, %134
br label %149
149: ; preds = %148, %110
br label %150
150: ; preds = %149, %83, %76
%151 = load i32*, i32** %14
%152 = load i32, i32* %26
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds i32, i32* %151, i64 %153
%155 = load i32, i32* %154
%156 = icmp slt i32 %155, 1
br i1 %156, label %157, label %237
157: ; preds = %150
%158 = load double*, double** %13
%159 = load i32, i32* %26
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds double, double* %158, i64 %160
%162 = load double, double* %161
%163 = load double*, double** %13
%164 = load i32, i32* %24
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds double, double* %163, i64 %165
%167 = load double, double* %166
%168 = fcmp olt double %162, %167
br i1 %168, label %169, label %236
169: ; preds = %157
%170 = load [20 x double]*, [20 x double]** %16
%171 = load i32, i32* %24
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds [20 x double], [20 x double]* %170, i64 %172
%174 = load i32, i32* %25
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds [20 x double], [20 x double]* %173, i64 0, i64 %175
%177 = load double, double* %176
%178 = fcmp ogt double %177, 0.000000e+00
br i1 %178, label %179, label %236
179: ; preds = %169
%180 = load double*, double** %13
%181 = load i32, i32* %26
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds double, double* %180, i64 %182
%184 = load double, double* %183
%185 = load double*, double** %13
%186 = load i32, i32* %24
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds double, double* %185, i64 %187
%189 = load double, double* %188
%190 = fsub double %184, %189
store double %190, double* %29
%191 = load double, double* %29
%192 = fcmp olt double %191, 0.000000e+00
br i1 %192, label %193, label %196
193: ; preds = %179
%194 = load double, double* %29
%195 = fneg double %194
store double %195, double* %29
br label %196
196: ; preds = %193, %179
%197 = load [20 x double]*, [20 x double]** %16
%198 = load i32, i32* %24
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds [20 x double], [20 x double]* %197, i64 %199
%201 = load i32, i32* %25
%202 = sext i32 %201 to i64
%203 = getelementptr inbounds [20 x double], [20 x double]* %200, i64 0, i64 %202
%204 = load double, double* %203
%205 = load [20 x double]*, [20 x double]** %16
%206 = load i32, i32* %24
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds [20 x double], [20 x double]* %205, i64 %207
%209 = load i32, i32* %25
%210 = sext i32 %209 to i64
%211 = getelementptr inbounds [20 x double], [20 x double]* %208, i64 0, i64 %210
%212 = load double, double* %211
%213 = load double, double* %29
%214 = load double, double* %22
%215 = fdiv double %213, %214
%216 = fneg double %215
%217 = call double @llvm.fmuladd.f64(double %204, double %212, double %216)
store double %217, double* %30
%218 = load double, double* %30
%219 = fcmp ogt double %218, 0.000000e+00
br i1 %219, label %220, label %235
220: ; preds = %196
%221 = load double*, double** %18
%222 = getelementptr inbounds double, double* %221, i64 0
%223 = load double, double* %222
%224 = load double, double* %30
%225 = load double, double* %23
%226 = fdiv double %224, %225
%227 = fcmp ogt double %223, %226
br i1 %227, label %228, label %234
228: ; preds = %220
%229 = load double, double* %30
%230 = load double, double* %23
%231 = fdiv double %229, %230
%232 = load double*, double** %18
%233 = getelementptr inbounds double, double* %232, i64 0
store double %231, double* %233
br label %234
234: ; preds = %228, %220
br label %235
235: ; preds = %234, %196
br label %236
236: ; preds = %235, %169, %157
br label %237
237: ; preds = %236, %150
br label %238
238: ; preds = %237
%239 = load i32, i32* %25
%240 = add nsw i32 %239, 1
store i32 %240, i32* %25
br label %61
241: ; preds = %75, %61
br label %242
242: ; preds = %241, %48
br label %243
243: ; preds = %242
%244 = load i32, i32* %21
%245 = add nsw i32 %244, 1
store i32 %245, i32* %21
br label %44
246: ; preds = %44
ret void
}

LLVM IR (-O2):
define void @diffnlcfl(double* nocapture %0, double* nocapture %1, double* nocapture %2, i32* nocapture %3, [20 x i32]* nocapture %4, [20 x double]* nocapture %5, i32* nocapture %6, double* nocapture %7, i32 %8, i32 %9) {
store double 1.000000e+06, double* %7
%11 = load double, double* %0
%12 = fmul double %11, %11
%13 = load double, double* %1
%14 = fmul double %13, 2.000000e+01
%15 = icmp sgt i32 %8, 0
br i1 %15, label %16, label %92
16: ; preds = %10
%17 = zext i32 %8 to i64
br label %18
18: ; preds = %16, %87
%19 = phi double [ 1.000000e+06, %16 ], [ %88, %87 ]
%20 = phi double [ 1.000000e+06, %16 ], [ %89, %87 ]
%21 = phi i64 [ 0, %16 ], [ %90, %87 ]
%22 = getelementptr inbounds i32, i32* %6, i64 %21
%23 = load i32, i32* %22
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %3, i64 %24
%26 = load i32, i32* %25
%27 = icmp sgt i32 %26, 0
br i1 %27, label %28, label %87
28: ; preds = %18
%29 = getelementptr inbounds double, double* %2, i64 %24
br label %30
30: ; preds = %28, %82
%31 = phi double [ %19, %28 ], [ %83, %82 ]
%32 = phi double [ %20, %28 ], [ %84, %82 ]
%33 = phi i64 [ 0, %28 ], [ %85, %82 ]
%34 = getelementptr inbounds [20 x i32], [20 x i32]* %4, i64 %24, i64 %33
%35 = load i32, i32* %34
%36 = icmp slt i32 %35, 0
br i1 %36, label %87, label %37
37: ; preds = %30
%38 = zext i32 %35 to i64
%39 = getelementptr inbounds i32, i32* %3, i64 %38
%40 = load i32, i32* %39
%41 = icmp sgt i32 %40, 0
br i1 %41, label %42, label %60
42: ; preds = %37
%43 = getelementptr inbounds [20 x double], [20 x double]* %5, i64 %24, i64 %33
%44 = load double, double* %43
%45 = fcmp ogt double %44, 0.000000e+00
br i1 %45, label %46, label %82
46: ; preds = %42
%47 = getelementptr inbounds double, double* %2, i64 %38
%48 = load double, double* %47
%49 = load double, double* %29
%50 = fsub double %48, %49
%51 = fcmp olt double %50, 0.000000e+00
%52 = fneg double %50
%53 = select i1 %51, double %50, double %52
%54 = fdiv double %53, %12
%55 = tail call double @llvm.fmuladd.f64(double %44, double %44, double %54)
%56 = fcmp ogt double %55, 0.000000e+00
br i1 %56, label %57, label %82
57: ; preds = %46
%58 = fdiv double %55, %14
%59 = fcmp ogt double %31, %58
br i1 %59, label %80, label %82
60: ; preds = %37
%61 = getelementptr inbounds double, double* %2, i64 %38
%62 = load double, double* %61
%63 = load double, double* %29
%64 = fcmp olt double %62, %63
br i1 %64, label %65, label %82
65: ; preds = %60
%66 = getelementptr inbounds [20 x double], [20 x double]* %5, i64 %24, i64 %33
%67 = load double, double* %66
%68 = fcmp ogt double %67, 0.000000e+00
br i1 %68, label %69, label %82
69: ; preds = %65
%70 = fsub double %62, %63
%71 = fcmp olt double %70, 0.000000e+00
%72 = fneg double %70
%73 = select i1 %71, double %70, double %72
%74 = fdiv double %73, %12
%75 = tail call double @llvm.fmuladd.f64(double %67, double %67, double %74)
%76 = fcmp ogt double %75, 0.000000e+00
%77 = fdiv double %75, %14
%78 = fcmp ogt double %32, %77
%79 = select i1 %76, i1 %78, i1 false
br i1 %79, label %80, label %82
80: ; preds = %69, %57
%81 = phi double [ %58, %57 ], [ %77, %69 ]
store double %81, double* %7
br label %82
82: ; preds = %80, %42, %57, %46, %69, %60, %65
%83 = phi double [ %31, %42 ], [ %31, %57 ], [ %31, %46 ], [ %31, %69 ], [ %31, %60 ], [ %31, %65 ], [ %81, %80 ]
%84 = phi double [ %32, %42 ], [ %31, %57 ], [ %32, %46 ], [ %32, %69 ], [ %32, %60 ], [ %32, %65 ], [ %81, %80 ]
%85 = add nuw nsw i64 %33, 1
%86 = icmp eq i64 %85, 20
br i1 %86, label %87, label %30
87: ; preds = %30, %82, %18
%88 = phi double [ %19, %18 ], [ %31, %30 ], [ %83, %82 ]
%89 = phi double [ %20, %18 ], [ %32, %30 ], [ %84, %82 ]
%90 = add nuw nsw i64 %21, 1
%91 = icmp eq i64 %90, %17
br i1 %91, label %92, label %18
92: ; preds = %87, %10
ret void
}