#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 = -x;
  }
  if (x > limit)
    return (invers ? 0 : 1);
  if (x < t)
    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    118f <CDFNormal+0x7f>
movl   $0x1,-0x14(%rbp)
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    11bd <CDFNormal+0xad>
mov    -0x14(%rbp),%edx
mov    $0x1,%eax
xor    %ecx,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    137f <CDFNormal+0x26f>
movsd  -0x10(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    126b <CDFNormal+0x15b>
movsd  -0x10(%rbp),%xmm0
movsd  0xed2(%rip),%xmm2
mulsd  -0x38(%rbp),%xmm2
movsd  0xebd(%rip),%xmm1
addsd  -0x38(%rbp),%xmm1
movsd  0xea8(%rip),%xmm4
addsd  -0x38(%rbp),%xmm4
movsd  0xe93(%rip),%xmm5
addsd  -0x38(%rbp),%xmm5
movsd  0xe7e(%rip),%xmm3
divsd  %xmm5,%xmm3
addsd  %xmm3,%xmm4
movsd  0xe66(%rip),%xmm3
divsd  %xmm4,%xmm3
subsd  %xmm3,%xmm1
divsd  %xmm1,%xmm2
movsd  0xe4a(%rip),%xmm1
subsd  %xmm2,%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm1,%xmm0
movsd  0xe1b(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    134a <CDFNormal+0x23a>
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
call   1030 <exp@plt>
movaps %xmm0,%xmm1
movsd  0xdd9(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  0xdc0(%rip),%xmm2
subsd  %xmm2,%xmm1
movsd  0xdac(%rip),%xmm3
addsd  -0x10(%rbp),%xmm3
movsd  -0x10(%rbp),%xmm4
movsd  0xd92(%rip),%xmm2
subsd  %xmm2,%xmm4
movsd  0xd7e(%rip),%xmm5
addsd  -0x10(%rbp),%xmm5
movsd  0xd69(%rip),%xmm6
addsd  -0x10(%rbp),%xmm6
movsd  0xd54(%rip),%xmm7
addsd  -0x10(%rbp),%xmm7
movsd  0xd3f(%rip),%xmm2
divsd  %xmm7,%xmm2
addsd  %xmm2,%xmm6
movsd  0xd27(%rip),%xmm2
divsd  %xmm6,%xmm2
subsd  %xmm2,%xmm5
movsd  0xd0f(%rip),%xmm2
divsd  %xmm5,%xmm2
addsd  %xmm2,%xmm4
movsd  0xcf7(%rip),%xmm2
divsd  %xmm4,%xmm2
addsd  %xmm2,%xmm3
movsd  0xcdf(%rip),%xmm2
divsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1363 <CDFNormal+0x253>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    1375 <CDFNormal+0x265>
movsd  0xd4d(%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 = fneg double %16
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 %88
28: ; preds = %18
%29 = load double, double* %3
%30 = load double, double* %7
%31 = fcmp olt double %29, %30
br i1 %31, label %32, label %50
32: ; preds = %28
%33 = load double, double* %3
%34 = load double, double* %8
%35 = fmul double 0x3FD99804977BB02A, %34
%36 = load double, double* %8
%37 = fadd double %36, 0x401709113BE05594
%38 = load double, double* %8
%39 = fadd double %38, 0x4004FEA15D6FE126
%40 = load double, double* %8
%41 = fadd double %40, 0x4017B7265A7D0F22
%42 = fdiv double 0x404859164D073A74, %41
%43 = fadd double %39, %42
%44 = fdiv double 0x403DD2445F58EAA3, %43
%45 = fsub double %37, %44
%46 = fdiv double %35, %45
%47 = fsub double 0x3FD9884533DFE9B9, %46
%48 = fneg double %33
%49 = call double @llvm.fmuladd.f64(double %48, double %47, double 5.000000e-01)
store double %49, double* %5
br label %78
50: ; preds = %28
%51 = load double, double* %8
%52 = fneg double %51
%53 = call double @exp(double %52)
%54 = fmul double 0x3FD9884533CFB1F8, %53
%55 = load double, double* %3
%56 = fsub double %55, 3.805200e-08
%57 = load double, double* %3
%58 = fadd double %57, 0x3F3A166B459C7B69
%59 = load double, double* %3
%60 = fsub double %59, 0x3FC36A38A6B77CC0
%61 = load double, double* %3
%62 = fadd double %61, 0x40135AB7AC36FCAD
%63 = load double, double* %3
%64 = fadd double %63, 0x3FE7C195A3BBD8E3
%65 = load double, double* %3
%66 = fadd double %65, 0x400FEBEAEBCA7F9D
%67 = fdiv double 0x403ECA390D230F60, %66
%68 = fadd double %64, %67
%69 = fdiv double 0x402E4D42675985A1, %68
%70 = fsub double %62, %69
%71 = fdiv double 0x40152C57AFDD8769, %70
%72 = fadd double %60, %71
%73 = fdiv double 0x3FFFC74938A68D3A, %72
%74 = fadd double %58, %73
%75 = fdiv double 0x3FF0000673B05093, %74
%76 = fadd double %56, %75
%77 = fdiv double %54, %76
store double %77, double* %5
br label %78
78: ; preds = %50, %32
%79 = load i32, i32* %4
%80 = icmp ne i32 %79, 0
br i1 %80, label %81, label %83
81: ; preds = %78
%82 = load double, double* %5
br label %86
83: ; preds = %78
%84 = load double, double* %5
%85 = fsub double 1.000000e+00, %84
br label %86
86: ; preds = %83, %81
%87 = phi double [ %82, %81 ], [ %85, %83 ]
store double %87, double* %2
br label %88
88: ; preds = %86, %22
%89 = load double, double* %2
ret double %89
}

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
}