void tai2dt(date, time) double *date;
double *time;
{
  double dj, dt, tsec, tsec0;
  dj = dt2jd(*date, *time);
  dt = utdt(dj);
  tsec0 = dt2ts(*date, *time);
  tsec = tsec0 + dt;
  dj = ts2jd(tsec);
  dt = utdt(dj);
  tsec = tsec0 + dt + 32.184;
  ts2dt(tsec, date, time);
  return;
}


x86 assembly (clang, -O0):
<tai2dt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm1
mov    $0x2,%al
call   1040 <dt2jd@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
mov    $0x1,%al
call   1070 <utdt@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm1
mov    $0x2,%al
call   1050 <dt2ts@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
mov    $0x1,%al
call   1060 <ts2jd@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
mov    $0x1,%al
call   1070 <utdt@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x30(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  0xe00(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    $0x1,%al
call   1030 <ts2dt@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<tai2dt>:
push   %r14
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
movsd  (%rdi),%xmm0
movsd  (%rsi),%xmm1
mov    $0x2,%al
call   1040 <dt2jd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mov    $0x1,%al
call   1070 <utdt@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  (%rbx),%xmm0
movsd  (%r14),%xmm1
mov    $0x2,%al
call   1050 <dt2ts@plt>
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
movsd  %xmm1,0x10(%rsp)
movsd  0x8(%rsp),%xmm0
addsd  %xmm1,%xmm0
mov    $0x1,%al
call   1060 <ts2jd@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mov    $0x1,%al
call   1070 <utdt@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
addsd  0x10(%rsp),%xmm0
addsd  0xe28(%rip),%xmm0
mov    %rbx,%rdi
mov    %r14,%rsi
mov    $0x1,%al
add    $0x18,%rsp
pop    %rbx
pop    %r14
jmp    1030 <ts2dt@plt>

LLVM IR (-O0):
define void @tai2dt(double* %0, double* %1) {
%3 = alloca double*
%4 = alloca double*
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
store double* %0, double** %3
store double* %1, double** %4
%9 = load double*, double** %3
%10 = load double, double* %9
%11 = load double*, double** %4
%12 = load double, double* %11
%13 = call i32 (double, double, ...) bitcast (i32 (...)* @dt2jd to i32 (double, double, ...)*)(double %10, double %12)
%14 = sitofp i32 %13 to double
store double %14, double* %5
%15 = load double, double* %5
%16 = call i32 (double, ...) bitcast (i32 (...)* @utdt to i32 (double, ...)*)(double %15)
%17 = sitofp i32 %16 to double
store double %17, double* %6
%18 = load double*, double** %3
%19 = load double, double* %18
%20 = load double*, double** %4
%21 = load double, double* %20
%22 = call i32 (double, double, ...) bitcast (i32 (...)* @dt2ts to i32 (double, double, ...)*)(double %19, double %21)
%23 = sitofp i32 %22 to double
store double %23, double* %8
%24 = load double, double* %8
%25 = load double, double* %6
%26 = fadd double %24, %25
store double %26, double* %7
%27 = load double, double* %7
%28 = call i32 (double, ...) bitcast (i32 (...)* @ts2jd to i32 (double, ...)*)(double %27)
%29 = sitofp i32 %28 to double
store double %29, double* %5
%30 = load double, double* %5
%31 = call i32 (double, ...) bitcast (i32 (...)* @utdt to i32 (double, ...)*)(double %30)
%32 = sitofp i32 %31 to double
store double %32, double* %6
%33 = load double, double* %8
%34 = load double, double* %6
%35 = fadd double %33, %34
%36 = fadd double %35, 3.218400e+01
store double %36, double* %7
%37 = load double, double* %7
%38 = load double*, double** %3
%39 = load double*, double** %4
%40 = call i32 (double, double*, double*, ...) bitcast (i32 (...)* @ts2dt to i32 (double, double*, double*, ...)*)(double %37, double* %38, double* %39)
ret void
}

LLVM IR (-O2):
define void @tai2dt(double* %0, double* %1) {
%3 = load double, double* %0
%4 = load double, double* %1
%5 = tail call i32 (double, double, ...) bitcast (i32 (...)* @dt2jd to i32 (double, double, ...)*)(double %3, double %4)
%6 = sitofp i32 %5 to double
%7 = tail call i32 (double, ...) bitcast (i32 (...)* @utdt to i32 (double, ...)*)(double %6)
%8 = sitofp i32 %7 to double
%9 = load double, double* %0
%10 = load double, double* %1
%11 = tail call i32 (double, double, ...) bitcast (i32 (...)* @dt2ts to i32 (double, double, ...)*)(double %9, double %10)
%12 = sitofp i32 %11 to double
%13 = fadd double %8, %12
%14 = tail call i32 (double, ...) bitcast (i32 (...)* @ts2jd to i32 (double, ...)*)(double %13)
%15 = sitofp i32 %14 to double
%16 = tail call i32 (double, ...) bitcast (i32 (...)* @utdt to i32 (double, ...)*)(double %15)
%17 = sitofp i32 %16 to double
%18 = fadd double %12, %17
%19 = fadd double %18, 3.218400e+01
%20 = tail call i32 (double, double*, double*, ...) bitcast (i32 (...)* @ts2dt to i32 (double, double*, double*, ...)*)(double %19, double* %0, double* %1)
ret void
}