#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 mp_enorm(int n, double *x) {
  int i;
  double agiant, floatn, xabs;
  double s1 = 0.0;
  double s2 = 0.0;
  double s3 = 0.0;
  double x1max = 0.0;
  double x3max = 0.0;
  double ans, temp;
  floatn = n;
  agiant = 1.304e19 / floatn;
  for (i = 0; i < n; i++) {
    xabs = fabs(x[i]);
    if ((xabs > 3.834e-20) && (xabs < agiant)) {
      s2 += xabs * xabs;
      continue;
    }
    if (xabs > 3.834e-20) {
      if (xabs > x1max) {
        temp = x1max / xabs;
        s1 = 1.0 + s1 * temp * temp;
        x1max = xabs;
      } else {
        temp = xabs / x1max;
        s1 += temp * temp;
      }
      continue;
    }
    if (xabs > x3max) {
      temp = x3max / xabs;
      s3 = 1.0 + s3 * temp * temp;
      x3max = xabs;
    } else {
      if (xabs != 0.0) {
        temp = xabs / x3max;
        s3 += temp * temp;
      }
    }
  }
  if (s1 != 0.0) {
    temp = s1 + (s2 / x1max) / x1max;
    ans = x1max * sqrt(temp);
    return (ans);
  }
  if (s2 != 0.0) {
    if (s2 >= x3max)
      temp = s2 * (1.0 + (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):
<mp_enorm>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %edi,-0xc(%rbp)
mov    %rsi,-0x18(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x40(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x60(%rbp)
cvtsi2sdl -0xc(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xea4(%rip),%xmm0
divsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    132d <mp_enorm+0x21d>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movaps 0xe93(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  0xe6d(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11e2 <mp_enorm+0xd2>
movsd  -0x38(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11e2 <mp_enorm+0xd2>
movsd  -0x38(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm2
movsd  -0x48(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    131f <mp_enorm+0x20f>
movsd  -0x38(%rbp),%xmm0
movsd  0xe21(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    127b <mp_enorm+0x16b>
movsd  -0x38(%rbp),%xmm0
ucomisd -0x58(%rbp),%xmm0
jbe    124b <mp_enorm+0x13b>
movsd  -0x58(%rbp),%xmm0
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x40(%rbp),%xmm0
mulsd  -0x70(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xdd5(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    1276 <mp_enorm+0x166>
movsd  -0x38(%rbp),%xmm0
divsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    131f <mp_enorm+0x20f>
movsd  -0x38(%rbp),%xmm0
ucomisd -0x60(%rbp),%xmm0
jbe    12cd <mp_enorm+0x1bd>
movsd  -0x60(%rbp),%xmm0
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x50(%rbp),%xmm0
mulsd  -0x70(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd53(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
jmp    131a <mp_enorm+0x20a>
movsd  -0x38(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    12ea <mp_enorm+0x1da>
jp     12ea <mp_enorm+0x1da>
jmp    1315 <mp_enorm+0x205>
movsd  -0x38(%rbp),%xmm0
divsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    131a <mp_enorm+0x20a>
jmp    131f <mp_enorm+0x20f>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116d <mp_enorm+0x5d>
movsd  -0x40(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    134a <mp_enorm+0x23a>
jp     134a <mp_enorm+0x23a>
jmp    139b <mp_enorm+0x28b>
movsd  -0x40(%rbp),%xmm0
movsd  -0x48(%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    146c <mp_enorm+0x35c>
movsd  -0x48(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    13b8 <mp_enorm+0x2a8>
jp     13b8 <mp_enorm+0x2a8>
jmp    143d <mp_enorm+0x32d>
movsd  -0x48(%rbp),%xmm0
ucomisd -0x60(%rbp),%xmm0
jb     13ff <mp_enorm+0x2ef>
movsd  -0x48(%rbp),%xmm0
movsd  -0x60(%rbp),%xmm1
divsd  -0x48(%rbp),%xmm1
movsd  -0x60(%rbp),%xmm2
mulsd  -0x50(%rbp),%xmm2
mulsd  %xmm2,%xmm1
movsd  0xc1b(%rip),%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
jmp    1429 <mp_enorm+0x319>
movsd  -0x60(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
divsd  -0x60(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
movsd  -0x50(%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    1462 <mp_enorm+0x352>
movsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x50(%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):
<mp_enorm>:
sub    $0x18,%rsp
xorpd  %xmm8,%xmm8
xorpd  %xmm0,%xmm0
xorpd  %xmm7,%xmm7
test   %edi,%edi
jle    127a <mp_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 <mp_enorm+0x85>
cs nopw 0x0(%rax,%rax,1)
mulsd  %xmm2,%xmm2
addsd  %xmm2,%xmm3
add    $0x1,%rcx
cmp    %rcx,%rax
je     122c <mp_enorm+0x11c>
movsd  (%rsi,%rcx,8),%xmm2
movapd %xmm2,%xmm5
andpd  %xmm11,%xmm5
ucomisd %xmm12,%xmm5
jbe    11b0 <mp_enorm+0xa0>
ucomisd %xmm5,%xmm4
ja     1180 <mp_enorm+0x70>
ucomisd %xmm12,%xmm5
jbe    11e0 <mp_enorm+0xd0>
ucomisd %xmm6,%xmm5
jbe    11fd <mp_enorm+0xed>
divsd  %xmm5,%xmm6
mulsd  %xmm6,%xmm1
mulsd  %xmm6,%xmm1
addsd  %xmm10,%xmm1
movapd %xmm5,%xmm6
jmp    1188 <mp_enorm+0x78>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
ucomisd %xmm7,%xmm5
jbe    120e <mp_enorm+0xfe>
divsd  %xmm5,%xmm7
mulsd  %xmm7,%xmm0
mulsd  %xmm7,%xmm0
addsd  %xmm10,%xmm0
movapd %xmm5,%xmm7
jmp    1188 <mp_enorm+0x78>
divsd  %xmm6,%xmm5
mulsd  %xmm5,%xmm5
addsd  %xmm5,%xmm1
jmp    1188 <mp_enorm+0x78>
ucomisd %xmm9,%xmm2
jne    121b <mp_enorm+0x10b>
jnp    1188 <mp_enorm+0x78>
divsd  %xmm7,%xmm5
mulsd  %xmm5,%xmm5
addsd  %xmm5,%xmm0
jmp    1188 <mp_enorm+0x78>
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
jne    1238 <mp_enorm+0x128>
jnp    125a <mp_enorm+0x14a>
divsd  %xmm6,%xmm3
divsd  %xmm6,%xmm3
addsd  %xmm3,%xmm1
ucomisd %xmm2,%xmm1
jb     12a0 <mp_enorm+0x190>
xorps  %xmm0,%xmm0
sqrtsd %xmm1,%xmm0
mulsd  %xmm0,%xmm6
jmp    12e2 <mp_enorm+0x1d2>
ucomisd %xmm2,%xmm3
jne    1262 <mp_enorm+0x152>
jnp    127a <mp_enorm+0x16a>
ucomisd %xmm7,%xmm3
jae    12b9 <mp_enorm+0x1a9>
divsd  %xmm7,%xmm3
mulsd  %xmm7,%xmm0
addsd  %xmm3,%xmm0
mulsd  %xmm0,%xmm7
jmp    12d1 <mp_enorm+0x1c1>
ucomisd %xmm8,%xmm0
jb     1287 <mp_enorm+0x177>
sqrtsd %xmm0,%xmm0
jmp    1296 <mp_enorm+0x186>
movapd %xmm7,(%rsp)
call   1030 <sqrt@plt>
movapd (%rsp),%xmm7
mulsd  %xmm0,%xmm7
movapd %xmm7,%xmm6
jmp    12e2 <mp_enorm+0x1d2>
movapd %xmm1,%xmm0
movsd  %xmm6,(%rsp)
call   1030 <sqrt@plt>
movsd  (%rsp),%xmm6
mulsd  %xmm0,%xmm6
jmp    12e2 <mp_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 <mp_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):
define double @mp_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
store double 0.000000e+00, double* %10
store double 0.000000e+00, double* %11
store double 0.000000e+00, double* %12
store double 0.000000e+00, double* %13
store double 0.000000e+00, double* %14
%17 = load i32, i32* %4
%18 = sitofp i32 %17 to double
store double %18, double* %8
%19 = load double, double* %8
%20 = fdiv double 1.304000e+19, %19
store double %20, double* %7
store i32 0, i32* %6
br label %21
21: ; preds = %96, %2
%22 = load i32, i32* %6
%23 = load i32, i32* %4
%24 = icmp slt i32 %22, %23
br i1 %24, label %25, label %99
25: ; preds = %21
%26 = load double*, double** %5
%27 = load i32, i32* %6
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds double, double* %26, i64 %28
%30 = load double, double* %29
%31 = call double @llvm.fabs.f64(double %30)
store double %31, double* %9
%32 = load double, double* %9
%33 = fcmp ogt double %32, 3.834000e-20
br i1 %33, label %34, label %43
34: ; preds = %25
%35 = load double, double* %9
%36 = load double, double* %7
%37 = fcmp olt double %35, %36
br i1 %37, label %38, label %43
38: ; preds = %34
%39 = load double, double* %9
%40 = load double, double* %9
%41 = load double, double* %11
%42 = call double @llvm.fmuladd.f64(double %39, double %40, double %41)
store double %42, double* %11
br label %96
43: ; preds = %34, %25
%44 = load double, double* %9
%45 = fcmp ogt double %44, 3.834000e-20
br i1 %45, label %46, label %69
46: ; preds = %43
%47 = load double, double* %9
%48 = load double, double* %13
%49 = fcmp ogt double %47, %48
br i1 %49, label %50, label %60
50: ; preds = %46
%51 = load double, double* %13
%52 = load double, double* %9
%53 = fdiv double %51, %52
store double %53, double* %16
%54 = load double, double* %10
%55 = load double, double* %16
%56 = fmul double %54, %55
%57 = load double, double* %16
%58 = call double @llvm.fmuladd.f64(double %56, double %57, double 1.000000e+00)
store double %58, double* %10
%59 = load double, double* %9
store double %59, double* %13
br label %68
60: ; preds = %46
%61 = load double, double* %9
%62 = load double, double* %13
%63 = fdiv double %61, %62
store double %63, double* %16
%64 = load double, double* %16
%65 = load double, double* %16
%66 = load double, double* %10
%67 = call double @llvm.fmuladd.f64(double %64, double %65, double %66)
store double %67, double* %10
br label %68
68: ; preds = %60, %50
br label %96
69: ; preds = %43
%70 = load double, double* %9
%71 = load double, double* %14
%72 = fcmp ogt double %70, %71
br i1 %72, label %73, label %83
73: ; preds = %69
%74 = load double, double* %14
%75 = load double, double* %9
%76 = fdiv double %74, %75
store double %76, double* %16
%77 = load double, double* %12
%78 = load double, double* %16
%79 = fmul double %77, %78
%80 = load double, double* %16
%81 = call double @llvm.fmuladd.f64(double %79, double %80, double 1.000000e+00)
store double %81, double* %12
%82 = load double, double* %9
store double %82, double* %14
br label %95
83: ; preds = %69
%84 = load double, double* %9
%85 = fcmp une double %84, 0.000000e+00
br i1 %85, label %86, label %94
86: ; preds = %83
%87 = load double, double* %9
%88 = load double, double* %14
%89 = fdiv double %87, %88
store double %89, double* %16
%90 = load double, double* %16
%91 = load double, double* %16
%92 = load double, double* %12
%93 = call double @llvm.fmuladd.f64(double %90, double %91, double %92)
store double %93, double* %12
br label %94
94: ; preds = %86, %83
br label %95
95: ; preds = %94, %73
br label %96
96: ; preds = %95, %68, %38
%97 = load i32, i32* %6
%98 = add nsw i32 %97, 1
store i32 %98, i32* %6
br label %21
99: ; preds = %21
%100 = load double, double* %10
%101 = fcmp une double %100, 0.000000e+00
br i1 %101, label %102, label %115
102: ; preds = %99
%103 = load double, double* %10
%104 = load double, double* %11
%105 = load double, double* %13
%106 = fdiv double %104, %105
%107 = load double, double* %13
%108 = fdiv double %106, %107
%109 = fadd double %103, %108
store double %109, double* %16
%110 = load double, double* %13
%111 = load double, double* %16
%112 = call double @sqrt(double %111)
%113 = fmul double %110, %112
store double %113, double* %15
%114 = load double, double* %15
store double %114, double* %3
br label %151
115: ; preds = %99
%116 = load double, double* %11
%117 = fcmp une double %116, 0.000000e+00
br i1 %117, label %118, label %144
118: ; preds = %115
%119 = load double, double* %11
%120 = load double, double* %14
%121 = fcmp oge double %119, %120
br i1 %121, label %122, label %132
122: ; preds = %118
%123 = load double, double* %11
%124 = load double, double* %14
%125 = load double, double* %11
%126 = fdiv double %124, %125
%127 = load double, double* %14
%128 = load double, double* %12
%129 = fmul double %127, %128
%130 = call double @llvm.fmuladd.f64(double %126, double %129, double 1.000000e+00)
%131 = fmul double %123, %130
store double %131, double* %16
br label %141
132: ; preds = %118
%133 = load double, double* %14
%134 = load double, double* %11
%135 = load double, double* %14
%136 = fdiv double %134, %135
%137 = load double, double* %14
%138 = load double, double* %12
%139 = call double @llvm.fmuladd.f64(double %137, double %138, double %136)
%140 = fmul double %133, %139
store double %140, double* %16
br label %141
141: ; preds = %132, %122
%142 = load double, double* %16
%143 = call double @sqrt(double %142)
store double %143, double* %15
br label %149
144: ; preds = %115
%145 = load double, double* %14
%146 = load double, double* %12
%147 = call double @sqrt(double %146)
%148 = fmul double %145, %147
store double %148, double* %15
br label %149
149: ; preds = %144, %141
%150 = load double, double* %15
store double %150, double* %3
br label %151
151: ; preds = %149, %102
%152 = load double, double* %3
ret double %152
}

LLVM IR (-O2):
define double @mp_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
}