#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 int32_t;

/* Variables and functions */
int /*<<< orphan*/ write_str(char *);
void write_sfix7(int32_t v) {
  char s[20], *s1, *s2, c;
  int i;
  s1 = s;
  if (v < 0) {
    *s1++ = '-';
    v = -v;
  }
  s2 = s1;
  i = 7;
  while ((v % 10) == 0 && i > 0) {
    v /= 10;
    i--;
  }
  while (--i >= 0) {
    *s2++ = (v % 10) + '0';
    v /= 10;
  }
  *s2++ = '.';
  do {
    *s2++ = (v % 10) + '0';
    v /= 10;
  } while (v > 0);
  *s2-- = 0;
  while (s2 > s1) {
    c = *s1;
    *s1 = *s2;
    *s2 = c;
    s1++;
    s2--;
  }
  write_str(s);
}


x86 assembly (clang, -O0):
<write_sfix7>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
lea    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpl   $0x0,-0x4(%rbp)
jge    1147 <write_sfix7+0x37>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x2d,(%rax)
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
movl   $0x7,-0x38(%rbp)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
xor    %eax,%eax
cmp    $0x0,%edx
mov    %al,-0x39(%rbp)
jne    1179 <write_sfix7+0x69>
cmpl   $0x0,-0x38(%rbp)
setg   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    1189 <write_sfix7+0x79>
jmp    11a5 <write_sfix7+0x95>
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4(%rbp)
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
jmp    1156 <write_sfix7+0x46>
jmp    11aa <write_sfix7+0x9a>
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
cmp    $0x0,%eax
jl     11f0 <write_sfix7+0xe0>
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    %dl,%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4(%rbp)
jmp    11aa <write_sfix7+0x9a>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x2e,(%rax)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    %dl,%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4(%rbp)
cmpl   $0x0,-0x4(%rbp)
jg     1202 <write_sfix7+0xf2>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x0,(%rax)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jbe    1296 <write_sfix7+0x186>
mov    -0x28(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x31(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x31(%rbp),%cl
mov    -0x30(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
jmp    124d <write_sfix7+0x13d>
lea    -0x20(%rbp),%rdi
call   1030 <write_str@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<write_sfix7>:
sub    $0x18,%rsp
test   %edi,%edi
js     111d <write_sfix7+0xd>
mov    %rsp,%r10
jmp    1128 <write_sfix7+0x18>
lea    0x1(%rsp),%r10
movb   $0x2d,(%rsp)
neg    %edi
imul   $0xcccccccd,%edi,%eax
ror    %eax
mov    $0x7,%esi
cmp    $0x1999999a,%eax
jae    127f <write_sfix7+0x16f>
movslq %edi,%rdx
imul   $0x66666667,%rdx,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x22,%rdi
add    %eax,%edi
imul   $0xcccccccd,%edi,%eax
add    $0x19999998,%eax
ror    %eax
mov    $0x6,%esi
mov    $0x1,%cl
cmp    $0x19999998,%eax
ja     1277 <write_sfix7+0x167>
imul   $0x51eb851f,%rdx,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x25,%rdi
add    %eax,%edi
imul   $0xcccccccd,%edi,%eax
add    $0x19999998,%eax
ror    %eax
mov    $0x5,%esi
cmp    $0x19999998,%eax
ja     1277 <write_sfix7+0x167>
imul   $0x10624dd3,%rdx,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x26,%rdi
add    %eax,%edi
imul   $0xcccccccd,%edi,%eax
add    $0x19999998,%eax
ror    %eax
mov    $0x4,%esi
cmp    $0x19999998,%eax
ja     1277 <write_sfix7+0x167>
imul   $0x68db8bad,%rdx,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x2c,%rdi
add    %eax,%edi
imul   $0xcccccccd,%edi,%eax
add    $0x19999998,%eax
ror    %eax
mov    $0x3,%esi
cmp    $0x19999998,%eax
ja     1277 <write_sfix7+0x167>
imul   $0x14f8b589,%rdx,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x2d,%rdi
add    %eax,%edi
imul   $0xcccccccd,%edi,%eax
add    $0x19999998,%eax
ror    %eax
mov    $0x2,%esi
cmp    $0x19999998,%eax
ja     1277 <write_sfix7+0x167>
imul   $0x431bde83,%rdx,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x32,%rdi
add    %eax,%edi
imul   $0xcccccccd,%edi,%eax
add    $0x19999998,%eax
ror    %eax
mov    $0x1,%esi
cmp    $0x19999998,%eax
ja     1277 <write_sfix7+0x167>
imul   $0x6b5fca6b,%rdx,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x36,%rdi
add    %eax,%edi
xor    %ecx,%ecx
xor    %esi,%esi
test   %cl,%cl
je     1344 <write_sfix7+0x234>
add    $0xffffffff,%esi
lea    0x1(%rsi),%r8
test   %esi,%esi
je     1311 <write_sfix7+0x201>
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movslq %edi,%rsi
imul   $0x66666667,%rsi,%rdx
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x22,%rdx
add    %eax,%edx
lea    (%rdx,%rdx,1),%eax
lea    (%rax,%rax,4),%eax
imul   $0x51eb851f,%rsi,%rdi
sub    %eax,%esi
add    $0x30,%sil
mov    %sil,(%r10,%rcx,1)
movslq %edx,%rax
imul   $0x66666667,%rax,%rdx
mov    %rdx,%rsi
shr    $0x3f,%rsi
sar    $0x22,%rdx
add    %esi,%edx
add    %edx,%edx
lea    (%rdx,%rdx,4),%edx
sub    %edx,%eax
add    $0x30,%al
mov    %al,0x1(%r10,%rcx,1)
add    $0x2,%rcx
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x25,%rdi
add    %eax,%edi
cmp    %rcx,%r9
jne    12a0 <write_sfix7+0x190>
test   $0x1,%r8b
jne    1319 <write_sfix7+0x209>
jmp    1346 <write_sfix7+0x236>
xor    %ecx,%ecx
test   $0x1,%r8b
je     1346 <write_sfix7+0x236>
movslq %edi,%rax
imul   $0x66666667,%rax,%rdi
mov    %rdi,%rdx
shr    $0x3f,%rdx
sar    $0x22,%rdi
add    %edx,%edi
lea    (%rdi,%rdi,1),%edx
lea    (%rdx,%rdx,4),%edx
sub    %edx,%eax
add    $0x30,%al
mov    %al,(%r10,%rcx,1)
add    $0x1,%rcx
jmp    1346 <write_sfix7+0x236>
xor    %ecx,%ecx
movb   $0x2e,(%r10,%rcx,1)
nopl   0x0(%rax,%rax,1)
movslq %edi,%rdx
imul   $0x66666667,%rdx,%rdi
mov    %rdi,%rax
shr    $0x3f,%rax
sar    $0x22,%rdi
add    %eax,%edi
lea    (%rdi,%rdi,1),%eax
lea    (%rax,%rax,4),%esi
mov    %edx,%eax
sub    %esi,%eax
add    $0x30,%al
mov    %al,0x1(%r10,%rcx,1)
add    $0x1,%rcx
cmp    $0x9,%edx
jg     1350 <write_sfix7+0x240>
movb   $0x0,0x1(%r10,%rcx,1)
test   %rcx,%rcx
jle    13ce <write_sfix7+0x2be>
mov    (%r10),%dl
mov    %al,(%r10)
mov    %dl,(%r10,%rcx,1)
cmp    $0x3,%rcx
jl     13ce <write_sfix7+0x2be>
lea    (%r10,%rcx,1),%rax
add    $0xffffffffffffffff,%rax
add    $0x2,%r10
nopl   0x0(%rax,%rax,1)
movzbl (%rax),%ecx
movzbl -0x1(%r10),%edx
mov    %cl,-0x1(%r10)
mov    %dl,(%rax)
add    $0xffffffffffffffff,%rax
lea    0x1(%r10),%rcx
cmp    %r10,%rax
mov    %rcx,%r10
ja     13b0 <write_sfix7+0x2a0>
mov    %rsp,%rdi
call   1030 <write_str@plt>
add    $0x18,%rsp
ret

LLVM IR (-O0):
define void @write_sfix7(i32 %0) {
%2 = alloca i32
%3 = alloca [20 x i8]
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8
%7 = alloca i32
store i32 %0, i32* %2
%8 = getelementptr inbounds [20 x i8], [20 x i8]* %3, i64 0, i64 0
store i8* %8, i8** %4
%9 = load i32, i32* %2
%10 = icmp slt i32 %9, 0
br i1 %10, label %11, label %16
11: ; preds = %1
%12 = load i8*, i8** %4
%13 = getelementptr inbounds i8, i8* %12, i32 1
store i8* %13, i8** %4
store i8 45, i8* %12
%14 = load i32, i32* %2
%15 = sub nsw i32 0, %14
store i32 %15, i32* %2
br label %16
16: ; preds = %11, %1
%17 = load i8*, i8** %4
store i8* %17, i8** %5
store i32 7, i32* %7
br label %18
18: ; preds = %27, %16
%19 = load i32, i32* %2
%20 = srem i32 %19, 10
%21 = icmp eq i32 %20, 0
br i1 %21, label %22, label %25
22: ; preds = %18
%23 = load i32, i32* %7
%24 = icmp sgt i32 %23, 0
br label %25
25: ; preds = %22, %18
%26 = phi i1 [ false, %18 ], [ %24, %22 ]
br i1 %26, label %27, label %32
27: ; preds = %25
%28 = load i32, i32* %2
%29 = sdiv i32 %28, 10
store i32 %29, i32* %2
%30 = load i32, i32* %7
%31 = add nsw i32 %30, -1
store i32 %31, i32* %7
br label %18
32: ; preds = %25
br label %33
33: ; preds = %37, %32
%34 = load i32, i32* %7
%35 = add nsw i32 %34, -1
store i32 %35, i32* %7
%36 = icmp sge i32 %35, 0
br i1 %36, label %37, label %46
37: ; preds = %33
%38 = load i32, i32* %2
%39 = srem i32 %38, 10
%40 = add nsw i32 %39, 48
%41 = trunc i32 %40 to i8
%42 = load i8*, i8** %5
%43 = getelementptr inbounds i8, i8* %42, i32 1
store i8* %43, i8** %5
store i8 %41, i8* %42
%44 = load i32, i32* %2
%45 = sdiv i32 %44, 10
store i32 %45, i32* %2
br label %33
46: ; preds = %33
%47 = load i8*, i8** %5
%48 = getelementptr inbounds i8, i8* %47, i32 1
store i8* %48, i8** %5
store i8 46, i8* %47
br label %49
49: ; preds = %58, %46
%50 = load i32, i32* %2
%51 = srem i32 %50, 10
%52 = add nsw i32 %51, 48
%53 = trunc i32 %52 to i8
%54 = load i8*, i8** %5
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %5
store i8 %53, i8* %54
%56 = load i32, i32* %2
%57 = sdiv i32 %56, 10
store i32 %57, i32* %2
br label %58
58: ; preds = %49
%59 = load i32, i32* %2
%60 = icmp sgt i32 %59, 0
br i1 %60, label %49, label %61
61: ; preds = %58
%62 = load i8*, i8** %5
%63 = getelementptr inbounds i8, i8* %62, i32 -1
store i8* %63, i8** %5
store i8 0, i8* %62
br label %64
64: ; preds = %68, %61
%65 = load i8*, i8** %5
%66 = load i8*, i8** %4
%67 = icmp ugt i8* %65, %66
br i1 %67, label %68, label %80
68: ; preds = %64
%69 = load i8*, i8** %4
%70 = load i8, i8* %69
store i8 %70, i8* %6
%71 = load i8*, i8** %5
%72 = load i8, i8* %71
%73 = load i8*, i8** %4
store i8 %72, i8* %73
%74 = load i8, i8* %6
%75 = load i8*, i8** %5
store i8 %74, i8* %75
%76 = load i8*, i8** %4
%77 = getelementptr inbounds i8, i8* %76, i32 1
store i8* %77, i8** %4
%78 = load i8*, i8** %5
%79 = getelementptr inbounds i8, i8* %78, i32 -1
store i8* %79, i8** %5
br label %64
80: ; preds = %64
%81 = getelementptr inbounds [20 x i8], [20 x i8]* %3, i64 0, i64 0
%82 = call i32 @write_str(i8* %81)
ret void
}

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