#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*/ long_to_string(char *, long);
int strlen(char *);
char *legible(long l) {
  static char outbuf[20];
  char inbuf[20];
  int i, i1, mod;
  char *outptr, *inptr;
  long_to_string(inbuf, l);
  outptr = outbuf;
  inptr = inbuf;
  if (*inptr == '-') {
    *outptr++ = '-';
    ++inptr;
  }
  mod = strlen(inptr) % 3;
  for (i = 0; i < mod; i++)
    *outptr++ = inptr[i];
  for (i1 = i, i = 0; inptr[i1]; i++, i1++) {
    if (i % 3 == 0 && i1 != 0)
      *outptr++ = ',';
    *outptr++ = inptr[i1];
  }
  *outptr = '\0';
  return outbuf;
}


x86 assembly (clang, -O0):
<legible>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
lea    -0x20(%rbp),%rdi
mov    -0x8(%rbp),%rsi
call   1040 <long_to_string@plt>
lea    0x2f00(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    117a <legible+0x5a>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x2d,(%rax)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rdi
call   1030 <strlen@plt>
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %edx,-0x2c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    11cb <legible+0xab>
mov    -0x40(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1195 <legible+0x75>
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x40(%rbp),%rax
movslq -0x28(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     124d <legible+0x12d>
mov    -0x24(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    121a <legible+0xfa>
cmpl   $0x0,-0x28(%rbp)
je     121a <legible+0xfa>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x2c,(%rax)
mov    -0x40(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11d8 <legible+0xb8>
mov    -0x38(%rbp),%rax
movb   $0x0,(%rax)
lea    0x2de5(%rip),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<legible>:
push   %r15
push   %r14
push   %rbx
sub    $0x20,%rsp
mov    %rdi,%rsi
mov    %rsp,%r14
mov    %r14,%rdi
call   1050 <long_to_string@plt>
cmpb   $0x2d,(%rsp)
jne    1162 <legible+0x32>
movb   $0x2d,0x2efc(%rip)
lea    0x2ef6(%rip),%r15
lea    0x1(%rsp),%r14
jmp    1169 <legible+0x39>
lea    0x2ee7(%rip),%r15
mov    %r14,%rdi
call   1030 <strlen@plt>
movslq %eax,%rbx
imul   $0x55555556,%rbx,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rax
add    %ecx,%eax
lea    (%rax,%rax,2),%eax
sub    %eax,%ebx
test   %ebx,%ebx
jle    11ae <legible+0x7e>
mov    %ebx,%edx
mov    %r15,%rdi
mov    %r14,%rsi
call   1040 <memcpy@plt>
add    $0xffffffff,%ebx
add    %rbx,%r15
add    $0x1,%r15
add    $0x1,%rbx
jmp    11b0 <legible+0x80>
xor    %ebx,%ebx
mov    (%r14,%rbx,1),%dl
test   %dl,%dl
je     1210 <legible+0xe0>
xor    %eax,%eax
mov    $0xaaaaaaab,%ecx
xor    %esi,%esi
jmp    11eb <legible+0xbb>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %dl,(%r15)
add    $0x1,%r15
add    $0x1,%esi
movzbl 0x1(%r14,%rbx,1),%edx
add    $0x1,%rbx
add    $0xffffffff,%eax
test   %dl,%dl
je     1210 <legible+0xe0>
mov    %esi,%edi
imul   %rcx,%rdi
shr    $0x21,%rdi
lea    (%rdi,%rdi,2),%edi
add    %eax,%edi
jne    11d0 <legible+0xa0>
test   %rbx,%rbx
je     11d0 <legible+0xa0>
movb   $0x2c,(%r15)
add    $0x1,%r15
movzbl (%r14,%rbx,1),%edx
jmp    11d0 <legible+0xa0>
movb   $0x0,(%r15)
lea    0x2e35(%rip),%rax
add    $0x20,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
@legible.outbuf = internal global [20 x i8] zeroinitializer
define i8* @legible(i64 %0) {
%2 = alloca [20 x i8]
%3 = getelementptr inbounds [20 x i8], [20 x i8]* %2, i64 0, i64 0
%4 = call i32 @long_to_string(i8* %3, i64 %0)
%5 = load i8, i8* %3
%6 = icmp eq i8 %5, 45
br i1 %6, label %7, label %9
7: ; preds = %1
store i8 45, i8* getelementptr inbounds ([20 x i8], [20 x i8]* @legible.outbuf, i64 0, i64 0)
%8 = getelementptr inbounds [20 x i8], [20 x i8]* %2, i64 0, i64 1
br label %9
9: ; preds = %7, %1
%10 = phi i8* [ getelementptr inbounds ([20 x i8], [20 x i8]* @legible.outbuf, i64 0, i64 1), %7 ], [ getelementptr inbounds ([20 x i8], [20 x i8]* @legible.outbuf, i64 0, i64 0), %1 ]
%11 = phi i8* [ %8, %7 ], [ %3, %1 ]
%12 = call i32 @strlen(i8* %11)
%13 = srem i32 %12, 3
%14 = icmp sgt i32 %13, 0
br i1 %14, label %15, label %21
15: ; preds = %9
%16 = zext i32 %13 to i64
%17 = add nsw i32 %13, -1
%18 = zext i32 %17 to i64
%19 = add nuw nsw i64 %18, 1
%20 = getelementptr i8, i8* %10, i64 %19
br label %21
21: ; preds = %15, %9
%22 = phi i64 [ 0, %9 ], [ %19, %15 ]
%23 = phi i8* [ %10, %9 ], [ %20, %15 ]
%24 = getelementptr inbounds i8, i8* %11, i64 %22
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, 0
br i1 %26, label %49, label %27
27: ; preds = %21, %40
%28 = phi i8 [ %47, %40 ], [ %25, %21 ]
%29 = phi i64 [ %45, %40 ], [ %22, %21 ]
%30 = phi i8* [ %46, %40 ], [ %24, %21 ]
%31 = phi i8* [ %43, %40 ], [ %23, %21 ]
%32 = phi i32 [ %44, %40 ], [ 0, %21 ]
%33 = urem i32 %32, 3
%34 = icmp eq i32 %33, 0
%35 = icmp ne i64 %29, 0
%36 = select i1 %34, i1 %35, i1 false
br i1 %36, label %37, label %40
37: ; preds = %27
%38 = getelementptr inbounds i8, i8* %31, i64 1
store i8 44, i8* %31
%39 = load i8, i8* %30
br label %40
40: ; preds = %37, %27
%41 = phi i8 [ %39, %37 ], [ %28, %27 ]
%42 = phi i8* [ %38, %37 ], [ %31, %27 ]
%43 = getelementptr inbounds i8, i8* %42, i64 1
store i8 %41, i8* %42
%44 = add nuw nsw i32 %32, 1
%45 = add nuw i64 %29, 1
%46 = getelementptr inbounds i8, i8* %11, i64 %45
%47 = load i8, i8* %46
%48 = icmp eq i8 %47, 0
br i1 %48, label %49, label %27
49: ; preds = %40, %21
%50 = phi i8* [ %23, %21 ], [ %43, %40 ]
store i8 0, i8* %50
ret i8* getelementptr inbounds ([20 x i8], [20 x i8]* @legible.outbuf, i64 0, i64 0)
}