#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*/ printf(char *, int, ...);
void prettyprint(unsigned long long int x) {
  int t, g, m, k, u;
  t = x / 1e12;
  x = x - t * 1e12;
  g = x / 1e9;
  x = x - g * 1e9;
  m = x / 1e6;
  x = x - m * 1e6;
  k = x / 1e3;
  u = x - k * 1e3;
  if (t)
    printf("%5d,%03d,%03d,%03d,%03d", t, g, m, k, u);
  else if (g)
    printf("      %3d,%03d,%03d,%03d", g, m, k, u);
  else if (m)
    printf("          %3d,%03d,%03d", m, k, u);
  else if (k)
    printf("              %3d,%03d", k, u);
  else
    printf("                  %3d", u);
}


x86 assembly (clang, -O0):
<prettyprint>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
movq   -0x8(%rbp),%xmm1
movaps 0xf08(%rip),%xmm2
movaps %xmm2,-0x40(%rbp)
punpckldq %xmm2,%xmm1
movapd 0xf08(%rip),%xmm0
movaps %xmm0,-0x30(%rbp)
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm3
unpckhpd %xmm1,%xmm1
addsd  %xmm3,%xmm1
movsd  0xeb5(%rip),%xmm4
divsd  %xmm4,%xmm1
cvttsd2si %xmm1,%eax
mov    %eax,-0xc(%rbp)
movq   -0x8(%rbp),%xmm1
punpckldq %xmm2,%xmm1
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm3
unpckhpd %xmm1,%xmm1
addsd  %xmm3,%xmm1
cvtsi2sdl -0xc(%rbp),%xmm3
mulsd  %xmm4,%xmm3
subsd  %xmm3,%xmm1
movaps %xmm1,%xmm3
cvttsd2si %xmm3,%rax
mov    %rax,%rdx
sar    $0x3f,%rdx
movsd  0xe76(%rip),%xmm3
subsd  %xmm3,%xmm1
cvttsd2si %xmm1,%rcx
and    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x8(%rbp)
movq   -0x8(%rbp),%xmm1
punpckldq %xmm2,%xmm1
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm4
unpckhpd %xmm1,%xmm1
addsd  %xmm4,%xmm1
movsd  0xe4b(%rip),%xmm5
divsd  %xmm5,%xmm1
cvttsd2si %xmm1,%eax
mov    %eax,-0x10(%rbp)
movq   -0x8(%rbp),%xmm1
punpckldq %xmm2,%xmm1
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm4
unpckhpd %xmm1,%xmm1
addsd  %xmm4,%xmm1
cvtsi2sdl -0x10(%rbp),%xmm4
mulsd  %xmm5,%xmm4
subsd  %xmm4,%xmm1
movaps %xmm1,%xmm4
cvttsd2si %xmm4,%rax
mov    %rax,%rdx
sar    $0x3f,%rdx
subsd  %xmm3,%xmm1
cvttsd2si %xmm1,%rcx
and    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x8(%rbp)
movq   -0x8(%rbp),%xmm1
punpckldq %xmm2,%xmm1
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm4
unpckhpd %xmm1,%xmm1
addsd  %xmm4,%xmm1
movsd  0xde1(%rip),%xmm5
divsd  %xmm5,%xmm1
cvttsd2si %xmm1,%eax
mov    %eax,-0x14(%rbp)
movq   -0x8(%rbp),%xmm1
punpckldq %xmm2,%xmm1
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm4
unpckhpd %xmm1,%xmm1
addsd  %xmm4,%xmm1
cvtsi2sdl -0x14(%rbp),%xmm4
mulsd  %xmm5,%xmm4
subsd  %xmm4,%xmm1
movaps %xmm1,%xmm4
cvttsd2si %xmm4,%rax
mov    %rax,%rdx
sar    $0x3f,%rdx
subsd  %xmm3,%xmm1
cvttsd2si %xmm1,%rcx
and    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x8(%rbp)
movq   -0x8(%rbp),%xmm1
punpckldq %xmm2,%xmm1
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm3
unpckhpd %xmm1,%xmm1
addsd  %xmm3,%xmm1
movsd  0xd4f(%rip),%xmm3
divsd  %xmm3,%xmm1
cvttsd2si %xmm1,%eax
mov    %eax,-0x18(%rbp)
movq   -0x8(%rbp),%xmm1
punpckldq %xmm2,%xmm1
subpd  %xmm0,%xmm1
movaps %xmm1,%xmm0
unpckhpd %xmm1,%xmm1
addsd  %xmm0,%xmm1
cvtsi2sdl -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  0xd08(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     1335 <prettyprint+0x225>
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
mov    -0x1c(%rbp),%r9d
lea    0xd27(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13c8 <prettyprint+0x2b8>
cmpl   $0x0,-0x10(%rbp)
je     135f <prettyprint+0x24f>
mov    -0x10(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%r8d
lea    0xd15(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13c3 <prettyprint+0x2b3>
cmpl   $0x0,-0x14(%rbp)
je     1385 <prettyprint+0x275>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
lea    0xd08(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13be <prettyprint+0x2ae>
cmpl   $0x0,-0x18(%rbp)
je     13a8 <prettyprint+0x298>
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
lea    0xcfd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13b9 <prettyprint+0x2a9>
mov    -0x1c(%rbp),%esi
lea    0xcfe(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13be <prettyprint+0x2ae>
jmp    13c3 <prettyprint+0x2b3>
jmp    13c8 <prettyprint+0x2b8>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<prettyprint>:
movq   %rdi,%xmm2
movdqa 0xee3(%rip),%xmm0
punpckldq %xmm0,%xmm2
movapd 0xee7(%rip),%xmm1
subpd  %xmm1,%xmm2
movapd %xmm2,%xmm3
unpckhpd %xmm2,%xmm3
addsd  %xmm2,%xmm3
movsd  0xedf(%rip),%xmm2
movapd %xmm3,%xmm4
divsd  %xmm2,%xmm4
cvttsd2si %xmm4,%esi
cvttpd2dq %xmm4,%xmm4
cvtdq2pd %xmm4,%xmm4
mulsd  %xmm2,%xmm4
subsd  %xmm4,%xmm3
cvttsd2si %xmm3,%rax
mov    %rax,%rcx
sar    $0x3f,%rcx
movsd  0xeb7(%rip),%xmm2
subsd  %xmm2,%xmm3
cvttsd2si %xmm3,%rdx
and    %rcx,%rdx
or     %rax,%rdx
movq   %rdx,%xmm3
punpckldq %xmm0,%xmm3
subpd  %xmm1,%xmm3
movapd %xmm3,%xmm4
unpckhpd %xmm3,%xmm4
addsd  %xmm3,%xmm4
movsd  0xe8f(%rip),%xmm3
movapd %xmm4,%xmm5
divsd  %xmm3,%xmm5
cvttsd2si %xmm5,%edx
cvttpd2dq %xmm5,%xmm5
cvtdq2pd %xmm5,%xmm5
mulsd  %xmm3,%xmm5
subsd  %xmm5,%xmm4
cvttsd2si %xmm4,%rax
mov    %rax,%rcx
sar    $0x3f,%rcx
subsd  %xmm2,%xmm4
cvttsd2si %xmm4,%rdi
and    %rcx,%rdi
or     %rax,%rdi
movq   %rdi,%xmm3
punpckldq %xmm0,%xmm3
subpd  %xmm1,%xmm3
movapd %xmm3,%xmm4
unpckhpd %xmm3,%xmm4
addsd  %xmm3,%xmm4
movsd  0xe3f(%rip),%xmm3
movapd %xmm4,%xmm5
divsd  %xmm3,%xmm5
cvttsd2si %xmm5,%ecx
cvttpd2dq %xmm5,%xmm5
cvtdq2pd %xmm5,%xmm5
mulsd  %xmm3,%xmm5
subsd  %xmm5,%xmm4
cvttsd2si %xmm4,%r8
mov    %r8,%rdi
sar    $0x3f,%rdi
subsd  %xmm2,%xmm4
cvttsd2si %xmm4,%rax
and    %rdi,%rax
or     %r8,%rax
movq   %rax,%xmm2
punpckldq %xmm0,%xmm2
subpd  %xmm1,%xmm2
movapd %xmm2,%xmm0
unpckhpd %xmm2,%xmm0
addsd  %xmm2,%xmm0
movsd  0xdef(%rip),%xmm1
movapd %xmm0,%xmm2
divsd  %xmm1,%xmm2
cvttsd2si %xmm2,%r8d
cvttpd2dq %xmm2,%xmm2
cvtdq2pd %xmm2,%xmm2
mulsd  %xmm1,%xmm2
subsd  %xmm2,%xmm0
cvttsd2si %xmm0,%r9d
test   %esi,%esi
je     1285 <prettyprint+0x175>
lea    0xdca(%rip),%rdi
xor    %eax,%eax
jmp    1030 <printf@plt>
test   %edx,%edx
je     12a1 <prettyprint+0x191>
lea    0xdd0(%rip),%rdi
mov    %edx,%esi
mov    %ecx,%edx
mov    %r8d,%ecx
mov    %r9d,%r8d
xor    %eax,%eax
jmp    1030 <printf@plt>
test   %ecx,%ecx
je     12bb <prettyprint+0x1ab>
lea    0xdcd(%rip),%rdi
mov    %ecx,%esi
mov    %r8d,%edx
mov    %r9d,%ecx
xor    %eax,%eax
jmp    1030 <printf@plt>
test   %r8d,%r8d
je     12d4 <prettyprint+0x1c4>
lea    0xdca(%rip),%rdi
mov    %r8d,%esi
mov    %r9d,%edx
xor    %eax,%eax
jmp    1030 <printf@plt>
lea    0xdcd(%rip),%rdi
mov    %r9d,%esi
xor    %eax,%eax
jmp    1030 <printf@plt>

LLVM IR (-O0):
@.str = [24 x i8] c"%5d,%03d,%03d,%03d,%03d\00"
@.str.1 = [25 x i8] c" %3d,%03d,%03d,%03d\00"
@.str.2 = [24 x i8] c" %3d,%03d,%03d\00"
@.str.3 = [23 x i8] c" %3d,%03d\00"
@.str.4 = [22 x i8] c" %3d\00"
define void @prettyprint(i64 %0) {
%2 = alloca i64
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i64 %0, i64* %2
%8 = load i64, i64* %2
%9 = uitofp i64 %8 to double
%10 = fdiv double %9, 1.000000e+12
%11 = fptosi double %10 to i32
store i32 %11, i32* %3
%12 = load i64, i64* %2
%13 = uitofp i64 %12 to double
%14 = load i32, i32* %3
%15 = sitofp i32 %14 to double
%16 = fneg double %15
%17 = call double @llvm.fmuladd.f64(double %16, double 1.000000e+12, double %13)
%18 = fptoui double %17 to i64
store i64 %18, i64* %2
%19 = load i64, i64* %2
%20 = uitofp i64 %19 to double
%21 = fdiv double %20, 1.000000e+09
%22 = fptosi double %21 to i32
store i32 %22, i32* %4
%23 = load i64, i64* %2
%24 = uitofp i64 %23 to double
%25 = load i32, i32* %4
%26 = sitofp i32 %25 to double
%27 = fneg double %26
%28 = call double @llvm.fmuladd.f64(double %27, double 1.000000e+09, double %24)
%29 = fptoui double %28 to i64
store i64 %29, i64* %2
%30 = load i64, i64* %2
%31 = uitofp i64 %30 to double
%32 = fdiv double %31, 1.000000e+06
%33 = fptosi double %32 to i32
store i32 %33, i32* %5
%34 = load i64, i64* %2
%35 = uitofp i64 %34 to double
%36 = load i32, i32* %5
%37 = sitofp i32 %36 to double
%38 = fneg double %37
%39 = call double @llvm.fmuladd.f64(double %38, double 1.000000e+06, double %35)
%40 = fptoui double %39 to i64
store i64 %40, i64* %2
%41 = load i64, i64* %2
%42 = uitofp i64 %41 to double
%43 = fdiv double %42, 1.000000e+03
%44 = fptosi double %43 to i32
store i32 %44, i32* %6
%45 = load i64, i64* %2
%46 = uitofp i64 %45 to double
%47 = load i32, i32* %6
%48 = sitofp i32 %47 to double
%49 = fneg double %48
%50 = call double @llvm.fmuladd.f64(double %49, double 1.000000e+03, double %46)
%51 = fptosi double %50 to i32
store i32 %51, i32* %7
%52 = load i32, i32* %3
%53 = icmp ne i32 %52, 0
br i1 %53, label %54, label %61
54: ; preds = %1
%55 = load i32, i32* %3
%56 = load i32, i32* %4
%57 = load i32, i32* %5
%58 = load i32, i32* %6
%59 = load i32, i32* %7
%60 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), i32 %55, i32 %56, i32 %57, i32 %58, i32 %59)
br label %91
61: ; preds = %1
%62 = load i32, i32* %4
%63 = icmp ne i32 %62, 0
br i1 %63, label %64, label %70
64: ; preds = %61
%65 = load i32, i32* %4
%66 = load i32, i32* %5
%67 = load i32, i32* %6
%68 = load i32, i32* %7
%69 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), i32 %65, i32 %66, i32 %67, i32 %68)
br label %90
70: ; preds = %61
%71 = load i32, i32* %5
%72 = icmp ne i32 %71, 0
br i1 %72, label %73, label %78
73: ; preds = %70
%74 = load i32, i32* %5
%75 = load i32, i32* %6
%76 = load i32, i32* %7
%77 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.2, i64 0, i64 0), i32 %74, i32 %75, i32 %76)
br label %89
78: ; preds = %70
%79 = load i32, i32* %6
%80 = icmp ne i32 %79, 0
br i1 %80, label %81, label %85
81: ; preds = %78
%82 = load i32, i32* %6
%83 = load i32, i32* %7
%84 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.3, i64 0, i64 0), i32 %82, i32 %83)
br label %88
85: ; preds = %78
%86 = load i32, i32* %7
%87 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), i32 %86)
br label %88
88: ; preds = %85, %81
br label %89
89: ; preds = %88, %73
br label %90
90: ; preds = %89, %64
br label %91
91: ; preds = %90, %54
ret void
}

LLVM IR (-O2):
@.str = [24 x i8] c"%5d,%03d,%03d,%03d,%03d\00"
@.str.1 = [25 x i8] c" %3d,%03d,%03d,%03d\00"
@.str.2 = [24 x i8] c" %3d,%03d,%03d\00"
@.str.3 = [23 x i8] c" %3d,%03d\00"
@.str.4 = [22 x i8] c" %3d\00"
define void @prettyprint(i64 %0) {
%2 = uitofp i64 %0 to double
%3 = fdiv double %2, 1.000000e+12
%4 = fptosi double %3 to i32
%5 = sitofp i32 %4 to double
%6 = fneg double %5
%7 = tail call double @llvm.fmuladd.f64(double %6, double 1.000000e+12, double %2)
%8 = fptoui double %7 to i64
%9 = uitofp i64 %8 to double
%10 = fdiv double %9, 1.000000e+09
%11 = fptosi double %10 to i32
%12 = sitofp i32 %11 to double
%13 = fneg double %12
%14 = tail call double @llvm.fmuladd.f64(double %13, double 1.000000e+09, double %9)
%15 = fptoui double %14 to i64
%16 = uitofp i64 %15 to double
%17 = fdiv double %16, 1.000000e+06
%18 = fptosi double %17 to i32
%19 = sitofp i32 %18 to double
%20 = fneg double %19
%21 = tail call double @llvm.fmuladd.f64(double %20, double 1.000000e+06, double %16)
%22 = fptoui double %21 to i64
%23 = uitofp i64 %22 to double
%24 = fdiv double %23, 1.000000e+03
%25 = fptosi double %24 to i32
%26 = sitofp i32 %25 to double
%27 = fneg double %26
%28 = tail call double @llvm.fmuladd.f64(double %27, double 1.000000e+03, double %23)
%29 = fptosi double %28 to i32
%30 = icmp eq i32 %4, 0
br i1 %30, label %33, label %31
31: ; preds = %1
%32 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), i32 %4, i32 %11, i32 %18, i32 %25, i32 %29)
br label %47
33: ; preds = %1
%34 = icmp eq i32 %11, 0
br i1 %34, label %37, label %35
35: ; preds = %33
%36 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), i32 %11, i32 %18, i32 %25, i32 %29)
br label %47
37: ; preds = %33
%38 = icmp eq i32 %18, 0
br i1 %38, label %41, label %39
39: ; preds = %37
%40 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.2, i64 0, i64 0), i32 %18, i32 %25, i32 %29)
br label %47
41: ; preds = %37
%42 = icmp eq i32 %25, 0
br i1 %42, label %45, label %43
43: ; preds = %41
%44 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.3, i64 0, i64 0), i32 %25, i32 %29)
br label %47
45: ; preds = %41
%46 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), i32 %29)
br label %47
47: ; preds = %35, %43, %45, %39, %31
ret void
}