#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 {
  long tv_nsec;
  int tv_sec;
};

/* Variables and functions */
void bot_timespec_addms(struct timespec *ts, long ms) {
  int sec = ms / 1000;
  ms = ms - sec * 1000;
  ts->tv_nsec += ms * 1000000;
  ts->tv_sec += ts->tv_nsec / 1000000000 + sec;
  ts->tv_nsec = ts->tv_nsec % 1000000000;
}


x86 assembly (clang, -O0):
<bot_timespec_addms>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    $0x3e8,%ecx
cqto
idiv   %rcx
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
imul   $0x3e8,-0x14(%rbp),%ecx
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x10(%rbp)
imul   $0xf4240,-0x10(%rbp),%rcx
mov    -0x8(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    $0x3b9aca00,%ecx
cqto
idiv   %rcx
mov    %rax,%rdx
movslq -0x14(%rbp),%rax
add    %rax,%rdx
mov    -0x8(%rbp),%rax
movslq 0x8(%rax),%rcx
add    %rdx,%rcx
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    $0x3b9aca00,%ecx
cqto
idiv   %rcx
mov    -0x8(%rbp),%rax
mov    %rdx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<bot_timespec_addms>:
movabs $0x20c49ba5e353f7cf,%rcx
9b c4 20
mov    %rsi,%rax
imul   %rcx
mov    %rdx,%rcx
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x7,%rcx
add    %rax,%rcx
movabs $0x3e800000000,%rax
imul   %rcx,%rax
sar    $0x20,%rax
sub    %rax,%rsi
imul   $0xf4240,%rsi,%rsi
add    (%rdi),%rsi
movabs $0x112e0be826d694b3,%rdx
0b 2e 11
mov    %rsi,%rax
imul   %rdx
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x1a,%rdx
add    %rax,%rdx
add    %edx,%ecx
add    %ecx,0x8(%rdi)
imul   $0x3b9aca00,%rdx,%rax
sub    %rax,%rsi
mov    %rsi,(%rdi)
ret

LLVM IR (-O0):
%struct.timespec = type { i64, i32 }
define void @bot_timespec_addms(%struct.timespec* %0, i64 %1) {
%3 = alloca %struct.timespec*
%4 = alloca i64
%5 = alloca i32
store %struct.timespec* %0, %struct.timespec** %3
store i64 %1, i64* %4
%6 = load i64, i64* %4
%7 = sdiv i64 %6, 1000
%8 = trunc i64 %7 to i32
store i32 %8, i32* %5
%9 = load i64, i64* %4
%10 = load i32, i32* %5
%11 = mul nsw i32 %10, 1000
%12 = sext i32 %11 to i64
%13 = sub nsw i64 %9, %12
store i64 %13, i64* %4
%14 = load i64, i64* %4
%15 = mul nsw i64 %14, 1000000
%16 = load %struct.timespec*, %struct.timespec** %3
%17 = getelementptr inbounds %struct.timespec, %struct.timespec* %16, i32 0, i32 0
%18 = load i64, i64* %17
%19 = add nsw i64 %18, %15
store i64 %19, i64* %17
%20 = load %struct.timespec*, %struct.timespec** %3
%21 = getelementptr inbounds %struct.timespec, %struct.timespec* %20, i32 0, i32 0
%22 = load i64, i64* %21
%23 = sdiv i64 %22, 1000000000
%24 = load i32, i32* %5
%25 = sext i32 %24 to i64
%26 = add nsw i64 %23, %25
%27 = load %struct.timespec*, %struct.timespec** %3
%28 = getelementptr inbounds %struct.timespec, %struct.timespec* %27, i32 0, i32 1
%29 = load i32, i32* %28
%30 = sext i32 %29 to i64
%31 = add nsw i64 %30, %26
%32 = trunc i64 %31 to i32
store i32 %32, i32* %28
%33 = load %struct.timespec*, %struct.timespec** %3
%34 = getelementptr inbounds %struct.timespec, %struct.timespec* %33, i32 0, i32 0
%35 = load i64, i64* %34
%36 = srem i64 %35, 1000000000
%37 = load %struct.timespec*, %struct.timespec** %3
%38 = getelementptr inbounds %struct.timespec, %struct.timespec* %37, i32 0, i32 0
store i64 %36, i64* %38
ret void
}

LLVM IR (-O2):
%struct.timespec = type { i64, i32 }
define void @bot_timespec_addms(%struct.timespec* nocapture %0, i64 %1) {
%3 = sdiv i64 %1, 1000
%4 = mul i64 %3, 4294967296000
%5 = ashr exact i64 %4, 32
%6 = sub nsw i64 %1, %5
%7 = mul nsw i64 %6, 1000000
%8 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 0
%9 = load i64, i64* %8
%10 = add nsw i64 %9, %7
%11 = sdiv i64 %10, 1000000000
%12 = add nsw i64 %11, %3
%13 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 1
%14 = load i32, i32* %13
%15 = trunc i64 %12 to i32
%16 = add i32 %14, %15
store i32 %16, i32* %13
%17 = srem i64 %10, 1000000000
store i64 %17, i64* %8
ret void
}