#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 */
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
scalar_t__ MAG_isNaN(double);
float fabs(float);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *, double, double, double,
                           double, ...);
void print_result_file(FILE *outf, double d, double i, double h, double x,
                       double y, double z, double f, double ddot, double idot,
                       double hdot, double xdot, double ydot, double zdot,
                       double fdot) {
  int ddeg, ideg;
  float dmin, imin;
  ddeg = (int)d;
  dmin = (d - (float)ddeg) * 60;
  if (ddeg != 0)
    dmin = fabs(dmin);
  ideg = (int)i;
  imin = (i - (float)ideg) * 60;
  if (ideg != 0)
    imin = fabs(imin);
  if (MAG_isNaN(d)) {
    if (MAG_isNaN(x))
      fprintf(outf,
              " NaN        %4dd %2.0fm  %8.1f      NaN      NaN %8.1f %8.1f",
              ideg, imin, h, z, f);
    else
      fprintf(outf, " NaN        %4dd %2.0fm  %8.1f %8.1f %8.1f %8.1f %8.1f",
              ideg, imin, h, x, y, z, f);
  } else
    fprintf(outf, " %4dd %2.0fm  %4dd %2.0fm  %8.1f %8.1f %8.1f %8.1f %8.1f",
            ddeg, dmin, ideg, imin, h, x, y, z, f);
  if (MAG_isNaN(ddot)) {
    if (MAG_isNaN(xdot))
      fprintf(outf,
              "      NaN  %7.1f     %8.1f      NaN      NaN %8.1f %8.1f\n",
              idot, hdot, zdot, fdot);
    else
      fprintf(outf, "      NaN  %7.1f     %8.1f %8.1f %8.1f %8.1f %8.1f\n",
              idot, hdot, xdot, ydot, zdot, fdot);
  } else
    fprintf(outf, " %7.1f   %7.1f     %8.1f %8.1f %8.1f %8.1f %8.1f\n", ddot,
            idot, hdot, xdot, ydot, zdot, fdot);
  return;
}


x86 assembly (clang, -O0):
<print_result_file>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movsd  0x38(%rbp),%xmm8
movsd  0x30(%rbp),%xmm8
movsd  0x28(%rbp),%xmm8
movsd  0x20(%rbp),%xmm8
movsd  0x18(%rbp),%xmm8
movsd  0x10(%rbp),%xmm8
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  %xmm3,-0x28(%rbp)
movsd  %xmm4,-0x30(%rbp)
movsd  %xmm5,-0x38(%rbp)
movsd  %xmm6,-0x40(%rbp)
movsd  %xmm7,-0x48(%rbp)
cvttsd2si -0x10(%rbp),%eax
mov    %eax,-0x4c(%rbp)
movsd  -0x10(%rbp),%xmm0
cvtsi2ssl -0x4c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
subsd  %xmm1,%xmm0
movsd  0xe56(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x54(%rbp)
cmpl   $0x0,-0x4c(%rbp)
je     11d0 <print_result_file+0xa0>
movss  -0x54(%rbp),%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x54(%rbp)
cvttsd2si -0x18(%rbp),%eax
mov    %eax,-0x50(%rbp)
movsd  -0x18(%rbp),%xmm0
cvtsi2ssl -0x50(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
subsd  %xmm1,%xmm0
movsd  0xe0e(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x58(%rbp)
cmpl   $0x0,-0x50(%rbp)
je     1218 <print_result_file+0xe8>
movss  -0x58(%rbp),%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x58(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1050 <MAG_isNaN@plt>
cmp    $0x0,%rax
je     12b2 <print_result_file+0x182>
movsd  -0x28(%rbp),%xmm0
call   1050 <MAG_isNaN@plt>
cmp    $0x0,%rax
je     1274 <print_result_file+0x144>
mov    -0x8(%rbp),%rdi
cvtsi2sdl -0x50(%rbp),%xmm0
movss  -0x58(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movsd  -0x20(%rbp),%xmm2
movsd  -0x38(%rbp),%xmm3
movsd  -0x40(%rbp),%xmm4
lea    0xda0(%rip),%rsi
mov    $0x5,%al
call   1040 <fprintf@plt>
jmp    12ad <print_result_file+0x17d>
mov    -0x8(%rbp),%rdi
cvtsi2sdl -0x50(%rbp),%xmm0
movss  -0x58(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movsd  -0x20(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
movsd  -0x30(%rbp),%xmm4
movsd  -0x38(%rbp),%xmm5
movsd  -0x40(%rbp),%xmm6
lea    0xd9f(%rip),%rsi
mov    $0x7,%al
call   1040 <fprintf@plt>
jmp    1300 <print_result_file+0x1d0>
mov    -0x8(%rbp),%rdi
cvtsi2sdl -0x4c(%rbp),%xmm0
movss  -0x54(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
cvtsi2sdl -0x50(%rbp),%xmm2
movss  -0x58(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
movsd  -0x20(%rbp),%xmm4
movsd  -0x28(%rbp),%xmm5
movsd  -0x30(%rbp),%xmm6
movsd  -0x38(%rbp),%xmm7
movsd  -0x40(%rbp),%xmm8
lea    0xd89(%rip),%rsi
movsd  %xmm8,(%rsp)
mov    $0x8,%al
call   1040 <fprintf@plt>
movsd  -0x48(%rbp),%xmm0
call   1050 <MAG_isNaN@plt>
cmp    $0x0,%rax
je     1388 <print_result_file+0x258>
movsd  0x20(%rbp),%xmm0
call   1050 <MAG_isNaN@plt>
cmp    $0x0,%rax
je     1353 <print_result_file+0x223>
mov    -0x8(%rbp),%rdi
movsd  0x10(%rbp),%xmm0
movsd  0x18(%rbp),%xmm1
movsd  0x30(%rbp),%xmm2
movsd  0x38(%rbp),%xmm3
lea    0xd6e(%rip),%rsi
mov    $0x4,%al
call   1040 <fprintf@plt>
jmp    1383 <print_result_file+0x253>
mov    -0x8(%rbp),%rdi
movsd  0x10(%rbp),%xmm0
movsd  0x18(%rbp),%xmm1
movsd  0x20(%rbp),%xmm2
movsd  0x28(%rbp),%xmm3
movsd  0x30(%rbp),%xmm4
movsd  0x38(%rbp),%xmm5
lea    0xd73(%rip),%rsi
mov    $0x6,%al
call   1040 <fprintf@plt>
jmp    13bd <print_result_file+0x28d>
mov    -0x8(%rbp),%rdi
movsd  -0x48(%rbp),%xmm0
movsd  0x10(%rbp),%xmm1
movsd  0x18(%rbp),%xmm2
movsd  0x20(%rbp),%xmm3
movsd  0x28(%rbp),%xmm4
movsd  0x30(%rbp),%xmm5
movsd  0x38(%rbp),%xmm6
lea    0xd6d(%rip),%rsi
mov    $0x7,%al
call   1040 <fprintf@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_result_file>:
push   %rbp
push   %rbx
sub    $0x98,%rsp
movsd  %xmm7,0x10(%rsp)
movsd  %xmm6,0x20(%rsp)
movsd  %xmm5,0x28(%rsp)
movsd  %xmm4,0x60(%rsp)
movsd  %xmm2,0x18(%rsp)
movaps %xmm0,%xmm2
mov    %rdi,%rbx
cvttsd2si %xmm1,%ebp
cvttpd2dq %xmm1,%xmm0
cvtdq2ps %xmm0,%xmm0
cvtss2sd %xmm0,%xmm0
subsd  %xmm0,%xmm1
mulsd  0xe98(%rip),%xmm1
xorps  %xmm0,%xmm0
cvtsd2ss %xmm1,%xmm0
test   %ebp,%ebp
movsd  %xmm3,0x50(%rsp)
je     1180 <print_result_file+0x60>
andps  0xe90(%rip),%xmm0
movaps %xmm0,0x70(%rsp)
movsd  0xd8(%rsp),%xmm0
movsd  %xmm0,0x48(%rsp)
movsd  0xd0(%rsp),%xmm0
movsd  %xmm0,0x40(%rsp)
movsd  0xc8(%rsp),%xmm0
movsd  %xmm0,0x68(%rsp)
movsd  0xc0(%rsp),%xmm0
movsd  %xmm0,0x58(%rsp)
movsd  0xb8(%rsp),%xmm0
movsd  %xmm0,0x38(%rsp)
movsd  0xb0(%rsp),%xmm0
movsd  %xmm0,0x30(%rsp)
movaps %xmm2,%xmm0
movaps %xmm2,0x80(%rsp)
call   1040 <MAG_isNaN@plt>
test   %rax,%rax
je     1240 <print_result_file+0x120>
movsd  0x50(%rsp),%xmm0
call   1040 <MAG_isNaN@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %ebp,%xmm0
movaps 0x70(%rsp),%xmm1
cvtss2sd %xmm1,%xmm1
test   %rax,%rax
je     12c4 <print_result_file+0x1a4>
lea    0xe01(%rip),%rsi
mov    %rbx,%rdi
movsd  0x18(%rsp),%xmm2
movsd  0x28(%rsp),%xmm3
movsd  0x20(%rsp),%xmm4
mov    $0x5,%al
call   1030 <fprintf@plt>
jmp    12f3 <print_result_file+0x1d3>
movapd 0x80(%rsp),%xmm1
cvttpd2dq %xmm1,%xmm0
cvtdq2ps %xmm0,%xmm0
cvtss2sd %xmm0,%xmm0
cvttsd2si %xmm1,%eax
subsd  %xmm0,%xmm1
mulsd  0xd9c(%rip),%xmm1
cvtsd2ss %xmm1,%xmm1
test   %eax,%eax
je     1273 <print_result_file+0x153>
andps  0xd9d(%rip),%xmm1
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
cvtss2sd %xmm1,%xmm1
xorps  %xmm2,%xmm2
cvtsi2sd %ebp,%xmm2
movaps 0x70(%rsp),%xmm3
cvtss2sd %xmm3,%xmm3
movsd  0x20(%rsp),%xmm4
movsd  %xmm4,(%rsp)
lea    0xdf4(%rip),%rsi
mov    %rbx,%rdi
movsd  0x18(%rsp),%xmm4
movsd  0x50(%rsp),%xmm5
movsd  0x60(%rsp),%xmm6
movsd  0x28(%rsp),%xmm7
mov    $0x8,%al
call   1030 <fprintf@plt>
jmp    12f3 <print_result_file+0x1d3>
lea    0xd92(%rip),%rsi
mov    %rbx,%rdi
movsd  0x18(%rsp),%xmm2
movsd  0x50(%rsp),%xmm3
movsd  0x60(%rsp),%xmm4
movsd  0x28(%rsp),%xmm5
movsd  0x20(%rsp),%xmm6
mov    $0x7,%al
call   1030 <fprintf@plt>
movsd  0x10(%rsp),%xmm0
call   1040 <MAG_isNaN@plt>
test   %rax,%rax
je     1345 <print_result_file+0x225>
movsd  0x58(%rsp),%xmm0
call   1040 <MAG_isNaN@plt>
test   %rax,%rax
je     1389 <print_result_file+0x269>
lea    0xdb3(%rip),%rsi
mov    %rbx,%rdi
movsd  0x30(%rsp),%xmm0
movsd  0x38(%rsp),%xmm1
movsd  0x40(%rsp),%xmm2
movsd  0x48(%rsp),%xmm3
mov    $0x4,%al
add    $0x98,%rsp
pop    %rbx
pop    %rbp
jmp    1030 <fprintf@plt>
lea    0xdef(%rip),%rsi
mov    %rbx,%rdi
movsd  0x10(%rsp),%xmm0
movsd  0x30(%rsp),%xmm1
movsd  0x38(%rsp),%xmm2
movsd  0x58(%rsp),%xmm3
movsd  0x68(%rsp),%xmm4
movsd  0x40(%rsp),%xmm5
movsd  0x48(%rsp),%xmm6
mov    $0x7,%al
add    $0x98,%rsp
pop    %rbx
pop    %rbp
jmp    1030 <fprintf@plt>
lea    0xd77(%rip),%rsi
mov    %rbx,%rdi
movsd  0x30(%rsp),%xmm0
movsd  0x38(%rsp),%xmm1
movsd  0x58(%rsp),%xmm2
movsd  0x68(%rsp),%xmm3
movsd  0x40(%rsp),%xmm4
movsd  0x48(%rsp),%xmm5
mov    $0x6,%al
add    $0x98,%rsp
pop    %rbx
pop    %rbp
jmp    1030 <fprintf@plt>

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

LLVM IR (-O2):
@.str = [61 x i8] c" NaN %4dd %2.0fm %8.1f NaN NaN %8.1f %8.1f\00"
@.str.1 = [55 x i8] c" NaN %4dd %2.0fm %8.1f %8.1f %8.1f %8.1f %8.1f\00"
@.str.2 = [57 x i8] c" %4dd %2.0fm %4dd %2.0fm %8.1f %8.1f %8.1f %8.1f %8.1f\00"
@.str.3 = [58 x i8] c" NaN %7.1f %8.1f NaN NaN %8.1f %8.1f\0A\00"
@.str.4 = [52 x i8] c" NaN %7.1f %8.1f %8.1f %8.1f %8.1f %8.1f\0A\00"
@.str.5 = [50 x i8] c" %7.1f %7.1f %8.1f %8.1f %8.1f %8.1f %8.1f\0A\00"
define void @print_result_file(i32* nocapture %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double %10, double %11, double %12, double %13, double %14) {
%16 = fptosi double %1 to i32
%17 = sitofp i32 %16 to float
%18 = fpext float %17 to double
%19 = fsub double %1, %18
%20 = fmul double %19, 6.000000e+01
%21 = fptrunc double %20 to float
%22 = fptosi double %2 to i32
%23 = sitofp i32 %22 to float
%24 = fpext float %23 to double
%25 = fsub double %2, %24
%26 = fmul double %25, 6.000000e+01
%27 = fptrunc double %26 to float
%28 = icmp eq i32 %22, 0
%29 = tail call float @llvm.fabs.f32(float %27)
%30 = select i1 %28, float %27, float %29
%31 = tail call i64 @MAG_isNaN(double %1)
%32 = icmp eq i64 %31, 0
br i1 %32, label %42, label %33
33: ; preds = %15
%34 = tail call i64 @MAG_isNaN(double %4)
%35 = icmp eq i64 %34, 0
%36 = sitofp i32 %22 to double
%37 = fpext float %30 to double
br i1 %35, label %40, label %38
38: ; preds = %33
%39 = tail call i32 (i32*, i8*, double, double, double, double, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str, i64 0, i64 0), double %36, double %37, double %3, double %6, double %7)
br label %51
40: ; preds = %33
%41 = tail call i32 (i32*, i8*, double, double, double, double, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.1, i64 0, i64 0), double %36, double %37, double %3, double %4, double %5, double %6, double %7)
br label %51
42: ; preds = %15
%43 = icmp eq i32 %16, 0
%44 = tail call float @llvm.fabs.f32(float %21)
%45 = select i1 %43, float %21, float %44
%46 = sitofp i32 %16 to double
%47 = fpext float %45 to double
%48 = sitofp i32 %22 to double
%49 = fpext float %30 to double
%50 = tail call i32 (i32*, i8*, double, double, double, double, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.2, i64 0, i64 0), double %46, double %47, double %48, double %49, double %3, double %4, double %5, double %6, double %7)
br label %51
51: ; preds = %38, %40, %42
%52 = tail call i64 @MAG_isNaN(double %8)
%53 = icmp eq i64 %52, 0
br i1 %53, label %61, label %54
54: ; preds = %51
%55 = tail call i64 @MAG_isNaN(double %11)
%56 = icmp eq i64 %55, 0
br i1 %56, label %59, label %57
57: ; preds = %54
%58 = tail call i32 (i32*, i8*, double, double, double, double, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.3, i64 0, i64 0), double %9, double %10, double %13, double %14)
br label %63
59: ; preds = %54
%60 = tail call i32 (i32*, i8*, double, double, double, double, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.4, i64 0, i64 0), double %9, double %10, double %11, double %12, double %13, double %14)
br label %63
61: ; preds = %51
%62 = tail call i32 (i32*, i8*, double, double, double, double, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.5, i64 0, i64 0), double %8, double %9, double %10, double %11, double %12, double %13, double %14)
br label %63
63: ; preds = %57, %59, %61
ret void
}