#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 {
  int tv_nsec;
  scalar_t__ tv_sec;
};
typedef int int32_t;

/* Variables and functions */
struct timespec ts_add(struct timespec *t0, struct timespec *t1) {
  struct timespec ts;
  int32_t t0_ns = t0->tv_nsec;
  int32_t t1_ns = t1->tv_nsec;
  int32_t tr_ns;
  ts.tv_sec = t1->tv_sec + t0->tv_sec;
  tr_ns = t1_ns + t0_ns;
  if (tr_ns >= 1000000000) {
    ts.tv_sec++;
    ts.tv_nsec = tr_ns - 1000000000l;
  } else
    ts.tv_nsec = tr_ns;
  return ts;
}


x86 assembly (clang, -O0):
<ts_add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x18(%rbp)
mov    %rsi,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x18(%rbp),%rcx
add    0x8(%rcx),%rax
mov    %rax,-0x8(%rbp)
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x3b9aca00,-0x2c(%rbp)
jl     1166 <ts_add+0x66>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
movslq -0x2c(%rbp),%rax
sub    $0x3b9aca00,%rax
mov    %eax,-0x10(%rbp)
jmp    116c <ts_add+0x6c>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%rdx
pop    %rbp
ret

x86 assembly (clang, -O2):
<ts_add>:
mov    (%rdi),%eax
mov    (%rsi),%ecx
mov    0x8(%rdi),%rdi
add    0x8(%rsi),%rdi
lea    (%rcx,%rax,1),%esi
xor    %edx,%edx
cmp    $0x3b9aca00,%esi
setge  %dl
lea    -0x3b9aca00(%rcx,%rax,1),%eax
cmovl  %esi,%eax
add    %rdi,%rdx
ret

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

LLVM IR (-O2):
%struct.timespec = type { i32, i64 }
define { i32, i64 } @ts_add(%struct.timespec* nocapture %0, %struct.timespec* nocapture %1) {
%3 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 0
%4 = load i32, i32* %3
%5 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 0
%6 = load i32, i32* %5
%7 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 1
%8 = load i64, i64* %7
%9 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 1
%10 = load i64, i64* %9
%11 = add nsw i64 %10, %8
%12 = add nsw i32 %6, %4
%13 = icmp sgt i32 %12, 999999999
%14 = add i32 %12, -1000000000
%15 = select i1 %13, i32 %14, i32 %12
%16 = zext i1 %13 to i64
%17 = add nsw i64 %11, %16
%18 = insertvalue { i32, i64 } poison, i32 %15, 0
%19 = insertvalue { i32, i64 } %18, i64 %17, 1
ret { i32, i64 } %19
}