#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 */
int abs(unsigned int);
double erfc(int);
int sqrt(int);
double Runs(unsigned long tab[1024], unsigned long numOnes,
            unsigned short size) {
  double proportion;
  unsigned int compteur, numN, Vobs = 1;
  proportion = (double)numOnes / (double)(1024 * size);
  if (abs(proportion - 1 / 2) >= 2 / sqrt(1024 * size))
    return 0.0;
  for (numN = 0; numN < 1024; numN++) {
    for (compteur = 0; compteur < size - 1; compteur++) {
      if (((tab[numN] >> compteur) & 1) !=
          ((tab[numN] >> (compteur + 1)) & 1)) {
        Vobs++;
      }
    }
    if (numN + 1 < 1024) {
      if (((tab[numN] >> compteur) & 1) != ((tab[numN + 1] >> (0)) & 1)) {
        Vobs++;
      }
    }
  }
  return erfc(abs(Vobs - 2 * 1024 * size * proportion * (1 - proportion)) /
              (2 * sqrt(2 * 1024 * size) * proportion * (1 - proportion)));
}


x86 assembly (clang, -O0):
<Runs>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %dx,%ax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %ax,-0x1a(%rbp)
movl   $0x1,-0x34(%rbp)
movaps 0xeab(%rip),%xmm1
movq   -0x18(%rbp),%xmm0
punpckldq %xmm1,%xmm0
movapd 0xeaa(%rip),%xmm1
subpd  %xmm1,%xmm0
movaps %xmm0,%xmm1
unpckhpd %xmm0,%xmm0
addsd  %xmm1,%xmm0
movzwl -0x1a(%rbp),%eax
shl    $0xa,%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
cvttsd2si -0x28(%rbp),%rax
mov    %eax,%edi
call   1030 <abs@plt>
mov    %eax,-0x38(%rbp)
movzwl -0x1a(%rbp),%edi
shl    $0xa,%edi
call   1040 <sqrt@plt>
mov    %eax,%ecx
mov    $0x2,%eax
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
cmp    %ecx,%eax
jl     11c9 <Runs+0x99>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    133a <Runs+0x20a>
movl   $0x0,-0x30(%rbp)
cmpl   $0x400,-0x30(%rbp)
jae    12b5 <Runs+0x185>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
movzwl -0x1a(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    124d <Runs+0x11d>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x2c(%rbp),%ecx
shr    %cl,%rax
and    $0x1,%rax
mov    -0x10(%rbp),%rcx
mov    -0x30(%rbp),%edx
mov    (%rcx,%rdx,8),%rdx
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
shr    %cl,%rdx
mov    %rdx,%rcx
and    $0x1,%rcx
cmp    %rcx,%rax
je     123a <Runs+0x10a>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    123f <Runs+0x10f>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11e4 <Runs+0xb4>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
cmp    $0x400,%eax
jae    12a2 <Runs+0x172>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x2c(%rbp),%ecx
shr    %cl,%rax
and    $0x1,%rax
mov    -0x10(%rbp),%rcx
mov    -0x30(%rbp),%edx
add    $0x1,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,8),%rcx
shr    $0x0,%rcx
and    $0x1,%rcx
cmp    %rcx,%rax
je     129d <Runs+0x16d>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12a2 <Runs+0x172>
jmp    12a7 <Runs+0x177>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11d0 <Runs+0xa0>
mov    -0x34(%rbp),%eax
cvtsi2sd %rax,%xmm0
movzwl -0x1a(%rbp),%eax
shl    $0xb,%eax
cvtsi2sd %eax,%xmm1
movsd  -0x28(%rbp),%xmm3
mulsd  %xmm3,%xmm1
movsd  0xd47(%rip),%xmm2
subsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
cvttsd2si %xmm0,%rax
mov    %eax,%edi
call   1030 <abs@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x40(%rbp)
movzwl -0x1a(%rbp),%edi
shl    $0xb,%edi
call   1040 <sqrt@plt>
movsd  -0x40(%rbp),%xmm0
shl    $0x1,%eax
cvtsi2sd %eax,%xmm1
mulsd  -0x28(%rbp),%xmm1
movsd  0xd01(%rip),%xmm2
subsd  -0x28(%rbp),%xmm2
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edi
call   1050 <erfc@plt>
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Runs>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x28,%rsp
mov    %edx,%r14d
movq   %rsi,%xmm0
punpckldq 0xec6(%rip),%xmm0
subpd  0xece(%rip),%xmm0
movapd %xmm0,%xmm2
unpckhpd %xmm0,%xmm2
mov    %edx,%eax
shl    $0xa,%eax
cvtsi2sd %eax,%xmm1
addsd  %xmm0,%xmm2
divsd  %xmm1,%xmm2
movapd %xmm2,0x10(%rsp)
cvttsd2si %xmm2,%rcx
mov    %rdi,%r15
mov    %ecx,%ebp
neg    %ebp
cmovs  %ecx,%ebp
mov    %eax,%edi
call   1030 <sqrt@plt>
mov    %eax,%ecx
mov    $0x2,%eax
xor    %edx,%edx
idiv   %ecx
cmp    %eax,%ebp
jge    14b1 <Runs+0x391>
lea    -0x1(%r14),%edx
mov    %edx,%r11d
and    $0xfffffffc,%r11d
lea    -0x4(%r11),%r8
mov    %r8,%r10
shr    $0x2,%r10
add    $0x1,%r10
mov    %r10,%r9
and    $0xfffffffffffffffe,%r9
mov    $0x1,%ebp
xor    %edi,%edi
movdqa 0xe65(%rip),%xmm8
movdqa 0xe6c(%rip),%xmm9
pcmpeqd %xmm14,%xmm14
movaps 0xe6f(%rip),%xmm13
movdqa 0xe76(%rip),%xmm10
movdqa 0xe7d(%rip),%xmm11
movdqa 0xe84(%rip),%xmm12
jmp    1200 <Runs+0xe0>
xchg   %ax,%ax
mov    %rsi,%rdi
cmp    $0x400,%rsi
je     14c0 <Runs+0x3a0>
test   %rdx,%rdx
je     1220 <Runs+0x100>
mov    (%r15,%rdi,8),%rbx
cmp    $0x4,%edx
jae    1230 <Runs+0x110>
xor    %ecx,%ecx
jmp    1450 <Runs+0x330>
cs nopw 0x0(%rax,%rax,1)
nop
xor    %eax,%eax
jmp    146e <Runs+0x34e>
nopw   0x0(%rax,%rax,1)
movd   %ebp,%xmm7
movq   %rbx,%xmm0
pshufd $0x44,%xmm0,%xmm2
test   %r8,%r8
je     1498 <Runs+0x378>
mov    %r9,%rax
movdqa %xmm9,%xmm4
movdqa %xmm8,%xmm15
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqa %xmm2,%xmm0
psrlq  %xmm4,%xmm0
pshufd $0xee,%xmm4,%xmm3
movdqa %xmm2,%xmm5
psrlq  %xmm3,%xmm5
movdqa %xmm2,%xmm3
psrlq  %xmm15,%xmm3
movsd  %xmm0,%xmm5
pshufd $0xee,%xmm15,%xmm0
movdqa %xmm2,%xmm6
psrlq  %xmm0,%xmm6
movsd  %xmm3,%xmm6
movdqa %xmm4,%xmm0
psubq  %xmm14,%xmm0
movdqa %xmm2,%xmm3
psrlq  %xmm0,%xmm3
shufps $0x88,%xmm6,%xmm5
movdqa %xmm15,%xmm6
pshufd $0xee,%xmm0,%xmm1
movdqa %xmm2,%xmm0
psrlq  %xmm1,%xmm0
psubq  %xmm14,%xmm6
movsd  %xmm3,%xmm0
movdqa %xmm2,%xmm1
psrlq  %xmm6,%xmm1
pshufd $0xee,%xmm6,%xmm3
movdqa %xmm2,%xmm6
psrlq  %xmm3,%xmm6
movsd  %xmm1,%xmm6
shufps $0x88,%xmm6,%xmm0
xorps  %xmm5,%xmm0
andps  %xmm13,%xmm0
movdqa %xmm15,%xmm1
paddq  %xmm10,%xmm1
movdqa %xmm4,%xmm3
paddq  %xmm10,%xmm3
movdqa %xmm2,%xmm6
psrlq  %xmm3,%xmm6
pshufd $0xee,%xmm3,%xmm3
movdqa %xmm2,%xmm5
psrlq  %xmm3,%xmm5
movdqa %xmm2,%xmm3
psrlq  %xmm1,%xmm3
paddd  %xmm7,%xmm0
pshufd $0xee,%xmm1,%xmm1
movdqa %xmm2,%xmm7
psrlq  %xmm1,%xmm7
movsd  %xmm6,%xmm5
movsd  %xmm3,%xmm7
shufps $0x88,%xmm7,%xmm5
movdqa %xmm15,%xmm1
paddq  %xmm11,%xmm1
movdqa %xmm4,%xmm3
paddq  %xmm11,%xmm3
movdqa %xmm2,%xmm6
psrlq  %xmm3,%xmm6
pshufd $0xee,%xmm3,%xmm3
movdqa %xmm2,%xmm7
psrlq  %xmm3,%xmm7
movdqa %xmm2,%xmm3
psrlq  %xmm1,%xmm3
movsd  %xmm6,%xmm7
pshufd $0xee,%xmm1,%xmm1
movdqa %xmm2,%xmm6
psrlq  %xmm1,%xmm6
movsd  %xmm3,%xmm6
shufps $0x88,%xmm6,%xmm7
xorps  %xmm5,%xmm7
andps  %xmm13,%xmm7
paddd  %xmm0,%xmm7
paddq  %xmm12,%xmm4
paddq  %xmm12,%xmm15
add    $0xfffffffffffffffe,%rax
jne    1260 <Runs+0x140>
test   $0x1,%r10b
je     1428 <Runs+0x308>
movdqa %xmm2,%xmm1
psrlq  %xmm4,%xmm1
pshufd $0xee,%xmm4,%xmm3
movdqa %xmm2,%xmm0
psrlq  %xmm3,%xmm0
movdqa %xmm2,%xmm3
psrlq  %xmm15,%xmm3
movsd  %xmm1,%xmm0
pshufd $0xee,%xmm15,%xmm1
movdqa %xmm2,%xmm5
psrlq  %xmm1,%xmm5
movsd  %xmm3,%xmm5
psubq  %xmm14,%xmm4
movdqa %xmm2,%xmm1
psrlq  %xmm4,%xmm1
shufps $0x88,%xmm5,%xmm0
pshufd $0xee,%xmm4,%xmm3
movdqa %xmm2,%xmm4
psrlq  %xmm3,%xmm4
psubq  %xmm14,%xmm15
movsd  %xmm1,%xmm4
movdqa %xmm2,%xmm1
psrlq  %xmm15,%xmm1
pshufd $0xee,%xmm15,%xmm3
psrlq  %xmm3,%xmm2
movsd  %xmm1,%xmm2
shufps $0x88,%xmm2,%xmm4
xorps  %xmm0,%xmm4
andps  %xmm13,%xmm4
paddd  %xmm4,%xmm7
pshufd $0xee,%xmm7,%xmm0
paddd  %xmm7,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ebp
mov    %r11,%rcx
mov    %edx,%eax
cmp    %rdx,%r11
je     146e <Runs+0x34e>
nopl   0x0(%rax,%rax,1)
mov    %rbx,%rax
shr    %cl,%rax
add    $0x1,%rcx
mov    %rbx,%rsi
shr    %cl,%rsi
xor    %eax,%esi
and    $0x1,%esi
add    %esi,%ebp
cmp    %rcx,%rdx
jne    1450 <Runs+0x330>
mov    %edx,%eax
lea    0x1(%rdi),%rsi
cmp    $0x3fe,%rdi
ja     11f0 <Runs+0xd0>
mov    (%r15,%rdi,8),%rdi
mov    %eax,%ecx
shr    %cl,%rdi
xor    (%r15,%rsi,8),%edi
and    $0x1,%edi
add    %ebp,%edi
mov    %edi,%ebp
jmp    11f0 <Runs+0xd0>
movdqa %xmm9,%xmm4
movdqa %xmm8,%xmm15
test   $0x1,%r10b
jne    13a7 <Runs+0x287>
jmp    1428 <Runs+0x308>
xorpd  %xmm0,%xmm0
add    $0x28,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %ebp,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
shl    $0xb,%r14d
xorps  %xmm1,%xmm1
cvtsi2sd %r14d,%xmm1
movsd  0xba2(%rip),%xmm2
movapd 0x10(%rsp),%xmm3
subsd  %xmm3,%xmm2
movsd  %xmm2,0x8(%rsp)
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
cvttsd2si %xmm0,%rax
mov    %eax,%ecx
neg    %ecx
cmovs  %eax,%ecx
xorps  %xmm0,%xmm0
cvtsi2sd %ecx,%xmm0
movsd  %xmm0,(%rsp)
mov    %r14d,%edi
call   1030 <sqrt@plt>
add    %eax,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0x10(%rsp),%xmm0
mulsd  0x8(%rsp),%xmm0
movsd  (%rsp),%xmm1
divsd  %xmm0,%xmm1
cvttsd2si %xmm1,%edi
add    $0x28,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <erfc@plt>

LLVM IR (-O0):
define double @Runs(i64* %0, i64 %1, i16 zeroext %2) {
%4 = alloca double
%5 = alloca i64*
%6 = alloca i64
%7 = alloca i16
%8 = alloca double
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i64* %0, i64** %5
store i64 %1, i64* %6
store i16 %2, i16* %7
store i32 1, i32* %11
%12 = load i64, i64* %6
%13 = uitofp i64 %12 to double
%14 = load i16, i16* %7
%15 = zext i16 %14 to i32
%16 = mul nsw i32 1024, %15
%17 = sitofp i32 %16 to double
%18 = fdiv double %13, %17
store double %18, double* %8
%19 = load double, double* %8
%20 = fsub double %19, 0.000000e+00
%21 = fptoui double %20 to i32
%22 = call i32 @abs(i32 %21)
%23 = load i16, i16* %7
%24 = zext i16 %23 to i32
%25 = mul nsw i32 1024, %24
%26 = call i32 @sqrt(i32 %25)
%27 = sdiv i32 2, %26
%28 = icmp sge i32 %22, %27
br i1 %28, label %29, label %30
29: ; preds = %3
store double 0.000000e+00, double* %4
br label %130
30: ; preds = %3
store i32 0, i32* %10
br label %31
31: ; preds = %97, %30
%32 = load i32, i32* %10
%33 = icmp ult i32 %32, 1024
br i1 %33, label %34, label %100
34: ; preds = %31
store i32 0, i32* %9
br label %35
35: ; preds = %66, %34
%36 = load i32, i32* %9
%37 = load i16, i16* %7
%38 = zext i16 %37 to i32
%39 = sub nsw i32 %38, 1
%40 = icmp ult i32 %36, %39
br i1 %40, label %41, label %69
41: ; preds = %35
%42 = load i64*, i64** %5
%43 = load i32, i32* %10
%44 = zext i32 %43 to i64
%45 = getelementptr inbounds i64, i64* %42, i64 %44
%46 = load i64, i64* %45
%47 = load i32, i32* %9
%48 = zext i32 %47 to i64
%49 = lshr i64 %46, %48
%50 = and i64 %49, 1
%51 = load i64*, i64** %5
%52 = load i32, i32* %10
%53 = zext i32 %52 to i64
%54 = getelementptr inbounds i64, i64* %51, i64 %53
%55 = load i64, i64* %54
%56 = load i32, i32* %9
%57 = add i32 %56, 1
%58 = zext i32 %57 to i64
%59 = lshr i64 %55, %58
%60 = and i64 %59, 1
%61 = icmp ne i64 %50, %60
br i1 %61, label %62, label %65
62: ; preds = %41
%63 = load i32, i32* %11
%64 = add i32 %63, 1
store i32 %64, i32* %11
br label %65
65: ; preds = %62, %41
br label %66
66: ; preds = %65
%67 = load i32, i32* %9
%68 = add i32 %67, 1
store i32 %68, i32* %9
br label %35
69: ; preds = %35
%70 = load i32, i32* %10
%71 = add i32 %70, 1
%72 = icmp ult i32 %71, 1024
br i1 %72, label %73, label %96
73: ; preds = %69
%74 = load i64*, i64** %5
%75 = load i32, i32* %10
%76 = zext i32 %75 to i64
%77 = getelementptr inbounds i64, i64* %74, i64 %76
%78 = load i64, i64* %77
%79 = load i32, i32* %9
%80 = zext i32 %79 to i64
%81 = lshr i64 %78, %80
%82 = and i64 %81, 1
%83 = load i64*, i64** %5
%84 = load i32, i32* %10
%85 = add i32 %84, 1
%86 = zext i32 %85 to i64
%87 = getelementptr inbounds i64, i64* %83, i64 %86
%88 = load i64, i64* %87
%89 = lshr i64 %88, 0
%90 = and i64 %89, 1
%91 = icmp ne i64 %82, %90
br i1 %91, label %92, label %95
92: ; preds = %73
%93 = load i32, i32* %11
%94 = add i32 %93, 1
store i32 %94, i32* %11
br label %95
95: ; preds = %92, %73
br label %96
96: ; preds = %95, %69
br label %97
97: ; preds = %96
%98 = load i32, i32* %10
%99 = add i32 %98, 1
store i32 %99, i32* %10
br label %31
100: ; preds = %31
%101 = load i32, i32* %11
%102 = uitofp i32 %101 to double
%103 = load i16, i16* %7
%104 = zext i16 %103 to i32
%105 = mul nsw i32 2048, %104
%106 = sitofp i32 %105 to double
%107 = load double, double* %8
%108 = fmul double %106, %107
%109 = load double, double* %8
%110 = fsub double 1.000000e+00, %109
%111 = fneg double %108
%112 = call double @llvm.fmuladd.f64(double %111, double %110, double %102)
%113 = fptoui double %112 to i32
%114 = call i32 @abs(i32 %113)
%115 = sitofp i32 %114 to double
%116 = load i16, i16* %7
%117 = zext i16 %116 to i32
%118 = mul nsw i32 2048, %117
%119 = call i32 @sqrt(i32 %118)
%120 = mul nsw i32 2, %119
%121 = sitofp i32 %120 to double
%122 = load double, double* %8
%123 = fmul double %121, %122
%124 = load double, double* %8
%125 = fsub double 1.000000e+00, %124
%126 = fmul double %123, %125
%127 = fdiv double %115, %126
%128 = fptosi double %127 to i32
%129 = call double @erfc(i32 %128)
store double %129, double* %4
br label %130
130: ; preds = %100, %29
%131 = load double, double* %4
ret double %131
}

LLVM IR (-O2):
define double @Runs(i64* nocapture %0, i64 %1, i16 zeroext %2) {
%4 = uitofp i64 %1 to double
%5 = zext i16 %2 to i32
%6 = shl nuw nsw i32 %5, 10
%7 = sitofp i32 %6 to double
%8 = fdiv double %4, %7
%9 = fptoui double %8 to i32
%10 = tail call i32 @llvm.abs.i32(i32 %9, i1 true)
%11 = tail call i32 @sqrt(i32 %6)
%12 = sdiv i32 2, %11
%13 = icmp slt i32 %10, %12
br i1 %13, label %14, label %129
14: ; preds = %3
%15 = add nsw i32 %5, -1
%16 = icmp eq i32 %15, 0
%17 = add nsw i32 %5, -1
%18 = zext i32 %15 to i64
%19 = and i64 %18, 4294967292
%20 = add nsw i64 %19, -4
%21 = lshr exact i64 %20, 2
%22 = add nuw nsw i64 %21, 1
%23 = icmp ult i32 %15, 4
%24 = and i64 %18, 4294967292
%25 = and i64 %22, 1
%26 = icmp eq i64 %20, 0
%27 = and i64 %22, 9223372036854775806
%28 = icmp eq i64 %25, 0
%29 = icmp eq i64 %24, %18
br label %30
30: ; preds = %14, %107
%31 = phi i64 [ 0, %14 ], [ %94, %107 ]
%32 = phi i32 [ 1, %14 ], [ %108, %107 ]
br i1 %16, label %91, label %33
33: ; preds = %30
%34 = getelementptr inbounds i64, i64* %0, i64 %31
%35 = load i64, i64* %34
br i1 %23, label %77, label %36
36: ; preds = %33
%37 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %32, i64 0
%38 = insertelement <4 x i64> poison, i64 %35, i64 0
%39 = shufflevector <4 x i64> %38, <4 x i64> poison, <4 x i32> zeroinitializer
br i1 %26, label %62, label %40
40: ; preds = %36, %40
%41 = phi <4 x i64> [ %59, %40 ], [ <i64 0, i64 1, i64 2, i64 3>, %36 ]
%42 = phi <4 x i32> [ %58, %40 ], [ %37, %36 ]
%43 = phi i64 [ %60, %40 ], [ 0, %36 ]
%44 = lshr <4 x i64> %39, %41
%45 = add nuw nsw <4 x i64> %41, <i64 1, i64 1, i64 1, i64 1>
%46 = lshr <4 x i64> %39, %45
%47 = xor <4 x i64> %44, %46
%48 = trunc <4 x i64> %47 to <4 x i32>
%49 = and <4 x i32> %48, <i32 1, i32 1, i32 1, i32 1>
%50 = add <4 x i32> %49, %42
%51 = add <4 x i64> %41, <i64 4, i64 4, i64 4, i64 4>
%52 = lshr <4 x i64> %39, %51
%53 = add <4 x i64> %41, <i64 5, i64 5, i64 5, i64 5>
%54 = lshr <4 x i64> %39, %53
%55 = xor <4 x i64> %52, %54
%56 = trunc <4 x i64> %55 to <4 x i32>
%57 = and <4 x i32> %56, <i32 1, i32 1, i32 1, i32 1>
%58 = add <4 x i32> %57, %50
%59 = add <4 x i64> %41, <i64 8, i64 8, i64 8, i64 8>
%60 = add i64 %43, 2
%61 = icmp eq i64 %60, %27
br i1 %61, label %62, label %40
62: ; preds = %40, %36
%63 = phi <4 x i32> [ undef, %36 ], [ %58, %40 ]
%64 = phi <4 x i64> [ <i64 0, i64 1, i64 2, i64 3>, %36 ], [ %59, %40 ]
%65 = phi <4 x i32> [ %37, %36 ], [ %58, %40 ]
br i1 %28, label %74, label %66
66: ; preds = %62
%67 = lshr <4 x i64> %39, %64
%68 = add nuw nsw <4 x i64> %64, <i64 1, i64 1, i64 1, i64 1>
%69 = lshr <4 x i64> %39, %68
%70 = xor <4 x i64> %67, %69
%71 = trunc <4 x i64> %70 to <4 x i32>
%72 = and <4 x i32> %71, <i32 1, i32 1, i32 1, i32 1>
%73 = add <4 x i32> %72, %65
br label %74
74: ; preds = %62, %66
%75 = phi <4 x i32> [ %63, %62 ], [ %73, %66 ]
%76 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %75)
br i1 %29, label %91, label %77
77: ; preds = %33, %74
%78 = phi i64 [ 0, %33 ], [ %24, %74 ]
%79 = phi i32 [ %32, %33 ], [ %76, %74 ]
br label %80
80: ; preds = %77, %80
%81 = phi i64 [ %84, %80 ], [ %78, %77 ]
%82 = phi i32 [ %89, %80 ], [ %79, %77 ]
%83 = lshr i64 %35, %81
%84 = add nuw nsw i64 %81, 1
%85 = lshr i64 %35, %84
%86 = xor i64 %83, %85
%87 = trunc i64 %86 to i32
%88 = and i32 %87, 1
%89 = add i32 %88, %82
%90 = icmp eq i64 %84, %18
br i1 %90, label %91, label %80
91: ; preds = %80, %74, %30
%92 = phi i32 [ 0, %30 ], [ %17, %74 ], [ %17, %80 ]
%93 = phi i32 [ %32, %30 ], [ %76, %74 ], [ %89, %80 ]
%94 = add nuw nsw i64 %31, 1
%95 = icmp ult i64 %31, 1023
br i1 %95, label %96, label %107
96: ; preds = %91
%97 = getelementptr inbounds i64, i64* %0, i64 %31
%98 = load i64, i64* %97
%99 = zext i32 %92 to i64
%100 = lshr i64 %98, %99
%101 = getelementptr inbounds i64, i64* %0, i64 %94
%102 = load i64, i64* %101
%103 = xor i64 %100, %102
%104 = trunc i64 %103 to i32
%105 = and i32 %104, 1
%106 = add i32 %105, %93
br label %107
107: ; preds = %96, %91
%108 = phi i32 [ %93, %91 ], [ %106, %96 ]
%109 = icmp eq i64 %94, 1024
br i1 %109, label %110, label %30
110: ; preds = %107
%111 = uitofp i32 %108 to double
%112 = shl nuw nsw i32 %5, 11
%113 = sitofp i32 %112 to double
%114 = fsub double 1.000000e+00, %8
%115 = fneg double %8
%116 = fmul double %113, %115
%117 = tail call double @llvm.fmuladd.f64(double %116, double %114, double %111)
%118 = fptoui double %117 to i32
%119 = tail call i32 @llvm.abs.i32(i32 %118, i1 true)
%120 = sitofp i32 %119 to double
%121 = tail call i32 @sqrt(i32 %112)
%122 = shl nsw i32 %121, 1
%123 = sitofp i32 %122 to double
%124 = fmul double %8, %123
%125 = fmul double %114, %124
%126 = fdiv double %120, %125
%127 = fptosi double %126 to i32
%128 = tail call double @erfc(i32 %127)
br label %129
129: ; preds = %3, %110
%130 = phi double [ %128, %110 ], [ 0.000000e+00, %3 ]
ret double %130
}