#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 sqrt(double);
double enorm(double *x, int N) {
  double enrm;
  int i;
  double agiant, floatn, one, rdwarf, rgiant, s1, s2, s3, xabs, x1max, x3max,
      zero;
  one = 1.0;
  zero = 0.0;
  rdwarf = 3.834e-20;
  rgiant = 1.304e19;
  s1 = s2 = s3 = x1max = x3max = zero;
  floatn = N;
  agiant = rgiant / floatn;
  for (i = 0; i < N; ++i) {
    xabs = fabs(x[i]);
    if (xabs >= agiant) {
      if (xabs > x1max) {
        s1 = one + s1 * (x1max / xabs) * (x1max / xabs);
        x1max = xabs;
      } else {
        s1 = s1 + (xabs / x1max) * (xabs / x1max);
      }
    } else if (xabs <= rdwarf) {
      if (xabs > x3max) {
        s3 = one + s3 * (x3max / xabs) * (x3max / xabs);
        x3max = xabs;
      } else {
        if (xabs != zero) {
          s3 = s3 + (xabs / x3max) * (xabs / x3max);
        }
      }
    } else {
      s2 += xabs * xabs;
    }
  }
  if (s1 != zero) {
    enrm = x1max * sqrt(s1 + (s2 / x1max) / x1max);
  } else {
    if (s2 != zero) {
      if (s2 >= x3max) {
        enrm = sqrt(s2 * (one + (x3max / s2) * (x3max * s3)));
      }
      if (s2 < x3max) {
        enrm = sqrt(x3max * ((s2 / x3max) + (x3max * s3)));
      }
    } else {
      enrm = x3max * sqrt(s3);
    }
  }
  return enrm;
}


x86 assembly (clang, -O0):
<enorm>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movsd  0xee6(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  0xec9(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xeb4(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  %xmm0,-0x70(%rbp)
movsd  %xmm0,-0x60(%rbp)
movsd  %xmm0,-0x58(%rbp)
movsd  %xmm0,-0x50(%rbp)
cvtsi2sdl -0xc(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x48(%rbp),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1322 <enorm+0x212>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xe71(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
jb     1241 <enorm+0x131>
movsd  -0x68(%rbp),%xmm0
ucomisd -0x70(%rbp),%xmm0
jbe    1216 <enorm+0x106>
movsd  -0x38(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
divsd  -0x68(%rbp),%xmm2
mulsd  %xmm2,%xmm0
movsd  -0x70(%rbp),%xmm2
divsd  -0x68(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
jmp    123c <enorm+0x12c>
movsd  -0x50(%rbp),%xmm1
movsd  -0x68(%rbp),%xmm0
divsd  -0x70(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm2
divsd  -0x70(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    130f <enorm+0x1ff>
movsd  -0x68(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     12ee <enorm+0x1de>
movsd  -0x68(%rbp),%xmm0
ucomisd -0x78(%rbp),%xmm0
jbe    12a3 <enorm+0x193>
movsd  -0x38(%rbp),%xmm1
movsd  -0x60(%rbp),%xmm0
movsd  -0x78(%rbp),%xmm2
divsd  -0x68(%rbp),%xmm2
mulsd  %xmm2,%xmm0
movsd  -0x78(%rbp),%xmm2
divsd  -0x68(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
jmp    12e9 <enorm+0x1d9>
movsd  -0x68(%rbp),%xmm0
ucomisd -0x80(%rbp),%xmm0
jne    12be <enorm+0x1ae>
jp     12be <enorm+0x1ae>
jmp    12e4 <enorm+0x1d4>
movsd  -0x60(%rbp),%xmm1
movsd  -0x68(%rbp),%xmm0
divsd  -0x78(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm2
divsd  -0x78(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
jmp    12e9 <enorm+0x1d9>
jmp    130a <enorm+0x1fa>
movsd  -0x68(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm2
movsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    130f <enorm+0x1ff>
jmp    1314 <enorm+0x204>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    118f <enorm+0x7f>
movsd  -0x50(%rbp),%xmm0
ucomisd -0x80(%rbp),%xmm0
jne    133d <enorm+0x22d>
jp     133d <enorm+0x22d>
jmp    1380 <enorm+0x270>
movsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm1
divsd  -0x70(%rbp),%xmm1
divsd  -0x70(%rbp),%xmm1
addsd  %xmm1,%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x88(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    1457 <enorm+0x347>
movsd  -0x58(%rbp),%xmm0
ucomisd -0x80(%rbp),%xmm0
jne    139b <enorm+0x28b>
jp     139b <enorm+0x28b>
jmp    1427 <enorm+0x317>
movsd  -0x58(%rbp),%xmm0
ucomisd -0x78(%rbp),%xmm0
jb     13df <enorm+0x2cf>
movsd  -0x58(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm2
movsd  -0x78(%rbp),%xmm1
divsd  -0x58(%rbp),%xmm1
movsd  -0x78(%rbp),%xmm3
mulsd  -0x60(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
call   1030 <sqrt@plt>
movsd  %xmm0,-0x18(%rbp)
movsd  -0x58(%rbp),%xmm1
movsd  -0x78(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1422 <enorm+0x312>
movsd  -0x78(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
divsd  -0x78(%rbp),%xmm2
movsd  -0x78(%rbp),%xmm1
movsd  -0x60(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
call   1030 <sqrt@plt>
movsd  %xmm0,-0x18(%rbp)
jmp    1452 <enorm+0x342>
movsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x90(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    1457 <enorm+0x347>
movsd  -0x18(%rbp),%xmm0
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<enorm>:
sub    $0x38,%rsp
xorpd  %xmm8,%xmm8
xorpd  %xmm6,%xmm6
xorpd  %xmm5,%xmm5
test   %esi,%esi
jle    1295 <enorm+0x185>
cvtsi2sd %esi,%xmm0
movsd  0xecb(%rip),%xmm2
divsd  %xmm0,%xmm2
mov    %esi,%eax
xorpd  %xmm9,%xmm9
xor    %ecx,%ecx
movapd 0xed6(%rip),%xmm4
movsd  0xebd(%rip),%xmm11
movsd  0xeac(%rip),%xmm10
xorpd  %xmm5,%xmm5
xorpd  %xmm3,%xmm3
xorpd  %xmm6,%xmm6
xorpd  %xmm12,%xmm12
xorpd  %xmm0,%xmm0
jmp    1196 <enorm+0x86>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mulsd  %xmm1,%xmm1
addsd  %xmm1,%xmm12
add    $0x1,%rcx
cmp    %rcx,%rax
je     1218 <enorm+0x108>
movsd  (%rdi,%rcx,8),%xmm1
movapd %xmm1,%xmm7
andpd  %xmm4,%xmm7
ucomisd %xmm2,%xmm7
jae    11d0 <enorm+0xc0>
ucomisd %xmm7,%xmm11
jb     1180 <enorm+0x70>
ucomisd %xmm5,%xmm7
jbe    11fe <enorm+0xee>
divsd  %xmm7,%xmm5
mulsd  %xmm5,%xmm6
mulsd  %xmm5,%xmm6
addsd  %xmm10,%xmm6
movapd %xmm7,%xmm5
jmp    1189 <enorm+0x79>
nopl   (%rax)
ucomisd %xmm3,%xmm7
jbe    11f0 <enorm+0xe0>
divsd  %xmm7,%xmm3
mulsd  %xmm3,%xmm0
mulsd  %xmm3,%xmm0
addsd  %xmm10,%xmm0
movapd %xmm7,%xmm3
jmp    1189 <enorm+0x79>
nopl   (%rax)
divsd  %xmm3,%xmm7
mulsd  %xmm7,%xmm7
addsd  %xmm7,%xmm0
jmp    1189 <enorm+0x79>
ucomisd %xmm9,%xmm1
jne    1207 <enorm+0xf7>
jnp    1189 <enorm+0x79>
divsd  %xmm5,%xmm7
mulsd  %xmm7,%xmm7
addsd  %xmm7,%xmm6
jmp    1189 <enorm+0x79>
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1224 <enorm+0x114>
jnp    1246 <enorm+0x136>
divsd  %xmm3,%xmm12
divsd  %xmm3,%xmm12
addsd  %xmm12,%xmm0
ucomisd %xmm1,%xmm0
jb     12c4 <enorm+0x1b4>
sqrtsd %xmm0,%xmm0
jmp    12d5 <enorm+0x1c5>
ucomisd %xmm1,%xmm12
jne    124f <enorm+0x13f>
jnp    1295 <enorm+0x185>
ucomisd %xmm5,%xmm12
jb     1289 <enorm+0x179>
movapd %xmm5,%xmm1
divsd  %xmm12,%xmm1
movapd %xmm6,%xmm0
mulsd  %xmm5,%xmm0
mulsd  %xmm1,%xmm0
addsd  0xd95(%rip),%xmm0
mulsd  %xmm12,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     12e2 <enorm+0x1d2>
xorps  %xmm3,%xmm3
sqrtsd %xmm0,%xmm3
ucomisd %xmm12,%xmm5
jbe    12d9 <enorm+0x1c9>
jmp    1318 <enorm+0x208>
ucomisd %xmm8,%xmm6
jb     12a5 <enorm+0x195>
xorps  %xmm0,%xmm0
sqrtsd %xmm6,%xmm0
jmp    12ba <enorm+0x1aa>
movapd %xmm6,%xmm0
movsd  %xmm5,0x8(%rsp)
call   1030 <sqrt@plt>
movsd  0x8(%rsp),%xmm5
mulsd  %xmm0,%xmm5
movapd %xmm5,%xmm3
jmp    12d9 <enorm+0x1c9>
movsd  %xmm3,0x8(%rsp)
call   1030 <sqrt@plt>
movsd  0x8(%rsp),%xmm3
mulsd  %xmm0,%xmm3
movapd %xmm3,%xmm0
add    $0x38,%rsp
ret
movsd  %xmm5,0x8(%rsp)
movapd %xmm6,0x20(%rsp)
movapd %xmm12,0x10(%rsp)
call   1030 <sqrt@plt>
movapd 0x10(%rsp),%xmm12
movapd 0x20(%rsp),%xmm6
movsd  0x8(%rsp),%xmm5
movapd %xmm0,%xmm3
ucomisd %xmm12,%xmm5
jbe    12d9 <enorm+0x1c9>
divsd  %xmm5,%xmm12
mulsd  %xmm5,%xmm6
addsd  %xmm12,%xmm6
mulsd  %xmm5,%xmm6
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm6
jb     133d <enorm+0x22d>
xorps  %xmm3,%xmm3
sqrtsd %xmm6,%xmm3
jmp    12d9 <enorm+0x1c9>
movapd %xmm6,%xmm0
add    $0x38,%rsp
jmp    1030 <sqrt@plt>

LLVM IR (-O0):
define double @enorm(double* %0, i32 %1) {
%3 = alloca double*
%4 = alloca i32
%5 = alloca double
%6 = alloca i32
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
store double* %0, double** %3
store i32 %1, i32* %4
store double 1.000000e+00, double* %9
store double 0.000000e+00, double* %18
store double 3.834000e-20, double* %10
store double 1.304000e+19, double* %11
%19 = load double, double* %18
store double %19, double* %17
store double %19, double* %16
store double %19, double* %14
store double %19, double* %13
store double %19, double* %12
%20 = load i32, i32* %4
%21 = sitofp i32 %20 to double
store double %21, double* %8
%22 = load double, double* %11
%23 = load double, double* %8
%24 = fdiv double %22, %23
store double %24, double* %7
store i32 0, i32* %6
br label %25
25: ; preds = %107, %2
%26 = load i32, i32* %6
%27 = load i32, i32* %4
%28 = icmp slt i32 %26, %27
br i1 %28, label %29, label %110
29: ; preds = %25
%30 = load double*, double** %3
%31 = load i32, i32* %6
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds double, double* %30, i64 %32
%34 = load double, double* %33
%35 = call double @llvm.fabs.f64(double %34)
store double %35, double* %15
%36 = load double, double* %15
%37 = load double, double* %7
%38 = fcmp oge double %36, %37
br i1 %38, label %39, label %65
39: ; preds = %29
%40 = load double, double* %15
%41 = load double, double* %16
%42 = fcmp ogt double %40, %41
br i1 %42, label %43, label %55
43: ; preds = %39
%44 = load double, double* %9
%45 = load double, double* %12
%46 = load double, double* %16
%47 = load double, double* %15
%48 = fdiv double %46, %47
%49 = fmul double %45, %48
%50 = load double, double* %16
%51 = load double, double* %15
%52 = fdiv double %50, %51
%53 = call double @llvm.fmuladd.f64(double %49, double %52, double %44)
store double %53, double* %12
%54 = load double, double* %15
store double %54, double* %16
br label %64
55: ; preds = %39
%56 = load double, double* %12
%57 = load double, double* %15
%58 = load double, double* %16
%59 = fdiv double %57, %58
%60 = load double, double* %15
%61 = load double, double* %16
%62 = fdiv double %60, %61
%63 = call double @llvm.fmuladd.f64(double %59, double %62, double %56)
store double %63, double* %12
br label %64
64: ; preds = %55, %43
br label %106
65: ; preds = %29
%66 = load double, double* %15
%67 = load double, double* %10
%68 = fcmp ole double %66, %67
br i1 %68, label %69, label %100
69: ; preds = %65
%70 = load double, double* %15
%71 = load double, double* %17
%72 = fcmp ogt double %70, %71
br i1 %72, label %73, label %85
73: ; preds = %69
%74 = load double, double* %9
%75 = load double, double* %14
%76 = load double, double* %17
%77 = load double, double* %15
%78 = fdiv double %76, %77
%79 = fmul double %75, %78
%80 = load double, double* %17
%81 = load double, double* %15
%82 = fdiv double %80, %81
%83 = call double @llvm.fmuladd.f64(double %79, double %82, double %74)
store double %83, double* %14
%84 = load double, double* %15
store double %84, double* %17
br label %99
85: ; preds = %69
%86 = load double, double* %15
%87 = load double, double* %18
%88 = fcmp une double %86, %87
br i1 %88, label %89, label %98
89: ; preds = %85
%90 = load double, double* %14
%91 = load double, double* %15
%92 = load double, double* %17
%93 = fdiv double %91, %92
%94 = load double, double* %15
%95 = load double, double* %17
%96 = fdiv double %94, %95
%97 = call double @llvm.fmuladd.f64(double %93, double %96, double %90)
store double %97, double* %14
br label %98
98: ; preds = %89, %85
br label %99
99: ; preds = %98, %73
br label %105
100: ; preds = %65
%101 = load double, double* %15
%102 = load double, double* %15
%103 = load double, double* %13
%104 = call double @llvm.fmuladd.f64(double %101, double %102, double %103)
store double %104, double* %13
br label %105
105: ; preds = %100, %99
br label %106
106: ; preds = %105, %64
br label %107
107: ; preds = %106
%108 = load i32, i32* %6
%109 = add nsw i32 %108, 1
store i32 %109, i32* %6
br label %25
110: ; preds = %25
%111 = load double, double* %12
%112 = load double, double* %18
%113 = fcmp une double %111, %112
br i1 %113, label %114, label %125
114: ; preds = %110
%115 = load double, double* %16
%116 = load double, double* %12
%117 = load double, double* %13
%118 = load double, double* %16
%119 = fdiv double %117, %118
%120 = load double, double* %16
%121 = fdiv double %119, %120
%122 = fadd double %116, %121
%123 = call double @sqrt(double %122)
%124 = fmul double %115, %123
store double %124, double* %5
br label %166
125: ; preds = %110
%126 = load double, double* %13
%127 = load double, double* %18
%128 = fcmp une double %126, %127
br i1 %128, label %129, label %160
129: ; preds = %125
%130 = load double, double* %13
%131 = load double, double* %17
%132 = fcmp oge double %130, %131
br i1 %132, label %133, label %145
133: ; preds = %129
%134 = load double, double* %13
%135 = load double, double* %9
%136 = load double, double* %17
%137 = load double, double* %13
%138 = fdiv double %136, %137
%139 = load double, double* %17
%140 = load double, double* %14
%141 = fmul double %139, %140
%142 = call double @llvm.fmuladd.f64(double %138, double %141, double %135)
%143 = fmul double %134, %142
%144 = call double @sqrt(double %143)
store double %144, double* %5
br label %145
145: ; preds = %133, %129
%146 = load double, double* %13
%147 = load double, double* %17
%148 = fcmp olt double %146, %147
br i1 %148, label %149, label %159
149: ; preds = %145
%150 = load double, double* %17
%151 = load double, double* %13
%152 = load double, double* %17
%153 = fdiv double %151, %152
%154 = load double, double* %17
%155 = load double, double* %14
%156 = call double @llvm.fmuladd.f64(double %154, double %155, double %153)
%157 = fmul double %150, %156
%158 = call double @sqrt(double %157)
store double %158, double* %5
br label %159
159: ; preds = %149, %145
br label %165
160: ; preds = %125
%161 = load double, double* %17
%162 = load double, double* %14
%163 = call double @sqrt(double %162)
%164 = fmul double %161, %163
store double %164, double* %5
br label %165
165: ; preds = %160, %159
br label %166
166: ; preds = %165, %114
%167 = load double, double* %5
ret double %167
}

LLVM IR (-O2):
define double @enorm(double* nocapture %0, i32 %1) {
%3 = sitofp i32 %1 to double
%4 = fdiv double 1.304000e+19, %3
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %77
6: ; preds = %2
%7 = zext i32 %1 to i64
br label %8
8: ; preds = %6, %43
%9 = phi i64 [ 0, %6 ], [ %49, %43 ]
%10 = phi double [ 0.000000e+00, %6 ], [ %48, %43 ]
%11 = phi double [ 0.000000e+00, %6 ], [ %47, %43 ]
%12 = phi double [ 0.000000e+00, %6 ], [ %46, %43 ]
%13 = phi double [ 0.000000e+00, %6 ], [ %45, %43 ]
%14 = phi double [ 0.000000e+00, %6 ], [ %44, %43 ]
%15 = getelementptr inbounds double, double* %0, i64 %9
%16 = load double, double* %15
%17 = tail call double @llvm.fabs.f64(double %16)
%18 = fcmp ult double %17, %4
br i1 %18, label %28, label %19
19: ; preds = %8
%20 = fcmp ogt double %17, %11
br i1 %20, label %21, label %25
21: ; preds = %19
%22 = fdiv double %11, %17
%23 = fmul double %14, %22
%24 = tail call double @llvm.fmuladd.f64(double %23, double %22, double 1.000000e+00)
br label %43
25: ; preds = %19
%26 = fdiv double %17, %11
%27 = tail call double @llvm.fmuladd.f64(double %26, double %26, double %14)
br label %43
28: ; preds = %8
%29 = fcmp ugt double %17, 3.834000e-20
br i1 %29, label %41, label %30
30: ; preds = %28
%31 = fcmp ogt double %17, %10
br i1 %31, label %32, label %36
32: ; preds = %30
%33 = fdiv double %10, %17
%34 = fmul double %12, %33
%35 = tail call double @llvm.fmuladd.f64(double %34, double %33, double 1.000000e+00)
br label %43
36: ; preds = %30
%37 = fcmp une double %16, 0.000000e+00
br i1 %37, label %38, label %43
38: ; preds = %36
%39 = fdiv double %17, %10
%40 = tail call double @llvm.fmuladd.f64(double %39, double %39, double %12)
br label %43
41: ; preds = %28
%42 = tail call double @llvm.fmuladd.f64(double %16, double %16, double %13)
br label %43
43: ; preds = %25, %21, %32, %38, %36, %41
%44 = phi double [ %24, %21 ], [ %27, %25 ], [ %14, %32 ], [ %14, %38 ], [ %14, %36 ], [ %14, %41 ]
%45 = phi double [ %13, %21 ], [ %13, %25 ], [ %13, %32 ], [ %13, %38 ], [ %13, %36 ], [ %42, %41 ]
%46 = phi double [ %12, %21 ], [ %12, %25 ], [ %35, %32 ], [ %40, %38 ], [ %12, %36 ], [ %12, %41 ]
%47 = phi double [ %17, %21 ], [ %11, %25 ], [ %11, %32 ], [ %11, %38 ], [ %11, %36 ], [ %11, %41 ]
%48 = phi double [ %10, %21 ], [ %10, %25 ], [ %17, %32 ], [ %10, %38 ], [ %10, %36 ], [ %10, %41 ]
%49 = add nuw nsw i64 %9, 1
%50 = icmp eq i64 %49, %7
br i1 %50, label %51, label %8
51: ; preds = %43
%52 = fcmp une double %44, 0.000000e+00
br i1 %52, label %53, label %59
53: ; preds = %51
%54 = fdiv double %45, %47
%55 = fdiv double %54, %47
%56 = fadd double %44, %55
%57 = tail call double @sqrt(double %56)
%58 = fmul double %47, %57
br label %82
59: ; preds = %51
%60 = fcmp une double %45, 0.000000e+00
br i1 %60, label %61, label %77
61: ; preds = %59
%62 = fcmp ult double %45, %48
br i1 %62, label %69, label %63
63: ; preds = %61
%64 = fdiv double %48, %45
%65 = fmul double %46, %48
%66 = tail call double @llvm.fmuladd.f64(double %64, double %65, double 1.000000e+00)
%67 = fmul double %45, %66
%68 = tail call double @sqrt(double %67)
br label %69
69: ; preds = %63, %61
%70 = phi double [ %68, %63 ], [ undef, %61 ]
%71 = fcmp olt double %45, %48
br i1 %71, label %72, label %82
72: ; preds = %69
%73 = fdiv double %45, %48
%74 = tail call double @llvm.fmuladd.f64(double %48, double %46, double %73)
%75 = fmul double %48, %74
%76 = tail call double @sqrt(double %75)
br label %82
77: ; preds = %2, %59
%78 = phi double [ %46, %59 ], [ 0.000000e+00, %2 ]
%79 = phi double [ %48, %59 ], [ 0.000000e+00, %2 ]
%80 = tail call double @sqrt(double %78)
%81 = fmul double %79, %80
br label %82
82: ; preds = %77, %72, %69, %53
%83 = phi double [ %58, %53 ], [ %76, %72 ], [ %70, %69 ], [ %81, %77 ]
ret double %83
}