#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 */

/* Variables and functions */
int /*<<< orphan*/ socket_put_char(int);
void socket_put_decimal(unsigned value) {
  unsigned digit_0 = 0;
  unsigned digit_1 = 0;
  unsigned digit_2 = 0;
  unsigned digit_3 = 0;
  unsigned digit_4 = 0;
  unsigned significant = 0;
  while (value >= 10000) {
    digit_4++;
    value -= 10000;
  }
  if (digit_4 | significant) {
    socket_put_char(0x30 | digit_4);
    significant = 1;
  }
  while (value >= 1000) {
    digit_3++;
    value -= 1000;
  }
  if (digit_3 | significant) {
    socket_put_char(0x30 | digit_3);
    significant = 1;
  }
  while (value >= 100) {
    digit_2++;
    value -= 100;
  }
  if (digit_2 | significant) {
    socket_put_char(0x30 | digit_2);
    significant = 1;
  }
  while (value >= 10) {
    digit_1++;
    value -= 10;
  }
  if (digit_1 | significant) {
    socket_put_char(0x30 | digit_1);
    significant = 1;
  }
  while (value >= 1) {
    digit_0++;
    value -= 1;
  }
  socket_put_char(0x30 | digit_0);
}


x86 assembly (clang, -O0):
<socket_put_decimal>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x2710,-0x4(%rbp)
jb     116b <socket_put_decimal+0x5b>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x2710,%eax
mov    %eax,-0x4(%rbp)
jmp    1145 <socket_put_decimal+0x35>
mov    -0x18(%rbp),%eax
or     -0x1c(%rbp),%eax
cmp    $0x0,%eax
je     118c <socket_put_decimal+0x7c>
mov    -0x18(%rbp),%edi
or     $0x30,%edi
call   1030 <socket_put_char@plt>
movl   $0x1,-0x1c(%rbp)
jmp    1191 <socket_put_decimal+0x81>
cmpl   $0x3e8,-0x4(%rbp)
jb     11b7 <socket_put_decimal+0xa7>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x3e8,%eax
mov    %eax,-0x4(%rbp)
jmp    1191 <socket_put_decimal+0x81>
mov    -0x14(%rbp),%eax
or     -0x1c(%rbp),%eax
cmp    $0x0,%eax
je     11d8 <socket_put_decimal+0xc8>
mov    -0x14(%rbp),%edi
or     $0x30,%edi
call   1030 <socket_put_char@plt>
movl   $0x1,-0x1c(%rbp)
jmp    11dd <socket_put_decimal+0xcd>
cmpl   $0x64,-0x4(%rbp)
jb     11fe <socket_put_decimal+0xee>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x64,%eax
mov    %eax,-0x4(%rbp)
jmp    11dd <socket_put_decimal+0xcd>
mov    -0x10(%rbp),%eax
or     -0x1c(%rbp),%eax
cmp    $0x0,%eax
je     121f <socket_put_decimal+0x10f>
mov    -0x10(%rbp),%edi
or     $0x30,%edi
call   1030 <socket_put_char@plt>
movl   $0x1,-0x1c(%rbp)
jmp    1224 <socket_put_decimal+0x114>
cmpl   $0xa,-0x4(%rbp)
jb     1245 <socket_put_decimal+0x135>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0x4(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0x4(%rbp)
jmp    1224 <socket_put_decimal+0x114>
mov    -0xc(%rbp),%eax
or     -0x1c(%rbp),%eax
cmp    $0x0,%eax
je     1266 <socket_put_decimal+0x156>
mov    -0xc(%rbp),%edi
or     $0x30,%edi
call   1030 <socket_put_char@plt>
movl   $0x1,-0x1c(%rbp)
jmp    126b <socket_put_decimal+0x15b>
cmpl   $0x1,-0x4(%rbp)
jb     128c <socket_put_decimal+0x17c>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    126b <socket_put_decimal+0x15b>
mov    -0x8(%rbp),%edi
or     $0x30,%edi
call   1030 <socket_put_char@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<socket_put_decimal>:
push   %r14
push   %rbx
push   %rax
mov    %edi,%ebx
xor    %r14d,%r14d
cmp    $0x2710,%edi
jb     115c <socket_put_decimal+0x4c>
lea    -0x2710(%rbx),%eax
mov    $0xd1b71759,%edi
imul   %rax,%rdi
shr    $0x2d,%rdi
imul   $0xffffd8f0,%edi,%eax
add    $0x1,%edi
add    %eax,%ebx
add    $0xffffd8f0,%ebx
or     $0x30,%edi
call   1030 <socket_put_char@plt>
mov    $0x1,%eax
cmp    $0x3e8,%ebx
jae    1166 <socket_put_decimal+0x56>
jmp    118a <socket_put_decimal+0x7a>
xor    %eax,%eax
cmp    $0x3e8,%ebx
jb     118a <socket_put_decimal+0x7a>
lea    -0x3e8(%rbx),%ecx
imul   $0x10624dd3,%rcx,%r14
shr    $0x26,%r14
imul   $0xfffffc18,%r14d,%ecx
add    $0x1,%r14d
add    %ecx,%ebx
add    $0xfffffc18,%ebx
mov    %r14d,%ecx
or     %eax,%ecx
je     11a2 <socket_put_decimal+0x92>
or     $0x30,%r14d
mov    %r14d,%edi
call   1030 <socket_put_char@plt>
mov    $0x1,%eax
xor    %edi,%edi
cmp    $0x64,%ebx
jb     11c2 <socket_put_decimal+0xb2>
lea    -0x64(%rbx),%ecx
imul   $0x51eb851f,%rcx,%rdi
shr    $0x25,%rdi
imul   $0xffffff9c,%edi,%ecx
add    $0x1,%edi
add    %ecx,%ebx
add    $0xffffff9c,%ebx
mov    %edi,%ecx
or     %eax,%ecx
je     11d5 <socket_put_decimal+0xc5>
or     $0x30,%edi
call   1030 <socket_put_char@plt>
mov    $0x1,%eax
xor    %edi,%edi
cmp    $0xa,%ebx
jb     11f7 <socket_put_decimal+0xe7>
add    $0xfffffff6,%ebx
mov    $0xcccccccd,%edi
imul   %rbx,%rdi
shr    $0x23,%rdi
lea    (%rdi,%rdi,1),%ecx
lea    (%rcx,%rcx,4),%ecx
add    $0x1,%edi
sub    %ecx,%ebx
or     %edi,%eax
je     1203 <socket_put_decimal+0xf3>
or     $0x30,%edi
call   1030 <socket_put_char@plt>
or     $0x30,%ebx
mov    %ebx,%edi
add    $0x8,%rsp
pop    %rbx
pop    %r14
jmp    1030 <socket_put_char@plt>

LLVM IR (-O0):
define void @socket_put_decimal(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i32 %0, i32* %2
store i32 0, i32* %3
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
store i32 0, i32* %7
store i32 0, i32* %8
br label %9
9: ; preds = %12, %1
%10 = load i32, i32* %2
%11 = icmp uge i32 %10, 10000
br i1 %11, label %12, label %17
12: ; preds = %9
%13 = load i32, i32* %7
%14 = add i32 %13, 1
store i32 %14, i32* %7
%15 = load i32, i32* %2
%16 = sub i32 %15, 10000
store i32 %16, i32* %2
br label %9
17: ; preds = %9
%18 = load i32, i32* %7
%19 = load i32, i32* %8
%20 = or i32 %18, %19
%21 = icmp ne i32 %20, 0
br i1 %21, label %22, label %26
22: ; preds = %17
%23 = load i32, i32* %7
%24 = or i32 48, %23
%25 = call i32 @socket_put_char(i32 %24)
store i32 1, i32* %8
br label %26
26: ; preds = %22, %17
br label %27
27: ; preds = %30, %26
%28 = load i32, i32* %2
%29 = icmp uge i32 %28, 1000
br i1 %29, label %30, label %35
30: ; preds = %27
%31 = load i32, i32* %6
%32 = add i32 %31, 1
store i32 %32, i32* %6
%33 = load i32, i32* %2
%34 = sub i32 %33, 1000
store i32 %34, i32* %2
br label %27
35: ; preds = %27
%36 = load i32, i32* %6
%37 = load i32, i32* %8
%38 = or i32 %36, %37
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %44
40: ; preds = %35
%41 = load i32, i32* %6
%42 = or i32 48, %41
%43 = call i32 @socket_put_char(i32 %42)
store i32 1, i32* %8
br label %44
44: ; preds = %40, %35
br label %45
45: ; preds = %48, %44
%46 = load i32, i32* %2
%47 = icmp uge i32 %46, 100
br i1 %47, label %48, label %53
48: ; preds = %45
%49 = load i32, i32* %5
%50 = add i32 %49, 1
store i32 %50, i32* %5
%51 = load i32, i32* %2
%52 = sub i32 %51, 100
store i32 %52, i32* %2
br label %45
53: ; preds = %45
%54 = load i32, i32* %5
%55 = load i32, i32* %8
%56 = or i32 %54, %55
%57 = icmp ne i32 %56, 0
br i1 %57, label %58, label %62
58: ; preds = %53
%59 = load i32, i32* %5
%60 = or i32 48, %59
%61 = call i32 @socket_put_char(i32 %60)
store i32 1, i32* %8
br label %62
62: ; preds = %58, %53
br label %63
63: ; preds = %66, %62
%64 = load i32, i32* %2
%65 = icmp uge i32 %64, 10
br i1 %65, label %66, label %71
66: ; preds = %63
%67 = load i32, i32* %4
%68 = add i32 %67, 1
store i32 %68, i32* %4
%69 = load i32, i32* %2
%70 = sub i32 %69, 10
store i32 %70, i32* %2
br label %63
71: ; preds = %63
%72 = load i32, i32* %4
%73 = load i32, i32* %8
%74 = or i32 %72, %73
%75 = icmp ne i32 %74, 0
br i1 %75, label %76, label %80
76: ; preds = %71
%77 = load i32, i32* %4
%78 = or i32 48, %77
%79 = call i32 @socket_put_char(i32 %78)
store i32 1, i32* %8
br label %80
80: ; preds = %76, %71
br label %81
81: ; preds = %84, %80
%82 = load i32, i32* %2
%83 = icmp uge i32 %82, 1
br i1 %83, label %84, label %89
84: ; preds = %81
%85 = load i32, i32* %3
%86 = add i32 %85, 1
store i32 %86, i32* %3
%87 = load i32, i32* %2
%88 = sub i32 %87, 1
store i32 %88, i32* %2
br label %81
89: ; preds = %81
%90 = load i32, i32* %3
%91 = or i32 48, %90
%92 = call i32 @socket_put_char(i32 %91)
ret void
}

LLVM IR (-O2):
define void @socket_put_decimal(i32 %0) {
%2 = icmp ugt i32 %0, 9999
br i1 %2, label %3, label %11
3: ; preds = %1
%4 = add i32 %0, -10000
%5 = udiv i32 %4, 10000
%6 = mul i32 %5, -10000
%7 = add nuw nsw i32 %5, 1
%8 = add i32 %6, %4
%9 = or i32 %7, 48
%10 = tail call i32 @socket_put_char(i32 %9)
br label %11
11: ; preds = %1, %3
%12 = phi i32 [ %8, %3 ], [ %0, %1 ]
%13 = phi i32 [ 1, %3 ], [ 0, %1 ]
%14 = icmp ugt i32 %12, 999
br i1 %14, label %15, label %21
15: ; preds = %11
%16 = add i32 %12, -1000
%17 = udiv i32 %16, 1000
%18 = mul i32 %17, -1000
%19 = add nuw nsw i32 %17, 1
%20 = add i32 %18, %16
br label %21
21: ; preds = %15, %11
%22 = phi i32 [ %12, %11 ], [ %20, %15 ]
%23 = phi i32 [ 0, %11 ], [ %19, %15 ]
%24 = or i32 %23, %13
%25 = icmp eq i32 %24, 0
br i1 %25, label %29, label %26
26: ; preds = %21
%27 = or i32 %23, 48
%28 = tail call i32 @socket_put_char(i32 %27)
br label %29
29: ; preds = %26, %21
%30 = phi i32 [ 1, %26 ], [ %13, %21 ]
%31 = icmp ugt i32 %22, 99
br i1 %31, label %32, label %38
32: ; preds = %29
%33 = add i32 %22, -100
%34 = udiv i32 %33, 100
%35 = mul i32 %34, -100
%36 = add nuw nsw i32 %34, 1
%37 = add i32 %35, %33
br label %38
38: ; preds = %32, %29
%39 = phi i32 [ %22, %29 ], [ %37, %32 ]
%40 = phi i32 [ 0, %29 ], [ %36, %32 ]
%41 = or i32 %40, %30
%42 = icmp eq i32 %41, 0
br i1 %42, label %46, label %43
43: ; preds = %38
%44 = or i32 %40, 48
%45 = tail call i32 @socket_put_char(i32 %44)
br label %46
46: ; preds = %43, %38
%47 = phi i32 [ 1, %43 ], [ %30, %38 ]
%48 = icmp ugt i32 %39, 9
br i1 %48, label %49, label %55
49: ; preds = %46
%50 = add i32 %39, -10
%51 = udiv i32 %50, 10
%52 = mul i32 %51, -10
%53 = add nuw nsw i32 %51, 1
%54 = add i32 %52, %50
br label %55
55: ; preds = %49, %46
%56 = phi i32 [ %39, %46 ], [ %54, %49 ]
%57 = phi i32 [ 0, %46 ], [ %53, %49 ]
%58 = or i32 %57, %47
%59 = icmp eq i32 %58, 0
br i1 %59, label %63, label %60
60: ; preds = %55
%61 = or i32 %57, 48
%62 = tail call i32 @socket_put_char(i32 %61)
br label %63
63: ; preds = %55, %60
%64 = or i32 %56, 48
%65 = tail call i32 @socket_put_char(i32 %64)
ret void
}