#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 scalar_t__ time_t;
struct timespec {
  long tv_nsec;
  scalar_t__ tv_sec;
};

/* Variables and functions */
scalar_t__ time_less_than(struct timespec const *, struct timespec const *);
struct timespec time_difference(const struct timespec *bigger,
                                const struct timespec *smaller) {
  struct timespec result = {.tv_sec = 0, .tv_nsec = 0};
  if (time_less_than(bigger, smaller)) {
    return result;
  }
  time_t diff_sec = bigger->tv_sec - smaller->tv_sec;
  long diff_nsec = bigger->tv_nsec - smaller->tv_nsec;
  if (diff_nsec < 0) {
    diff_sec--;
    diff_nsec += 1000000000;
  }
  result.tv_sec = diff_sec;
  result.tv_nsec = diff_nsec;
  return result;
}


x86 assembly (clang, -O0):
<time_difference>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x18(%rbp)
mov    %rsi,-0x20(%rbp)
lea    -0x10(%rbp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1030 <memset@plt>
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1040 <time_less_than@plt>
cmp    $0x0,%rax
je     115c <time_difference+0x3c>
jmp    11b7 <time_difference+0x97>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x20(%rbp),%rcx
sub    0x8(%rcx),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
sub    (%rcx),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jge    11a7 <time_difference+0x87>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x3b9aca00,%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rdx
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<time_difference>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
call   1030 <time_less_than@plt>
test   %rax,%rax
je     112a <time_difference+0x1a>
xor    %edx,%edx
xor    %eax,%eax
jmp    1150 <time_difference+0x40>
mov    (%rbx),%rcx
mov    0x8(%rbx),%rsi
sub    0x8(%r14),%rsi
sub    (%r14),%rcx
lea    0x3b9aca00(%rcx),%rax
mov    %rcx,%rdx
sar    $0x3f,%rdx
add    %rsi,%rdx
test   %rcx,%rcx
cmovns %rcx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
%struct.timespec = type { i64, i64 }
define { i64, i64 } @time_difference(%struct.timespec* %0, %struct.timespec* %1) {
%3 = alloca %struct.timespec
%4 = alloca %struct.timespec*
%5 = alloca %struct.timespec*
%6 = alloca i64
%7 = alloca i64
store %struct.timespec* %0, %struct.timespec** %4
store %struct.timespec* %1, %struct.timespec** %5
%8 = bitcast %struct.timespec* %3 to i8*
%9 = load %struct.timespec*, %struct.timespec** %4
%10 = load %struct.timespec*, %struct.timespec** %5
%11 = call i64 @time_less_than(%struct.timespec* %9, %struct.timespec* %10)
%12 = icmp ne i64 %11, 0
br i1 %12, label %13, label %14
13: ; preds = %2
br label %41
14: ; preds = %2
%15 = load %struct.timespec*, %struct.timespec** %4
%16 = getelementptr inbounds %struct.timespec, %struct.timespec* %15, i32 0, i32 1
%17 = load i64, i64* %16
%18 = load %struct.timespec*, %struct.timespec** %5
%19 = getelementptr inbounds %struct.timespec, %struct.timespec* %18, i32 0, i32 1
%20 = load i64, i64* %19
%21 = sub nsw i64 %17, %20
store i64 %21, i64* %6
%22 = load %struct.timespec*, %struct.timespec** %4
%23 = getelementptr inbounds %struct.timespec, %struct.timespec* %22, i32 0, i32 0
%24 = load i64, i64* %23
%25 = load %struct.timespec*, %struct.timespec** %5
%26 = getelementptr inbounds %struct.timespec, %struct.timespec* %25, i32 0, i32 0
%27 = load i64, i64* %26
%28 = sub nsw i64 %24, %27
store i64 %28, i64* %7
%29 = load i64, i64* %7
%30 = icmp slt i64 %29, 0
br i1 %30, label %31, label %36
31: ; preds = %14
%32 = load i64, i64* %6
%33 = add nsw i64 %32, -1
store i64 %33, i64* %6
%34 = load i64, i64* %7
%35 = add nsw i64 %34, 1000000000
store i64 %35, i64* %7
br label %36
36: ; preds = %31, %14
%37 = load i64, i64* %6
%38 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 1
store i64 %37, i64* %38
%39 = load i64, i64* %7
%40 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 0
store i64 %39, i64* %40
br label %41
41: ; preds = %36, %13
%42 = bitcast %struct.timespec* %3 to { i64, i64 }*
%43 = load { i64, i64 }, { i64, i64 }* %42
ret { i64, i64 } %43
}

LLVM IR (-O2):
%struct.timespec = type { i64, i64 }
define { i64, i64 } @time_difference(%struct.timespec* %0, %struct.timespec* %1) {
%3 = tail call i64 @time_less_than(%struct.timespec* %0, %struct.timespec* %1)
%4 = icmp eq i64 %3, 0
br i1 %4, label %5, label %21
5: ; preds = %2
%6 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 1
%7 = load i64, i64* %6
%8 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 1
%9 = load i64, i64* %8
%10 = sub i64 %7, %9
%11 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 0
%12 = load i64, i64* %11
%13 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 0
%14 = load i64, i64* %13
%15 = sub nsw i64 %12, %14
%16 = icmp slt i64 %15, 0
%17 = add nsw i64 %15, 1000000000
%18 = ashr i64 %15, 63
%19 = add nsw i64 %10, %18
%20 = select i1 %16, i64 %17, i64 %15
br label %21
21: ; preds = %2, %5
%22 = phi i64 [ 0, %2 ], [ %19, %5 ]
%23 = phi i64 [ 0, %2 ], [ %20, %5 ]
%24 = insertvalue { i64, i64 } poison, i64 %23, 0
%25 = insertvalue { i64, i64 } %24, i64 %22, 1
ret { i64, i64 } %25
}