#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 */
double exp(double);
double const fabs(double);
double log(double);
double IncompleteGamma(double x, double alpha, double ln_gamma_alpha) {
  int i;
  double p = alpha, g = ln_gamma_alpha;
  const double ACCURACY_TOL = 1e-10;
  const double OVERFLOW_VAL = 1e60;
  double factor, gin = 0, rn = 0, a = 0, b = 0, an = 0, dif = 0, term = 0,
                 pn[6];
  if (x == 0)
    return 0;
  if (x < 0 || p <= 0)
    return -1;
  factor = exp(p * log(x) - x - g);
  if (x > 1 && x >= p) {
    a = 1 - p;
    b = a + x + 1;
    term = 0;
    pn[0] = 1;
    pn[1] = x;
    pn[2] = x + 1;
    pn[3] = x * b;
    gin = pn[2] / pn[3];
    for (;;) {
      a++;
      b += 2;
      term++;
      an = a * term;
      for (i = 0; i < 2; i++)
        pn[i + 4] = b * pn[i + 2] - an * pn[i];
      if (pn[5] != 0) {
        rn = pn[4] / pn[5];
        dif = fabs(gin - rn);
        if ((dif <= ACCURACY_TOL) && (dif <= ACCURACY_TOL * rn))
          return 1 - factor * gin;
        gin = rn;
      }
      for (i = 0; i < 4; i++)
        pn[i] = pn[i + 2];
      if (fabs(pn[4]) >= OVERFLOW_VAL) {
        for (i = 0; i < 4; i++)
          pn[i] /= OVERFLOW_VAL;
      }
    }
  } else {
    gin = 1;
    term = 1;
    rn = p;
    while (term > ACCURACY_TOL) {
      rn++;
      term *= x / rn;
      gin += term;
    }
    gin *= factor / p;
  }
  return (gin);
}


x86 assembly (clang, -O0):
<IncompleteGamma>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xea2(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xe8d(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x60(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x68(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x70(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x78(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x80(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11d8 <IncompleteGamma+0xa8>
jp     11d8 <IncompleteGamma+0xa8>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15de <IncompleteGamma+0x4ae>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
ja     11f4 <IncompleteGamma+0xc4>
xorps  %xmm0,%xmm0
ucomisd -0x30(%rbp),%xmm0
jb     1206 <IncompleteGamma+0xd6>
movsd  0xe24(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15de <IncompleteGamma+0x4ae>
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
call   1050 <log@plt>
movaps %xmm0,%xmm2
movsd  -0xc8(%rbp),%xmm0
ff
movsd  -0x10(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
subsd  -0x38(%rbp),%xmm0
call   1040 <exp@plt>
movsd  %xmm0,-0x50(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xda8(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    153c <IncompleteGamma+0x40c>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x30(%rbp),%xmm0
jb     153c <IncompleteGamma+0x40c>
movsd  0xd86(%rip),%xmm0
subsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  0xd6a(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  0xd4e(%rip),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  0xd31(%rip),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0x10(%rbp),%xmm0
mulsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0xb0(%rbp),%xmm0
ff
divsd  -0xa8(%rbp),%xmm0
ff
movsd  %xmm0,-0x58(%rbp)
movsd  0xcf5(%rip),%xmm0
addsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xceb(%rip),%xmm0
addsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0xcd1(%rip),%xmm0
addsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x68(%rbp),%xmm0
mulsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x78(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x2,-0x24(%rbp)
jge    13d8 <IncompleteGamma+0x2a8>
movsd  -0x70(%rbp),%xmm0
mov    -0x24(%rbp),%eax
add    $0x2,%eax
cltq
movsd  -0xc0(%rbp,%rax,8),%xmm2
ff ff
movsd  -0x78(%rbp),%xmm1
movslq -0x24(%rbp),%rax
mulsd  -0xc0(%rbp,%rax,8),%xmm1
ff ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x24(%rbp),%eax
add    $0x4,%eax
cltq
movsd  %xmm0,-0xc0(%rbp,%rax,8)
ff ff
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1368 <IncompleteGamma+0x238>
movsd  -0x98(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    13f8 <IncompleteGamma+0x2c8>
jp     13f8 <IncompleteGamma+0x2c8>
jmp    1495 <IncompleteGamma+0x365>
movsd  -0xa0(%rbp),%xmm0
ff
divsd  -0x98(%rbp),%xmm0
ff
movsd  %xmm0,-0x60(%rbp)
movsd  -0x58(%rbp),%xmm0
subsd  -0x60(%rbp),%xmm0
call   1030 <fabs@plt>
movsd  %xmm0,-0x80(%rbp)
movsd  0xbdf(%rip),%xmm0
ucomisd -0x80(%rbp),%xmm0
jb     148b <IncompleteGamma+0x35b>
movsd  -0x80(%rbp),%xmm1
movsd  0xbc7(%rip),%xmm0
mulsd  -0x60(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     148b <IncompleteGamma+0x35b>
movsd  -0x50(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xb93(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    15de <IncompleteGamma+0x4ae>
movsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x4,-0x24(%rbp)
jge    14d2 <IncompleteGamma+0x3a2>
mov    -0x24(%rbp),%eax
add    $0x2,%eax
cltq
movsd  -0xc0(%rbp,%rax,8),%xmm0
ff ff
movslq -0x24(%rbp),%rax
movsd  %xmm0,-0xc0(%rbp,%rax,8)
ff ff
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    149c <IncompleteGamma+0x36c>
movsd  -0xa0(%rbp),%xmm0
ff
call   1030 <fabs@plt>
movsd  0xb19(%rip),%xmm1
ucomisd %xmm1,%xmm0
jb     1537 <IncompleteGamma+0x407>
movl   $0x0,-0x24(%rbp)
cmpl   $0x4,-0x24(%rbp)
jge    1532 <IncompleteGamma+0x402>
movslq -0x24(%rbp),%rax
movsd  -0xc0(%rbp,%rax,8),%xmm0
ff ff
movsd  0xae9(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp,%rax,8)
ff ff
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    14f8 <IncompleteGamma+0x3c8>
jmp    1537 <IncompleteGamma+0x407>
jmp    1313 <IncompleteGamma+0x1e3>
movsd  0xacc(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xabf(%rip),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x88(%rbp),%xmm0
ff
movsd  0xa95(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    15c0 <IncompleteGamma+0x490>
movsd  0xa8b(%rip),%xmm0
addsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x10(%rbp),%xmm0
divsd  -0x60(%rbp),%xmm0
mulsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
addsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    1563 <IncompleteGamma+0x433>
movsd  -0x50(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
mulsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<IncompleteGamma>:
sub    $0x68,%rsp
movapd %xmm0,%xmm4
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm4
jne    1139 <IncompleteGamma+0x19>
jp     1139 <IncompleteGamma+0x19>
add    $0x68,%rsp
ret
xorpd  %xmm3,%xmm3
ucomisd %xmm4,%xmm3
movsd  0xeb7(%rip),%xmm0
ja     1134 <IncompleteGamma+0x14>
ucomisd %xmm1,%xmm3
jae    1134 <IncompleteGamma+0x14>
movapd %xmm4,%xmm0
movapd %xmm4,0x50(%rsp)
movsd  %xmm1,0x8(%rsp)
movsd  %xmm2,0x48(%rsp)
call   1040 <log@plt>
mulsd  0x8(%rsp),%xmm0
subsd  0x50(%rsp),%xmm0
subsd  0x48(%rsp),%xmm0
call   1030 <exp@plt>
movsd  0x8(%rsp),%xmm8
movapd 0x50(%rsp),%xmm3
ucomisd 0xe70(%rip),%xmm3
jbe    133c <IncompleteGamma+0x21c>
ucomisd %xmm8,%xmm3
jb     133c <IncompleteGamma+0x21c>
movsd  0xe56(%rip),%xmm15
movapd %xmm15,%xmm2
subsd  %xmm8,%xmm2
movapd %xmm2,%xmm4
addsd  %xmm3,%xmm4
addsd  %xmm15,%xmm4
movabs $0x3ff0000000000000,%rax
mov    %rax,0x10(%rsp)
movsd  %xmm3,0x18(%rsp)
lea    0x20(%rsp),%rax
movapd %xmm15,%xmm1
unpcklpd %xmm3,%xmm1
unpcklpd %xmm3,%xmm3
movapd %xmm15,%xmm5
unpcklpd %xmm4,%xmm5
movapd %xmm3,%xmm7
addpd  %xmm5,%xmm7
mulpd  %xmm3,%xmm5
movapd %xmm5,%xmm3
movsd  %xmm7,%xmm3
movapd %xmm3,0x20(%rsp)
unpckhpd %xmm5,%xmm5
divsd  %xmm5,%xmm7
unpcklpd %xmm4,%xmm2
xorpd  %xmm9,%xmm9
movapd 0xdf3(%rip),%xmm10
movapd 0xdfa(%rip),%xmm11
movapd 0xe01(%rip),%xmm14
movsd  0xdc8(%rip),%xmm8
movsd  0xdc7(%rip),%xmm12
movapd 0xdf6(%rip),%xmm13
xorpd  %xmm4,%xmm4
jmp    1286 <IncompleteGamma+0x166>
movapd 0x10(%rsp),%xmm1
movapd 0x20(%rsp),%xmm3
divpd  %xmm13,%xmm1
movapd %xmm1,0x10(%rsp)
divpd  %xmm13,%xmm3
movapd %xmm3,0x20(%rsp)
movapd %xmm6,%xmm7
addpd  %xmm10,%xmm2
addsd  %xmm15,%xmm4
movapd %xmm2,%xmm5
xorpd  %xmm11,%xmm5
mulsd  %xmm4,%xmm5
unpcklpd %xmm5,%xmm5
mulpd  %xmm1,%xmm5
movapd %xmm2,%xmm1
unpckhpd %xmm2,%xmm1
mulpd  %xmm3,%xmm1
addpd  %xmm5,%xmm1
movapd %xmm1,0x30(%rsp)
movapd %xmm1,%xmm3
unpckhpd %xmm1,%xmm3
ucomisd %xmm9,%xmm3
jne    12cc <IncompleteGamma+0x1ac>
jnp    1300 <IncompleteGamma+0x1e0>
movapd %xmm1,%xmm6
divsd  %xmm3,%xmm6
movapd %xmm7,%xmm3
subsd  %xmm6,%xmm3
andpd  %xmm14,%xmm3
ucomisd %xmm3,%xmm8
jb     1304 <IncompleteGamma+0x1e4>
movapd %xmm6,%xmm5
mulsd  %xmm8,%xmm5
ucomisd %xmm3,%xmm5
jb     1304 <IncompleteGamma+0x1e4>
jmp    1388 <IncompleteGamma+0x268>
nopl   0x0(%rax)
movapd %xmm7,%xmm6
movaps (%rax),%xmm3
movapd 0x10(%rax),%xmm5
movapd %xmm5,0x20(%rsp)
movaps %xmm3,0x10(%rsp)
andpd  %xmm14,%xmm1
ucomisd %xmm12,%xmm1
jae    1260 <IncompleteGamma+0x140>
movapd 0x10(%rsp),%xmm1
movapd 0x20(%rsp),%xmm3
movapd %xmm6,%xmm7
jmp    1286 <IncompleteGamma+0x166>
movsd  0xcc4(%rip),%xmm2
movsd  0xcc4(%rip),%xmm7
movapd %xmm2,%xmm4
movapd %xmm8,%xmm5
movapd %xmm2,%xmm1
nopl   0x0(%rax)
addsd  %xmm2,%xmm5
movapd %xmm3,%xmm6
divsd  %xmm5,%xmm6
mulsd  %xmm6,%xmm4
addsd  %xmm4,%xmm1
ucomisd %xmm7,%xmm4
ja     1360 <IncompleteGamma+0x240>
divsd  %xmm8,%xmm0
mulsd  %xmm1,%xmm0
add    $0x68,%rsp
ret
mulsd  %xmm7,%xmm0
subsd  %xmm0,%xmm15
movapd %xmm15,%xmm0
add    $0x68,%rsp
ret

LLVM IR (-O0):
define double @IncompleteGamma(double %0, double %1, double %2) {
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca i32
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca [6 x double]
store double %0, double* %5
store double %1, double* %6
store double %2, double* %7
%22 = load double, double* %6
store double %22, double* %9
%23 = load double, double* %7
store double %23, double* %10
store double 1.000000e-10, double* %11
store double 0x4C63E9E4E4C2F344, double* %12
store double 0.000000e+00, double* %14
store double 0.000000e+00, double* %15
store double 0.000000e+00, double* %16
store double 0.000000e+00, double* %17
store double 0.000000e+00, double* %18
store double 0.000000e+00, double* %19
store double 0.000000e+00, double* %20
%24 = load double, double* %5
%25 = fcmp oeq double %24, 0.000000e+00
br i1 %25, label %26, label %27
26: ; preds = %3
store double 0.000000e+00, double* %4
br label %195
27: ; preds = %3
%28 = load double, double* %5
%29 = fcmp olt double %28, 0.000000e+00
br i1 %29, label %33, label %30
30: ; preds = %27
%31 = load double, double* %9
%32 = fcmp ole double %31, 0.000000e+00
br i1 %32, label %33, label %34
33: ; preds = %30, %27
store double -1.000000e+00, double* %4
br label %195
34: ; preds = %30
%35 = load double, double* %9
%36 = load double, double* %5
%37 = call double @log(double %36)
%38 = load double, double* %5
%39 = fneg double %38
%40 = call double @llvm.fmuladd.f64(double %35, double %37, double %39)
%41 = load double, double* %10
%42 = fsub double %40, %41
%43 = call double @exp(double %42)
store double %43, double* %13
%44 = load double, double* %5
%45 = fcmp ogt double %44, 1.000000e+00
br i1 %45, label %46, label %171
46: ; preds = %34
%47 = load double, double* %5
%48 = load double, double* %9
%49 = fcmp oge double %47, %48
br i1 %49, label %50, label %171
50: ; preds = %46
%51 = load double, double* %9
%52 = fsub double 1.000000e+00, %51
store double %52, double* %16
%53 = load double, double* %16
%54 = load double, double* %5
%55 = fadd double %53, %54
%56 = fadd double %55, 1.000000e+00
store double %56, double* %17
store double 0.000000e+00, double* %20
%57 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 0
store double 1.000000e+00, double* %57
%58 = load double, double* %5
%59 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 1
store double %58, double* %59
%60 = load double, double* %5
%61 = fadd double %60, 1.000000e+00
%62 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 2
store double %61, double* %62
%63 = load double, double* %5
%64 = load double, double* %17
%65 = fmul double %63, %64
%66 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 3
store double %65, double* %66
%67 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 2
%68 = load double, double* %67
%69 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 3
%70 = load double, double* %69
%71 = fdiv double %68, %70
store double %71, double* %14
br label %72
72: ; preds = %170, %50
%73 = load double, double* %16
%74 = fadd double %73, 1.000000e+00
store double %74, double* %16
%75 = load double, double* %17
%76 = fadd double %75, 2.000000e+00
store double %76, double* %17
%77 = load double, double* %20
%78 = fadd double %77, 1.000000e+00
store double %78, double* %20
%79 = load double, double* %16
%80 = load double, double* %20
%81 = fmul double %79, %80
store double %81, double* %18
store i32 0, i32* %8
br label %82
82: ; preds = %104, %72
%83 = load i32, i32* %8
%84 = icmp slt i32 %83, 2
br i1 %84, label %85, label %107
85: ; preds = %82
%86 = load double, double* %17
%87 = load i32, i32* %8
%88 = add nsw i32 %87, 2
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 %89
%91 = load double, double* %90
%92 = load double, double* %18
%93 = load i32, i32* %8
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 %94
%96 = load double, double* %95
%97 = fmul double %92, %96
%98 = fneg double %97
%99 = call double @llvm.fmuladd.f64(double %86, double %91, double %98)
%100 = load i32, i32* %8
%101 = add nsw i32 %100, 4
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 %102
store double %99, double* %103
br label %104
104: ; preds = %85
%105 = load i32, i32* %8
%106 = add nsw i32 %105, 1
store i32 %106, i32* %8
br label %82
107: ; preds = %82
%108 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 5
%109 = load double, double* %108
%110 = fcmp une double %109, 0.000000e+00
br i1 %110, label %111, label %135
111: ; preds = %107
%112 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 4
%113 = load double, double* %112
%114 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 5
%115 = load double, double* %114
%116 = fdiv double %113, %115
store double %116, double* %15
%117 = load double, double* %14
%118 = load double, double* %15
%119 = fsub double %117, %118
%120 = call double @fabs(double %119)
store double %120, double* %19
%121 = load double, double* %19
%122 = fcmp ole double %121, 1.000000e-10
br i1 %122, label %123, label %133
123: ; preds = %111
%124 = load double, double* %19
%125 = load double, double* %15
%126 = fmul double 1.000000e-10, %125
%127 = fcmp ole double %124, %126
br i1 %127, label %128, label %133
128: ; preds = %123
%129 = load double, double* %13
%130 = load double, double* %14
%131 = fneg double %129
%132 = call double @llvm.fmuladd.f64(double %131, double %130, double 1.000000e+00)
store double %132, double* %4
br label %195
133: ; preds = %123, %111
%134 = load double, double* %15
store double %134, double* %14
br label %135
135: ; preds = %133, %107
store i32 0, i32* %8
br label %136
136: ; preds = %148, %135
%137 = load i32, i32* %8
%138 = icmp slt i32 %137, 4
br i1 %138, label %139, label %151
139: ; preds = %136
%140 = load i32, i32* %8
%141 = add nsw i32 %140, 2
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 %142
%144 = load double, double* %143
%145 = load i32, i32* %8
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 %146
store double %144, double* %147
br label %148
148: ; preds = %139
%149 = load i32, i32* %8
%150 = add nsw i32 %149, 1
store i32 %150, i32* %8
br label %136
151: ; preds = %136
%152 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 4
%153 = load double, double* %152
%154 = call double @fabs(double %153)
%155 = fcmp oge double %154, 0x4C63E9E4E4C2F344
br i1 %155, label %156, label %170
156: ; preds = %151
store i32 0, i32* %8
br label %157
157: ; preds = %166, %156
%158 = load i32, i32* %8
%159 = icmp slt i32 %158, 4
br i1 %159, label %160, label %169
160: ; preds = %157
%161 = load i32, i32* %8
%162 = sext i32 %161 to i64
%163 = getelementptr inbounds [6 x double], [6 x double]* %21, i64 0, i64 %162
%164 = load double, double* %163
%165 = fdiv double %164, 0x4C63E9E4E4C2F344
store double %165, double* %163
br label %166
166: ; preds = %160
%167 = load i32, i32* %8
%168 = add nsw i32 %167, 1
store i32 %168, i32* %8
br label %157
169: ; preds = %157
br label %170
170: ; preds = %169, %151
br label %72
171: ; preds = %46, %34
store double 1.000000e+00, double* %14
store double 1.000000e+00, double* %20
%172 = load double, double* %9
store double %172, double* %15
br label %173
173: ; preds = %176, %171
%174 = load double, double* %20
%175 = fcmp ogt double %174, 1.000000e-10
br i1 %175, label %176, label %187
176: ; preds = %173
%177 = load double, double* %15
%178 = fadd double %177, 1.000000e+00
store double %178, double* %15
%179 = load double, double* %5
%180 = load double, double* %15
%181 = fdiv double %179, %180
%182 = load double, double* %20
%183 = fmul double %182, %181
store double %183, double* %20
%184 = load double, double* %20
%185 = load double, double* %14
%186 = fadd double %185, %184
store double %186, double* %14
br label %173
187: ; preds = %173
%188 = load double, double* %13
%189 = load double, double* %9
%190 = fdiv double %188, %189
%191 = load double, double* %14
%192 = fmul double %191, %190
store double %192, double* %14
br label %193
193: ; preds = %187
%194 = load double, double* %14
store double %194, double* %4
br label %195
195: ; preds = %193, %128, %33, %26
%196 = load double, double* %4
ret double %196
}

LLVM IR (-O2):
define double @IncompleteGamma(double %0, double %1, double %2) {
%4 = alloca [6 x double]
%5 = bitcast [6 x double]* %4 to i8*
%6 = fcmp oeq double %0, 0.000000e+00
br i1 %6, label %107, label %7
7: ; preds = %3
%8 = fcmp olt double %0, 0.000000e+00
%9 = fcmp ole double %1, 0.000000e+00
%10 = or i1 %8, %9
br i1 %10, label %107, label %11
11: ; preds = %7
%12 = tail call double @log(double %0)
%13 = fneg double %0
%14 = tail call double @llvm.fmuladd.f64(double %1, double %12, double %13)
%15 = fsub double %14, %2
%16 = tail call double @exp(double %15)
%17 = fcmp ule double %0, 1.000000e+00
%18 = fcmp ult double %0, %1
%19 = or i1 %17, %18
br i1 %19, label %95, label %20
20: ; preds = %11
%21 = fsub double 1.000000e+00, %1
%22 = fadd double %21, %0
%23 = fadd double %22, 1.000000e+00
%24 = getelementptr inbounds [6 x double], [6 x double]* %4, i64 0, i64 0
store double 1.000000e+00, double* %24
%25 = getelementptr inbounds [6 x double], [6 x double]* %4, i64 0, i64 1
store double %0, double* %25
%26 = getelementptr inbounds [6 x double], [6 x double]* %4, i64 0, i64 2
%27 = insertelement <2 x double> poison, double %0, i64 0
%28 = shufflevector <2 x double> %27, <2 x double> poison, <2 x i32> zeroinitializer
%29 = insertelement <2 x double> <double 1.000000e+00, double poison>, double %23, i64 1
%30 = fadd <2 x double> %28, %29
%31 = fmul <2 x double> %28, %29
%32 = shufflevector <2 x double> %30, <2 x double> %31, <2 x i32> <i32 0, i32 3>
%33 = bitcast double* %26 to <2 x double>*
store <2 x double> %32, <2 x double>* %33
%34 = extractelement <2 x double> %30, i64 0
%35 = extractelement <2 x double> %31, i64 1
%36 = fdiv double %34, %35
%37 = getelementptr inbounds [6 x double], [6 x double]* %4, i64 0, i64 4
%38 = bitcast double* %26 to i8*
%39 = insertelement <2 x double> <double 1.000000e+00, double poison>, double %0, i64 1
%40 = insertelement <2 x double> poison, double %21, i64 0
%41 = insertelement <2 x double> %40, double %23, i64 1
%42 = bitcast double* %37 to <2 x double>*
%43 = bitcast [6 x double]* %4 to <2 x double>*
%44 = bitcast [6 x double]* %4 to <2 x double>*
%45 = bitcast double* %26 to <2 x double>*
%46 = bitcast double* %26 to <2 x double>*
%47 = bitcast double* %26 to <2 x double>*
%48 = bitcast [6 x double]* %4 to <2 x double>*
br label %49
49: ; preds = %87, %20
%50 = phi double [ %36, %20 ], [ %80, %87 ]
%51 = phi double [ 0.000000e+00, %20 ], [ %56, %87 ]
%52 = phi <2 x double> [ %32, %20 ], [ %88, %87 ]
%53 = phi <2 x double> [ %39, %20 ], [ %89, %87 ]
%54 = phi <2 x double> [ %41, %20 ], [ %55, %87 ]
%55 = fadd <2 x double> %54, <double 1.000000e+00, double 2.000000e+00>
%56 = fadd double %51, 1.000000e+00
%57 = extractelement <2 x double> %55, i64 0
%58 = fneg double %57
%59 = fmul double %56, %58
%60 = insertelement <2 x double> poison, double %59, i64 0
%61 = shufflevector <2 x double> %60, <2 x double> poison, <2 x i32> zeroinitializer
%62 = fmul <2 x double> %61, %53
%63 = shufflevector <2 x double> %55, <2 x double> undef, <2 x i32> <i32 1, i32 1>
%64 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %63, <2 x double> %52, <2 x double> %62)
store <2 x double> %64, <2 x double>* %42
%65 = extractelement <2 x double> %64, i64 1
%66 = fcmp une double %65, 0.000000e+00
br i1 %66, label %67, label %79
67: ; preds = %49
%68 = extractelement <2 x double> %64, i64 0
%69 = fdiv double %68, %65
%70 = fsub double %50, %69
%71 = tail call double @llvm.fabs.f64(double %70)
%72 = fcmp ugt double %71, 1.000000e-10
%73 = fmul double %69, 1.000000e-10
%74 = fcmp ugt double %71, %73
%75 = select i1 %72, i1 true, i1 %74
br i1 %75, label %79, label %76
76: ; preds = %67
%77 = fneg double %16
%78 = tail call double @llvm.fmuladd.f64(double %77, double %50, double 1.000000e+00)
br label %107
79: ; preds = %67, %49
%80 = phi double [ %50, %49 ], [ %69, %67 ]
%81 = extractelement <2 x double> %64, i64 0
%82 = tail call double @llvm.fabs.f64(double %81)
%83 = fcmp ult double %82, 0x4C63E9E4E4C2F344
br i1 %83, label %84, label %90
84: ; preds = %79
%85 = load <2 x double>, <2 x double>* %47
%86 = load <2 x double>, <2 x double>* %48
br label %87
87: ; preds = %84, %90
%88 = phi <2 x double> [ %85, %84 ], [ %94, %90 ]
%89 = phi <2 x double> [ %86, %84 ], [ %92, %90 ]
br label %49
90: ; preds = %79
%91 = load <2 x double>, <2 x double>* %43
%92 = fdiv <2 x double> %91, <double 0x4C63E9E4E4C2F344, double 0x4C63E9E4E4C2F344>
store <2 x double> %92, <2 x double>* %44
%93 = load <2 x double>, <2 x double>* %45
%94 = fdiv <2 x double> %93, <double 0x4C63E9E4E4C2F344, double 0x4C63E9E4E4C2F344>
store <2 x double> %94, <2 x double>* %46
br label %87
95: ; preds = %11, %95
%96 = phi double [ %101, %95 ], [ 1.000000e+00, %11 ]
%97 = phi double [ %99, %95 ], [ %1, %11 ]
%98 = phi double [ %102, %95 ], [ 1.000000e+00, %11 ]
%99 = fadd double %97, 1.000000e+00
%100 = fdiv double %0, %99
%101 = fmul double %96, %100
%102 = fadd double %98, %101
%103 = fcmp ogt double %101, 1.000000e-10
br i1 %103, label %95, label %104
104: ; preds = %95
%105 = fdiv double %16, %1
%106 = fmul double %105, %102
br label %107
107: ; preds = %7, %3, %104, %76
%108 = phi double [ %78, %76 ], [ %106, %104 ], [ 0.000000e+00, %3 ], [ -1.000000e+00, %7 ]
ret double %108
}