#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 */
scalar_t__ f_erfc(int);
double fabs(double);
double conffunc(int N, double B, double sig) {
  double x, p = 1.0;
  int i;
  x = fabs(B - N);
  for (i = 1; i < 8; i++) {
    p -= f_erfc((i - x) / (1.41421356237309510 * sig)) -
         f_erfc((i + x) / (1.41421356237309510 * sig));
  }
  return p;
}


x86 assembly (clang, -O0):
<conffunc>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  0xee3(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x10(%rbp),%xmm0
cvtsi2sdl -0x4(%rbp),%xmm1
subsd  %xmm1,%xmm0
movaps 0xeb9(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movl   $0x1,-0x2c(%rbp)
cmpl   $0x8,-0x2c(%rbp)
jge    11d8 <conffunc+0xc8>
cvtsi2sdl -0x2c(%rbp),%xmm0
subsd  -0x20(%rbp),%xmm0
movsd  0xea5(%rip),%xmm1
mulsd  -0x18(%rbp),%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,-0x38(%rbp)
cvtsi2sdl -0x2c(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  0xe7d(%rip),%xmm1
mulsd  -0x18(%rbp),%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,%rcx
mov    -0x38(%rbp),%rax
sub    %rcx,%rax
cvtsi2sd %rax,%xmm1
movsd  -0x28(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1157 <conffunc+0x47>
movsd  -0x28(%rbp),%xmm0
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<conffunc>:
push   %rbx
sub    $0x20,%rsp
cvtsi2sd %edi,%xmm2
movapd %xmm0,%xmm3
subsd  %xmm2,%xmm3
andpd  0xed7(%rip),%xmm3
movapd %xmm3,0x10(%rsp)
mulsd  0xed9(%rip),%xmm1
movsd  %xmm1,(%rsp)
movsd  0xed4(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
subsd  %xmm3,%xmm0
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,%rbx
movapd 0x10(%rsp),%xmm0
addsd  0xeac(%rip),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
sub    %rax,%rbx
xorps  %xmm0,%xmm0
cvtsi2sd %rbx,%xmm0
movsd  0x8(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xe83(%rip),%xmm0
subsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,%rbx
movsd  0xe64(%rip),%xmm0
addsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
sub    %rax,%rbx
xorps  %xmm0,%xmm0
cvtsi2sd %rbx,%xmm0
movsd  0x8(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xe35(%rip),%xmm0
subsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,%rbx
movsd  0xe16(%rip),%xmm0
addsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
sub    %rax,%rbx
xorps  %xmm0,%xmm0
cvtsi2sd %rbx,%xmm0
movsd  0x8(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xde7(%rip),%xmm0
subsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,%rbx
movsd  0xdc8(%rip),%xmm0
addsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
sub    %rax,%rbx
xorps  %xmm0,%xmm0
cvtsi2sd %rbx,%xmm0
movsd  0x8(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xd99(%rip),%xmm0
subsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,%rbx
movsd  0xd7a(%rip),%xmm0
addsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
sub    %rax,%rbx
xorps  %xmm0,%xmm0
cvtsi2sd %rbx,%xmm0
movsd  0x8(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xd4b(%rip),%xmm0
subsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,%rbx
movsd  0xd2c(%rip),%xmm0
addsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
sub    %rax,%rbx
xorps  %xmm0,%xmm0
cvtsi2sd %rbx,%xmm0
movsd  0x8(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xcfd(%rip),%xmm0
subsd  0x10(%rsp),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
mov    %rax,%rbx
movapd 0x10(%rsp),%xmm0
addsd  0xcd8(%rip),%xmm0
divsd  (%rsp),%xmm0
cvttsd2si %xmm0,%edi
call   1030 <f_erfc@plt>
sub    %rax,%rbx
xorps  %xmm1,%xmm1
cvtsi2sd %rbx,%xmm1
movsd  0x8(%rsp),%xmm0
subsd  %xmm1,%xmm0
add    $0x20,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define double @conffunc(i32 %0, double %1, double %2) {
%4 = alloca i32
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca i32
store i32 %0, i32* %4
store double %1, double* %5
store double %2, double* %6
store double 1.000000e+00, double* %8
%10 = load double, double* %5
%11 = load i32, i32* %4
%12 = sitofp i32 %11 to double
%13 = fsub double %10, %12
%14 = call double @llvm.fabs.f64(double %13)
store double %14, double* %7
store i32 1, i32* %9
br label %15
15: ; preds = %41, %3
%16 = load i32, i32* %9
%17 = icmp slt i32 %16, 8
br i1 %17, label %18, label %44
18: ; preds = %15
%19 = load i32, i32* %9
%20 = sitofp i32 %19 to double
%21 = load double, double* %7
%22 = fsub double %20, %21
%23 = load double, double* %6
%24 = fmul double 0x3FF6A09E667F3BCD, %23
%25 = fdiv double %22, %24
%26 = fptosi double %25 to i32
%27 = call i64 @f_erfc(i32 %26)
%28 = load i32, i32* %9
%29 = sitofp i32 %28 to double
%30 = load double, double* %7
%31 = fadd double %29, %30
%32 = load double, double* %6
%33 = fmul double 0x3FF6A09E667F3BCD, %32
%34 = fdiv double %31, %33
%35 = fptosi double %34 to i32
%36 = call i64 @f_erfc(i32 %35)
%37 = sub nsw i64 %27, %36
%38 = sitofp i64 %37 to double
%39 = load double, double* %8
%40 = fsub double %39, %38
store double %40, double* %8
br label %41
41: ; preds = %18
%42 = load i32, i32* %9
%43 = add nsw i32 %42, 1
store i32 %43, i32* %9
br label %15
44: ; preds = %15
%45 = load double, double* %8
ret double %45
}

LLVM IR (-O2):
define double @conffunc(i32 %0, double %1, double %2) {
%4 = sitofp i32 %0 to double
%5 = fsub double %1, %4
%6 = tail call double @llvm.fabs.f64(double %5)
%7 = fmul double %2, 0x3FF6A09E667F3BCD
%8 = fsub double 1.000000e+00, %6
%9 = fdiv double %8, %7
%10 = fptosi double %9 to i32
%11 = tail call i64 @f_erfc(i32 %10)
%12 = fadd double %6, 1.000000e+00
%13 = fdiv double %12, %7
%14 = fptosi double %13 to i32
%15 = tail call i64 @f_erfc(i32 %14)
%16 = sub nsw i64 %11, %15
%17 = sitofp i64 %16 to double
%18 = fsub double 1.000000e+00, %17
%19 = fsub double 2.000000e+00, %6
%20 = fdiv double %19, %7
%21 = fptosi double %20 to i32
%22 = tail call i64 @f_erfc(i32 %21)
%23 = fadd double %6, 2.000000e+00
%24 = fdiv double %23, %7
%25 = fptosi double %24 to i32
%26 = tail call i64 @f_erfc(i32 %25)
%27 = sub nsw i64 %22, %26
%28 = sitofp i64 %27 to double
%29 = fsub double %18, %28
%30 = fsub double 3.000000e+00, %6
%31 = fdiv double %30, %7
%32 = fptosi double %31 to i32
%33 = tail call i64 @f_erfc(i32 %32)
%34 = fadd double %6, 3.000000e+00
%35 = fdiv double %34, %7
%36 = fptosi double %35 to i32
%37 = tail call i64 @f_erfc(i32 %36)
%38 = sub nsw i64 %33, %37
%39 = sitofp i64 %38 to double
%40 = fsub double %29, %39
%41 = fsub double 4.000000e+00, %6
%42 = fdiv double %41, %7
%43 = fptosi double %42 to i32
%44 = tail call i64 @f_erfc(i32 %43)
%45 = fadd double %6, 4.000000e+00
%46 = fdiv double %45, %7
%47 = fptosi double %46 to i32
%48 = tail call i64 @f_erfc(i32 %47)
%49 = sub nsw i64 %44, %48
%50 = sitofp i64 %49 to double
%51 = fsub double %40, %50
%52 = fsub double 5.000000e+00, %6
%53 = fdiv double %52, %7
%54 = fptosi double %53 to i32
%55 = tail call i64 @f_erfc(i32 %54)
%56 = fadd double %6, 5.000000e+00
%57 = fdiv double %56, %7
%58 = fptosi double %57 to i32
%59 = tail call i64 @f_erfc(i32 %58)
%60 = sub nsw i64 %55, %59
%61 = sitofp i64 %60 to double
%62 = fsub double %51, %61
%63 = fsub double 6.000000e+00, %6
%64 = fdiv double %63, %7
%65 = fptosi double %64 to i32
%66 = tail call i64 @f_erfc(i32 %65)
%67 = fadd double %6, 6.000000e+00
%68 = fdiv double %67, %7
%69 = fptosi double %68 to i32
%70 = tail call i64 @f_erfc(i32 %69)
%71 = sub nsw i64 %66, %70
%72 = sitofp i64 %71 to double
%73 = fsub double %62, %72
%74 = fsub double 7.000000e+00, %6
%75 = fdiv double %74, %7
%76 = fptosi double %75 to i32
%77 = tail call i64 @f_erfc(i32 %76)
%78 = fadd double %6, 7.000000e+00
%79 = fdiv double %78, %7
%80 = fptosi double %79 to i32
%81 = tail call i64 @f_erfc(i32 %80)
%82 = sub nsw i64 %77, %81
%83 = sitofp i64 %82 to double
%84 = fsub double %73, %83
ret double %84
}