#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 wchar_t;
typedef int /*<<< orphan*/ mbstate_t;

/* Variables and functions */
size_t wcrtomb(char *, int const, int /*<<< orphan*/);
size_t wcsrtombs(char *s, const wchar_t **ws, size_t n, mbstate_t *st) {
  const wchar_t *ws2;
  char buf[4];
  size_t N = n, l;
  if (!s) {
    for (n = 0, ws2 = *ws; *ws2; ws2++) {
      if (*ws2 >= 0x80) {
        l = wcrtomb(buf, *ws2, 0);
        if (!(l + 1))
          return -1;
        n += l;
      } else
        n++;
    }
    return n;
  }
  while (n >= 4 && **ws) {
    if (**ws >= 0x80) {
      l = wcrtomb(s, **ws, 0);
      if (!(l + 1))
        return -1;
      s += l;
      n -= l;
    } else {
      *s++ = **ws;
      n--;
    }
    (*ws)++;
  }
  while (n && **ws) {
    if (**ws >= 0x80) {
      l = wcrtomb(buf, **ws, 0);
      if (!(l + 1))
        return -1;
      if (l > n)
        return N - n;
      wcrtomb(s, **ws, 0);
      s += l;
      n -= l;
    } else {
      *s++ = **ws;
      n--;
    }
    (*ws)++;
  }
  if (n)
    *s = 0;
  *ws = 0;
  return N - n;
}


x86 assembly (clang, -O0):
<wcsrtombs>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    11df <wcsrtombs+0xcf>
movq   $0x0,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmpl   $0x0,(%rax)
je     11d2 <wcsrtombs+0xc2>
mov    -0x30(%rbp),%rax
cmpl   $0x80,(%rax)
jl     11b0 <wcsrtombs+0xa0>
lea    -0x34(%rbp),%rdi
mov    -0x30(%rbp),%rax
mov    (%rax),%esi
xor    %edx,%edx
call   1030 <wcrtomb@plt>
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
cmp    $0x0,%rax
jne    119f <wcsrtombs+0x8f>
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    13ef <wcsrtombs+0x2df>
mov    -0x48(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    11bc <wcsrtombs+0xac>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    11c1 <wcsrtombs+0xb1>
mov    -0x30(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x30(%rbp)
jmp    114e <wcsrtombs+0x3e>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13ef <wcsrtombs+0x2df>
jmp    11e4 <wcsrtombs+0xd4>
xor    %eax,%eax
cmpq   $0x4,-0x20(%rbp)
mov    %al,-0x49(%rbp)
jb     1204 <wcsrtombs+0xf4>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
cmpl   $0x0,(%rax)
setne  %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    1214 <wcsrtombs+0x104>
jmp    12b9 <wcsrtombs+0x1a9>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
cmpl   $0x80,(%rax)
jl     127e <wcsrtombs+0x16e>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%esi
xor    %edx,%edx
call   1030 <wcrtomb@plt>
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
cmp    $0x0,%rax
jne    125e <wcsrtombs+0x14e>
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    13ef <wcsrtombs+0x2df>
mov    -0x48(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x48(%rbp),%rcx
mov    -0x20(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    12a6 <wcsrtombs+0x196>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x4,%rcx
mov    %rcx,(%rax)
jmp    11e4 <wcsrtombs+0xd4>
jmp    12be <wcsrtombs+0x1ae>
xor    %eax,%eax
cmpq   $0x0,-0x20(%rbp)
mov    %al,-0x4a(%rbp)
je     12de <wcsrtombs+0x1ce>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
cmpl   $0x0,(%rax)
setne  %al
mov    %al,-0x4a(%rbp)
mov    -0x4a(%rbp),%al
test   $0x1,%al
jne    12ee <wcsrtombs+0x1de>
jmp    13c6 <wcsrtombs+0x2b6>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
cmpl   $0x80,(%rax)
jl     138b <wcsrtombs+0x27b>
lea    -0x34(%rbp),%rdi
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%esi
xor    %edx,%edx
call   1030 <wcrtomb@plt>
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
cmp    $0x0,%rax
jne    1338 <wcsrtombs+0x228>
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    13ef <wcsrtombs+0x2df>
mov    -0x48(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    1357 <wcsrtombs+0x247>
mov    -0x40(%rbp),%rax
sub    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13ef <wcsrtombs+0x2df>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%esi
xor    %edx,%edx
call   1030 <wcrtomb@plt>
mov    -0x48(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x48(%rbp),%rcx
mov    -0x20(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    13b3 <wcsrtombs+0x2a3>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x4,%rcx
mov    %rcx,(%rax)
jmp    12be <wcsrtombs+0x1ae>
cmpq   $0x0,-0x20(%rbp)
je     13d8 <wcsrtombs+0x2c8>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x18(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x40(%rbp),%rax
sub    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wcsrtombs>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
test   %rdi,%rdi
je     118a <wcsrtombs+0x7a>
mov    %rdx,%r12
mov    %rdi,%r13
cmp    $0x4,%rdx
jb     11eb <wcsrtombs+0xdb>
mov    (%r14),%rax
mov    %r12,%r15
jmp    1160 <wcsrtombs+0x50>
nopl   0x0(%rax,%rax,1)
mov    %sil,0x0(%r13)
add    $0x1,%r13
add    $0xffffffffffffffff,%r15
mov    (%r14),%rax
add    $0x4,%rax
mov    %rax,(%r14)
cmp    $0x3,%r15
jbe    11ee <wcsrtombs+0xde>
mov    (%rax),%esi
test   %esi,%esi
je     11f3 <wcsrtombs+0xe3>
cmp    $0x80,%esi
jl     1140 <wcsrtombs+0x30>
mov    %r13,%rdi
xor    %edx,%edx
call   1030 <wcrtomb@plt>
cmp    $0xffffffffffffffff,%rax
je     11df <wcsrtombs+0xcf>
add    %rax,%r13
sub    %rax,%r15
jmp    114c <wcsrtombs+0x3c>
mov    (%r14),%rbp
mov    0x0(%rbp),%esi
test   %esi,%esi
je     1265 <wcsrtombs+0x155>
add    $0x4,%rbp
xor    %r12d,%r12d
lea    0x4(%rsp),%rbx
jmp    11c2 <wcsrtombs+0xb2>
cs nopw 0x0(%rax,%rax,1)
add    %rax,%r12
mov    0x0(%rbp),%esi
add    $0x4,%rbp
test   %esi,%esi
je     1279 <wcsrtombs+0x169>
mov    $0x1,%eax
cmp    $0x80,%esi
jl     11b0 <wcsrtombs+0xa0>
mov    %rbx,%rdi
xor    %edx,%edx
call   1030 <wcrtomb@plt>
cmp    $0xffffffffffffffff,%rax
jne    11b0 <wcsrtombs+0xa0>
mov    $0xffffffffffffffff,%r12
jmp    1279 <wcsrtombs+0x169>
mov    %r12,%r15
test   %r15,%r15
je     1260 <wcsrtombs+0x150>
mov    (%r14),%rax
jmp    121e <wcsrtombs+0x10e>
nopl   0x0(%rax,%rax,1)
mov    %sil,0x0(%r13)
add    $0x1,%r13
add    $0xffffffffffffffff,%r15
mov    %r15,%rbp
mov    (%r14),%rax
add    $0x4,%rax
mov    %rax,(%r14)
test   %rbp,%rbp
je     1260 <wcsrtombs+0x150>
mov    (%rax),%esi
test   %esi,%esi
je     126a <wcsrtombs+0x15a>
cmp    $0x80,%esi
jl     1200 <wcsrtombs+0xf0>
lea    0x4(%rsp),%rdi
xor    %edx,%edx
call   1030 <wcrtomb@plt>
cmp    $0xffffffffffffffff,%rax
je     11df <wcsrtombs+0xcf>
mov    %rax,%rbx
mov    %r15,%rbp
sub    %rax,%rbp
jb     1276 <wcsrtombs+0x166>
mov    (%r14),%rax
mov    (%rax),%esi
mov    %r13,%rdi
xor    %edx,%edx
call   1030 <wcrtomb@plt>
add    %rbx,%r13
mov    %rbp,%r15
jmp    120f <wcsrtombs+0xff>
xor    %r15d,%r15d
jmp    126f <wcsrtombs+0x15f>
xor    %r12d,%r12d
jmp    1279 <wcsrtombs+0x169>
movb   $0x0,0x0(%r13)
movq   $0x0,(%r14)
sub    %r15,%r12
mov    %r12,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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