void StringFormat1(char *dest, unsigned int _dest_high, char *src_,
                   unsigned int _src_high, unsigned char *w_,
                   unsigned int _w_high) {
  typedef struct _T2_a _T2;
  struct _T2_a {
    char array[(1024 * 8) + 1];
  };
  unsigned int HighSrc;
  unsigned int HighDest;
  unsigned int c;
  unsigned int i;
  unsigned int j;
  _T2 str;
  char *p;
  char src[_src_high + 1];
  unsigned char w[_w_high + 1];
  memcpy(src, src_, _src_high + 1);
  memcpy(w, w_, _w_high + 1);
  HighSrc = StrLib_StrLen((char *)src, _src_high);
  HighDest = _dest_high;
  i = 0;
  j = 0;
  while ((((i < HighSrc) && (src[i] != (char)000)) && (j < HighDest)) &&
         (src[i] != '%')) {
    if (src[i] == '\\') {
      HandleEscape((char *)dest, _dest_high, (char *)src, _src_high, &i, &j,
                   HighSrc, HighDest);
    } else {
      dest[j] = src[i];
      i += 1;
      j += 1;
    }
  }
  if ((((i + 1) < HighSrc) && (src[i] == '%')) && (j < HighDest)) {
    if (src[i + 1] == 's') {
      Cast((unsigned char *)&p, (sizeof(p) - 1), (unsigned char *)w, _w_high);
      while ((j < HighDest) && ((*p) != (char)000)) {
        dest[j] = (*p);
        j += 1;
        p += 1;
      }
      if (j < HighDest) {
        dest[j] = (char)000;
      }
      j = StrLib_StrLen((char *)dest, _dest_high);
      i += 2;
    } else if (src[i + 1] == 'd') {
      dest[j] = (char)000;
      Cast((unsigned char *)&c, (sizeof(c) - 1), (unsigned char *)w, _w_high);
      NumberIO_CardToStr(c, 0, (char *)&str.array[0], (1024 * 8));
      StrLib_StrConCat((char *)dest, _dest_high, (char *)&str.array[0],
                       (1024 * 8), (char *)dest, _dest_high);
      j = StrLib_StrLen((char *)dest, _dest_high);
      i += 2;
    } else {
      dest[j] = src[i];
      i += 1;
      j += 1;
    }
  }
  while (((i < HighSrc) && (src[i] != (char)000)) && (j < HighDest)) {
    if (src[i] == '\\') {
      HandleEscape((char *)dest, _dest_high, (char *)src, _src_high, &i, &j,
                   HighSrc, HighDest);
    } else {
      dest[j] = src[i];
      i += 1;
      j += 1;
    }
  }
  if (j < HighDest) {
    dest[j] = (char)000;
  }
}


x86 assembly (clang, -O0):
<StringFormat1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2080,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %rsp,%rcx
mov    %rcx,-0x2058(%rbp)
mov    %rax,%rcx
add    $0xf,%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdi
sub    %rcx,%rdi
mov    %rdi,-0x2070(%rbp)
mov    %rdi,%rsp
mov    %rax,-0x2060(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x2078(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x2068(%rbp)
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,%eax
mov    %eax,%edx
call   1070 <memcpy@plt>
mov    -0x2078(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,%eax
mov    %eax,%edx
call   1070 <memcpy@plt>
mov    -0x2070(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    $0x0,%al
call   1080 <StrLib_StrLen@plt>
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x3c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x30(%rbp),%ecx
mov    %al,-0x2079(%rbp)
jae    1291 <StringFormat1+0x131>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x2079(%rbp)
je     1291 <StringFormat1+0x131>
mov    -0x40(%rbp),%ecx
xor    %eax,%eax
cmp    -0x34(%rbp),%ecx
mov    %al,-0x2079(%rbp)
jae    1291 <StringFormat1+0x131>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x25,%eax
setne  %al
mov    %al,-0x2079(%rbp)
mov    -0x2079(%rbp),%al
test   $0x1,%al
jne    12a4 <StringFormat1+0x144>
jmp    1325 <StringFormat1+0x1c5>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
jne    12f7 <StringFormat1+0x197>
mov    -0x2070(%rbp),%rdx
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x1c(%rbp),%ecx
mov    -0x30(%rbp),%r10d
mov    -0x34(%rbp),%eax
lea    -0x3c(%rbp),%r8
lea    -0x40(%rbp),%r9
sub    $0x10,%rsp
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
mov    $0x0,%al
call   1060 <HandleEscape@plt>
add    $0x10,%rsp
jmp    1320 <StringFormat1+0x1c0>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1230 <StringFormat1+0xd0>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
cmp    -0x30(%rbp),%eax
jae    1503 <StringFormat1+0x3a3>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x25,%eax
jne    1503 <StringFormat1+0x3a3>
mov    -0x40(%rbp),%eax
cmp    -0x34(%rbp),%eax
jae    1503 <StringFormat1+0x3a3>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x73,%eax
jne    1436 <StringFormat1+0x2d6>
mov    -0x2078(%rbp),%rdx
lea    -0x2050(%rbp),%rdi
mov    -0x2c(%rbp),%ecx
mov    $0x7,%esi
mov    $0x0,%al
call   1040 <Cast@plt>
mov    -0x40(%rbp),%ecx
xor    %eax,%eax
cmp    -0x34(%rbp),%ecx
mov    %al,-0x207a(%rbp)
jae    13ba <StringFormat1+0x25a>
mov    -0x2050(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x207a(%rbp)
mov    -0x207a(%rbp),%al
test   $0x1,%al
jne    13cd <StringFormat1+0x26d>
jmp    1400 <StringFormat1+0x2a0>
mov    -0x2050(%rbp),%rax
mov    (%rax),%dl
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x2050(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x2050(%rbp)
jmp    1390 <StringFormat1+0x230>
mov    -0x40(%rbp),%eax
cmp    -0x34(%rbp),%eax
jae    1417 <StringFormat1+0x2b7>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    $0x0,%al
call   1080 <StrLib_StrLen@plt>
mov    %eax,-0x40(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x3c(%rbp)
jmp    14fe <StringFormat1+0x39e>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x64,%eax
jne    14d0 <StringFormat1+0x370>
mov    -0x2078(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
movb   $0x0,(%rax,%rcx,1)
lea    -0x38(%rbp),%rdi
mov    -0x2c(%rbp),%ecx
mov    $0x3,%esi
mov    $0x0,%al
call   1040 <Cast@plt>
mov    -0x38(%rbp),%edi
lea    -0x2048(%rbp),%rdx
xor    %esi,%esi
mov    $0x2000,%ecx
mov    $0x0,%al
call   1050 <NumberIO_CardToStr@plt>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
lea    -0x2048(%rbp),%rdx
mov    -0x8(%rbp),%r8
mov    -0xc(%rbp),%r9d
mov    $0x2000,%ecx
mov    $0x0,%al
call   1030 <StrLib_StrConCat@plt>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    $0x0,%al
call   1080 <StrLib_StrLen@plt>
mov    %eax,-0x40(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x3c(%rbp)
jmp    14f9 <StringFormat1+0x399>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    14fe <StringFormat1+0x39e>
jmp    1503 <StringFormat1+0x3a3>
jmp    1508 <StringFormat1+0x3a8>
mov    -0x3c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x30(%rbp),%ecx
mov    %al,-0x207b(%rbp)
jae    154a <StringFormat1+0x3ea>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x207b(%rbp)
je     154a <StringFormat1+0x3ea>
mov    -0x40(%rbp),%eax
cmp    -0x34(%rbp),%eax
setb   %al
mov    %al,-0x207b(%rbp)
mov    -0x207b(%rbp),%al
test   $0x1,%al
jne    155d <StringFormat1+0x3fd>
jmp    15de <StringFormat1+0x47e>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
jne    15b0 <StringFormat1+0x450>
mov    -0x2070(%rbp),%rdx
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x1c(%rbp),%ecx
mov    -0x30(%rbp),%r10d
mov    -0x34(%rbp),%eax
lea    -0x3c(%rbp),%r8
lea    -0x40(%rbp),%r9
sub    $0x10,%rsp
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
mov    $0x0,%al
call   1060 <HandleEscape@plt>
add    $0x10,%rsp
jmp    15d9 <StringFormat1+0x479>
mov    -0x2070(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1508 <StringFormat1+0x3a8>
mov    -0x40(%rbp),%eax
cmp    -0x34(%rbp),%eax
jae    15f5 <StringFormat1+0x495>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%ecx
movb   $0x0,(%rax,%rcx,1)
mov    -0x2058(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<StringFormat1>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x2048,%rsp
mov    %r8,-0x40(%rbp)
mov    %ecx,%r13d
mov    %esi,%ebx
mov    %rdi,-0x38(%rbp)
mov    %rsp,-0x60(%rbp)
lea    0x1(%r13),%eax
mov    %rsp,%r12
lea    0xf(%rax),%rcx
and    $0xfffffffffffffff0,%rcx
sub    %rcx,%r12
mov    %r12,%rsp
mov    %r9,-0x58(%rbp)
lea    0x1(%r9),%r15d
mov    %rsp,%r14
lea    0xf(%r15),%rcx
and    $0xfffffffffffffff0,%rcx
sub    %rcx,%r14
mov    %r14,%rsp
mov    %r12,%rdi
mov    %rdx,%rsi
mov    %rax,%rdx
call   1070 <memcpy@plt>
mov    %r14,-0x50(%rbp)
mov    %r14,%rdi
mov    -0x40(%rbp),%rsi
mov    %r15,%rdx
call   1070 <memcpy@plt>
xor    %r15d,%r15d
mov    %r12,%rdi
mov    %r13,-0x40(%rbp)
mov    %r13d,%esi
xor    %eax,%eax
call   1080 <StrLib_StrLen@plt>
mov    %eax,%r13d
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x2c(%rbp)
test   %eax,%eax
je     1272 <StringFormat1+0x112>
lea    -0x30(%rbp),%r14
xor    %r15d,%r15d
jmp    122a <StringFormat1+0xca>
cs nopw 0x0(%rax,%rax,1)
mov    -0x38(%rbp),%rdx
mov    %cl,(%rdx,%rax,1)
add    $0x1,%r15d
mov    %r15d,-0x30(%rbp)
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmp    %r13d,%r15d
jae    1272 <StringFormat1+0x112>
mov    %r15d,%eax
movzbl (%r12,%rax,1),%ecx
test   %cl,%cl
je     1272 <StringFormat1+0x112>
mov    -0x2c(%rbp),%eax
cmp    %ebx,%eax
jae    1272 <StringFormat1+0x112>
cmp    $0x25,%cl
je     1272 <StringFormat1+0x112>
cmp    $0x5c,%cl
jne    1210 <StringFormat1+0xb0>
mov    -0x38(%rbp),%rdi
mov    %ebx,%esi
mov    %r12,%rdx
mov    -0x40(%rbp),%rcx
mov    %r14,%r8
lea    -0x2c(%rbp),%r9
xor    %eax,%eax
push   %rbx
push   %r13
call   1060 <HandleEscape@plt>
add    $0x10,%rsp
mov    -0x30(%rbp),%r15d
cmp    %r13d,%r15d
jb     122a <StringFormat1+0xca>
lea    0x1(%r15),%eax
cmp    %r13d,%eax
jae    13ae <StringFormat1+0x24e>
mov    %r15d,%ecx
cmpb   $0x25,(%r12,%rcx,1)
jne    13ae <StringFormat1+0x24e>
mov    -0x2c(%rbp),%ecx
cmp    %ebx,%ecx
jae    13ae <StringFormat1+0x24e>
mov    %eax,%edx
mov    (%r12,%rdx,1),%dl
cmp    $0x64,%dl
je     1317 <StringFormat1+0x1b7>
cmp    $0x73,%dl
jne    1372 <StringFormat1+0x212>
lea    -0x2068(%rbp),%rdi
mov    $0x7,%esi
mov    -0x50(%rbp),%rdx
mov    -0x58(%rbp),%rcx
xor    %eax,%eax
call   1040 <Cast@plt>
mov    -0x2c(%rbp),%eax
cmp    %ebx,%eax
jae    1392 <StringFormat1+0x232>
mov    -0x2068(%rbp),%rcx
add    $0x1,%rcx
mov    %ebx,%esi
mov    -0x38(%rbp),%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl -0x1(%rcx),%edx
test   %dl,%dl
je     1388 <StringFormat1+0x228>
mov    %dl,(%rdi,%rax,1)
add    $0x1,%rax
mov    %eax,-0x2c(%rbp)
mov    %rcx,-0x2068(%rbp)
add    $0x1,%rcx
cmp    %eax,%esi
jne    12f0 <StringFormat1+0x190>
jmp    1392 <StringFormat1+0x232>
mov    -0x38(%rbp),%r14
movb   $0x0,(%r14,%rcx,1)
lea    -0x44(%rbp),%rdi
mov    $0x3,%esi
mov    -0x50(%rbp),%rdx
mov    -0x58(%rbp),%rcx
xor    %eax,%eax
call   1040 <Cast@plt>
mov    -0x44(%rbp),%edi
lea    -0x2068(%rbp),%r15
xor    %esi,%esi
mov    %r15,%rdx
mov    $0x2000,%ecx
xor    %eax,%eax
call   1050 <NumberIO_CardToStr@plt>
mov    %r14,%rdi
mov    %ebx,%esi
mov    %r15,%rdx
mov    $0x2000,%ecx
mov    %r14,%r8
mov    %ebx,%r9d
xor    %eax,%eax
call   1030 <StrLib_StrConCat@plt>
mov    %r14,%rdi
jmp    1396 <StringFormat1+0x236>
mov    -0x38(%rbp),%rdx
movb   $0x25,(%rdx,%rcx,1)
mov    %eax,-0x30(%rbp)
add    $0x1,%ecx
mov    %ecx,-0x2c(%rbp)
mov    %eax,%r15d
jmp    13ae <StringFormat1+0x24e>
mov    %eax,%eax
mov    -0x38(%rbp),%rcx
movb   $0x0,(%rcx,%rax,1)
mov    -0x38(%rbp),%rdi
mov    %ebx,%esi
xor    %eax,%eax
call   1080 <StrLib_StrLen@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%r15d
add    $0x2,%r15d
mov    %r15d,-0x30(%rbp)
cmp    %r13d,%r15d
jae    141c <StringFormat1+0x2bc>
lea    -0x30(%rbp),%r14
jmp    13da <StringFormat1+0x27a>
nopl   0x0(%rax)
mov    -0x38(%rbp),%rdx
mov    %al,(%rdx,%rcx,1)
add    $0x1,%r15d
mov    %r15d,-0x30(%rbp)
lea    0x1(%rcx),%eax
mov    %eax,-0x2c(%rbp)
cmp    %r13d,%r15d
jae    141c <StringFormat1+0x2bc>
mov    %r15d,%eax
movzbl (%r12,%rax,1),%eax
test   %al,%al
je     141c <StringFormat1+0x2bc>
mov    -0x2c(%rbp),%ecx
cmp    %ebx,%ecx
jae    141c <StringFormat1+0x2bc>
cmp    $0x5c,%al
jne    13c0 <StringFormat1+0x260>
mov    -0x38(%rbp),%rdi
mov    %ebx,%esi
mov    %r12,%rdx
mov    -0x40(%rbp),%rcx
mov    %r14,%r8
lea    -0x2c(%rbp),%r9
xor    %eax,%eax
push   %rbx
push   %r13
call   1060 <HandleEscape@plt>
add    $0x10,%rsp
mov    -0x30(%rbp),%r15d
cmp    %r13d,%r15d
jb     13da <StringFormat1+0x27a>
mov    -0x2c(%rbp),%eax
cmp    %ebx,%eax
jae    142b <StringFormat1+0x2cb>
mov    -0x38(%rbp),%rcx
movb   $0x0,(%rcx,%rax,1)
mov    -0x60(%rbp),%rsp
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
%struct._T2_a = type { [8193 x i8] }
define void @StringFormat1(i8* %0, i32 %1, i8* nocapture %2, i32 %3, i8* nocapture %4, i32 %5) {
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca %struct._T2_a
%11 = alloca i8*
%12 = bitcast i32* %7 to i8*
%13 = bitcast i32* %8 to i8*
%14 = bitcast i32* %9 to i8*
%15 = getelementptr inbounds %struct._T2_a, %struct._T2_a* %10, i64 0, i32 0, i64 0
%16 = bitcast i8** %11 to i8*
%17 = add i32 %3, 1
%18 = zext i32 %17 to i64
%19 = tail call i8* @llvm.stacksave()
%20 = alloca i8, i64 %18
%21 = add i32 %5, 1
%22 = zext i32 %21 to i64
%23 = alloca i8, i64 %22
%24 = call i32 (i8*, i32, ...) bitcast (i32 (...)* @StrLib_StrLen to i32 (i8*, i32, ...)*)(i8* %20, i32 %3)
store i32 0, i32* %8
store i32 0, i32* %9
%25 = icmp eq i32 %24, 0
br i1 %25, label %50, label %26
26: ; preds = %6, %47
%27 = phi i32 [ %48, %47 ], [ 0, %6 ]
%28 = zext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %20, i64 %28
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 0
br i1 %31, label %50, label %32
32: ; preds = %26
%33 = load i32, i32* %9
%34 = icmp uge i32 %33, %1
%35 = icmp eq i8 %30, 37
%36 = select i1 %34, i1 true, i1 %35
br i1 %36, label %50, label %37
37: ; preds = %32
%38 = icmp eq i8 %30, 92
br i1 %38, label %39, label %42
39: ; preds = %37
%40 = call i32 (i8*, i32, i8*, i32, i32*, i32*, i32, i32, ...) bitcast (i32 (...)* @HandleEscape to i32 (i8*, i32, i8*, i32, i32*, i32*, i32, i32, ...)*)(i8* %0, i32 %1, i8* %20, i32 %3, i32* %8, i32* %9, i32 %24, i32 %1)
%41 = load i32, i32* %8
br label %47
42: ; preds = %37
%43 = zext i32 %33 to i64
%44 = getelementptr inbounds i8, i8* %0, i64 %43
store i8 %30, i8* %44
%45 = add nuw i32 %27, 1
store i32 %45, i32* %8
%46 = add nuw i32 %33, 1
store i32 %46, i32* %9
br label %47
47: ; preds = %42, %39
%48 = phi i32 [ %45, %42 ], [ %41, %39 ]
%49 = icmp ult i32 %48, %24
br i1 %49, label %26, label %50
50: ; preds = %32, %26, %47, %6
%51 = phi i32 [ 0, %6 ], [ %48, %47 ], [ %27, %26 ], [ %27, %32 ]
%52 = add i32 %51, 1
%53 = icmp ult i32 %52, %24
br i1 %53, label %54, label %105
54: ; preds = %50
%55 = zext i32 %51 to i64
%56 = getelementptr inbounds i8, i8* %20, i64 %55
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, 37
br i1 %58, label %59, label %105
59: ; preds = %54
%60 = load i32, i32* %9
%61 = icmp ult i32 %60, %1
br i1 %61, label %62, label %105
62: ; preds = %59
%63 = zext i32 %52 to i64
%64 = getelementptr inbounds i8, i8* %20, i64 %63
%65 = load i8, i8* %64
switch i8 %65, label %101 [
i8 115, label %66
i8 100, label %91
]
66: ; preds = %62
%67 = call i32 (i8*, i64, i8*, i32, ...) bitcast (i32 (...)* @Cast to i32 (i8*, i64, i8*, i32, ...)*)(i8* %16, i64 7, i8* %23, i32 %5)
%68 = load i32, i32* %9
%69 = icmp ult i32 %68, %1
br i1 %69, label %70, label %87
70: ; preds = %66
%71 = zext i32 %68 to i64
%72 = load i8*, i8** %11
br label %73
73: ; preds = %70, %78
%74 = phi i8* [ %72, %70 ], [ %82, %78 ]
%75 = phi i64 [ %71, %70 ], [ %80, %78 ]
%76 = load i8, i8* %74
%77 = icmp eq i8 %76, 0
br i1 %77, label %84, label %78
78: ; preds = %73
%79 = getelementptr inbounds i8, i8* %0, i64 %75
store i8 %76, i8* %79
%80 = add nuw nsw i64 %75, 1
%81 = trunc i64 %80 to i32
store i32 %81, i32* %9
%82 = getelementptr inbounds i8, i8* %74, i64 1
store i8* %82, i8** %11
%83 = icmp eq i32 %81, %1
br i1 %83, label %87, label %73
84: ; preds = %73
%85 = and i64 %75, 4294967295
%86 = getelementptr inbounds i8, i8* %0, i64 %85
store i8 0, i8* %86
br label %87
87: ; preds = %78, %66, %84
%88 = call i32 (i8*, i32, ...) bitcast (i32 (...)* @StrLib_StrLen to i32 (i8*, i32, ...)*)(i8* %0, i32 %1)
store i32 %88, i32* %9
%89 = load i32, i32* %8
%90 = add i32 %89, 2
store i32 %90, i32* %8
br label %105
91: ; preds = %62
%92 = zext i32 %60 to i64
%93 = getelementptr inbounds i8, i8* %0, i64 %92
store i8 0, i8* %93
%94 = call i32 (i8*, i64, i8*, i32, ...) bitcast (i32 (...)* @Cast to i32 (i8*, i64, i8*, i32, ...)*)(i8* %12, i64 3, i8* %23, i32 %5)
%95 = load i32, i32* %7
%96 = call i32 (i32, i32, i8*, i32, ...) bitcast (i32 (...)* @NumberIO_CardToStr to i32 (i32, i32, i8*, i32, ...)*)(i32 %95, i32 0, i8* %15, i32 8192)
%97 = call i32 (i8*, i32, i8*, i32, i8*, i32, ...) bitcast (i32 (...)* @StrLib_StrConCat to i32 (i8*, i32, i8*, i32, i8*, i32, ...)*)(i8* %0, i32 %1, i8* %15, i32 8192, i8* %0, i32 %1)
%98 = call i32 (i8*, i32, ...) bitcast (i32 (...)* @StrLib_StrLen to i32 (i8*, i32, ...)*)(i8* %0, i32 %1)
store i32 %98, i32* %9
%99 = load i32, i32* %8
%100 = add i32 %99, 2
store i32 %100, i32* %8
br label %105
101: ; preds = %62
%102 = zext i32 %60 to i64
%103 = getelementptr inbounds i8, i8* %0, i64 %102
store i8 37, i8* %103
store i32 %52, i32* %8
%104 = add nuw i32 %60, 1
store i32 %104, i32* %9
br label %105
105: ; preds = %87, %101, %91, %59, %54, %50
%106 = phi i32 [ %90, %87 ], [ %52, %101 ], [ %100, %91 ], [ %51, %59 ], [ %51, %54 ], [ %51, %50 ]
%107 = icmp ult i32 %106, %24
br i1 %107, label %108, label %130
108: ; preds = %105, %127
%109 = phi i32 [ %128, %127 ], [ %106, %105 ]
%110 = zext i32 %109 to i64
%111 = getelementptr inbounds i8, i8* %20, i64 %110
%112 = load i8, i8* %111
%113 = icmp eq i8 %112, 0
br i1 %113, label %130, label %114
114: ; preds = %108
%115 = load i32, i32* %9
%116 = icmp ult i32 %115, %1
br i1 %116, label %117, label %130
117: ; preds = %114
%118 = icmp eq i8 %112, 92
br i1 %118, label %119, label %122
119: ; preds = %117
%120 = call i32 (i8*, i32, i8*, i32, i32*, i32*, i32, i32, ...) bitcast (i32 (...)* @HandleEscape to i32 (i8*, i32, i8*, i32, i32*, i32*, i32, i32, ...)*)(i8* %0, i32 %1, i8* %20, i32 %3, i32* %8, i32* %9, i32 %24, i32 %1)
%121 = load i32, i32* %8
br label %127
122: ; preds = %117
%123 = zext i32 %115 to i64
%124 = getelementptr inbounds i8, i8* %0, i64 %123
store i8 %112, i8* %124
%125 = add nuw i32 %109, 1
store i32 %125, i32* %8
%126 = add nuw i32 %115, 1
store i32 %126, i32* %9
br label %127
127: ; preds = %122, %119
%128 = phi i32 [ %125, %122 ], [ %121, %119 ]
%129 = icmp ult i32 %128, %24
br i1 %129, label %108, label %130
130: ; preds = %114, %108, %127, %105
%131 = load i32, i32* %9
%132 = icmp ult i32 %131, %1
br i1 %132, label %133, label %136
133: ; preds = %130
%134 = zext i32 %131 to i64
%135 = getelementptr inbounds i8, i8* %0, i64 %134
store i8 0, i8* %135
br label %136
136: ; preds = %133, %130
ret void
}