#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*/ strcpy(char *, char *);
scalar_t__ strlen(char *);
void Buffer2Lps2(char *lps, char *lpb, int decimal, int sign, int precision) {
  int i, j, k, l, m, sig, cad;
  char c;
  strcpy(lps, "0.0");
  j = (int)strlen(lpb);
  k = 0;
  cad = 0;
  lps[k++] = '[';
  if (sign)
    lps[k++] = '-';
  else
    lps[k++] = ' ';
  l = decimal;
  if (l < 0) {
    for (i = 0; i < precision; i++) {
      if (((precision - i) % 3) == 0)
        lps[k++] = ' ';
      lps[k++] = ' ';
    }
    k--;
    lps[k++] = '0';
    lps[k++] = '.';
    cad++;
    while (l < 0) {
      lps[k++] = '0';
      l++;
      cad++;
    }
  } else if ((decimal >= 0) && (decimal < precision)) {
    if (decimal == 0)
      j = precision - 1;
    else
      j = precision;
    for (i = 0; i < j; i++) {
      sig = precision - decimal;
      if (((precision - i) % 3) == 0)
        lps[k++] = ' ';
      if (i == sig) {
        break;
      }
      lps[k++] = ' ';
    }
  }
  sig = 0;
  for (i = 0; i < j; i++) {
    c = lpb[i];
    if (i == decimal) {
      if (i == 0) {
        lps[k++] = '0';
      }
      lps[k++] = '.';
      cad++;
    }
    if ((decimal > 0) && sig && (i < decimal)) {
      m = decimal - i;
      if ((m % 3) == 0)
        lps[k++] = ',';
    }
    lps[k++] = c;
    if (sig) {
      sig++;
    } else if (c > '0') {
      sig++;
    }
    if (cad)
      cad++;
  }
  if (cad)
    cad--;
  if (cad < precision) {
    sig = precision - cad;
    for (i = 0; i < sig; i++)
      lps[k++] = ' ';
  }
  lps[k++] = ']';
  lps[k] = 0;
}


x86 assembly (clang, -O0):
<Buffer2Lps2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xebb(%rip),%rsi
call   1030 <strcpy@plt>
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x5b,(%rax,%rcx,1)
cmpl   $0x0,-0x18(%rbp)
je     119f <Buffer2Lps2+0x7f>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
jmp    11b5 <Buffer2Lps2+0x95>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jge    12a3 <Buffer2Lps2+0x183>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1229 <Buffer2Lps2+0x109>
mov    -0x1c(%rbp),%eax
sub    -0x20(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1205 <Buffer2Lps2+0xe5>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11cc <Buffer2Lps2+0xac>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jge    129e <Buffer2Lps2+0x17e>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1267 <Buffer2Lps2+0x147>
jmp    135f <Buffer2Lps2+0x23f>
cmpl   $0x0,-0x14(%rbp)
jl     135a <Buffer2Lps2+0x23a>
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    135a <Buffer2Lps2+0x23a>
cmpl   $0x0,-0x14(%rbp)
jne    12d1 <Buffer2Lps2+0x1b1>
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12d7 <Buffer2Lps2+0x1b7>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1355 <Buffer2Lps2+0x235>
mov    -0x1c(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x1c(%rbp),%eax
sub    -0x20(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1320 <Buffer2Lps2+0x200>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
cmp    -0x34(%rbp),%eax
jne    1331 <Buffer2Lps2+0x211>
jmp    1355 <Buffer2Lps2+0x235>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12de <Buffer2Lps2+0x1be>
jmp    135a <Buffer2Lps2+0x23a>
jmp    135f <Buffer2Lps2+0x23f>
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    149b <Buffer2Lps2+0x37b>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x39(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    13d2 <Buffer2Lps2+0x2b2>
cmpl   $0x0,-0x20(%rbp)
jne    13b3 <Buffer2Lps2+0x293>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    142a <Buffer2Lps2+0x30a>
cmpl   $0x0,-0x34(%rbp)
je     142a <Buffer2Lps2+0x30a>
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    142a <Buffer2Lps2+0x30a>
mov    -0x14(%rbp),%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1425 <Buffer2Lps2+0x305>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x2c,(%rax,%rcx,1)
jmp    142a <Buffer2Lps2+0x30a>
mov    -0x39(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
cmpl   $0x0,-0x34(%rbp)
je     145a <Buffer2Lps2+0x33a>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1475 <Buffer2Lps2+0x355>
movsbl -0x39(%rbp),%eax
cmp    $0x30,%eax
jle    1470 <Buffer2Lps2+0x350>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1475 <Buffer2Lps2+0x355>
cmpl   $0x0,-0x38(%rbp)
je     1488 <Buffer2Lps2+0x368>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    148d <Buffer2Lps2+0x36d>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    136d <Buffer2Lps2+0x24d>
cmpl   $0x0,-0x38(%rbp)
je     14ae <Buffer2Lps2+0x38e>
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    14ff <Buffer2Lps2+0x3df>
mov    -0x1c(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    14fa <Buffer2Lps2+0x3da>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    14ca <Buffer2Lps2+0x3aa>
jmp    14ff <Buffer2Lps2+0x3df>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
movb   $0x5d,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Buffer2Lps2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8d,%ebp
mov    %ecx,%r13d
mov    %edx,%r14d
mov    %rsi,%rbx
mov    %rdi,%r12
lea    0xeac(%rip),%rsi
call   1030 <strcpy@plt>
mov    %rbx,0x10(%rsp)
mov    %rbx,%rdi
call   1040 <strlen@plt>
movb   $0x5b,(%r12)
test   %r13d,%r13d
mov    $0x20,%edx
mov    $0x2d,%ecx
cmove  %edx,%ecx
mov    %cl,0x1(%r12)
test   %r14d,%r14d
js     11fa <Buffer2Lps2+0xca>
xor    %ebx,%ebx
mov    $0x2,%r13d
cmp    %r14d,%ebp
mov    %ebp,%ecx
jle    1281 <Buffer2Lps2+0x151>
xor    %esi,%esi
test   %r14d,%r14d
sete   %sil
mov    %ecx,%eax
sub    %esi,%eax
test   %eax,%eax
jle    138a <Buffer2Lps2+0x25a>
neg    %esi
neg    %esi
mov    $0x2,%r13d
mov    %ecx,0xc(%rsp)
nopl   0x0(%rax,%rax,1)
imul   $0xaaaaaaab,%ecx,%edx
add    $0x2aaaaaaa,%edx
cmp    $0x55555554,%edx
ja     11e0 <Buffer2Lps2+0xb0>
movslq %r13d,%rdx
add    $0x1,%r13d
movb   $0x20,(%r12,%rdx,1)
cmp    %ecx,%r14d
je     1244 <Buffer2Lps2+0x114>
movslq %r13d,%rdx
add    $0x1,%r13d
movb   $0x20,(%r12,%rdx,1)
add    $0xffffffff,%ecx
cmp    %ecx,%esi
jne    11c0 <Buffer2Lps2+0x90>
jmp    1244 <Buffer2Lps2+0x114>
test   %ebp,%ebp
mov    %ebp,0xc(%rsp)
mov    %rax,%r15
mov    $0x2,%eax
jg     1260 <Buffer2Lps2+0x130>
movslq %eax,%r13
movw   $0x2e30,-0x1(%r13,%r12,1)
2e
lea    0x1(%r13),%eax
movslq %eax,%rdi
add    %r12,%rdi
mov    %r14d,%edx
not    %edx
add    $0x1,%rdx
mov    $0x30,%esi
call   1050 <memset@plt>
sub    %r14d,%r13d
mov    $0x1,%ebx
sub    %r14d,%ebx
add    $0x1,%r13d
mov    %r15,%rax
test   %eax,%eax
jg     1289 <Buffer2Lps2+0x159>
jmp    12c8 <Buffer2Lps2+0x198>
nopw   0x0(%rax,%rax,1)
movslq %eax,%rdx
add    $0x1,%eax
movb   $0x20,(%r12,%rdx,1)
add    $0xffffffff,%ebp
je     120a <Buffer2Lps2+0xda>
imul   $0xaaaaaaab,%ebp,%edx
add    $0x2aaaaaaa,%edx
cmp    $0x55555554,%edx
ja     1250 <Buffer2Lps2+0x120>
movslq %eax,%rdx
add    $0x1,%eax
movb   $0x20,(%r12,%rdx,1)
jmp    1250 <Buffer2Lps2+0x120>
mov    %ecx,0xc(%rsp)
test   %eax,%eax
jle    12c8 <Buffer2Lps2+0x198>
mov    0x10(%rsp),%rcx
mov    (%rcx),%dl
test   %r14d,%r14d
jne    12a6 <Buffer2Lps2+0x176>
movslq %r13d,%r13
movw   $0x2e30,(%r12,%r13,1)
add    $0x2,%r13d
add    $0x1,%ebx
movslq %r13d,%rcx
mov    %r13d,%edi
add    $0x1,%edi
mov    %dl,(%r12,%rcx,1)
lea    0x1(%rbx),%r15d
test   %ebx,%ebx
cmove  %ebx,%r15d
cmp    $0x1,%eax
jne    12da <Buffer2Lps2+0x1aa>
mov    %edi,%r13d
mov    %r15d,%ebx
sub    $0x1,%ebx
mov    0xc(%rsp),%ecx
jb     1390 <Buffer2Lps2+0x260>
jmp    1392 <Buffer2Lps2+0x262>
mov    %r14d,%r10d
mov    %eax,%r9d
movslq %r14d,%r8
xor    %ecx,%ecx
cmp    $0x31,%dl
setge  %cl
neg    %r10
lea    -0x1(%r14),%esi
mov    $0x1,%edx
mov    0x10(%rsp),%rax
jmp    133c <Buffer2Lps2+0x20c>
xchg   %ax,%ax
lea    0x1(%rdi),%r13d
lea    0x1(%rcx),%ebx
xor    %ebp,%ebp
cmp    $0x31,%r11b
setge  %bpl
test   %ecx,%ecx
movslq %edi,%rcx
cmovne %ebx,%ebp
lea    0x1(%r15),%ebx
test   %r15d,%r15d
cmove  %r15d,%ebx
mov    %r11b,(%r12,%rcx,1)
add    $0x1,%rdx
add    $0xffffffff,%esi
mov    %ebx,%r15d
mov    %ebp,%ecx
mov    %r13d,%edi
cmp    %rdx,%r9
je     12c8 <Buffer2Lps2+0x198>
movzbl (%rax,%rdx,1),%r11d
mov    %r10,%rbx
add    %rdx,%rbx
jne    1358 <Buffer2Lps2+0x228>
movslq %edi,%rbx
lea    0x1(%rbx),%edi
movb   $0x2e,(%r12,%rbx,1)
add    $0x1,%r15d
test   %r14d,%r14d
jle    1300 <Buffer2Lps2+0x1d0>
test   %ecx,%ecx
je     1300 <Buffer2Lps2+0x1d0>
cmp    %r8,%rdx
jge    1300 <Buffer2Lps2+0x1d0>
imul   $0xaaaaaaab,%esi,%ebx
add    $0x2aaaaaaa,%ebx
cmp    $0x55555554,%ebx
ja     1300 <Buffer2Lps2+0x1d0>
movslq %edi,%rbx
add    $0x1,%edi
movb   $0x2c,(%r12,%rbx,1)
jmp    1300 <Buffer2Lps2+0x1d0>
mov    $0x2,%r13d
xor    %ebx,%ebx
mov    %ecx,%eax
sub    %ebx,%eax
jle    13bd <Buffer2Lps2+0x28d>
test   %eax,%eax
jle    13bd <Buffer2Lps2+0x28d>
movslq %r13d,%rbp
lea    (%r12,%rbp,1),%rdi
not    %ebx
add    %ecx,%ebx
lea    0x1(%rbx),%rdx
mov    $0x20,%esi
call   1050 <memset@plt>
lea    (%rbx,%rbp,1),%r13d
add    $0x1,%r13d
movslq %r13d,%rax
movw   $0x5d,(%r12,%rax,1)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [4 x i8] c"0.0\00"
define void @Buffer2Lps2(i8* %0, i8* %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i8
store i8* %0, i8** %6
store i8* %1, i8** %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32 %4, i32* %10
%19 = load i8*, i8** %6
%20 = call i32 @strcpy(i8* %19, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
%21 = load i8*, i8** %7
%22 = call i64 @strlen(i8* %21)
%23 = trunc i64 %22 to i32
store i32 %23, i32* %12
store i32 0, i32* %13
store i32 0, i32* %17
%24 = load i8*, i8** %6
%25 = load i32, i32* %13
%26 = add nsw i32 %25, 1
store i32 %26, i32* %13
%27 = sext i32 %25 to i64
%28 = getelementptr inbounds i8, i8* %24, i64 %27
store i8 91, i8* %28
%29 = load i32, i32* %9
%30 = icmp ne i32 %29, 0
br i1 %30, label %31, label %37
31: ; preds = %5
%32 = load i8*, i8** %6
%33 = load i32, i32* %13
%34 = add nsw i32 %33, 1
store i32 %34, i32* %13
%35 = sext i32 %33 to i64
%36 = getelementptr inbounds i8, i8* %32, i64 %35
store i8 45, i8* %36
br label %43
37: ; preds = %5
%38 = load i8*, i8** %6
%39 = load i32, i32* %13
%40 = add nsw i32 %39, 1
store i32 %40, i32* %13
%41 = sext i32 %39 to i64
%42 = getelementptr inbounds i8, i8* %38, i64 %41
store i8 32, i8* %42
br label %43
43: ; preds = %37, %31
%44 = load i32, i32* %8
store i32 %44, i32* %14
%45 = load i32, i32* %14
%46 = icmp slt i32 %45, 0
br i1 %46, label %47, label %102
47: ; preds = %43
store i32 0, i32* %11
br label %48
48: ; preds = %70, %47
%49 = load i32, i32* %11
%50 = load i32, i32* %10
%51 = icmp slt i32 %49, %50
br i1 %51, label %52, label %73
52: ; preds = %48
%53 = load i32, i32* %10
%54 = load i32, i32* %11
%55 = sub nsw i32 %53, %54
%56 = srem i32 %55, 3
%57 = icmp eq i32 %56, 0
br i1 %57, label %58, label %64
58: ; preds = %52
%59 = load i8*, i8** %6
%60 = load i32, i32* %13
%61 = add nsw i32 %60, 1
store i32 %61, i32* %13
%62 = sext i32 %60 to i64
%63 = getelementptr inbounds i8, i8* %59, i64 %62
store i8 32, i8* %63
br label %64
64: ; preds = %58, %52
%65 = load i8*, i8** %6
%66 = load i32, i32* %13
%67 = add nsw i32 %66, 1
store i32 %67, i32* %13
%68 = sext i32 %66 to i64
%69 = getelementptr inbounds i8, i8* %65, i64 %68
store i8 32, i8* %69
br label %70
70: ; preds = %64
%71 = load i32, i32* %11
%72 = add nsw i32 %71, 1
store i32 %72, i32* %11
br label %48
73: ; preds = %48
%74 = load i32, i32* %13
%75 = add nsw i32 %74, -1
store i32 %75, i32* %13
%76 = load i8*, i8** %6
%77 = load i32, i32* %13
%78 = add nsw i32 %77, 1
store i32 %78, i32* %13
%79 = sext i32 %77 to i64
%80 = getelementptr inbounds i8, i8* %76, i64 %79
store i8 48, i8* %80
%81 = load i8*, i8** %6
%82 = load i32, i32* %13
%83 = add nsw i32 %82, 1
store i32 %83, i32* %13
%84 = sext i32 %82 to i64
%85 = getelementptr inbounds i8, i8* %81, i64 %84
store i8 46, i8* %85
%86 = load i32, i32* %17
%87 = add nsw i32 %86, 1
store i32 %87, i32* %17
br label %88
88: ; preds = %91, %73
%89 = load i32, i32* %14
%90 = icmp slt i32 %89, 0
br i1 %90, label %91, label %101
91: ; preds = %88
%92 = load i8*, i8** %6
%93 = load i32, i32* %13
%94 = add nsw i32 %93, 1
store i32 %94, i32* %13
%95 = sext i32 %93 to i64
%96 = getelementptr inbounds i8, i8* %92, i64 %95
store i8 48, i8* %96
%97 = load i32, i32* %14
%98 = add nsw i32 %97, 1
store i32 %98, i32* %14
%99 = load i32, i32* %17
%100 = add nsw i32 %99, 1
store i32 %100, i32* %17
br label %88
101: ; preds = %88
br label %153
102: ; preds = %43
%103 = load i32, i32* %8
%104 = icmp sge i32 %103, 0
br i1 %104, label %105, label %152
105: ; preds = %102
%106 = load i32, i32* %8
%107 = load i32, i32* %10
%108 = icmp slt i32 %106, %107
br i1 %108, label %109, label %152
109: ; preds = %105
%110 = load i32, i32* %8
%111 = icmp eq i32 %110, 0
br i1 %111, label %112, label %115
112: ; preds = %109
%113 = load i32, i32* %10
%114 = sub nsw i32 %113, 1
store i32 %114, i32* %12
br label %117
115: ; preds = %109
%116 = load i32, i32* %10
store i32 %116, i32* %12
br label %117
117: ; preds = %115, %112
store i32 0, i32* %11
br label %118
118: ; preds = %148, %117
%119 = load i32, i32* %11
%120 = load i32, i32* %12
%121 = icmp slt i32 %119, %120
br i1 %121, label %122, label %151
122: ; preds = %118
%123 = load i32, i32* %10
%124 = load i32, i32* %8
%125 = sub nsw i32 %123, %124
store i32 %125, i32* %16
%126 = load i32, i32* %10
%127 = load i32, i32* %11
%128 = sub nsw i32 %126, %127
%129 = srem i32 %128, 3
%130 = icmp eq i32 %129, 0
br i1 %130, label %131, label %137
131: ; preds = %122
%132 = load i8*, i8** %6
%133 = load i32, i32* %13
%134 = add nsw i32 %133, 1
store i32 %134, i32* %13
%135 = sext i32 %133 to i64
%136 = getelementptr inbounds i8, i8* %132, i64 %135
store i8 32, i8* %136
br label %137
137: ; preds = %131, %122
%138 = load i32, i32* %11
%139 = load i32, i32* %16
%140 = icmp eq i32 %138, %139
br i1 %140, label %141, label %142
141: ; preds = %137
br label %151
142: ; preds = %137
%143 = load i8*, i8** %6
%144 = load i32, i32* %13
%145 = add nsw i32 %144, 1
store i32 %145, i32* %13
%146 = sext i32 %144 to i64
%147 = getelementptr inbounds i8, i8* %143, i64 %146
store i8 32, i8* %147
br label %148
148: ; preds = %142
%149 = load i32, i32* %11
%150 = add nsw i32 %149, 1
store i32 %150, i32* %11
br label %118
151: ; preds = %141, %118
br label %152
152: ; preds = %151, %105, %102
br label %153
153: ; preds = %152, %101
store i32 0, i32* %16
store i32 0, i32* %11
br label %154
154: ; preds = %235, %153
%155 = load i32, i32* %11
%156 = load i32, i32* %12
%157 = icmp slt i32 %155, %156
br i1 %157, label %158, label %238
158: ; preds = %154
%159 = load i8*, i8** %7
%160 = load i32, i32* %11
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds i8, i8* %159, i64 %161
%163 = load i8, i8* %162
store i8 %163, i8* %18
%164 = load i32, i32* %11
%165 = load i32, i32* %8
%166 = icmp eq i32 %164, %165
br i1 %166, label %167, label %184
167: ; preds = %158
%168 = load i32, i32* %11
%169 = icmp eq i32 %168, 0
br i1 %169, label %170, label %176
170: ; preds = %167
%171 = load i8*, i8** %6
%172 = load i32, i32* %13
%173 = add nsw i32 %172, 1
store i32 %173, i32* %13
%174 = sext i32 %172 to i64
%175 = getelementptr inbounds i8, i8* %171, i64 %174
store i8 48, i8* %175
br label %176
176: ; preds = %170, %167
%177 = load i8*, i8** %6
%178 = load i32, i32* %13
%179 = add nsw i32 %178, 1
store i32 %179, i32* %13
%180 = sext i32 %178 to i64
%181 = getelementptr inbounds i8, i8* %177, i64 %180
store i8 46, i8* %181
%182 = load i32, i32* %17
%183 = add nsw i32 %182, 1
store i32 %183, i32* %17
br label %184
184: ; preds = %176, %158
%185 = load i32, i32* %8
%186 = icmp sgt i32 %185, 0
br i1 %186, label %187, label %208
187: ; preds = %184
%188 = load i32, i32* %16
%189 = icmp ne i32 %188, 0
br i1 %189, label %190, label %208
190: ; preds = %187
%191 = load i32, i32* %11
%192 = load i32, i32* %8
%193 = icmp slt i32 %191, %192
br i1 %193, label %194, label %208
194: ; preds = %190
%195 = load i32, i32* %8
%196 = load i32, i32* %11
%197 = sub nsw i32 %195, %196
store i32 %197, i32* %15
%198 = load i32, i32* %15
%199 = srem i32 %198, 3
%200 = icmp eq i32 %199, 0
br i1 %200, label %201, label %207
201: ; preds = %194
%202 = load i8*, i8** %6
%203 = load i32, i32* %13
%204 = add nsw i32 %203, 1
store i32 %204, i32* %13
%205 = sext i32 %203 to i64
%206 = getelementptr inbounds i8, i8* %202, i64 %205
store i8 44, i8* %206
br label %207
207: ; preds = %201, %194
br label %208
208: ; preds = %207, %190, %187, %184
%209 = load i8, i8* %18
%210 = load i8*, i8** %6
%211 = load i32, i32* %13
%212 = add nsw i32 %211, 1
store i32 %212, i32* %13
%213 = sext i32 %211 to i64
%214 = getelementptr inbounds i8, i8* %210, i64 %213
store i8 %209, i8* %214
%215 = load i32, i32* %16
%216 = icmp ne i32 %215, 0
br i1 %216, label %217, label %220
217: ; preds = %208
%218 = load i32, i32* %16
%219 = add nsw i32 %218, 1
store i32 %219, i32* %16
br label %228
220: ; preds = %208
%221 = load i8, i8* %18
%222 = sext i8 %221 to i32
%223 = icmp sgt i32 %222, 48
br i1 %223, label %224, label %227
224: ; preds = %220
%225 = load i32, i32* %16
%226 = add nsw i32 %225, 1
store i32 %226, i32* %16
br label %227
227: ; preds = %224, %220
br label %228
228: ; preds = %227, %217
%229 = load i32, i32* %17
%230 = icmp ne i32 %229, 0
br i1 %230, label %231, label %234
231: ; preds = %228
%232 = load i32, i32* %17
%233 = add nsw i32 %232, 1
store i32 %233, i32* %17
br label %234
234: ; preds = %231, %228
br label %235
235: ; preds = %234
%236 = load i32, i32* %11
%237 = add nsw i32 %236, 1
store i32 %237, i32* %11
br label %154
238: ; preds = %154
%239 = load i32, i32* %17
%240 = icmp ne i32 %239, 0
br i1 %240, label %241, label %244
241: ; preds = %238
%242 = load i32, i32* %17
%243 = add nsw i32 %242, -1
store i32 %243, i32* %17
br label %244
244: ; preds = %241, %238
%245 = load i32, i32* %17
%246 = load i32, i32* %10
%247 = icmp slt i32 %245, %246
br i1 %247, label %248, label %266
248: ; preds = %244
%249 = load i32, i32* %10
%250 = load i32, i32* %17
%251 = sub nsw i32 %249, %250
store i32 %251, i32* %16
store i32 0, i32* %11
br label %252
252: ; preds = %262, %248
%253 = load i32, i32* %11
%254 = load i32, i32* %16
%255 = icmp slt i32 %253, %254
br i1 %255, label %256, label %265
256: ; preds = %252
%257 = load i8*, i8** %6
%258 = load i32, i32* %13
%259 = add nsw i32 %258, 1
store i32 %259, i32* %13
%260 = sext i32 %258 to i64
%261 = getelementptr inbounds i8, i8* %257, i64 %260
store i8 32, i8* %261
br label %262
262: ; preds = %256
%263 = load i32, i32* %11
%264 = add nsw i32 %263, 1
store i32 %264, i32* %11
br label %252
265: ; preds = %252
br label %266
266: ; preds = %265, %244
%267 = load i8*, i8** %6
%268 = load i32, i32* %13
%269 = add nsw i32 %268, 1
store i32 %269, i32* %13
%270 = sext i32 %268 to i64
%271 = getelementptr inbounds i8, i8* %267, i64 %270
store i8 93, i8* %271
%272 = load i8*, i8** %6
%273 = load i32, i32* %13
%274 = sext i32 %273 to i64
%275 = getelementptr inbounds i8, i8* %272, i64 %274
store i8 0, i8* %275
ret void
}

LLVM IR (-O2):
@.str = [4 x i8] c"0.0\00"
define void @Buffer2Lps2(i8* %0, i8* nocapture %1, i32 %2, i32 %3, i32 %4) {
%6 = tail call i32 @strcpy(i8* %0, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
%7 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%8 = trunc i64 %7 to i32
store i8 91, i8* %0
%9 = icmp eq i32 %3, 0
%10 = select i1 %9, i8 32, i8 45
%11 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %10, i8* %11
%12 = icmp slt i32 %2, 0
br i1 %12, label %13, label %48
13: ; preds = %5
%14 = icmp sgt i32 %4, 0
br i1 %14, label %15, label %32
15: ; preds = %13, %25
%16 = phi i32 [ %30, %25 ], [ 0, %13 ]
%17 = phi i32 [ %27, %25 ], [ 2, %13 ]
%18 = sub nsw i32 %4, %16
%19 = srem i32 %18, 3
%20 = icmp eq i32 %19, 0
br i1 %20, label %21, label %25
21: ; preds = %15
%22 = add nsw i32 %17, 1
%23 = sext i32 %17 to i64
%24 = getelementptr inbounds i8, i8* %0, i64 %23
store i8 32, i8* %24
br label %25
25: ; preds = %21, %15
%26 = phi i32 [ %22, %21 ], [ %17, %15 ]
%27 = add nsw i32 %26, 1
%28 = sext i32 %26 to i64
%29 = getelementptr inbounds i8, i8* %0, i64 %28
store i8 32, i8* %29
%30 = add nuw nsw i32 %16, 1
%31 = icmp eq i32 %30, %4
br i1 %31, label %32, label %15
32: ; preds = %25, %13
%33 = phi i32 [ 2, %13 ], [ %27, %25 ]
%34 = add nsw i32 %33, -1
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %0, i64 %35
store i8 48, i8* %36
%37 = sext i32 %33 to i64
%38 = getelementptr inbounds i8, i8* %0, i64 %37
store i8 46, i8* %38
%39 = add i32 %33, 1
%40 = sext i32 %39 to i64
%41 = getelementptr i8, i8* %0, i64 %40
%42 = xor i32 %2, -1
%43 = zext i32 %42 to i64
%44 = add nuw nsw i64 %43, 1
%45 = sub i32 %33, %2
%46 = sub i32 1, %2
%47 = add i32 %45, 1
br label %76
48: ; preds = %5
%49 = icmp sgt i32 %4, %2
br i1 %49, label %50, label %76
50: ; preds = %48
%51 = icmp eq i32 %2, 0
%52 = sext i1 %51 to i32
%53 = add nsw i32 %52, %4
%54 = icmp sgt i32 %53, 0
br i1 %54, label %55, label %157
55: ; preds = %50
%56 = sub nsw i32 %4, %2
br label %57
57: ; preds = %55, %70
%58 = phi i32 [ 0, %55 ], [ %74, %70 ]
%59 = phi i32 [ 2, %55 ], [ %71, %70 ]
%60 = sub nsw i32 %4, %58
%61 = srem i32 %60, 3
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %67
63: ; preds = %57
%64 = add nsw i32 %59, 1
%65 = sext i32 %59 to i64
%66 = getelementptr inbounds i8, i8* %0, i64 %65
store i8 32, i8* %66
br label %67
67: ; preds = %63, %57
%68 = phi i32 [ %64, %63 ], [ %59, %57 ]
%69 = icmp eq i32 %58, %56
br i1 %69, label %76, label %70
70: ; preds = %67
%71 = add nsw i32 %68, 1
%72 = sext i32 %68 to i64
%73 = getelementptr inbounds i8, i8* %0, i64 %72
store i8 32, i8* %73
%74 = add nuw nsw i32 %58, 1
%75 = icmp eq i32 %74, %53
br i1 %75, label %76, label %57
76: ; preds = %70, %67, %32, %48
%77 = phi i32 [ 2, %48 ], [ %47, %32 ], [ %71, %70 ], [ %68, %67 ]
%78 = phi i32 [ %8, %48 ], [ %8, %32 ], [ %53, %67 ], [ %53, %70 ]
%79 = phi i32 [ 0, %48 ], [ %46, %32 ], [ 0, %67 ], [ 0, %70 ]
%80 = icmp sgt i32 %78, 0
br i1 %80, label %81, label %152
81: ; preds = %76
%82 = icmp sgt i32 %2, 0
%83 = sext i32 %2 to i64
%84 = zext i32 %2 to i64
%85 = zext i32 %78 to i64
%86 = load i8, i8* %1
%87 = icmp eq i32 %2, 0
br i1 %87, label %88, label %96
88: ; preds = %81
%89 = add nsw i32 %77, 1
%90 = sext i32 %77 to i64
%91 = getelementptr inbounds i8, i8* %0, i64 %90
store i8 48, i8* %91
%92 = add nsw i32 %77, 2
%93 = sext i32 %89 to i64
%94 = getelementptr inbounds i8, i8* %0, i64 %93
store i8 46, i8* %94
%95 = add nsw i32 %79, 1
br label %96
96: ; preds = %81, %88
%97 = phi i32 [ %92, %88 ], [ %77, %81 ]
%98 = phi i32 [ %95, %88 ], [ %79, %81 ]
%99 = add nsw i32 %97, 1
%100 = sext i32 %97 to i64
%101 = getelementptr inbounds i8, i8* %0, i64 %100
store i8 %86, i8* %101
%102 = icmp eq i32 %98, 0
%103 = add nsw i32 %98, 1
%104 = select i1 %102, i32 0, i32 %103
%105 = icmp eq i32 %78, 1
br i1 %105, label %152, label %106
106: ; preds = %96
%107 = icmp sgt i8 %86, 48
%108 = zext i1 %107 to i32
br label %109
109: ; preds = %106, %138
%110 = phi i64 [ 1, %106 ], [ %150, %138 ]
%111 = phi i32 [ %104, %106 ], [ %149, %138 ]
%112 = phi i32 [ %108, %106 ], [ %146, %138 ]
%113 = phi i32 [ %99, %106 ], [ %140, %138 ]
%114 = getelementptr inbounds i8, i8* %1, i64 %110
%115 = load i8, i8* %114
%116 = icmp eq i64 %110, %84
br i1 %116, label %117, label %122
117: ; preds = %109
%118 = sext i32 %113 to i64
%119 = add nsw i32 %113, 1
%120 = getelementptr inbounds i8, i8* %0, i64 %118
store i8 46, i8* %120
%121 = add nsw i32 %111, 1
br label %122
122: ; preds = %117, %109
%123 = phi i32 [ %119, %117 ], [ %113, %109 ]
%124 = phi i32 [ %121, %117 ], [ %111, %109 ]
%125 = icmp ne i32 %112, 0
%126 = select i1 %82, i1 %125, i1 false
%127 = icmp slt i64 %110, %83
%128 = select i1 %126, i1 %127, i1 false
br i1 %128, label %129, label %138
129: ; preds = %122
%130 = trunc i64 %110 to i32
%131 = sub nsw i32 %2, %130
%132 = srem i32 %131, 3
%133 = icmp eq i32 %132, 0
br i1 %133, label %134, label %138
134: ; preds = %129
%135 = add nsw i32 %123, 1
%136 = sext i32 %123 to i64
%137 = getelementptr inbounds i8, i8* %0, i64 %136
store i8 44, i8* %137
br label %138
138: ; preds = %129, %134, %122
%139 = phi i32 [ %135, %134 ], [ %123, %129 ], [ %123, %122 ]
%140 = add nsw i32 %139, 1
%141 = sext i32 %139 to i64
%142 = getelementptr inbounds i8, i8* %0, i64 %141
store i8 %115, i8* %142
%143 = add nsw i32 %112, 1
%144 = icmp sgt i8 %115, 48
%145 = zext i1 %144 to i32
%146 = select i1 %125, i32 %143, i32 %145
%147 = icmp eq i32 %124, 0
%148 = add nsw i32 %124, 1
%149 = select i1 %147, i32 0, i32 %148
%150 = add nuw nsw i64 %110, 1
%151 = icmp eq i64 %150, %85
br i1 %151, label %152, label %109
152: ; preds = %138, %96, %76
%153 = phi i32 [ %77, %76 ], [ %99, %96 ], [ %140, %138 ]
%154 = phi i32 [ %79, %76 ], [ %104, %96 ], [ %149, %138 ]
%155 = icmp eq i32 %154, 0
%156 = add nsw i32 %154, -1
br i1 %155, label %157, label %159
157: ; preds = %50, %152
%158 = phi i32 [ %153, %152 ], [ 2, %50 ]
br label %159
159: ; preds = %152, %157
%160 = phi i32 [ %158, %157 ], [ %153, %152 ]
%161 = phi i32 [ 0, %157 ], [ %156, %152 ]
%162 = icmp slt i32 %161, %4
%163 = sub i32 %4, %161
%164 = icmp sgt i32 %163, 0
%165 = and i1 %162, %164
br i1 %165, label %166, label %175
166: ; preds = %159
%167 = sext i32 %160 to i64
%168 = getelementptr i8, i8* %0, i64 %167
%169 = xor i32 %161, -1
%170 = add i32 %169, %4
%171 = zext i32 %170 to i64
%172 = add nuw nsw i64 %171, 1
%173 = add i32 %160, %170
%174 = add i32 %173, 1
br label %175
175: ; preds = %166, %159
%176 = phi i32 [ %160, %159 ], [ %174, %166 ]
%177 = add nsw i32 %176, 1
%178 = sext i32 %176 to i64
%179 = getelementptr inbounds i8, i8* %0, i64 %178
store i8 93, i8* %179
%180 = sext i32 %177 to i64
%181 = getelementptr inbounds i8, i8* %0, i64 %180
store i8 0, i8* %181
ret void
}