#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 int64_t;

/* Variables and functions */
void timespec_add_nsec(struct timespec *r, const struct timespec *a,
                       int64_t b) {
  r->tv_sec = a->tv_sec + (b / 1000000000);
  r->tv_nsec = a->tv_nsec + (b % 1000000000);
  if (r->tv_nsec >= 1000000000) {
    r->tv_sec++;
    r->tv_nsec -= 1000000000;
  } else if (r->tv_nsec < 0) {
    r->tv_sec--;
    r->tv_nsec += 1000000000;
  }
}


x86 assembly (clang, -O0):
<timespec_add_nsec>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rcx
mov    -0x14(%rbp),%eax
mov    $0x3b9aca00,%esi
cltd
idiv   %esi
cltq
add    %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x14(%rbp),%eax
mov    $0x3b9aca00,%esi
cltd
idiv   %esi
add    %edx,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
cmpl   $0x3b9aca00,(%rax)
jl     117b <timespec_add_nsec+0x7b>
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rcx
add    $0x1,%rcx
mov    %rcx,0x8(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
sub    $0x3b9aca00,%ecx
mov    %ecx,(%rax)
jmp    11ab <timespec_add_nsec+0xab>
mov    -0x8(%rbp),%rax
cmpl   $0x0,(%rax)
jge    11a6 <timespec_add_nsec+0xa6>
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,0x8(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
add    $0x3b9aca00,%ecx
mov    %ecx,(%rax)
jmp    11ab <timespec_add_nsec+0xab>
pop    %rbp
ret

x86 assembly (clang, -O2):
<timespec_add_nsec>:
movslq %edx,%rax
imul   $0x44b82fa1,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x3c,%rcx
add    %edx,%ecx
movslq %ecx,%rdx
mov    0x8(%rsi),%rcx
add    %rdx,%rcx
mov    %rcx,0x8(%rdi)
imul   $0x3b9aca00,%edx,%edx
sub    %edx,%eax
add    (%rsi),%eax
mov    %eax,(%rdi)
cmp    $0x3b9ac9ff,%eax
jle    1144 <timespec_add_nsec+0x44>
mov    $0xc4653600,%edx
mov    $0x1,%esi
jmp    1155 <timespec_add_nsec+0x55>
test   %eax,%eax
js     1149 <timespec_add_nsec+0x49>
ret
mov    $0x3b9aca00,%edx
mov    $0xffffffffffffffff,%rsi
add    %rsi,%rcx
mov    %rcx,0x8(%rdi)
add    %edx,%eax
mov    %eax,(%rdi)
ret

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

LLVM IR (-O2):
%struct.timespec = type { i32, i64 }
define void @timespec_add_nsec(%struct.timespec* nocapture %0, %struct.timespec* nocapture %1, i32 %2) {
%4 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 1
%5 = load i64, i64* %4
%6 = sdiv i32 %2, 1000000000
%7 = sext i32 %6 to i64
%8 = add nsw i64 %5, %7
%9 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 1
store i64 %8, i64* %9
%10 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 0
%11 = load i32, i32* %10
%12 = srem i32 %2, 1000000000
%13 = add nsw i32 %11, %12
%14 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 0
store i32 %13, i32* %14
%15 = icmp sgt i32 %13, 999999999
br i1 %15, label %18, label %16
16: ; preds = %3
%17 = icmp slt i32 %13, 0
br i1 %17, label %18, label %23
18: ; preds = %16, %3
%19 = phi i64 [ 1, %3 ], [ -1, %16 ]
%20 = phi i32 [ -1000000000, %3 ], [ 1000000000, %16 ]
%21 = add nsw i64 %8, %19
store i64 %21, i64* %9
%22 = add nsw i32 %13, %20
store i32 %22, i32* %14
br label %23
23: ; preds = %18, %16
ret void
}