#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 /*<<< orphan*/ memcpy(double *, double *, int);
void erosionImpl(double *boxing, double *blocking, int n) {
  int i;
  for (i = 0; i < n; i++) {
    blocking[i] = 0;
  }
  for (i = 1; i < n - 1; i++) {
    blocking[i] = boxing[i];
    int A = boxing[i - 1] == 0;
    int B = boxing[i] == 1;
    int C = boxing[i + 1] == 0;
    if (A && B && C) {
      blocking[i] = 0;
    }
  }
  memcpy(boxing, blocking, n * sizeof(double));
  for (i = 1; i < n - 1; i++) {
    int A = blocking[i - 1] == 0;
    int B = blocking[i] == 1;
    int C = blocking[i + 1] == 0;
    if (A && B) {
      boxing[i - 1] = 1;
    }
    if (B && C) {
      boxing[i + 1] = 1;
    }
  }
}


x86 assembly (clang, -O0):
<erosionImpl>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1154 <erosionImpl+0x44>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    112a <erosionImpl+0x1a>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1242 <erosionImpl+0x132>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xe3c(%rip),%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     122f <erosionImpl+0x11f>
cmpl   $0x0,-0x20(%rbp)
je     122f <erosionImpl+0x11f>
cmpl   $0x0,-0x24(%rbp)
je     122f <erosionImpl+0x11f>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
jmp    1234 <erosionImpl+0x124>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    115b <erosionImpl+0x4b>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edx
call   1030 <memcpy@plt>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    135b <erosionImpl+0x24b>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xd51(%rip),%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     131a <erosionImpl+0x20a>
cmpl   $0x0,-0x2c(%rbp)
je     131a <erosionImpl+0x20a>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  0xceb(%rip),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
cmpl   $0x0,-0x2c(%rbp)
je     1348 <erosionImpl+0x238>
cmpl   $0x0,-0x30(%rbp)
je     1348 <erosionImpl+0x238>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  0xcbd(%rip),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
jmp    134d <erosionImpl+0x23d>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1260 <erosionImpl+0x150>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<erosionImpl>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %edx,%r15d
mov    %rsi,%r14
mov    %rdi,%rbx
test   %edx,%edx
jle    1215 <erosionImpl+0xf5>
mov    %r15d,%edx
shl    $0x3,%rdx
mov    %r14,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
cmp    $0x3,%r15d
jb     1215 <erosionImpl+0xf5>
lea    -0x1(%r15),%eax
mov    %eax,%r12d
lea    -0x1(%r12),%rcx
mov    $0x1,%eax
cmp    $0x2,%rcx
jb     12d4 <erosionImpl+0x1b4>
lea    0x8(%r14),%rdx
lea    (%rbx,%r12,8),%rsi
add    $0x8,%rsi
cmp    %rsi,%rdx
jae    118d <erosionImpl+0x6d>
lea    (%r14,%r12,8),%rdx
cmp    %rbx,%rdx
ja     12d4 <erosionImpl+0x1b4>
mov    %rcx,%rdx
and    $0xfffffffffffffffe,%rdx
mov    %rcx,%rax
or     $0x1,%rax
xor    %esi,%esi
xorpd  %xmm0,%xmm0
movapd 0xe57(%rip),%xmm1
jmp    11b9 <erosionImpl+0x99>
nopl   0x0(%rax,%rax,1)
add    $0x2,%rsi
cmp    %rsi,%rdx
je     1232 <erosionImpl+0x112>
movups 0x8(%rbx,%rsi,8),%xmm2
movups %xmm2,0x8(%r14,%rsi,8)
movupd (%rbx,%rsi,8),%xmm3
movupd 0x8(%rbx,%rsi,8),%xmm4
movupd 0x10(%rbx,%rsi,8),%xmm2
cmpeqpd %xmm0,%xmm3
cmpeqpd %xmm1,%xmm4
andpd  %xmm3,%xmm4
cmpeqpd %xmm0,%xmm2
andpd  %xmm4,%xmm2
movd   %xmm2,%edi
test   $0x1,%dil
je     11ff <erosionImpl+0xdf>
movq   $0x0,0x8(%r14,%rsi,8)
pextrw $0x4,%xmm2,%edi
test   $0x1,%dil
je     11b0 <erosionImpl+0x90>
movq   $0x0,0x10(%r14,%rsi,8)
jmp    11b0 <erosionImpl+0x90>
shl    $0x3,%r15d
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15d,%edx
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
jmp    1040 <memcpy@plt>
cmp    %rdx,%rcx
jne    12d4 <erosionImpl+0x1b4>
lea    0x0(,%r15,8),%edx
mov    %rbx,%rdi
mov    %r14,%rsi
call   1040 <memcpy@plt>
cmp    $0x3,%r15d
jb     12c8 <erosionImpl+0x1a8>
add    $0xffffffffffffffff,%r12
xor    %eax,%eax
xorpd  %xmm0,%xmm0
movsd  0xdaa(%rip),%xmm1
movabs $0x3ff0000000000000,%rcx
jmp    1289 <erosionImpl+0x169>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%rax
cmp    %rax,%r12
je     12c8 <erosionImpl+0x1a8>
movsd  (%r14,%rax,8),%xmm2
movsd  0x8(%r14,%rax,8),%xmm3
ucomisd %xmm0,%xmm2
movsd  0x10(%r14,%rax,8),%xmm2
jne    12b1 <erosionImpl+0x191>
jp     12b1 <erosionImpl+0x191>
ucomisd %xmm1,%xmm3
jne    12b1 <erosionImpl+0x191>
jp     12b1 <erosionImpl+0x191>
mov    %rcx,(%rbx,%rax,8)
ucomisd %xmm1,%xmm3
jne    1280 <erosionImpl+0x160>
jp     1280 <erosionImpl+0x160>
ucomisd %xmm0,%xmm2
jne    1280 <erosionImpl+0x160>
jp     1280 <erosionImpl+0x160>
mov    %rcx,0x10(%rbx,%rax,8)
jmp    1280 <erosionImpl+0x160>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret
xorpd  %xmm0,%xmm0
movsd  0xd30(%rip),%xmm1
jmp    12f9 <erosionImpl+0x1d9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    %rax,%r12
je     123b <erosionImpl+0x11b>
mov    %rax,%rcx
movsd  (%rbx,%rax,8),%xmm2
movsd  %xmm2,(%r14,%rax,8)
movsd  -0x8(%rbx,%rax,8),%xmm2
add    $0x1,%rax
ucomisd %xmm0,%xmm2
jne    12f0 <erosionImpl+0x1d0>
jp     12f0 <erosionImpl+0x1d0>
movsd  (%rbx,%rcx,8),%xmm2
ucomisd %xmm1,%xmm2
jne    12f0 <erosionImpl+0x1d0>
jp     12f0 <erosionImpl+0x1d0>
movsd  0x8(%rbx,%rcx,8),%xmm2
ucomisd %xmm0,%xmm2
jne    12f0 <erosionImpl+0x1d0>
jp     12f0 <erosionImpl+0x1d0>
movq   $0x0,(%r14,%rcx,8)
jmp    12f0 <erosionImpl+0x1d0>

LLVM IR (-O0):
define void @erosionImpl(double* %0, double* %1, i32 %2) {
%4 = alloca double*
%5 = alloca double*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store double* %0, double** %4
store double* %1, double** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %14
14: ; preds = %23, %3
%15 = load i32, i32* %7
%16 = load i32, i32* %6
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %26
18: ; preds = %14
%19 = load double*, double** %5
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds double, double* %19, i64 %21
store double 0.000000e+00, double* %22
br label %23
23: ; preds = %18
%24 = load i32, i32* %7
%25 = add nsw i32 %24, 1
store i32 %25, i32* %7
br label %14
26: ; preds = %14
store i32 1, i32* %7
br label %27
27: ; preds = %79, %26
%28 = load i32, i32* %7
%29 = load i32, i32* %6
%30 = sub nsw i32 %29, 1
%31 = icmp slt i32 %28, %30
br i1 %31, label %32, label %82
32: ; preds = %27
%33 = load double*, double** %4
%34 = load i32, i32* %7
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds double, double* %33, i64 %35
%37 = load double, double* %36
%38 = load double*, double** %5
%39 = load i32, i32* %7
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds double, double* %38, i64 %40
store double %37, double* %41
%42 = load double*, double** %4
%43 = load i32, i32* %7
%44 = sub nsw i32 %43, 1
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds double, double* %42, i64 %45
%47 = load double, double* %46
%48 = fcmp oeq double %47, 0.000000e+00
%49 = zext i1 %48 to i32
store i32 %49, i32* %8
%50 = load double*, double** %4
%51 = load i32, i32* %7
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds double, double* %50, i64 %52
%54 = load double, double* %53
%55 = fcmp oeq double %54, 1.000000e+00
%56 = zext i1 %55 to i32
store i32 %56, i32* %9
%57 = load double*, double** %4
%58 = load i32, i32* %7
%59 = add nsw i32 %58, 1
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds double, double* %57, i64 %60
%62 = load double, double* %61
%63 = fcmp oeq double %62, 0.000000e+00
%64 = zext i1 %63 to i32
store i32 %64, i32* %10
%65 = load i32, i32* %8
%66 = icmp ne i32 %65, 0
br i1 %66, label %67, label %78
67: ; preds = %32
%68 = load i32, i32* %9
%69 = icmp ne i32 %68, 0
br i1 %69, label %70, label %78
70: ; preds = %67
%71 = load i32, i32* %10
%72 = icmp ne i32 %71, 0
br i1 %72, label %73, label %78
73: ; preds = %70
%74 = load double*, double** %5
%75 = load i32, i32* %7
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds double, double* %74, i64 %76
store double 0.000000e+00, double* %77
br label %78
78: ; preds = %73, %70, %67, %32
br label %79
79: ; preds = %78
%80 = load i32, i32* %7
%81 = add nsw i32 %80, 1
store i32 %81, i32* %7
br label %27
82: ; preds = %27
%83 = load double*, double** %4
%84 = load double*, double** %5
%85 = load i32, i32* %6
%86 = sext i32 %85 to i64
%87 = mul i64 %86, 8
%88 = trunc i64 %87 to i32
%89 = call i32 @memcpy(double* %83, double* %84, i32 %88)
store i32 1, i32* %7
br label %90
90: ; preds = %143, %82
%91 = load i32, i32* %7
%92 = load i32, i32* %6
%93 = sub nsw i32 %92, 1
%94 = icmp slt i32 %91, %93
br i1 %94, label %95, label %146
95: ; preds = %90
%96 = load double*, double** %5
%97 = load i32, i32* %7
%98 = sub nsw i32 %97, 1
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds double, double* %96, i64 %99
%101 = load double, double* %100
%102 = fcmp oeq double %101, 0.000000e+00
%103 = zext i1 %102 to i32
store i32 %103, i32* %11
%104 = load double*, double** %5
%105 = load i32, i32* %7
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds double, double* %104, i64 %106
%108 = load double, double* %107
%109 = fcmp oeq double %108, 1.000000e+00
%110 = zext i1 %109 to i32
store i32 %110, i32* %12
%111 = load double*, double** %5
%112 = load i32, i32* %7
%113 = add nsw i32 %112, 1
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds double, double* %111, i64 %114
%116 = load double, double* %115
%117 = fcmp oeq double %116, 0.000000e+00
%118 = zext i1 %117 to i32
store i32 %118, i32* %13
%119 = load i32, i32* %11
%120 = icmp ne i32 %119, 0
br i1 %120, label %121, label %130
121: ; preds = %95
%122 = load i32, i32* %12
%123 = icmp ne i32 %122, 0
br i1 %123, label %124, label %130
124: ; preds = %121
%125 = load double*, double** %4
%126 = load i32, i32* %7
%127 = sub nsw i32 %126, 1
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds double, double* %125, i64 %128
store double 1.000000e+00, double* %129
br label %130
130: ; preds = %124, %121, %95
%131 = load i32, i32* %12
%132 = icmp ne i32 %131, 0
br i1 %132, label %133, label %142
133: ; preds = %130
%134 = load i32, i32* %13
%135 = icmp ne i32 %134, 0
br i1 %135, label %136, label %142
136: ; preds = %133
%137 = load double*, double** %4
%138 = load i32, i32* %7
%139 = add nsw i32 %138, 1
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds double, double* %137, i64 %140
store double 1.000000e+00, double* %141
br label %142
142: ; preds = %136, %133, %130
br label %143
143: ; preds = %142
%144 = load i32, i32* %7
%145 = add nsw i32 %144, 1
store i32 %145, i32* %7
br label %90
146: ; preds = %90
ret void
}

LLVM IR (-O2):
define void @erosionImpl(double* %0, double* %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %110
5: ; preds = %3
%6 = bitcast double* %1 to i8*
%7 = zext i32 %2 to i64
%8 = shl nuw nsw i64 %7, 3
%9 = add nsw i32 %2, -1
%10 = icmp ugt i32 %2, 2
br i1 %10, label %11, label %110
11: ; preds = %5
%12 = zext i32 %9 to i64
%13 = add nsw i64 %12, -1
%14 = icmp ult i64 %13, 2
br i1 %14, label %61, label %15
15: ; preds = %11
%16 = getelementptr double, double* %1, i64 1
%17 = getelementptr double, double* %1, i64 %12
%18 = add nuw nsw i64 %12, 1
%19 = getelementptr double, double* %0, i64 %18
%20 = icmp ult double* %16, %19
%21 = icmp ugt double* %17, %0
%22 = and i1 %20, %21
br i1 %22, label %61, label %23
23: ; preds = %15
%24 = and i64 %13, -2
%25 = or i64 %13, 1
br label %26
26: ; preds = %56, %23
%27 = phi i64 [ 0, %23 ], [ %57, %56 ]
%28 = or i64 %27, 1
%29 = add i64 %27, 2
%30 = getelementptr inbounds double, double* %0, i64 %28
%31 = bitcast double* %30 to <2 x double>*
%32 = load <2 x double>, <2 x double>* %31
%33 = getelementptr inbounds double, double* %1, i64 %28
%34 = bitcast double* %33 to <2 x double>*
store <2 x double> %32, <2 x double>* %34
%35 = getelementptr inbounds double, double* %0, i64 %27
%36 = bitcast double* %35 to <2 x double>*
%37 = load <2 x double>, <2 x double>* %36
%38 = fcmp oeq <2 x double> %37, zeroinitializer
%39 = bitcast double* %30 to <2 x double>*
%40 = load <2 x double>, <2 x double>* %39
%41 = fcmp oeq <2 x double> %40, <double 1.000000e+00, double 1.000000e+00>
%42 = add i64 %27, 2
%43 = getelementptr inbounds double, double* %0, i64 %42
%44 = bitcast double* %43 to <2 x double>*
%45 = load <2 x double>, <2 x double>* %44
%46 = fcmp oeq <2 x double> %45, zeroinitializer
%47 = select <2 x i1> %38, <2 x i1> %41, <2 x i1> zeroinitializer
%48 = select <2 x i1> %47, <2 x i1> %46, <2 x i1> zeroinitializer
%49 = extractelement <2 x i1> %48, i64 0
br i1 %49, label %50, label %52
50: ; preds = %26
%51 = getelementptr inbounds double, double* %1, i64 %28
store double 0.000000e+00, double* %51
br label %52
52: ; preds = %50, %26
%53 = extractelement <2 x i1> %48, i64 1
br i1 %53, label %54, label %56
54: ; preds = %52
%55 = getelementptr inbounds double, double* %1, i64 %29
store double 0.000000e+00, double* %55
br label %56
56: ; preds = %54, %52
%57 = add nuw i64 %27, 2
%58 = icmp eq i64 %57, %24
br i1 %58, label %59, label %26
59: ; preds = %56
%60 = icmp eq i64 %13, %24
br i1 %60, label %83, label %61
61: ; preds = %15, %11, %59
%62 = phi i64 [ 1, %15 ], [ 1, %11 ], [ %25, %59 ]
br label %63
63: ; preds = %61, %81
%64 = phi i64 [ %74, %81 ], [ %62, %61 ]
%65 = getelementptr inbounds double, double* %0, i64 %64
%66 = load double, double* %65
%67 = getelementptr inbounds double, double* %1, i64 %64
store double %66, double* %67
%68 = add nsw i64 %64, -1
%69 = getelementptr inbounds double, double* %0, i64 %68
%70 = load double, double* %69
%71 = fcmp oeq double %70, 0.000000e+00
%72 = load double, double* %65
%73 = fcmp oeq double %72, 1.000000e+00
%74 = add nuw nsw i64 %64, 1
%75 = getelementptr inbounds double, double* %0, i64 %74
%76 = load double, double* %75
%77 = fcmp oeq double %76, 0.000000e+00
%78 = select i1 %71, i1 %73, i1 false
%79 = select i1 %78, i1 %77, i1 false
br i1 %79, label %80, label %81
80: ; preds = %63
store double 0.000000e+00, double* %67
br label %81
81: ; preds = %80, %63
%82 = icmp eq i64 %74, %12
br i1 %82, label %83, label %63
83: ; preds = %81, %59
%84 = shl i32 %2, 3
%85 = tail call i32 @memcpy(double* %0, double* %1, i32 %84)
br i1 %10, label %86, label %113
86: ; preds = %83
%87 = zext i32 %9 to i64
br label %88
88: ; preds = %86, %108
%89 = phi i64 [ 1, %86 ], [ %97, %108 ]
%90 = add nsw i64 %89, -1
%91 = getelementptr inbounds double, double* %1, i64 %90
%92 = load double, double* %91
%93 = fcmp oeq double %92, 0.000000e+00
%94 = getelementptr inbounds double, double* %1, i64 %89
%95 = load double, double* %94
%96 = fcmp oeq double %95, 1.000000e+00
%97 = add nuw nsw i64 %89, 1
%98 = getelementptr inbounds double, double* %1, i64 %97
%99 = load double, double* %98
%100 = fcmp oeq double %99, 0.000000e+00
%101 = select i1 %93, i1 %96, i1 false
br i1 %101, label %102, label %104
102: ; preds = %88
%103 = getelementptr inbounds double, double* %0, i64 %90
store double 1.000000e+00, double* %103
br label %104
104: ; preds = %102, %88
%105 = select i1 %96, i1 %100, i1 false
br i1 %105, label %106, label %108
106: ; preds = %104
%107 = getelementptr inbounds double, double* %0, i64 %97
store double 1.000000e+00, double* %107
br label %108
108: ; preds = %106, %104
%109 = icmp eq i64 %97, %87
br i1 %109, label %113, label %88
110: ; preds = %5, %3
%111 = shl i32 %2, 3
%112 = tail call i32 @memcpy(double* %0, double* %1, i32 %111)
br label %113
113: ; preds = %108, %110, %83
ret void
}