#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 int uint64_t;
typedef int int32_t;

/* Variables and functions */
int32_t convert_decimal64(uint64_t x, int32_t is_signed, char *int_buffer,
                          char **out_pointer) {
  int int_pointer;
  int printed_size = 0;
  int negative = 0;
  if ((is_signed) && (x & 0x8000000000000000ULL)) {
    negative = 1;
    x = ~x;
    x++;
  }
  int_pointer = 31;
  int_buffer[int_pointer] = '\0';
  int_pointer--;
  do {
    int_buffer[int_pointer] = (x % 10) + '0';
    int_pointer--;
    printed_size++;
    x /= 10;
  } while (x != 0);
  if (negative) {
    int_buffer[int_pointer] = '-';
    int_pointer--;
    printed_size++;
  }
  *out_pointer = &int_buffer[int_pointer + 1];
  return printed_size;
}


x86 assembly (clang, -O0):
<convert_decimal64>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     115e <convert_decimal64+0x5e>
movslq -0x4(%rbp),%rax
movabs $0x8000000000000000,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
je     115e <convert_decimal64+0x5e>
movl   $0x1,-0x24(%rbp)
mov    -0x4(%rbp),%eax
xor    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
movl   $0x1f,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4(%rbp)
cmpl   $0x0,-0x4(%rbp)
jne    117a <convert_decimal64+0x7a>
cmpl   $0x0,-0x24(%rbp)
je     11e5 <convert_decimal64+0xe5>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x2d,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rcx
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cltq
add    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<convert_decimal64>:
push   %rbx
test   %esi,%esi
sete   %al
test   %edi,%edi
setns  %r8b
or     %al,%r8b
mov    %edi,%esi
neg    %esi
test   %r8b,%r8b
cmovne %edi,%esi
movb   $0x0,0x1f(%rdx)
movabs $0x1e00000000,%r10
xor    %eax,%eax
movabs $0xffffffff00000000,%r9
ff ff ff
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %r9,%r10
movslq %esi,%r11
imul   $0x66666667,%r11,%rsi
mov    %rsi,%rdi
shr    $0x3f,%rdi
sar    $0x22,%rsi
add    %edi,%esi
lea    (%rsi,%rsi,1),%edi
lea    (%rdi,%rdi,4),%edi
mov    %r11d,%ebx
sub    %edi,%ebx
add    $0x30,%bl
mov    %bl,0x1e(%rdx,%rax,1)
add    $0x9,%r11d
add    $0xffffffffffffffff,%rax
cmp    $0x12,%r11d
ja     1140 <convert_decimal64+0x40>
test   %r8b,%r8b
je     1188 <convert_decimal64+0x88>
lea    0x1e(%rax),%rsi
neg    %rax
jmp    119e <convert_decimal64+0x9e>
sar    $0x20,%r10
movb   $0x2d,(%rdx,%r10,1)
lea    0x1d(%rax),%rsi
mov    $0x1,%edi
sub    %eax,%edi
mov    %edi,%eax
add    $0x1,%esi
movslq %esi,%rsi
add    %rsi,%rdx
mov    %rdx,(%rcx)
pop    %rbx
ret

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

LLVM IR (-O2):
define i32 @convert_decimal64(i32 %0, i32 %1, i8* %2, i8** nocapture writeonly %3) {
%5 = icmp eq i32 %1, 0
%6 = icmp sgt i32 %0, -1
%7 = or i1 %6, %5
%8 = sub i32 0, %0
%9 = select i1 %7, i32 %0, i32 %8
%10 = getelementptr inbounds i8, i8* %2, i64 31
store i8 0, i8* %10
br label %11
11: ; preds = %11, %4
%12 = phi i64 [ %19, %11 ], [ 30, %4 ]
%13 = phi i32 [ %21, %11 ], [ %9, %4 ]
%14 = phi i32 [ %20, %11 ], [ 0, %4 ]
%15 = srem i32 %13, 10
%16 = trunc i32 %15 to i8
%17 = add nsw i8 %16, 48
%18 = getelementptr inbounds i8, i8* %2, i64 %12
store i8 %17, i8* %18
%19 = add i64 %12, -1
%20 = add nuw nsw i32 %14, 1
%21 = sdiv i32 %13, 10
%22 = add i32 %13, 9
%23 = icmp ult i32 %22, 19
br i1 %23, label %24, label %11
24: ; preds = %11
br i1 %7, label %31, label %25
25: ; preds = %24
%26 = shl i64 %19, 32
%27 = ashr exact i64 %26, 32
%28 = getelementptr inbounds i8, i8* %2, i64 %27
store i8 45, i8* %28
%29 = add i64 %12, -2
%30 = add nuw nsw i32 %14, 2
br label %31
31: ; preds = %25, %24
%32 = phi i64 [ %29, %25 ], [ %19, %24 ]
%33 = phi i32 [ %30, %25 ], [ %20, %24 ]
%34 = shl i64 %32, 32
%35 = add i64 %34, 4294967296
%36 = ashr exact i64 %35, 32
%37 = getelementptr inbounds i8, i8* %2, i64 %36
store i8* %37, i8** %3
ret i32 %33
}