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

/* Variables and functions */
void rtl_timespecaddms(struct timespec *tv, int ms) {
  tv->tv_sec += ms / 1000;
  tv->tv_nsec += (ms % 1000) * 1000000;
  if (tv->tv_nsec >= 1000000000) {
    tv->tv_sec += 1;
    tv->tv_nsec -= 1000000000;
  }
}


x86 assembly (clang, -O0):
<rtl_timespecaddms>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x3e8,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0xc(%rbp),%eax
mov    $0x3e8,%ecx
cltd
idiv   %ecx
imul   $0xf4240,%edx,%ecx
mov    -0x8(%rbp),%rax
add    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
cmpl   $0x3b9aca00,0x4(%rax)
jl     1167 <rtl_timespecaddms+0x67>
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
sub    $0x3b9aca00,%ecx
mov    %ecx,0x4(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<rtl_timespecaddms>:
movslq %esi,%rcx
imul   $0x10624dd3,%rcx,%rax
mov    %rax,%rdx
shr    $0x3f,%rdx
sar    $0x26,%rax
add    %edx,%eax
imul   $0x3e8,%eax,%edx
add    (%rdi),%eax
mov    %eax,(%rdi)
sub    %edx,%ecx
imul   $0xf4240,%ecx,%ecx
add    0x4(%rdi),%ecx
mov    %ecx,0x4(%rdi)
cmp    $0x3b9aca00,%ecx
jl     1145 <rtl_timespecaddms+0x45>
add    $0x1,%eax
mov    %eax,(%rdi)
add    $0xc4653600,%ecx
mov    %ecx,0x4(%rdi)
ret

LLVM IR (-O0):
%struct.timespec = type { i32, i32 }
define void @rtl_timespecaddms(%struct.timespec* %0, i32 %1) {
%3 = alloca %struct.timespec*
%4 = alloca i32
store %struct.timespec* %0, %struct.timespec** %3
store i32 %1, i32* %4
%5 = load i32, i32* %4
%6 = sdiv i32 %5, 1000
%7 = load %struct.timespec*, %struct.timespec** %3
%8 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 0
%9 = load i32, i32* %8
%10 = add nsw i32 %9, %6
store i32 %10, i32* %8
%11 = load i32, i32* %4
%12 = srem i32 %11, 1000
%13 = mul nsw i32 %12, 1000000
%14 = load %struct.timespec*, %struct.timespec** %3
%15 = getelementptr inbounds %struct.timespec, %struct.timespec* %14, i32 0, i32 1
%16 = load i32, i32* %15
%17 = add nsw i32 %16, %13
store i32 %17, i32* %15
%18 = load %struct.timespec*, %struct.timespec** %3
%19 = getelementptr inbounds %struct.timespec, %struct.timespec* %18, i32 0, i32 1
%20 = load i32, i32* %19
%21 = icmp sge i32 %20, 1000000000
br i1 %21, label %22, label %31
22: ; preds = %2
%23 = load %struct.timespec*, %struct.timespec** %3
%24 = getelementptr inbounds %struct.timespec, %struct.timespec* %23, i32 0, i32 0
%25 = load i32, i32* %24
%26 = add nsw i32 %25, 1
store i32 %26, i32* %24
%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 = sub nsw i32 %29, 1000000000
store i32 %30, i32* %28
br label %31
31: ; preds = %22, %2
ret void
}

LLVM IR (-O2):
%struct.timespec = type { i32, i32 }
define void @rtl_timespecaddms(%struct.timespec* nocapture %0, i32 %1) {
%3 = sdiv i32 %1, 1000
%4 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 0
%5 = load i32, i32* %4
%6 = add nsw i32 %5, %3
store i32 %6, i32* %4
%7 = srem i32 %1, 1000
%8 = mul nsw i32 %7, 1000000
%9 = getelementptr inbounds %struct.timespec, %struct.timespec* %0, i64 0, i32 1
%10 = load i32, i32* %9
%11 = add nsw i32 %10, %8
store i32 %11, i32* %9
%12 = icmp sgt i32 %11, 999999999
br i1 %12, label %13, label %16
13: ; preds = %2
%14 = add nsw i32 %6, 1
store i32 %14, i32* %4
%15 = add nsw i32 %11, -1000000000
store i32 %15, i32* %9
br label %16
16: ; preds = %13, %2
ret void
}