#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 */
struct timespec {
  scalar_t__ tv_nsec;
  double tv_sec;
};

/* Variables and functions */
double time_diff(struct timespec t1, struct timespec t2) {
  struct timespec diff;
  if (t2.tv_nsec - t1.tv_nsec < 0) {
    diff.tv_sec = t2.tv_sec - t1.tv_sec - 1;
    diff.tv_nsec = t2.tv_nsec - t1.tv_nsec + 1000000000;
  } else {
    diff.tv_sec = t2.tv_sec - t1.tv_sec;
    diff.tv_nsec = t2.tv_nsec - t1.tv_nsec;
  }
  return (diff.tv_sec * 1000.0 + diff.tv_nsec / 1000000.0);
}


x86 assembly (clang, -O0):
<time_diff>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movsd  %xmm0,-0x8(%rbp)
mov    %rsi,-0x20(%rbp)
movsd  %xmm1,-0x18(%rbp)
mov    -0x20(%rbp),%rax
sub    -0x10(%rbp),%rax
cmp    $0x0,%rax
jge    115a <time_diff+0x5a>
movsd  -0x18(%rbp),%xmm0
subsd  -0x8(%rbp),%xmm0
movsd  0xec6(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
sub    -0x10(%rbp),%rax
add    $0x3b9aca00,%rax
mov    %rax,-0x30(%rbp)
jmp    1175 <time_diff+0x75>
movsd  -0x18(%rbp),%xmm0
subsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
sub    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm0
cvtsi2sdq -0x30(%rbp),%xmm1
movsd  0xe88(%rip),%xmm2
divsd  %xmm2,%xmm1
movsd  0xe74(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<time_diff>:
sub    %rdi,%rsi
lea    0x3b9aca00(%rsi),%rax
subsd  %xmm0,%xmm1
test   %rsi,%rsi
jns    111b <time_diff+0x1b>
addsd  0xee5(%rip),%xmm1
cmovs  %rax,%rsi
xorps  %xmm0,%xmm0
cvtsi2sd %rsi,%xmm0
divsd  0xed9(%rip),%xmm0
mulsd  0xed9(%rip),%xmm1
addsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
ret

LLVM IR (-O0):
%struct.timespec = type { i64, double }
define double @time_diff(i64 %0, double %1, i64 %2, double %3) {
%5 = alloca %struct.timespec
%6 = alloca %struct.timespec
%7 = alloca %struct.timespec
%8 = bitcast %struct.timespec* %5 to { i64, double }*
%9 = getelementptr inbounds { i64, double }, { i64, double }* %8, i32 0, i32 0
store i64 %0, i64* %9
%10 = getelementptr inbounds { i64, double }, { i64, double }* %8, i32 0, i32 1
store double %1, double* %10
%11 = bitcast %struct.timespec* %6 to { i64, double }*
%12 = getelementptr inbounds { i64, double }, { i64, double }* %11, i32 0, i32 0
store i64 %2, i64* %12
%13 = getelementptr inbounds { i64, double }, { i64, double }* %11, i32 0, i32 1
store double %3, double* %13
%14 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i32 0, i32 0
%15 = load i64, i64* %14
%16 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i32 0, i32 0
%17 = load i64, i64* %16
%18 = sub nsw i64 %15, %17
%19 = icmp slt i64 %18, 0
br i1 %19, label %20, label %35
20: ; preds = %4
%21 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i32 0, i32 1
%22 = load double, double* %21
%23 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i32 0, i32 1
%24 = load double, double* %23
%25 = fsub double %22, %24
%26 = fsub double %25, 1.000000e+00
%27 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 1
store double %26, double* %27
%28 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i32 0, i32 0
%29 = load i64, i64* %28
%30 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i32 0, i32 0
%31 = load i64, i64* %30
%32 = sub nsw i64 %29, %31
%33 = add nsw i64 %32, 1000000000
%34 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 0
store i64 %33, i64* %34
br label %48
35: ; preds = %4
%36 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i32 0, i32 1
%37 = load double, double* %36
%38 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i32 0, i32 1
%39 = load double, double* %38
%40 = fsub double %37, %39
%41 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 1
store double %40, double* %41
%42 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i32 0, i32 0
%43 = load i64, i64* %42
%44 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i32 0, i32 0
%45 = load i64, i64* %44
%46 = sub nsw i64 %43, %45
%47 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 0
store i64 %46, i64* %47
br label %48
48: ; preds = %35, %20
%49 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 1
%50 = load double, double* %49
%51 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 0
%52 = load i64, i64* %51
%53 = sitofp i64 %52 to double
%54 = fdiv double %53, 1.000000e+06
%55 = call double @llvm.fmuladd.f64(double %50, double 1.000000e+03, double %54)
ret double %55
}

LLVM IR (-O2):
define double @time_diff(i64 %0, double %1, i64 %2, double %3) {
%5 = sub nsw i64 %2, %0
%6 = icmp slt i64 %5, 0
%7 = fsub double %3, %1
%8 = fadd double %7, -1.000000e+00
%9 = add nsw i64 %5, 1000000000
%10 = select i1 %6, double %8, double %7
%11 = select i1 %6, i64 %9, i64 %5
%12 = sitofp i64 %11 to double
%13 = fdiv double %12, 1.000000e+06
%14 = tail call double @llvm.fmuladd.f64(double %10, double 1.000000e+03, double %13)
ret double %14
}