#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_sec;
  scalar_t__ tv_nsec;
};

/* Variables and functions */
int /*<<< orphan*/ assert(int);
struct timespec timespec_sub(const struct timespec *left,
                             const struct timespec *right) {
  assert(left->tv_sec >= right->tv_sec);
  assert(!(left->tv_sec == right->tv_sec && left->tv_nsec < right->tv_nsec));
  struct timespec result = *left;
  result.tv_sec -= right->tv_sec;
  if (result.tv_nsec < right->tv_nsec) {
    result.tv_sec -= 1;
    result.tv_nsec += 1000000000;
    result.tv_nsec -= right->tv_nsec;
  }
  return result;
}


x86 assembly (clang, -O0):
<timespec_sub>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x18(%rbp)
mov    %rsi,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%rax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
mov    -0x20(%rbp),%rdx
xor    %eax,%eax
cmp    (%rdx),%rcx
mov    %al,-0x21(%rbp)
jne    116a <timespec_sub+0x5a>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x20(%rbp),%rcx
cmp    0x8(%rcx),%rax
setl   %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
mov    %rcx,-0x10(%rbp)
mov    0x8(%rax),%rax
mov    %rax,-0x8(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%rcx
mov    -0x10(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmp    0x8(%rcx),%rax
jge    11dd <timespec_sub+0xcd>
mov    -0x10(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x3b9aca00,%rax
mov    %rax,-0x8(%rbp)
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%rcx
mov    -0x8(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rdx
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<timespec_sub>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
mov    (%rdi),%rax
xor    %edi,%edi
cmp    (%rsi),%rax
setge  %dil
call   1030 <assert@plt>
mov    (%rbx),%rax
mov    $0x1,%edi
cmp    (%r14),%rax
jne    1146 <timespec_sub+0x36>
mov    0x8(%rbx),%rax
xor    %edi,%edi
cmp    0x8(%r14),%rax
setge  %dil
call   1030 <assert@plt>
mov    (%rbx),%rax
mov    0x8(%rbx),%rcx
mov    0x8(%r14),%rsi
mov    %rcx,%rdx
sub    %rsi,%rdx
add    $0x3b9aca00,%rdx
xor    %edi,%edi
cmp    %rsi,%rcx
cmovge %rcx,%rdx
setl   %dil
sub    (%r14),%rax
sub    %rdi,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
%struct.timespec = type { i64, i64 }
define { i64, i64 } @timespec_sub(%struct.timespec* %0, %struct.timespec* %1) {
%3 = alloca %struct.timespec
%4 = alloca %struct.timespec*
%5 = alloca %struct.timespec*
store %struct.timespec* %0, %struct.timespec** %4
store %struct.timespec* %1, %struct.timespec** %5
%6 = load %struct.timespec*, %struct.timespec** %4
%7 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i32 0, i32 0
%8 = load i64, i64* %7
%9 = load %struct.timespec*, %struct.timespec** %5
%10 = getelementptr inbounds %struct.timespec, %struct.timespec* %9, i32 0, i32 0
%11 = load i64, i64* %10
%12 = icmp sge i64 %8, %11
%13 = zext i1 %12 to i32
%14 = call i32 @assert(i32 %13)
%15 = load %struct.timespec*, %struct.timespec** %4
%16 = getelementptr inbounds %struct.timespec, %struct.timespec* %15, i32 0, i32 0
%17 = load i64, i64* %16
%18 = load %struct.timespec*, %struct.timespec** %5
%19 = getelementptr inbounds %struct.timespec, %struct.timespec* %18, i32 0, i32 0
%20 = load i64, i64* %19
%21 = icmp eq i64 %17, %20
br i1 %21, label %22, label %30
22: ; preds = %2
%23 = load %struct.timespec*, %struct.timespec** %4
%24 = getelementptr inbounds %struct.timespec, %struct.timespec* %23, i32 0, i32 1
%25 = load i64, i64* %24
%26 = load %struct.timespec*, %struct.timespec** %5
%27 = getelementptr inbounds %struct.timespec, %struct.timespec* %26, i32 0, i32 1
%28 = load i64, i64* %27
%29 = icmp slt i64 %25, %28
br label %30
30: ; preds = %22, %2
%31 = phi i1 [ false, %2 ], [ %29, %22 ]
%32 = xor i1 %31, true
%33 = zext i1 %32 to i32
%34 = call i32 @assert(i32 %33)
%35 = load %struct.timespec*, %struct.timespec** %4
%36 = bitcast %struct.timespec* %3 to i8*
%37 = bitcast %struct.timespec* %35 to i8*
%38 = load %struct.timespec*, %struct.timespec** %5
%39 = getelementptr inbounds %struct.timespec, %struct.timespec* %38, i32 0, i32 0
%40 = load i64, i64* %39
%41 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 0
%42 = load i64, i64* %41
%43 = sub nsw i64 %42, %40
store i64 %43, i64* %41
%44 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 1
%45 = load i64, i64* %44
%46 = load %struct.timespec*, %struct.timespec** %5
%47 = getelementptr inbounds %struct.timespec, %struct.timespec* %46, i32 0, i32 1
%48 = load i64, i64* %47
%49 = icmp slt i64 %45, %48
br i1 %49, label %50, label %63
50: ; preds = %30
%51 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 0
%52 = load i64, i64* %51
%53 = sub nsw i64 %52, 1
store i64 %53, i64* %51
%54 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 1
%55 = load i64, i64* %54
%56 = add nsw i64 %55, 1000000000
store i64 %56, i64* %54
%57 = load %struct.timespec*, %struct.timespec** %5
%58 = getelementptr inbounds %struct.timespec, %struct.timespec* %57, i32 0, i32 1
%59 = load i64, i64* %58
%60 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 1
%61 = load i64, i64* %60
%62 = sub nsw i64 %61, %59
store i64 %62, i64* %60
br label %63
63: ; preds = %50, %30
%64 = bitcast %struct.timespec* %3 to { i64, i64 }*
%65 = load { i64, i64 }, { i64, i64 }* %64
ret { i64, i64 } %65
}

LLVM IR (-O2):
%struct.timespec = type { i64, i64 }
define { i64, i64 } @timespec_sub(%struct.timespec* nocapture %0, %struct.timespec* nocapture %1) {
%3 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 0
%4 = load i64, i64* %3
%5 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 0
%6 = load i64, i64* %5
%7 = icmp sge i64 %4, %6
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = load i64, i64* %3
%11 = load i64, i64* %5
%12 = icmp eq i64 %10, %11
br i1 %12, label %13, label %20
13: ; preds = %2
%14 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 1
%15 = load i64, i64* %14
%16 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 1
%17 = load i64, i64* %16
%18 = icmp sge i64 %15, %17
%19 = zext i1 %18 to i32
br label %20
20: ; preds = %13, %2
%21 = phi i32 [ 1, %2 ], [ %19, %13 ]
%22 = tail call i32 @assert(i32 %21)
%23 = load i64, i64* %3
%24 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 1
%25 = load i64, i64* %24
%26 = load i64, i64* %5
%27 = sub i64 %23, %26
%28 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 1
%29 = load i64, i64* %28
%30 = icmp slt i64 %25, %29
%31 = add nsw i64 %25, 1000000000
%32 = sub i64 %31, %29
%33 = sext i1 %30 to i64
%34 = add nsw i64 %27, %33
%35 = select i1 %30, i64 %32, i64 %25
%36 = insertvalue { i64, i64 } poison, i64 %34, 0
%37 = insertvalue { i64, i64 } %36, i64 %35, 1
ret { i64, i64 } %37
}