#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 atoi(char const *);
int /*<<< orphan*/ sprintf(char *, char *, long);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
void sprint_hinted_integer(char *buf, long val, const char *hint,
                           const char *units) {
  char code;
  int shift, len;
  char tmp[256];
  char fmt[10];
  code = hint[0];
  if (hint[1] == '-') {
    shift = atoi(hint + 2);
  } else
    shift = 0;
  fmt[0] = '%';
  fmt[1] = 'l';
  fmt[2] = code;
  fmt[3] = 0;
  sprintf(tmp, fmt, val);
  if (shift != 0) {
    len = strlen(tmp);
    if (shift <= len) {
      tmp[len + 1] = 0;
      while (shift--) {
        tmp[len] = tmp[len - 1];
        len--;
      }
      tmp[len] = '.';
    } else {
      tmp[shift + 1] = 0;
      while (shift) {
        if (len-- > 0)
          tmp[shift] = tmp[len];
        else
          tmp[shift] = '0';
        shift--;
      }
      tmp[0] = '.';
    }
  }
  strcpy(buf, tmp);
}


x86 assembly (clang, -O0):
<sprint_hinted_integer>:
push   %rbp
mov    %rsp,%rbp
sub    $0x140,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x21(%rbp)
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2d,%eax
jne    118a <sprint_hinted_integer+0x4a>
mov    -0x18(%rbp),%rdi
add    $0x2,%rdi
call   1050 <atoi@plt>
mov    %eax,-0x28(%rbp)
jmp    1191 <sprint_hinted_integer+0x51>
movl   $0x0,-0x28(%rbp)
movb   $0x25,-0x13a(%rbp)
movb   $0x6c,-0x139(%rbp)
mov    -0x21(%rbp),%al
mov    %al,-0x138(%rbp)
movb   $0x0,-0x137(%rbp)
lea    -0x130(%rbp),%rdi
lea    -0x13a(%rbp),%rsi
mov    -0x10(%rbp),%rdx
call   1060 <sprintf@plt>
cmpl   $0x0,-0x28(%rbp)
je     12b7 <sprint_hinted_integer+0x177>
lea    -0x130(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     1248 <sprint_hinted_integer+0x108>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
cltq
movb   $0x0,-0x130(%rbp,%rax,1)
mov    -0x28(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x28(%rbp)
cmp    $0x0,%eax
je     1237 <sprint_hinted_integer+0xf7>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x130(%rbp,%rax,1),%cl
movslq -0x2c(%rbp),%rax
mov    %cl,-0x130(%rbp,%rax,1)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    11fb <sprint_hinted_integer+0xbb>
movslq -0x2c(%rbp),%rax
movb   $0x2e,-0x130(%rbp,%rax,1)
2e
jmp    12b2 <sprint_hinted_integer+0x172>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
cltq
movb   $0x0,-0x130(%rbp,%rax,1)
cmpl   $0x0,-0x28(%rbp)
je     12ab <sprint_hinted_integer+0x16b>
mov    -0x2c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x2c(%rbp)
cmp    $0x0,%eax
jle    1291 <sprint_hinted_integer+0x151>
movslq -0x2c(%rbp),%rax
mov    -0x130(%rbp,%rax,1),%cl
movslq -0x28(%rbp),%rax
mov    %cl,-0x130(%rbp,%rax,1)
jmp    129d <sprint_hinted_integer+0x15d>
movslq -0x28(%rbp),%rax
movb   $0x30,-0x130(%rbp,%rax,1)
30
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    1258 <sprint_hinted_integer+0x118>
movb   $0x2e,-0x130(%rbp)
jmp    12b7 <sprint_hinted_integer+0x177>
mov    -0x8(%rbp),%rdi
lea    -0x130(%rbp),%rsi
call   1030 <strcpy@plt>
add    $0x140,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sprint_hinted_integer>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x118,%rsp
mov    %rsi,%r15
mov    %rdi,%r14
mov    (%rdx),%bpl
xor    %ebx,%ebx
cmpb   $0x2d,0x1(%rdx)
jne    116c <sprint_hinted_integer+0x2c>
add    $0x2,%rdx
mov    %rdx,%rdi
call   1050 <atoi@plt>
mov    %eax,%ebx
movw   $0x6c25,0x6(%rsp)
mov    %bpl,0x8(%rsp)
movb   $0x0,0x9(%rsp)
lea    0x10(%rsp),%rdi
lea    0x6(%rsp),%rsi
mov    %r15,%rdx
call   1060 <sprintf@plt>
test   %ebx,%ebx
je     1258 <sprint_hinted_integer+0x118>
lea    0x10(%rsp),%r15
mov    %r15,%rdi
call   1040 <strlen@plt>
cmp    %eax,%ebx
jle    11c6 <sprint_hinted_integer+0x86>
movslq %ebx,%rcx
movb   $0x0,0x1(%rcx,%r15,1)
test   $0x1,%cl
jne    122e <sprint_hinted_integer+0xee>
mov    %eax,%edx
cmp    $0x1,%ebx
jne    128c <sprint_hinted_integer+0x14c>
jmp    1253 <sprint_hinted_integer+0x113>
cltq
movb   $0x0,0x1(%rax,%r15,1)
lea    -0x1(%rbx),%ebp
test   $0x3,%bl
je     123d <sprint_hinted_integer+0xfd>
lea    (%rsp,%rax,1),%rdi
add    $0x10,%rdi
mov    %ebx,%esi
and    $0x3,%esi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nop
movzbl -0x1(%rdi),%ecx
mov    %cl,(%rdi)
add    $0xffffffffffffffff,%rdi
add    $0x1,%rdx
cmp    %edx,%esi
jne    11f0 <sprint_hinted_integer+0xb0>
sub    %rdx,%rax
sub    %edx,%ebx
mov    %rax,%rdx
cmp    $0x3,%ebp
jb     1224 <sprint_hinted_integer+0xe4>
nop
lea    -0x4(%rax),%rdx
mov    0xc(%rsp,%rax,1),%ecx
mov    %ecx,0xd(%rsp,%rax,1)
mov    %rdx,%rax
add    $0xfffffffc,%ebx
jne    1210 <sprint_hinted_integer+0xd0>
movslq %edx,%rax
movb   $0x2e,0x10(%rsp,%rax,1)
jmp    1258 <sprint_hinted_integer+0x118>
lea    -0x1(%rax),%edx
test   %eax,%eax
jle    1244 <sprint_hinted_integer+0x104>
mov    %edx,%eax
mov    0x10(%rsp,%rax,1),%al
jmp    1246 <sprint_hinted_integer+0x106>
cmp    $0x3,%ebp
jae    1210 <sprint_hinted_integer+0xd0>
jmp    1224 <sprint_hinted_integer+0xe4>
mov    $0x30,%al
mov    %al,0x10(%rsp,%rcx,1)
add    $0xffffffffffffffff,%rcx
cmp    $0x1,%ebx
jne    128c <sprint_hinted_integer+0x14c>
movb   $0x2e,0x10(%rsp)
lea    0x10(%rsp),%rsi
mov    %r14,%rdi
call   1030 <strcpy@plt>
add    $0x118,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %al,0xf(%rsp,%rcx,1)
mov    %esi,%edx
add    $0xfffffffffffffffe,%rcx
je     1253 <sprint_hinted_integer+0x113>
mov    $0x30,%al
mov    $0x30,%bl
test   %edx,%edx
jle    129c <sprint_hinted_integer+0x15c>
lea    -0x1(%rdx),%esi
movzbl 0x10(%rsp,%rsi,1),%ebx
mov    %bl,0x10(%rsp,%rcx,1)
lea    -0x2(%rdx),%esi
cmp    $0x2,%edx
jl     1280 <sprint_hinted_integer+0x140>
mov    %esi,%eax
movzbl 0x10(%rsp,%rax,1),%eax
jmp    1280 <sprint_hinted_integer+0x140>

LLVM IR (-O0):
define void @sprint_hinted_integer(i8* %0, i64 %1, i8* %2, i8* %3) {
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8
%10 = alloca i32
%11 = alloca i32
%12 = alloca [256 x i8]
%13 = alloca [10 x i8]
store i8* %0, i8** %5
store i64 %1, i64* %6
store i8* %2, i8** %7
store i8* %3, i8** %8
%14 = load i8*, i8** %7
%15 = getelementptr inbounds i8, i8* %14, i64 0
%16 = load i8, i8* %15
store i8 %16, i8* %9
%17 = load i8*, i8** %7
%18 = getelementptr inbounds i8, i8* %17, i64 1
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp eq i32 %20, 45
br i1 %21, label %22, label %26
22: ; preds = %4
%23 = load i8*, i8** %7
%24 = getelementptr inbounds i8, i8* %23, i64 2
%25 = call i32 @atoi(i8* %24)
store i32 %25, i32* %10
br label %27
26: ; preds = %4
store i32 0, i32* %10
br label %27
27: ; preds = %26, %22
%28 = getelementptr inbounds [10 x i8], [10 x i8]* %13, i64 0, i64 0
store i8 37, i8* %28
%29 = getelementptr inbounds [10 x i8], [10 x i8]* %13, i64 0, i64 1
store i8 108, i8* %29
%30 = load i8, i8* %9
%31 = getelementptr inbounds [10 x i8], [10 x i8]* %13, i64 0, i64 2
store i8 %30, i8* %31
%32 = getelementptr inbounds [10 x i8], [10 x i8]* %13, i64 0, i64 3
store i8 0, i8* %32
%33 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 0
%34 = getelementptr inbounds [10 x i8], [10 x i8]* %13, i64 0, i64 0
%35 = load i64, i64* %6
%36 = call i32 @sprintf(i8* %33, i8* %34, i64 %35)
%37 = load i32, i32* %10
%38 = icmp ne i32 %37, 0
br i1 %38, label %39, label %99
39: ; preds = %27
%40 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 0
%41 = call i32 @strlen(i8* %40)
store i32 %41, i32* %11
%42 = load i32, i32* %10
%43 = load i32, i32* %11
%44 = icmp sle i32 %42, %43
br i1 %44, label %45, label %69
45: ; preds = %39
%46 = load i32, i32* %11
%47 = add nsw i32 %46, 1
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 %48
store i8 0, i8* %49
br label %50
50: ; preds = %54, %45
%51 = load i32, i32* %10
%52 = add nsw i32 %51, -1
store i32 %52, i32* %10
%53 = icmp ne i32 %51, 0
br i1 %53, label %54, label %65
54: ; preds = %50
%55 = load i32, i32* %11
%56 = sub nsw i32 %55, 1
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 %57
%59 = load i8, i8* %58
%60 = load i32, i32* %11
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 %61
store i8 %59, i8* %62
%63 = load i32, i32* %11
%64 = add nsw i32 %63, -1
store i32 %64, i32* %11
br label %50
65: ; preds = %50
%66 = load i32, i32* %11
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 %67
store i8 46, i8* %68
br label %98
69: ; preds = %39
%70 = load i32, i32* %10
%71 = add nsw i32 %70, 1
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 %72
store i8 0, i8* %73
br label %74
74: ; preds = %93, %69
%75 = load i32, i32* %10
%76 = icmp ne i32 %75, 0
br i1 %76, label %77, label %96
77: ; preds = %74
%78 = load i32, i32* %11
%79 = add nsw i32 %78, -1
store i32 %79, i32* %11
%80 = icmp sgt i32 %78, 0
br i1 %80, label %81, label %89
81: ; preds = %77
%82 = load i32, i32* %11
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 %83
%85 = load i8, i8* %84
%86 = load i32, i32* %10
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 %87
store i8 %85, i8* %88
br label %93
89: ; preds = %77
%90 = load i32, i32* %10
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 %91
store i8 48, i8* %92
br label %93
93: ; preds = %89, %81
%94 = load i32, i32* %10
%95 = add nsw i32 %94, -1
store i32 %95, i32* %10
br label %74
96: ; preds = %74
%97 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 0
store i8 46, i8* %97
br label %98
98: ; preds = %96, %65
br label %99
99: ; preds = %98, %27
%100 = load i8*, i8** %5
%101 = getelementptr inbounds [256 x i8], [256 x i8]* %12, i64 0, i64 0
%102 = call i32 @strcpy(i8* %100, i8* %101)
ret void
}

LLVM IR (-O2):
define void @sprint_hinted_integer(i8* %0, i64 %1, i8* nocapture %2, i8* nocapture readnone %3) {
%5 = alloca [256 x i8]
%6 = alloca [10 x i8]
%7 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 0
%8 = getelementptr inbounds [10 x i8], [10 x i8]* %6, i64 0, i64 0
%9 = load i8, i8* %2
%10 = getelementptr inbounds i8, i8* %2, i64 1
%11 = load i8, i8* %10
%12 = icmp eq i8 %11, 45
br i1 %12, label %13, label %16
13: ; preds = %4
%14 = getelementptr inbounds i8, i8* %2, i64 2
%15 = tail call i32 @atoi(i8* %14)
br label %16
16: ; preds = %4, %13
%17 = phi i32 [ %15, %13 ], [ 0, %4 ]
store i8 37, i8* %8
%18 = getelementptr inbounds [10 x i8], [10 x i8]* %6, i64 0, i64 1
store i8 108, i8* %18
%19 = getelementptr inbounds [10 x i8], [10 x i8]* %6, i64 0, i64 2
store i8 %9, i8* %19
%20 = getelementptr inbounds [10 x i8], [10 x i8]* %6, i64 0, i64 3
store i8 0, i8* %20
%21 = call i32 @sprintf(i8* %7, i8* %8, i64 %1)
%22 = icmp eq i32 %17, 0
br i1 %22, label %123, label %23
23: ; preds = %16
%24 = call i32 @strlen(i8* %7)
%25 = icmp sgt i32 %17, %24
br i1 %25, label %76, label %26
26: ; preds = %23
%27 = add nsw i32 %24, 1
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %28
store i8 0, i8* %29
%30 = sext i32 %24 to i64
%31 = add i32 %17, -1
%32 = and i32 %17, 3
%33 = icmp eq i32 %32, 0
br i1 %33, label %45, label %34
34: ; preds = %26, %34
%35 = phi i64 [ %39, %34 ], [ %30, %26 ]
%36 = phi i32 [ %38, %34 ], [ %17, %26 ]
%37 = phi i32 [ %43, %34 ], [ 0, %26 ]
%38 = add nsw i32 %36, -1
%39 = add nsw i64 %35, -1
%40 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %39
%41 = load i8, i8* %40
%42 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %35
store i8 %41, i8* %42
%43 = add i32 %37, 1
%44 = icmp eq i32 %43, %32
br i1 %44, label %45, label %34
45: ; preds = %34, %26
%46 = phi i64 [ undef, %26 ], [ %39, %34 ]
%47 = phi i64 [ %30, %26 ], [ %39, %34 ]
%48 = phi i32 [ %17, %26 ], [ %38, %34 ]
%49 = icmp ult i32 %31, 3
br i1 %49, label %71, label %50
50: ; preds = %45, %50
%51 = phi i64 [ %66, %50 ], [ %47, %45 ]
%52 = phi i32 [ %65, %50 ], [ %48, %45 ]
%53 = add nsw i64 %51, -1
%54 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %53
%55 = load i8, i8* %54
%56 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %51
store i8 %55, i8* %56
%57 = add nsw i64 %51, -2
%58 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %57
%59 = load i8, i8* %58
%60 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %53
store i8 %59, i8* %60
%61 = add nsw i64 %51, -3
%62 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %61
%63 = load i8, i8* %62
%64 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %57
store i8 %63, i8* %64
%65 = add nsw i32 %52, -4
%66 = add nsw i64 %51, -4
%67 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %66
%68 = load i8, i8* %67
%69 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %61
store i8 %68, i8* %69
%70 = icmp eq i32 %65, 0
br i1 %70, label %71, label %50
71: ; preds = %50, %45
%72 = phi i64 [ %46, %45 ], [ %66, %50 ]
%73 = shl i64 %72, 32
%74 = ashr exact i64 %73, 32
%75 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %74
store i8 46, i8* %75
br label %123
76: ; preds = %23
%77 = add nsw i32 %17, 1
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %78
store i8 0, i8* %79
%80 = sext i32 %17 to i64
%81 = and i64 %80, 1
%82 = icmp eq i64 %81, 0
br i1 %82, label %94, label %83
83: ; preds = %76
%84 = add nsw i32 %24, -1
%85 = icmp sgt i32 %24, 0
br i1 %85, label %86, label %90
86: ; preds = %83
%87 = zext i32 %84 to i64
%88 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %87
%89 = load i8, i8* %88
br label %90
90: ; preds = %86, %83
%91 = phi i8 [ %89, %86 ], [ 48, %83 ]
%92 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %80
store i8 %91, i8* %92
%93 = add nsw i64 %80, -1
br label %94
94: ; preds = %90, %76
%95 = phi i64 [ %80, %76 ], [ %93, %90 ]
%96 = phi i32 [ %24, %76 ], [ %84, %90 ]
%97 = icmp eq i32 %17, 1
br i1 %97, label %122, label %98
98: ; preds = %94, %117
%99 = phi i64 [ %120, %117 ], [ %95, %94 ]
%100 = phi i32 [ %111, %117 ], [ %96, %94 ]
%101 = icmp sgt i32 %100, 0
br i1 %101, label %102, label %107
102: ; preds = %98
%103 = add nsw i32 %100, -1
%104 = zext i32 %103 to i64
%105 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %104
%106 = load i8, i8* %105
br label %107
107: ; preds = %98, %102
%108 = phi i8 [ %106, %102 ], [ 48, %98 ]
%109 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %99
store i8 %108, i8* %109
%110 = add nsw i64 %99, -1
%111 = add nsw i32 %100, -2
%112 = icmp sgt i32 %100, 1
br i1 %112, label %113, label %117
113: ; preds = %107
%114 = zext i32 %111 to i64
%115 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %114
%116 = load i8, i8* %115
br label %117
117: ; preds = %113, %107
%118 = phi i8 [ %116, %113 ], [ 48, %107 ]
%119 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %110
store i8 %118, i8* %119
%120 = add nsw i64 %99, -2
%121 = icmp eq i64 %120, 0
br i1 %121, label %122, label %98
122: ; preds = %117, %94
store i8 46, i8* %7
br label %123
123: ; preds = %71, %122, %16
%124 = call i32 @strcpy(i8* %0, i8* %7)
ret void
}