#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 fabs(double);
double dawson(double t) {
  double z1, cs, cr, cl;
  double z1sq, cer;
  int k;
  z1 = fabs(t);
  if (z1 <= 1.0e-8)
    return t;
  z1sq = -t * t;
  if (z1 < 4.5) {
    cs = cr = z1;
    for (k = 1; k <= 999; ++k) {
      cr *= z1sq / ((double)k + 0.5);
      cs += cr;
      if (fabs(cr / cs) < 1.0e-15)
        break;
    }
    cer = cs;
  } else {
    cl = 1 / z1;
    cr = cl;
    for (k = 1; k <= 13; ++k) {
      cr *= -((double)k - 0.5) / z1sq;
      cl += cr;
      if (fabs(cr / cl) < 1.0e-15)
        break;
    }
    cer = 0.5 * cl;
  }
  if (t < 0)
    cer = -cer;
  return cer;
}


x86 assembly (clang, -O0):
<dawson>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movaps 0xf1b(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  0xeda(%rip),%xmm0
ucomisd -0x18(%rbp),%xmm0
jb     1140 <dawson+0x40>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    131a <dawson+0x21a>
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xe9a(%rip),%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    121d <dawson+0x11d>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  %xmm0,-0x20(%rbp)
movl   $0x1,-0x44(%rbp)
cmpl   $0x3e7,-0x44(%rbp)
jg     120e <dawson+0x10e>
movsd  -0x38(%rbp),%xmm0
cvtsi2sdl -0x44(%rbp),%xmm1
movsd  0xe72(%rip),%xmm2
addsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
mulsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x28(%rbp),%xmm1
divsd  -0x20(%rbp),%xmm1
movaps 0xe50(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  0xe2c(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    11fb <dawson+0xfb>
jmp    120e <dawson+0x10e>
jmp    1200 <dawson+0x100>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    118f <dawson+0x8f>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    12e1 <dawson+0x1e1>
movsd  0xdeb(%rip),%xmm0
divsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x1,-0x44(%rbp)
cmpl   $0xd,-0x44(%rbp)
jg     12cf <dawson+0x1cf>
cvtsi2sdl -0x44(%rbp),%xmm0
movsd  0xdc9(%rip),%xmm1
subsd  %xmm1,%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
divsd  -0x38(%rbp),%xmm0
mulsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm1
divsd  -0x30(%rbp),%xmm1
movaps 0xd8f(%rip),%xmm0
pand   %xmm0,%xmm1
movsd  0xd6b(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    12bc <dawson+0x1bc>
jmp    12cf <dawson+0x1cf>
jmp    12c1 <dawson+0x1c1>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1240 <dawson+0x140>
movsd  0xd49(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    1310 <dawson+0x210>
movsd  -0x40(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<dawson>:
movapd 0xef8(%rip),%xmm3
andpd  %xmm0,%xmm3
movsd  0xf0c(%rip),%xmm1
ucomisd %xmm3,%xmm1
jae    1245 <dawson+0x145>
movapd 0xeea(%rip),%xmm1
xorpd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
movsd  0xef2(%rip),%xmm2
ucomisd %xmm3,%xmm2
jbe    11a7 <dawson+0xa7>
mov    $0x1,%eax
movsd  0xefe(%rip),%xmm8
movapd 0xeae(%rip),%xmm5
movsd  0xee6(%rip),%xmm6
movapd %xmm3,%xmm2
xchg   %ax,%ax
movapd %xmm3,%xmm7
xorps  %xmm4,%xmm4
cvtsi2sd %eax,%xmm4
addsd  %xmm8,%xmm4
movapd %xmm1,%xmm3
divsd  %xmm4,%xmm3
mulsd  %xmm7,%xmm3
addsd  %xmm3,%xmm2
movapd %xmm3,%xmm4
divsd  %xmm2,%xmm4
andpd  %xmm5,%xmm4
ucomisd %xmm4,%xmm6
ja     1224 <dawson+0x124>
lea    0x1(%rax),%ecx
cmp    $0x3e7,%eax
mov    %ecx,%eax
jne    1160 <dawson+0x60>
jmp    1224 <dawson+0x124>
movsd  0xe81(%rip),%xmm2
divsd  %xmm3,%xmm2
mov    $0x1,%eax
movsd  0xe77(%rip),%xmm8
movapd 0xe47(%rip),%xmm4
movapd 0xe2f(%rip),%xmm5
movsd  0xe67(%rip),%xmm6
movapd %xmm2,%xmm7
nopl   (%rax)
movapd %xmm7,%xmm3
xorps  %xmm7,%xmm7
cvtsi2sd %eax,%xmm7
addsd  %xmm8,%xmm7
xorpd  %xmm4,%xmm7
divsd  %xmm1,%xmm7
mulsd  %xmm3,%xmm7
addsd  %xmm7,%xmm2
movapd %xmm7,%xmm3
divsd  %xmm2,%xmm3
andpd  %xmm5,%xmm3
ucomisd %xmm3,%xmm6
ja     121c <dawson+0x11c>
lea    0x1(%rax),%ecx
cmp    $0xd,%eax
mov    %ecx,%eax
jne    11e0 <dawson+0xe0>
mulsd  0xe24(%rip),%xmm2
movapd 0xde4(%rip),%xmm1
xorpd  %xmm2,%xmm1
xorpd  %xmm3,%xmm3
cmpltsd %xmm3,%xmm0
andpd  %xmm0,%xmm1
andnpd %xmm2,%xmm0
orpd   %xmm1,%xmm0
ret

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

LLVM IR (-O2):
define double @dawson(double %0) {
%2 = tail call double @llvm.fabs.f64(double %0)
%3 = fcmp ugt double %2, 1.000000e-08
br i1 %3, label %4, label %48
4: ; preds = %1
%5 = fneg double %0
%6 = fmul double %5, %0
%7 = fcmp olt double %2, 4.500000e+00
br i1 %7, label %8, label %23
8: ; preds = %4, %8
%9 = phi i32 [ %20, %8 ], [ 1, %4 ]
%10 = phi double [ %15, %8 ], [ %2, %4 ]
%11 = phi double [ %16, %8 ], [ %2, %4 ]
%12 = sitofp i32 %9 to double
%13 = fadd double %12, 5.000000e-01
%14 = fdiv double %6, %13
%15 = fmul double %10, %14
%16 = fadd double %11, %15
%17 = fdiv double %15, %16
%18 = tail call double @llvm.fabs.f64(double %17)
%19 = fcmp olt double %18, 1.000000e-15
%20 = add nuw nsw i32 %9, 1
%21 = icmp eq i32 %20, 1000
%22 = select i1 %19, i1 true, i1 %21
br i1 %22, label %43, label %8
23: ; preds = %4
%24 = fdiv double 1.000000e+00, %2
br label %25
25: ; preds = %25, %23
%26 = phi i32 [ 1, %23 ], [ %38, %25 ]
%27 = phi double [ %24, %23 ], [ %34, %25 ]
%28 = phi double [ %24, %23 ], [ %33, %25 ]
%29 = sitofp i32 %26 to double
%30 = fadd double %29, -5.000000e-01
%31 = fneg double %30
%32 = fdiv double %31, %6
%33 = fmul double %28, %32
%34 = fadd double %27, %33
%35 = fdiv double %33, %34
%36 = tail call double @llvm.fabs.f64(double %35)
%37 = fcmp olt double %36, 1.000000e-15
%38 = add nuw nsw i32 %26, 1
%39 = icmp eq i32 %38, 14
%40 = select i1 %37, i1 true, i1 %39
br i1 %40, label %41, label %25
41: ; preds = %25
%42 = fmul double %34, 5.000000e-01
br label %43
43: ; preds = %8, %41
%44 = phi double [ %42, %41 ], [ %16, %8 ]
%45 = fcmp olt double %0, 0.000000e+00
%46 = fneg double %44
%47 = select i1 %45, double %46, double %44
br label %48
48: ; preds = %1, %43
%49 = phi double [ %47, %43 ], [ %0, %1 ]
ret double %49
}