#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 */
typedef scalar_t__ uint64_t;

/* Variables and functions */
void round_digit(char *digits, int ndigits, uint64_t delta, uint64_t rem,
                 uint64_t kappa, uint64_t frac) {
  while (rem < frac && delta - rem >= kappa &&
         (rem + kappa < frac || frac - rem > rem + kappa - frac)) {
    digits[ndigits - 1]--;
    rem += kappa;
  }
}


x86 assembly (clang, -O0):
<round_digit>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    -0x30(%rbp),%rcx
mov    %al,-0x31(%rbp)
jge    117f <round_digit+0x7f>
mov    -0x18(%rbp),%rcx
sub    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x31(%rbp)
jl     117f <round_digit+0x7f>
mov    -0x20(%rbp),%rcx
add    -0x28(%rbp),%rcx
mov    $0x1,%al
cmp    -0x30(%rbp),%rcx
mov    %al,-0x32(%rbp)
jl     1179 <round_digit+0x79>
mov    -0x30(%rbp),%rax
sub    -0x20(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    -0x28(%rbp),%rcx
sub    -0x30(%rbp),%rcx
cmp    %rcx,%rax
setg   %al
mov    %al,-0x32(%rbp)
mov    -0x32(%rbp),%al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    118f <round_digit+0x8f>
jmp    11b6 <round_digit+0xb6>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
add    $0xff,%dl
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    111b <round_digit+0x1b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<round_digit>:
cmp    %r9,%rcx
jge    1154 <round_digit+0x54>
mov    %rdx,%rax
sub    %rcx,%rax
cmp    %r8,%rax
jl     1154 <round_digit+0x54>
movslq %esi,%r11
mov    %r9,%rsi
sub    %rcx,%rsi
add    %r8,%rcx
sub    %rcx,%rdx
mov    %r9,%r10
neg    %r10
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %r9,%rcx
jl     113e <round_digit+0x3e>
lea    (%r10,%rcx,1),%rax
cmp    %rax,%rsi
jle    1154 <round_digit+0x54>
addb   $0xff,-0x1(%rdi,%r11,1)
cmp    %r9,%rcx
jge    1154 <round_digit+0x54>
sub    %r8,%rsi
add    %r8,%rcx
sub    %r8,%rdx
jge    1130 <round_digit+0x30>
ret

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

LLVM IR (-O2):
define void @round_digit(i8* nocapture %0, i32 %1, i64 %2, i64 %3, i64 %4, i64 %5) {
%7 = icmp sge i64 %3, %5
%8 = sub nsw i64 %2, %3
%9 = icmp slt i64 %8, %4
%10 = select i1 %7, i1 true, i1 %9
br i1 %10, label %30, label %11
11: ; preds = %6
%12 = add nsw i32 %1, -1
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8, i8* %0, i64 %13
br label %15
15: ; preds = %11, %23
%16 = phi i64 [ %3, %11 ], [ %17, %23 ]
%17 = add nsw i64 %16, %4
%18 = icmp slt i64 %17, %5
br i1 %18, label %23, label %19
19: ; preds = %15
%20 = sub nsw i64 %5, %16
%21 = sub nsw i64 %17, %5
%22 = icmp sgt i64 %20, %21
br i1 %22, label %23, label %30
23: ; preds = %15, %19
%24 = load i8, i8* %14
%25 = add i8 %24, -1
store i8 %25, i8* %14
%26 = icmp sge i64 %17, %5
%27 = sub nsw i64 %2, %17
%28 = icmp slt i64 %27, %4
%29 = select i1 %26, i1 true, i1 %28
br i1 %29, label %30, label %15
30: ; preds = %19, %23, %6
ret void
}