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

/* Variables and functions */
int /*<<< orphan*/ ULONG_MAX;
size_t mbrtowc(int /*<<< orphan*/ *, char const *, int /*<<< orphan*/,
               int /*<<< orphan*/ *);
size_t mbsrtowcs(wchar_t *wcs, const char **str, size_t count,
                 mbstate_t *state) {
  const char *ptr = *str;
  size_t i;
  for (i = 0; wcs == NULL || i < count; i++) {
    size_t res = mbrtowc((wcs != NULL ? wcs + i : NULL), ptr, ULONG_MAX, state);
    if (res == ((size_t)(-1))) {
      *str = (*ptr != 0 ? ptr : NULL);
      return (size_t)(-1);
    }
    if (*ptr == 0)
      break;
    ptr += res;
  }
  *str = (*ptr != 0 ? ptr : NULL);
  return i;
}


x86 assembly (clang, -O0):
<mbsrtowcs>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
mov    $0x1,%al
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x41(%rbp)
je     1159 <mbsrtowcs+0x49>
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
setb   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    1169 <mbsrtowcs+0x59>
jmp    1232 <mbsrtowcs+0x122>
cmpq   $0x0,-0x10(%rbp)
je     118c <mbsrtowcs+0x7c>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
jmp    1197 <mbsrtowcs+0x87>
xor    %eax,%eax
mov    %rax,-0x50(%rbp)
jmp    1197 <mbsrtowcs+0x87>
mov    -0x50(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    0x2e32(%rip),%rax
mov    (%rax),%edx
mov    -0x28(%rbp),%rcx
call   1030 <mbrtowc@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0xffffffffffffffff,-0x40(%rbp)
jne    1200 <mbsrtowcs+0xf0>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     11dd <mbsrtowcs+0xcd>
mov    -0x30(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    11e8 <mbsrtowcs+0xd8>
xor    %eax,%eax
mov    %rax,-0x58(%rbp)
jmp    11e8 <mbsrtowcs+0xd8>
mov    -0x58(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    126d <mbsrtowcs+0x15d>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1215 <mbsrtowcs+0x105>
jmp    1232 <mbsrtowcs+0x122>
mov    -0x40(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    113b <mbsrtowcs+0x2b>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     124f <mbsrtowcs+0x13f>
mov    -0x30(%rbp),%rax
mov    %rax,-0x60(%rbp)
jmp    125a <mbsrtowcs+0x14a>
xor    %eax,%eax
mov    %rax,-0x60(%rbp)
jmp    125a <mbsrtowcs+0x14a>
mov    -0x60(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mbsrtowcs>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r12
mov    %rdx,%r13
mov    %rdi,%r14
mov    %rsi,(%rsp)
mov    (%rsi),%rbx
test   %rdi,%rdi
je     113a <mbsrtowcs+0x2a>
test   %r13,%r13
jne    113a <mbsrtowcs+0x2a>
xor    %r15d,%r15d
jmp    1187 <mbsrtowcs+0x77>
xor    %r15d,%r15d
mov    %r14,%rbp
test   %r14,%r14
mov    %rbp,%rdi
cmove  %r14,%rdi
mov    0x2e87(%rip),%rax
mov    (%rax),%edx
mov    %rbx,%rsi
mov    %r12,%rcx
call   1030 <mbrtowc@plt>
cmp    $0xffffffffffffffff,%rax
je     1180 <mbsrtowcs+0x70>
cmpb   $0x0,(%rbx)
je     1187 <mbsrtowcs+0x77>
add    %rax,%rbx
add    $0x1,%r15
add    $0x4,%rbp
test   %r14,%r14
je     1140 <mbsrtowcs+0x30>
cmp    %r13,%r15
jb     1140 <mbsrtowcs+0x30>
jmp    1187 <mbsrtowcs+0x77>
mov    $0xffffffffffffffff,%r15
xor    %eax,%eax
cmpb   $0x0,(%rbx)
cmovne %rbx,%rax
mov    (%rsp),%rcx
mov    %rax,(%rcx)
mov    %r15,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@ULONG_MAX = global i32 0
define i64 @mbsrtowcs(i32* %0, i8** nocapture %1, i64 %2, i32* %3) {
%5 = load i8*, i8** %1
%6 = icmp eq i32* %0, null
%7 = icmp ne i64 %2, 0
%8 = or i1 %6, %7
br i1 %8, label %9, label %25
9: ; preds = %4, %20
%10 = phi i64 [ %22, %20 ], [ 0, %4 ]
%11 = phi i8* [ %21, %20 ], [ %5, %4 ]
%12 = getelementptr inbounds i32, i32* %0, i64 %10
%13 = select i1 %6, i32* null, i32* %12
%14 = load i32, i32* @ULONG_MAX
%15 = tail call i64 @mbrtowc(i32* %13, i8* %11, i32 %14, i32* %3)
%16 = icmp eq i64 %15, -1
br i1 %16, label %25, label %17
17: ; preds = %9
%18 = load i8, i8* %11
%19 = icmp eq i8 %18, 0
br i1 %19, label %25, label %20
20: ; preds = %17
%21 = getelementptr inbounds i8, i8* %11, i64 %15
%22 = add i64 %10, 1
%23 = icmp ult i64 %22, %2
%24 = select i1 %6, i1 true, i1 %23
br i1 %24, label %9, label %25
25: ; preds = %17, %20, %9, %4
%26 = phi i8* [ %5, %4 ], [ %11, %9 ], [ %11, %17 ], [ %21, %20 ]
%27 = phi i64 [ 0, %4 ], [ -1, %9 ], [ %10, %17 ], [ %22, %20 ]
%28 = load i8, i8* %26
%29 = icmp eq i8 %28, 0
%30 = select i1 %29, i8* null, i8* %26
store i8* %30, i8** %1
ret i64 %27
}