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


x86 assembly (clang, -O0):
<enorm>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %edi,-0xc(%rbp)
mov    %rsi,-0x18(%rbp)
movsd  0x2f1e(%rip),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0x2f11(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0x2f04(%rip),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  0x2ef7(%rip),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0x2eea(%rip),%xmm0
movsd  %xmm0,-0x60(%rbp)
cvtsi2sdl -0xc(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0x2ebb(%rip),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    133f <enorm+0x22f>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xe5a(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
ucomisd 0x2e6c(%rip),%xmm0
jbe    11f7 <enorm+0xe7>
movsd  -0x50(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11f7 <enorm+0xe7>
movsd  -0x50(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    1331 <enorm+0x221>
movsd  -0x50(%rbp),%xmm0
ucomisd 0x2e24(%rip),%xmm0
jbe    128c <enorm+0x17c>
movsd  -0x50(%rbp),%xmm0
ucomisd -0x58(%rbp),%xmm0
jbe    125c <enorm+0x14c>
movsd  -0x58(%rbp),%xmm0
divsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0x2e07(%rip),%xmm1
movsd  -0x38(%rbp),%xmm0
mulsd  -0x70(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    1287 <enorm+0x177>
movsd  -0x50(%rbp),%xmm0
divsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
movsd  -0x38(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
jmp    1331 <enorm+0x221>
movsd  -0x50(%rbp),%xmm0
ucomisd -0x60(%rbp),%xmm0
jbe    12de <enorm+0x1ce>
movsd  -0x60(%rbp),%xmm0
divsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  0x2d85(%rip),%xmm1
movsd  -0x48(%rbp),%xmm0
mulsd  -0x70(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
jmp    132c <enorm+0x21c>
movsd  -0x50(%rbp),%xmm0
ucomisd 0x2d5d(%rip),%xmm0
jne    12fc <enorm+0x1ec>
jp     12fc <enorm+0x1ec>
jmp    1327 <enorm+0x217>
movsd  -0x50(%rbp),%xmm0
divsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
movsd  -0x48(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    132c <enorm+0x21c>
jmp    1331 <enorm+0x221>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1186 <enorm+0x76>
movsd  -0x38(%rbp),%xmm0
ucomisd 0x2cfc(%rip),%xmm0
jne    135d <enorm+0x24d>
jp     135d <enorm+0x24d>
jmp    13ae <enorm+0x29e>
movsd  -0x38(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm1
divsd  -0x58(%rbp),%xmm1
divsd  -0x58(%rbp),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x70(%rbp),%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x78(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1480 <enorm+0x370>
movsd  -0x40(%rbp),%xmm0
ucomisd 0x2c8d(%rip),%xmm0
jne    13cc <enorm+0x2bc>
jp     13cc <enorm+0x2bc>
jmp    1451 <enorm+0x341>
movsd  -0x40(%rbp),%xmm0
ucomisd -0x60(%rbp),%xmm0
jb     1413 <enorm+0x303>
movsd  -0x40(%rbp),%xmm0
movsd  0x2c4f(%rip),%xmm2
movsd  -0x60(%rbp),%xmm1
divsd  -0x40(%rbp),%xmm1
movsd  -0x60(%rbp),%xmm3
mulsd  -0x48(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
jmp    143d <enorm+0x32d>
movsd  -0x60(%rbp),%xmm0
movsd  -0x40(%rbp),%xmm2
divsd  -0x60(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
movsd  -0x48(%rbp),%xmm3
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
call   1030 <sqrt@plt>
movsd  %xmm0,-0x68(%rbp)
jmp    1476 <enorm+0x366>
movsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x48(%rbp),%xmm0
call   1030 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0x80(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<enorm>:
sub    $0x18,%rsp
xorpd  %xmm8,%xmm8
xorpd  %xmm0,%xmm0
xorpd  %xmm7,%xmm7
test   %edi,%edi
jle    127a <enorm+0x16a>
xorps  %xmm0,%xmm0
cvtsi2sd %edi,%xmm0
movsd  0xec8(%rip),%xmm4
divsd  %xmm0,%xmm4
mov    %edi,%eax
xorpd  %xmm9,%xmm9
xor    %ecx,%ecx
movapd 0xed2(%rip),%xmm11
movsd  0xeb1(%rip),%xmm12
movsd  0xeb0(%rip),%xmm10
xorpd  %xmm7,%xmm7
xorpd  %xmm6,%xmm6
xorpd  %xmm0,%xmm0
xorpd  %xmm3,%xmm3
xorpd  %xmm1,%xmm1
jmp    1195 <enorm+0x85>
cs nopw 0x0(%rax,%rax,1)
mulsd  %xmm2,%xmm2
addsd  %xmm2,%xmm3
add    $0x1,%rcx
cmp    %rcx,%rax
je     122c <enorm+0x11c>
movsd  (%rsi,%rcx,8),%xmm2
movapd %xmm2,%xmm5
andpd  %xmm11,%xmm5
ucomisd %xmm12,%xmm5
jbe    11b0 <enorm+0xa0>
ucomisd %xmm5,%xmm4
ja     1180 <enorm+0x70>
ucomisd %xmm12,%xmm5
jbe    11e0 <enorm+0xd0>
ucomisd %xmm6,%xmm5
jbe    11fd <enorm+0xed>
divsd  %xmm5,%xmm6
mulsd  %xmm6,%xmm1
mulsd  %xmm6,%xmm1
addsd  %xmm10,%xmm1
movapd %xmm5,%xmm6
jmp    1188 <enorm+0x78>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
ucomisd %xmm7,%xmm5
jbe    120e <enorm+0xfe>
divsd  %xmm5,%xmm7
mulsd  %xmm7,%xmm0
mulsd  %xmm7,%xmm0
addsd  %xmm10,%xmm0
movapd %xmm5,%xmm7
jmp    1188 <enorm+0x78>
divsd  %xmm6,%xmm5
mulsd  %xmm5,%xmm5
addsd  %xmm5,%xmm1
jmp    1188 <enorm+0x78>
ucomisd %xmm9,%xmm2
jne    121b <enorm+0x10b>
jnp    1188 <enorm+0x78>
divsd  %xmm7,%xmm5
mulsd  %xmm5,%xmm5
addsd  %xmm5,%xmm0
jmp    1188 <enorm+0x78>
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
jne    1238 <enorm+0x128>
jnp    125a <enorm+0x14a>
divsd  %xmm6,%xmm3
divsd  %xmm6,%xmm3
addsd  %xmm3,%xmm1
ucomisd %xmm2,%xmm1
jb     12a0 <enorm+0x190>
xorps  %xmm0,%xmm0
sqrtsd %xmm1,%xmm0
mulsd  %xmm0,%xmm6
jmp    12e2 <enorm+0x1d2>
ucomisd %xmm2,%xmm3
jne    1262 <enorm+0x152>
jnp    127a <enorm+0x16a>
ucomisd %xmm7,%xmm3
jae    12b9 <enorm+0x1a9>
divsd  %xmm7,%xmm3
mulsd  %xmm7,%xmm0
addsd  %xmm3,%xmm0
mulsd  %xmm0,%xmm7
jmp    12d1 <enorm+0x1c1>
ucomisd %xmm8,%xmm0
jb     1287 <enorm+0x177>
sqrtsd %xmm0,%xmm0
jmp    1296 <enorm+0x186>
movapd %xmm7,(%rsp)
call   1030 <sqrt@plt>
movapd (%rsp),%xmm7
mulsd  %xmm0,%xmm7
movapd %xmm7,%xmm6
jmp    12e2 <enorm+0x1d2>
movapd %xmm1,%xmm0
movsd  %xmm6,(%rsp)
call   1030 <sqrt@plt>
movsd  (%rsp),%xmm6
mulsd  %xmm0,%xmm6
jmp    12e2 <enorm+0x1d2>
mulsd  %xmm7,%xmm0
divsd  %xmm3,%xmm7
mulsd  %xmm0,%xmm7
addsd  0xd43(%rip),%xmm7
mulsd  %xmm3,%xmm7
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm7
jb     12eb <enorm+0x1db>
xorps  %xmm6,%xmm6
sqrtsd %xmm7,%xmm6
movapd %xmm6,%xmm0
add    $0x18,%rsp
ret
movapd %xmm7,%xmm0
add    $0x18,%rsp
jmp    1030 <sqrt@plt>

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

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