#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 CDFNormal(double x) {
  int invers = 0;
  double p, limit = 10, t = 1.28, y = x * x / 2;
  if (x < 0) {
    invers = 1;
    x *= -1;
  }
  if (x > limit)
    return (invers ? 0 : 1);
  if (x < 1.28)
    p = .5 - x * (.398942280444 -
                  .399903438504 * y /
                      (y + 5.75885480458 -
                       29.8213557808 / (y + 2.62433121679 +
                                        48.6959930692 / (y + 5.92885724438))));
  else
    p = 0.398942280385 * exp(-y) /
        (x - 3.8052e-8 +
         1.00000615302 /
             (x + 3.98064794e-4 +
              1.98615381364 /
                  (x - 0.151679116635 +
                   5.29330324926 /
                       (x + 4.8385912808 -
                        15.1508972451 /
                            (x + 0.742380924027 +
                             30.789933034 / (x + 3.99019417011))))));
  return invers ? p : 1 - p;
}


x86 assembly (clang, -O0):
<CDFNormal>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movsd  %xmm0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movsd  0xee4(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xecf(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  0xeb0(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    1180 <CDFNormal+0x70>
movl   $0x1,-0x14(%rbp)
movsd  0xea2(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    11ae <CDFNormal+0x9e>
mov    -0x14(%rbp),%edx
mov    $0x1,%eax
xor    %ecx,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    136f <CDFNormal+0x25f>
movsd  0xe52(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    125b <CDFNormal+0x14b>
movsd  -0x10(%rbp),%xmm0
movsd  0xeea(%rip),%xmm2
mulsd  -0x38(%rbp),%xmm2
movsd  0xed5(%rip),%xmm1
addsd  -0x38(%rbp),%xmm1
movsd  0xec0(%rip),%xmm4
addsd  -0x38(%rbp),%xmm4
movsd  0xeab(%rip),%xmm5
addsd  -0x38(%rbp),%xmm5
movsd  0xe96(%rip),%xmm3
divsd  %xmm5,%xmm3
addsd  %xmm3,%xmm4
movsd  0xe7e(%rip),%xmm3
divsd  %xmm4,%xmm3
subsd  %xmm3,%xmm1
divsd  %xmm1,%xmm2
movsd  0xe62(%rip),%xmm1
subsd  %xmm2,%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xe33(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    133a <CDFNormal+0x22a>
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
call   1030 <exp@plt>
movaps %xmm0,%xmm1
movsd  0xdf1(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  0xdd8(%rip),%xmm2
subsd  %xmm2,%xmm1
movsd  0xdc4(%rip),%xmm3
addsd  -0x10(%rbp),%xmm3
movsd  -0x10(%rbp),%xmm4
movsd  0xdaa(%rip),%xmm2
subsd  %xmm2,%xmm4
movsd  0xd96(%rip),%xmm5
addsd  -0x10(%rbp),%xmm5
movsd  0xd81(%rip),%xmm6
addsd  -0x10(%rbp),%xmm6
movsd  0xd6c(%rip),%xmm7
addsd  -0x10(%rbp),%xmm7
movsd  0xd57(%rip),%xmm2
divsd  %xmm7,%xmm2
addsd  %xmm2,%xmm6
movsd  0xd3f(%rip),%xmm2
divsd  %xmm6,%xmm2
subsd  %xmm2,%xmm5
movsd  0xd27(%rip),%xmm2
divsd  %xmm5,%xmm2
addsd  %xmm2,%xmm4
movsd  0xd0f(%rip),%xmm2
divsd  %xmm4,%xmm2
addsd  %xmm2,%xmm3
movsd  0xcf7(%rip),%xmm2
divsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1353 <CDFNormal+0x243>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    1365 <CDFNormal+0x255>
movsd  0xd65(%rip),%xmm0
subsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<CDFNormal>:
sub    $0x28,%rsp
movapd %xmm0,%xmm5
movapd 0xfa0(%rip),%xmm1
xorpd  %xmm0,%xmm1
xorpd  %xmm0,%xmm0
movapd %xmm5,%xmm6
cmpltsd %xmm0,%xmm6
andpd  %xmm6,%xmm1
andnpd %xmm5,%xmm6
orpd   %xmm1,%xmm6
ucomisd 0xec3(%rip),%xmm6
jbe    115d <CDFNormal+0x4d>
cmpnltsd %xmm0,%xmm5
movsd  0xf5c(%rip),%xmm0
andpd  %xmm0,%xmm5
jmp    12d4 <CDFNormal+0x1c4>
movapd %xmm5,%xmm0
mulsd  %xmm5,%xmm0
mulsd  0xe93(%rip),%xmm0
movsd  0xe9b(%rip),%xmm1
ucomisd %xmm6,%xmm1
jbe    11e8 <CDFNormal+0xd8>
movsd  0xef5(%rip),%xmm1
mulsd  %xmm0,%xmm1
movsd  0xef1(%rip),%xmm2
addsd  %xmm0,%xmm2
movsd  0xeed(%rip),%xmm3
addsd  %xmm0,%xmm3
addsd  0xee9(%rip),%xmm0
movsd  0xee9(%rip),%xmm4
divsd  %xmm0,%xmm4
addsd  %xmm3,%xmm4
movsd  0xee1(%rip),%xmm0
divsd  %xmm4,%xmm0
addsd  %xmm2,%xmm0
divsd  %xmm0,%xmm1
addsd  0xed5(%rip),%xmm1
mulsd  %xmm1,%xmm6
movsd  0xe21(%rip),%xmm0
subsd  %xmm6,%xmm0
jmp    12af <CDFNormal+0x19f>
xorpd  0xed0(%rip),%xmm0
movapd %xmm5,0x10(%rsp)
movapd %xmm6,(%rsp)
call   1030 <exp@plt>
mulsd  0xe10(%rip),%xmm0
movsd  0xe10(%rip),%xmm1
movapd (%rsp),%xmm6
addsd  %xmm6,%xmm1
movsd  0xe07(%rip),%xmm2
addsd  %xmm6,%xmm2
movsd  0xe03(%rip),%xmm3
addsd  %xmm6,%xmm3
movsd  0xdff(%rip),%xmm4
addsd  %xmm6,%xmm4
movsd  0xdfb(%rip),%xmm5
addsd  %xmm6,%xmm5
addsd  0xdf7(%rip),%xmm6
movapd %xmm6,%xmm7
movsd  0xdf3(%rip),%xmm6
divsd  %xmm7,%xmm6
addsd  %xmm5,%xmm6
movsd  0xdeb(%rip),%xmm5
divsd  %xmm6,%xmm5
addsd  %xmm4,%xmm5
movsd  0xde3(%rip),%xmm4
divsd  %xmm5,%xmm4
movapd 0x10(%rsp),%xmm5
addsd  %xmm3,%xmm4
movsd  0xdd5(%rip),%xmm3
divsd  %xmm4,%xmm3
addsd  %xmm2,%xmm3
movsd  0xdcd(%rip),%xmm2
divsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
divsd  %xmm2,%xmm0
movsd  0xdf9(%rip),%xmm1
subsd  %xmm0,%xmm1
xorpd  %xmm2,%xmm2
cmpltsd %xmm2,%xmm5
movapd %xmm5,%xmm2
andnpd %xmm1,%xmm2
andpd  %xmm0,%xmm5
orpd   %xmm2,%xmm5
movapd %xmm5,%xmm0
add    $0x28,%rsp
ret

LLVM IR (-O0):
define double @CDFNormal(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca i32
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
store double %0, double* %3
store i32 0, i32* %4
store double 1.000000e+01, double* %6
store double 1.280000e+00, double* %7
%9 = load double, double* %3
%10 = load double, double* %3
%11 = fmul double %9, %10
%12 = fdiv double %11, 2.000000e+00
store double %12, double* %8
%13 = load double, double* %3
%14 = fcmp olt double %13, 0.000000e+00
br i1 %14, label %15, label %18
15: ; preds = %1
store i32 1, i32* %4
%16 = load double, double* %3
%17 = fmul double %16, -1.000000e+00
store double %17, double* %3
br label %18
18: ; preds = %15, %1
%19 = load double, double* %3
%20 = load double, double* %6
%21 = fcmp ogt double %19, %20
br i1 %21, label %22, label %28
22: ; preds = %18
%23 = load i32, i32* %4
%24 = icmp ne i32 %23, 0
%25 = zext i1 %24 to i64
%26 = select i1 %24, i32 0, i32 1
%27 = sitofp i32 %26 to double
store double %27, double* %2
br label %87
28: ; preds = %18
%29 = load double, double* %3
%30 = fcmp olt double %29, 1.280000e+00
br i1 %30, label %31, label %49
31: ; preds = %28
%32 = load double, double* %3
%33 = load double, double* %8
%34 = fmul double 0x3FD99804977BB02A, %33
%35 = load double, double* %8
%36 = fadd double %35, 0x401709113BE05594
%37 = load double, double* %8
%38 = fadd double %37, 0x4004FEA15D6FE126
%39 = load double, double* %8
%40 = fadd double %39, 0x4017B7265A7D0F22
%41 = fdiv double 0x404859164D073A74, %40
%42 = fadd double %38, %41
%43 = fdiv double 0x403DD2445F58EAA3, %42
%44 = fsub double %36, %43
%45 = fdiv double %34, %44
%46 = fsub double 0x3FD9884533DFE9B9, %45
%47 = fneg double %32
%48 = call double @llvm.fmuladd.f64(double %47, double %46, double 5.000000e-01)
store double %48, double* %5
br label %77
49: ; preds = %28
%50 = load double, double* %8
%51 = fneg double %50
%52 = call double @exp(double %51)
%53 = fmul double 0x3FD9884533CFB1F8, %52
%54 = load double, double* %3
%55 = fsub double %54, 3.805200e-08
%56 = load double, double* %3
%57 = fadd double %56, 0x3F3A166B459C7B69
%58 = load double, double* %3
%59 = fsub double %58, 0x3FC36A38A6B77CC0
%60 = load double, double* %3
%61 = fadd double %60, 0x40135AB7AC36FCAD
%62 = load double, double* %3
%63 = fadd double %62, 0x3FE7C195A3BBD8E3
%64 = load double, double* %3
%65 = fadd double %64, 0x400FEBEAEBCA7F9D
%66 = fdiv double 0x403ECA390D230F60, %65
%67 = fadd double %63, %66
%68 = fdiv double 0x402E4D42675985A1, %67
%69 = fsub double %61, %68
%70 = fdiv double 0x40152C57AFDD8769, %69
%71 = fadd double %59, %70
%72 = fdiv double 0x3FFFC74938A68D3A, %71
%73 = fadd double %57, %72
%74 = fdiv double 0x3FF0000673B05093, %73
%75 = fadd double %55, %74
%76 = fdiv double %53, %75
store double %76, double* %5
br label %77
77: ; preds = %49, %31
%78 = load i32, i32* %4
%79 = icmp ne i32 %78, 0
br i1 %79, label %80, label %82
80: ; preds = %77
%81 = load double, double* %5
br label %85
82: ; preds = %77
%83 = load double, double* %5
%84 = fsub double 1.000000e+00, %83
br label %85
85: ; preds = %82, %80
%86 = phi double [ %81, %80 ], [ %84, %82 ]
store double %86, double* %2
br label %87
87: ; preds = %85, %22
%88 = load double, double* %2
ret double %88
}

LLVM IR (-O2):
define double @CDFNormal(double %0) {
%2 = fmul double %0, %0
%3 = fmul double %2, 5.000000e-01
%4 = fcmp olt double %0, 0.000000e+00
%5 = fneg double %0
%6 = select i1 %4, double %5, double %0
%7 = fcmp ogt double %6, 1.000000e+01
br i1 %7, label %8, label %11
8: ; preds = %1
%9 = xor i1 %4, true
%10 = uitofp i1 %9 to double
br label %51
11: ; preds = %1
%12 = fcmp olt double %6, 1.280000e+00
br i1 %12, label %13, label %26
13: ; preds = %11
%14 = fmul double %3, 0x3FD99804977BB02A
%15 = fadd double %3, 0x401709113BE05594
%16 = fadd double %3, 0x4004FEA15D6FE126
%17 = fadd double %3, 0x4017B7265A7D0F22
%18 = fdiv double 0x404859164D073A74, %17
%19 = fadd double %16, %18
%20 = fdiv double 0x403DD2445F58EAA3, %19
%21 = fsub double %15, %20
%22 = fdiv double %14, %21
%23 = fsub double 0x3FD9884533DFE9B9, %22
%24 = fneg double %6
%25 = tail call double @llvm.fmuladd.f64(double %24, double %23, double 5.000000e-01)
br label %47
26: ; preds = %11
%27 = fneg double %3
%28 = tail call double @exp(double %27)
%29 = fmul double %28, 0x3FD9884533CFB1F8
%30 = fadd double %6, -3.805200e-08
%31 = fadd double %6, 0x3F3A166B459C7B69
%32 = fadd double %6, 0xBFC36A38A6B77CC0
%33 = fadd double %6, 0x40135AB7AC36FCAD
%34 = fadd double %6, 0x3FE7C195A3BBD8E3
%35 = fadd double %6, 0x400FEBEAEBCA7F9D
%36 = fdiv double 0x403ECA390D230F60, %35
%37 = fadd double %34, %36
%38 = fdiv double 0x402E4D42675985A1, %37
%39 = fsub double %33, %38
%40 = fdiv double 0x40152C57AFDD8769, %39
%41 = fadd double %32, %40
%42 = fdiv double 0x3FFFC74938A68D3A, %41
%43 = fadd double %31, %42
%44 = fdiv double 0x3FF0000673B05093, %43
%45 = fadd double %30, %44
%46 = fdiv double %29, %45
br label %47
47: ; preds = %26, %13
%48 = phi double [ %25, %13 ], [ %46, %26 ]
%49 = fsub double 1.000000e+00, %48
%50 = select i1 %4, double %48, double %49
br label %51
51: ; preds = %47, %8
%52 = phi double [ %10, %8 ], [ %50, %47 ]
ret double %52
}