#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 long time_t;

/* Variables and functions */
long J2000totime(double);
double SiderealTime(double);
double acos(double);
double cos(double);
int modpi2(double);
double sin(double);
double timetoJ2000(long);
int rise_set(time_t ttime, double ra, double dec, int site, time_t *rise,
             time_t *transit, time_t *setting, double *sid_rise,
             double *sid_transit, double *sid_setting, int *flags, double lon,
             double lat, double elev) {
  double ha, cosha, lmst, lstrise, lstset, t0, riset0, transt0, sett0;
  int visible, thru0;
  long ha_rise, ha_set;
  time_t sid;
  cosha = (sin(elev) - sin(dec) * sin(lat)) / (cos(dec) * cos(lat));
  if (cosha < -1.0) {
    *flags = 1;
    ha = 0;
  } else if (cosha > 1.0) {
    *flags = -1;
    ha = 0;
  } else {
    *flags = 0;
    ha = acos(cosha);
  }
  lstrise = modpi2(ra - ha + 6.2831853071795865);
  lstset = modpi2(ra + ha);
  thru0 = lstrise > lstset;
  t0 = timetoJ2000(ttime);
  lmst = modpi2(SiderealTime(t0) - lon + 6.2831853071795865);
  if (thru0) {
    visible = (lmst > lstrise) || (lmst < lstset);
  } else {
    visible = (lmst > lstrise) && (lmst < lstset);
  }
  sett0 = (1 / 6.2831853071795865 / 1.0027379093508056 / 36525) *
              modpi2(lstset - lmst + 6.2831853071795865) +
          t0;
  transt0 = sett0 - (1 / 6.2831853071795865 / 1.0027379093508056 / 36525) * ha;
  riset0 =
      sett0 - 2 * (1 / 6.2831853071795865 / 1.0027379093508056 / 36525) * ha;
  *sid_rise = lstrise;
  *sid_transit = lmst;
  *sid_setting = lstset;
  *rise = J2000totime(riset0);
  *transit = J2000totime(transt0);
  *setting = J2000totime(sett0);
  ha_rise = *rise - *transit;
  ha_set = *setting - *transit;
  return (visible);
}


x86 assembly (clang, -O0):
<rise_set>:
push   %rbp
mov    %rsp,%rbp
sub    $0xf0,%rsp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
mov    %esi,-0x1c(%rbp)
mov    %rdx,-0x28(%rbp)
mov    %rcx,-0x30(%rbp)
mov    %r8,-0x38(%rbp)
mov    %r9,-0x40(%rbp)
movsd  %xmm2,-0x48(%rbp)
movsd  %xmm3,-0x50(%rbp)
movsd  %xmm4,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
call   1060 <sin@plt>
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1060 <sin@plt>
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
call   1060 <sin@plt>
movsd  -0xe0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xd8(%rbp),%xmm0
ff
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x18(%rbp),%xmm0
call   1080 <cos@plt>
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x50(%rbp),%xmm0
call   1080 <cos@plt>
movsd  -0xd0(%rbp),%xmm1
ff
movaps %xmm0,%xmm2
movsd  -0xc8(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  0xd9d(%rip),%xmm0
ucomisd -0x68(%rbp),%xmm0
jbe    1285 <rise_set+0x115>
mov    0x20(%rbp),%rax
movl   $0x1,(%rax)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x60(%rbp)
jmp    12d1 <rise_set+0x161>
movsd  -0x68(%rbp),%xmm0
movsd  0xd76(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    12b3 <rise_set+0x143>
mov    0x20(%rbp),%rax
movl   $0xffffffff,(%rax)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x60(%rbp)
jmp    12cc <rise_set+0x15c>
mov    0x20(%rbp),%rax
movl   $0x0,(%rax)
movsd  -0x68(%rbp),%xmm0
call   1050 <acos@plt>
movsd  %xmm0,-0x60(%rbp)
jmp    12d1 <rise_set+0x161>
movsd  -0x10(%rbp),%xmm0
subsd  -0x60(%rbp),%xmm0
movsd  0xd2d(%rip),%xmm1
addsd  %xmm1,%xmm0
call   1040 <modpi2@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x10(%rbp),%xmm0
addsd  -0x60(%rbp),%xmm0
call   1040 <modpi2@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x78(%rbp),%xmm0
ucomisd -0x80(%rbp),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0xa8(%rbp)
mov    -0x8(%rbp),%rdi
call   1090 <timetoJ2000@plt>
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x88(%rbp),%xmm0
ff
call   1070 <SiderealTime@plt>
subsd  -0x48(%rbp),%xmm0
movsd  0xcc0(%rip),%xmm1
addsd  %xmm1,%xmm0
call   1040 <modpi2@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x70(%rbp)
cmpl   $0x0,-0xa8(%rbp)
je     13b4 <rise_set+0x244>
movsd  -0x70(%rbp),%xmm0
mov    $0x1,%al
ucomisd -0x78(%rbp),%xmm0
mov    %al,-0xe1(%rbp)
ja     139e <rise_set+0x22e>
movsd  -0x70(%rbp),%xmm1
movsd  -0x80(%rbp),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0xe1(%rbp)
mov    -0xe1(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0xa4(%rbp)
jmp    13f4 <rise_set+0x284>
movsd  -0x70(%rbp),%xmm0
xor    %eax,%eax
ucomisd -0x78(%rbp),%xmm0
mov    %al,-0xe2(%rbp)
jbe    13e3 <rise_set+0x273>
movsd  -0x70(%rbp),%xmm1
movsd  -0x80(%rbp),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0xe2(%rbp)
mov    -0xe2(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0xa4(%rbp)
movsd  -0x80(%rbp),%xmm0
subsd  -0x70(%rbp),%xmm0
movsd  0xc0a(%rip),%xmm1
addsd  %xmm1,%xmm0
call   1040 <modpi2@plt>
cvtsi2sd %eax,%xmm0
movsd  -0x88(%rbp),%xmm1
ff
movsd  0xc05(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0xa0(%rbp),%xmm1
ff
movsd  -0x60(%rbp),%xmm0
movsd  0xbd8(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0xa0(%rbp),%xmm1
ff
movsd  -0x60(%rbp),%xmm0
movsd  0xbab(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x78(%rbp),%xmm0
mov    -0x40(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x70(%rbp),%xmm0
mov    0x10(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x80(%rbp),%xmm0
mov    0x18(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x90(%rbp),%xmm0
ff
call   1030 <J2000totime@plt>
mov    %rax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
movsd  -0x98(%rbp),%xmm0
ff
call   1030 <J2000totime@plt>
mov    %rax,%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
movsd  -0xa0(%rbp),%xmm0
ff
call   1030 <J2000totime@plt>
mov    %rax,%rcx
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
mov    -0x30(%rbp),%rcx
sub    (%rcx),%rax
mov    %rax,-0xb0(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%rax
mov    -0x30(%rbp),%rcx
sub    (%rcx),%rax
mov    %rax,-0xb8(%rbp)
mov    -0xa4(%rbp),%eax
add    $0xf0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rise_set>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
movsd  %xmm3,0x20(%rsp)
movsd  %xmm2,0x30(%rsp)
mov    %r9,%r13
mov    %r8,%r14
mov    %rcx,%r15
mov    %rdx,%r12
movsd  %xmm1,0x8(%rsp)
movsd  %xmm0,0x18(%rsp)
mov    %rdi,%rbx
mov    0x80(%rsp),%rbp
movaps %xmm4,%xmm0
call   1060 <sin@plt>
movsd  %xmm0,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
call   1060 <sin@plt>
movsd  %xmm0,0x28(%rsp)
movsd  0x20(%rsp),%xmm0
call   1060 <sin@plt>
mulsd  0x28(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
call   1080 <cos@plt>
movsd  %xmm0,0x8(%rsp)
movsd  0x20(%rsp),%xmm0
call   1080 <cos@plt>
mulsd  0x8(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
divsd  %xmm0,%xmm1
movsd  0xddf(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    1234 <rise_set+0xc4>
movl   $0x1,0x0(%rbp)
xorpd  %xmm1,%xmm1
jmp    125f <rise_set+0xef>
movapd %xmm1,%xmm0
ucomisd 0xdc8(%rip),%xmm1
jbe    124f <rise_set+0xdf>
movl   $0xffffffff,0x0(%rbp)
xorpd  %xmm1,%xmm1
jmp    125f <rise_set+0xef>
movl   $0x0,0x0(%rbp)
call   1050 <acos@plt>
movapd %xmm0,%xmm1
movsd  %xmm1,0x20(%rsp)
mov    0x70(%rsp),%rbp
movsd  0x18(%rsp),%xmm0
subsd  %xmm1,%xmm0
addsd  0xd94(%rip),%xmm0
call   1040 <modpi2@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0x18(%rsp),%xmm0
addsd  0x20(%rsp),%xmm0
call   1040 <modpi2@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x18(%rsp)
mov    %rbx,%rdi
call   1090 <timetoJ2000@plt>
movsd  %xmm0,0x8(%rsp)
call   1070 <SiderealTime@plt>
subsd  0x30(%rsp),%xmm0
addsd  0xd43(%rip),%xmm0
call   1040 <modpi2@plt>
movsd  0x18(%rsp),%xmm0
movsd  0x10(%rsp),%xmm1
ucomisd %xmm0,%xmm1
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
jbe    12ff <rise_set+0x18f>
ucomisd %xmm1,%xmm0
seta   %cl
ucomisd 0x10(%rsp),%xmm1
seta   %al
or     %cl,%al
jmp    1311 <rise_set+0x1a1>
ucomisd %xmm1,%xmm0
seta   %cl
ucomisd 0x10(%rsp),%xmm1
seta   %al
and    %cl,%al
movzbl %al,%ebx
subsd  %xmm1,%xmm0
addsd  0xcf0(%rip),%xmm0
movsd  %xmm1,0x30(%rsp)
call   1040 <modpi2@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
mulsd  0xcde(%rip),%xmm1
addsd  0x8(%rsp),%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  0xcd2(%rip),%xmm2
movsd  0x20(%rsp),%xmm0
mulsd  %xmm0,%xmm2
addsd  %xmm1,%xmm2
movsd  %xmm2,0x28(%rsp)
mulsd  0xcbe(%rip),%xmm0
addsd  %xmm1,%xmm0
movsd  0x10(%rsp),%xmm1
movsd  %xmm1,0x0(%r13)
movsd  0x30(%rsp),%xmm1
movsd  %xmm1,0x0(%rbp)
mov    0x78(%rsp),%rax
movsd  0x18(%rsp),%xmm1
movsd  %xmm1,(%rax)
call   1030 <J2000totime@plt>
mov    %rax,(%r12)
movsd  0x28(%rsp),%xmm0
call   1030 <J2000totime@plt>
mov    %rax,(%r15)
movsd  0x8(%rsp),%xmm0
call   1030 <J2000totime@plt>
mov    %rax,(%r14)
mov    %ebx,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @rise_set(i64 %0, double %1, double %2, i32 %3, i64* nocapture writeonly %4, i64* nocapture writeonly %5, i64* nocapture writeonly %6, double* nocapture writeonly %7, double* nocapture writeonly %8, double* nocapture writeonly %9, i32* nocapture writeonly %10, double %11, double %12, double %13) {
%15 = tail call double @sin(double %13)
%16 = tail call double @sin(double %2)
%17 = tail call double @sin(double %12)
%18 = fneg double %16
%19 = tail call double @llvm.fmuladd.f64(double %18, double %17, double %15)
%20 = tail call double @cos(double %2)
%21 = tail call double @cos(double %12)
%22 = fmul double %20, %21
%23 = fdiv double %19, %22
%24 = fcmp olt double %23, -1.000000e+00
br i1 %24, label %25, label %26
25: ; preds = %14
store i32 1, i32* %10
br label %31
26: ; preds = %14
%27 = fcmp ogt double %23, 1.000000e+00
br i1 %27, label %28, label %29
28: ; preds = %26
store i32 -1, i32* %10
br label %31
29: ; preds = %26
store i32 0, i32* %10
%30 = tail call double @acos(double %23)
br label %31
31: ; preds = %28, %29, %25
%32 = phi double [ 0.000000e+00, %25 ], [ 0.000000e+00, %28 ], [ %30, %29 ]
%33 = fsub double %1, %32
%34 = fadd double %33, 0x401921FB54442D18
%35 = tail call i32 @modpi2(double %34)
%36 = sitofp i32 %35 to double
%37 = fadd double %32, %1
%38 = tail call i32 @modpi2(double %37)
%39 = sitofp i32 %38 to double
%40 = fcmp ogt double %36, %39
%41 = tail call double @timetoJ2000(i64 %0)
%42 = tail call double @SiderealTime(double %41)
%43 = fsub double %42, %11
%44 = fadd double %43, 0x401921FB54442D18
%45 = tail call i32 @modpi2(double %44)
%46 = sitofp i32 %45 to double
%47 = fcmp ogt double %46, %36
%48 = fcmp olt double %46, %39
br i1 %40, label %49, label %51
49: ; preds = %31
%50 = select i1 %47, i1 true, i1 %48
br label %53
51: ; preds = %31
%52 = select i1 %47, i1 %48, i1 false
br label %53
53: ; preds = %51, %49
%54 = phi i1 [ %50, %49 ], [ %52, %51 ]
%55 = zext i1 %54 to i32
%56 = fsub double %39, %46
%57 = fadd double %56, 0x401921FB54442D18
%58 = tail call i32 @modpi2(double %57)
%59 = sitofp i32 %58 to double
%60 = tail call double @llvm.fmuladd.f64(double %59, double 0x3ED239F96C0A2153, double %41)
%61 = tail call double @llvm.fmuladd.f64(double %32, double 0xBED239F96C0A2153, double %60)
%62 = tail call double @llvm.fmuladd.f64(double %32, double 0xBEE239F96C0A2153, double %60)
store double %36, double* %7
store double %46, double* %8
store double %39, double* %9
%63 = tail call i64 @J2000totime(double %62)
store i64 %63, i64* %4
%64 = tail call i64 @J2000totime(double %61)
store i64 %64, i64* %5
%65 = tail call i64 @J2000totime(double %60)
store i64 %65, i64* %6
ret i32 %55
}