char *dround(char *digptr, int mdigs, int *deptr) {
  int carry;
  if (digptr[mdigs] >= 5) {
    carry = 1;
    while (carry) {
      digptr[--mdigs]++;
      if (digptr[mdigs] >= 10)
        digptr[mdigs] = 0;
      else
        carry = 0;
    }
  }
  if (mdigs < 0) {
    digptr[--mdigs] = 1;
    (*deptr)++;
    return digptr - 1;
  } else
    return digptr;
}


x86 assembly (clang, -O0):
<dround>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5,%eax
jl     1185 <dround+0x85>
movl   $0x1,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
je     1180 <dround+0x80>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
add    $0x1,%dl
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
jl     1174 <dround+0x74>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    117b <dround+0x7b>
movl   $0x0,-0x24(%rbp)
jmp    112b <dround+0x2b>
jmp    1185 <dround+0x85>
cmpl   $0x0,-0x14(%rbp)
jge    11bf <dround+0xbf>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x1,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
jmp    11c7 <dround+0xc7>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<dround>:
mov    %rdi,%rax
movslq %esi,%rcx
cmpb   $0x5,(%rdi,%rcx,1)
jl     1143 <dround+0x43>
lea    (%rcx,%rax,1),%rdi
add    $0xffffffffffffffff,%rdi
xor    %r8d,%r8d
nopw   0x0(%rax,%rax,1)
movzbl (%rdi),%ecx
add    $0x1,%cl
cmp    $0xa,%cl
movzbl %cl,%r9d
mov    %r9d,%ecx
cmovge %r8d,%ecx
add    $0xffffffff,%esi
mov    %cl,(%rdi)
add    $0xffffffffffffffff,%rdi
cmp    $0x9,%r9b
jg     1120 <dround+0x20>
test   %esi,%esi
js     1148 <dround+0x48>
ret
movslq %esi,%rcx
movb   $0x1,-0x1(%rcx,%rax,1)
addl   $0x1,(%rdx)
add    $0xffffffffffffffff,%rax
ret

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

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