#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 ataribasic_getdigit(int *, int);
void ataribasic_num2ascii(int *pbytes, char *fresult) {
  int pos = 0, pn;
  int digit, lastdigit, dotpos, expval, expsign, ival, shift, expmode;
  float fpow, floatval;
  expsign = (pbytes[0] & 0x80) == 0x80;
  expval = (pbytes[0] & 0x7F) - 0x40;
  expval *= 2;
  dotpos = 2 + expval;
  if (expsign)
    fresult[pos++] = '-';
  if ((dotpos <= 0) && (dotpos >= -1)) {
    fresult[pos++] = '0';
    fresult[pos++] = '.';
    for (pn = 1; pn < -dotpos; pn++)
      fresult[pos++] = '0';
  }
  lastdigit = 9;
  while ((ataribasic_getdigit(pbytes, lastdigit) == 0) && (lastdigit >= dotpos))
    lastdigit--;
  if ((expval == -128))
    fresult[pos++] = '0';
  else {
    expmode = (dotpos < 0) || (dotpos > 12);
    for (pn = 0; pn <= lastdigit; pn++) {
      digit = ataribasic_getdigit(pbytes, pn);
      if ((pn != 0) || (digit != 0))
        fresult[pos++] = digit + '0';
      if (expmode && (pn == 0))
        fresult[pos++] = '.';
      if ((pn + 1 == dotpos) && (pn != lastdigit))
        fresult[pos++] = '.';
    }
    if (dotpos < 0) {
      fresult[pos++] = 'E';
      fresult[pos++] = '-';
      expval = -expval;
      fresult[pos++] = ((expval / 10) % 10) + '0';
      fresult[pos++] = ((expval % 10)) + '0';
    } else if (dotpos > 12) {
      fresult[pos++] = 'E';
      fresult[pos++] = '+';
      fresult[pos++] = ((expval / 10) % 10) + '0';
      fresult[pos++] = ((expval % 10)) + '0';
    }
  }
  fresult[pos] = '\0';
}


x86 assembly (clang, -O0):
<ataribasic_num2ascii>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
and    $0x80,%eax
cmp    $0x80,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
and    $0x7f,%eax
sub    $0x40,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     1183 <ataribasic_num2ascii+0x73>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
cmpl   $0x0,-0x24(%rbp)
jg     1203 <ataribasic_num2ascii+0xf3>
cmpl   $0xffffffff,-0x24(%rbp)
jl     1203 <ataribasic_num2ascii+0xf3>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
xor    %ecx,%ecx
sub    -0x24(%rbp),%ecx
cmp    %ecx,%eax
jge    11fe <ataribasic_num2ascii+0xee>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11ca <ataribasic_num2ascii+0xba>
jmp    1203 <ataribasic_num2ascii+0xf3>
movl   $0x9,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x20(%rbp),%esi
call   1030 <ataribasic_getdigit@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x41(%rbp)
jne    1232 <ataribasic_num2ascii+0x122>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
setge  %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    1242 <ataribasic_num2ascii+0x132>
jmp    1250 <ataribasic_num2ascii+0x140>
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    120a <ataribasic_num2ascii+0xfa>
cmpl   $0xffffff80,-0x28(%rbp)
jne    1275 <ataribasic_num2ascii+0x165>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
jmp    1479 <ataribasic_num2ascii+0x369>
mov    $0x1,%al
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x42(%rbp)
jl     128e <ataribasic_num2ascii+0x17e>
cmpl   $0xc,-0x24(%rbp)
setg   %al
mov    %al,-0x42(%rbp)
mov    -0x42(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     135a <ataribasic_num2ascii+0x24a>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%esi
call   1030 <ataribasic_getdigit@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x18(%rbp)
jne    12cf <ataribasic_num2ascii+0x1bf>
cmpl   $0x0,-0x1c(%rbp)
je     12ec <ataribasic_num2ascii+0x1dc>
mov    -0x1c(%rbp),%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
cmpl   $0x0,-0x38(%rbp)
je     1316 <ataribasic_num2ascii+0x206>
cmpl   $0x0,-0x18(%rbp)
jne    1316 <ataribasic_num2ascii+0x206>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cmp    -0x24(%rbp),%eax
jne    1347 <ataribasic_num2ascii+0x237>
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
je     1347 <ataribasic_num2ascii+0x237>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
jmp    134c <ataribasic_num2ascii+0x23c>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12a0 <ataribasic_num2ascii+0x190>
cmpl   $0x0,-0x24(%rbp)
jge    13eb <ataribasic_num2ascii+0x2db>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x45,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
xor    %eax,%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1474 <ataribasic_num2ascii+0x364>
cmpl   $0xc,-0x24(%rbp)
jle    146f <ataribasic_num2ascii+0x35f>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x45,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x2b,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1474 <ataribasic_num2ascii+0x364>
jmp    1479 <ataribasic_num2ascii+0x369>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ataribasic_num2ascii>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%r15
mov    (%rdi),%eax
mov    %eax,%r14d
add    %eax,%r14d
movzbl %r14b,%ebx
xor    %r12d,%r12d
test   $0x80,%al
je     113d <ataribasic_num2ascii+0x2d>
movb   $0x2d,(%rsi)
mov    $0x1,%r12d
cmp    $0x7e,%ebx
mov    %rsi,(%rsp)
jne    1153 <ataribasic_num2ascii+0x43>
mov    %r12d,%eax
movw   $0x2e30,(%rsi,%rax,1)
or     $0x2,%r12d
lea    -0x80(%rbx),%eax
mov    %eax,0xc(%rsp)
lea    -0x7e(%rbx),%r13d
mov    $0xa,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0xffffffff,%ebp
mov    %r15,%rdi
mov    %ebp,%esi
call   1030 <ataribasic_getdigit@plt>
test   %eax,%eax
jne    1186 <ataribasic_num2ascii+0x76>
cmp    %r13d,%ebp
jge    1170 <ataribasic_num2ascii+0x60>
test   %ebx,%ebx
je     1266 <ataribasic_num2ascii+0x156>
mov    %r14d,0x8(%rsp)
test   %ebp,%ebp
mov    (%rsp),%rdi
mov    %rbx,0x10(%rsp)
js     1212 <ataribasic_num2ascii+0x102>
lea    -0x8b(%rbx),%r14d
xor    %eax,%eax
jmp    11b4 <ataribasic_num2ascii+0xa4>
nopl   0x0(%rax,%rax,1)
cmp    %ebx,%ebp
je     1212 <ataribasic_num2ascii+0x102>
mov    %eax,%ebx
mov    %r15,%rdi
mov    %eax,%esi
call   1030 <ataribasic_getdigit@plt>
mov    %ebx,%ecx
or     %eax,%ecx
je     11e0 <ataribasic_num2ascii+0xd0>
add    $0x30,%al
movslq %r12d,%rcx
add    $0x1,%r12d
mov    (%rsp),%rdi
mov    %al,(%rdi,%rcx,1)
cmp    $0xfffffff2,%r14d
jbe    11ea <ataribasic_num2ascii+0xda>
jmp    11f9 <ataribasic_num2ascii+0xe9>
xchg   %ax,%ax
mov    (%rsp),%rdi
cmp    $0xfffffff2,%r14d
ja     11f9 <ataribasic_num2ascii+0xe9>
test   %ebx,%ebx
jne    11f9 <ataribasic_num2ascii+0xe9>
movslq %r12d,%rax
add    $0x1,%r12d
movb   $0x2e,(%rdi,%rax,1)
lea    0x1(%rbx),%eax
cmp    %ebx,%ebp
je     11b0 <ataribasic_num2ascii+0xa0>
cmp    %r13d,%eax
jne    11b0 <ataribasic_num2ascii+0xa0>
movslq %r12d,%rcx
add    $0x1,%r12d
movb   $0x2e,(%rdi,%rcx,1)
jmp    11b0 <ataribasic_num2ascii+0xa0>
mov    0x10(%rsp),%rax
cmp    $0x7d,%eax
ja     1275 <ataribasic_num2ascii+0x165>
movslq %r12d,%rcx
movw   $0x2d45,(%rdi,%rcx,1)
mov    $0x80,%al
sub    0x8(%rsp),%al
movzbl %al,%eax
imul   $0xcd,%eax,%edx
shr    $0xb,%edx
imul   $0xcd,%edx,%esi
shr    $0xa,%esi
and    $0xfffffffe,%esi
lea    (%rsi,%rsi,4),%esi
mov    %edx,%ebx
sub    %sil,%bl
or     $0x30,%bl
lea    0x3(%r12),%esi
mov    %bl,0x2(%rdi,%rcx,1)
add    %edx,%edx
lea    (%rdx,%rdx,4),%ecx
sub    %cl,%al
or     $0x30,%al
add    $0x4,%r12d
jmp    12d7 <ataribasic_num2ascii+0x1c7>
mov    %r12d,%ecx
add    $0x1,%r12d
mov    $0x30,%al
mov    (%rsp),%rdi
jmp    12da <ataribasic_num2ascii+0x1ca>
cmp    $0x8b,%eax
jb     12dd <ataribasic_num2ascii+0x1cd>
movslq %r12d,%rcx
movw   $0x2b45,(%rdi,%rcx,1)
movslq 0xc(%rsp),%rax
imul   $0x66666667,%rax,%rdx
mov    %rdx,%rsi
shr    $0x3f,%rsi
sar    $0x22,%rdx
add    %esi,%edx
movslq %edx,%rdx
imul   $0x66666667,%rdx,%rsi
mov    %rsi,%rbp
shr    $0x3f,%rbp
shr    $0x22,%rsi
add    %ebp,%esi
add    %esi,%esi
lea    (%rsi,%rsi,4),%esi
mov    %edx,%ebp
sub    %esi,%ebp
add    $0x30,%bpl
lea    0x3(%rcx),%esi
mov    %bpl,0x2(%rdi,%rcx,1)
add    %edx,%edx
lea    (%rdx,%rdx,4),%edx
sub    %edx,%eax
add    $0x30,%al
lea    0x4(%rcx),%r12d
movslq %esi,%rcx
mov    %al,(%rdi,%rcx,1)
movslq %r12d,%rax
movb   $0x0,(%rdi,%rax,1)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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