#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 */
int /*<<< orphan*/ EILSEQ;
int /*<<< orphan*/ errno;
size_t wcrtomb(char *s, wchar_t wc, mbstate_t *st) {
  if (!s)
    return 1;
  if ((unsigned)wc < 0x80) {
    *s = wc;
    return 1;
  } else if ((unsigned)wc < 0x800) {
    *s++ = 0xc0 | (wc >> 6);
    *s = 0x80 | (wc & 0x3f);
    return 2;
  } else if ((unsigned)wc < 0xd800 || (unsigned)wc - 0xe000 < 0x2000) {
    *s++ = 0xe0 | (wc >> 12);
    *s++ = 0x80 | ((wc >> 6) & 0x3f);
    *s = 0x80 | (wc & 0x3f);
    return 3;
  } else if ((unsigned)wc - 0x10000 < 0x100000) {
    *s++ = 0xf0 | (wc >> 18);
    *s++ = 0x80 | ((wc >> 12) & 0x3f);
    *s++ = 0x80 | ((wc >> 6) & 0x3f);
    *s = 0x80 | (wc & 0x3f);
    return 4;
  }
  errno = EILSEQ;
  return -1;
}


x86 assembly (clang, -O0):
<wcrtomb>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1127 <wcrtomb+0x27>
movq   $0x1,-0x8(%rbp)
jmp    12d2 <wcrtomb+0x1d2>
cmpl   $0x80,-0x14(%rbp)
jae    114c <wcrtomb+0x4c>
mov    -0x14(%rbp),%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movq   $0x1,-0x8(%rbp)
jmp    12d2 <wcrtomb+0x1d2>
cmpl   $0x800,-0x14(%rbp)
jae    1197 <wcrtomb+0x97>
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
or     $0xc0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movq   $0x2,-0x8(%rbp)
jmp    12d2 <wcrtomb+0x1d2>
cmpl   $0xd800,-0x14(%rbp)
jb     11b7 <wcrtomb+0xb7>
mov    -0x14(%rbp),%eax
sub    $0xe000,%eax
cmp    $0x2000,%eax
jae    1216 <wcrtomb+0x116>
mov    -0x14(%rbp),%eax
sar    $0xc,%eax
or     $0xe0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movq   $0x3,-0x8(%rbp)
jmp    12d2 <wcrtomb+0x1d2>
mov    -0x14(%rbp),%eax
sub    $0x10000,%eax
cmp    $0x100000,%eax
jae    12a9 <wcrtomb+0x1a9>
mov    -0x14(%rbp),%eax
sar    $0x12,%eax
or     $0xf0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
sar    $0xc,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
and    $0x3f,%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movq   $0x4,-0x8(%rbp)
jmp    12d2 <wcrtomb+0x1d2>
jmp    12ae <wcrtomb+0x1ae>
jmp    12b3 <wcrtomb+0x1b3>
jmp    12b8 <wcrtomb+0x1b8>
mov    0x2d31(%rip),%rax
mov    (%rax),%ecx
mov    0x2d10(%rip),%rax
mov    %ecx,(%rax)
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<wcrtomb>:
mov    $0x1,%eax
test   %rdi,%rdi
je     11d0 <wcrtomb+0xd0>
cmp    $0x7f,%esi
ja     1117 <wcrtomb+0x17>
mov    %sil,(%rdi)
ret
cmp    $0x7ff,%esi
ja     113a <wcrtomb+0x3a>
mov    %esi,%eax
shr    $0x6,%eax
or     $0xc0,%al
mov    %al,(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x1(%rdi)
mov    $0x2,%eax
ret
cmp    $0xd800,%esi
jb     1190 <wcrtomb+0x90>
mov    %esi,%eax
and    $0xffffe000,%eax
cmp    $0xe000,%eax
je     1190 <wcrtomb+0x90>
lea    -0x10000(%rsi),%eax
cmp    $0xfffff,%eax
ja     11b7 <wcrtomb+0xb7>
mov    %esi,%eax
shr    $0x12,%eax
or     $0xf0,%al
mov    %al,(%rdi)
mov    %esi,%eax
shr    $0xc,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%rdi)
mov    %esi,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x2(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x3(%rdi)
mov    $0x4,%eax
ret
mov    %esi,%eax
shr    $0xc,%eax
or     $0xe0,%al
mov    %al,(%rdi)
mov    %esi,%eax
shr    $0x6,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x2(%rdi)
mov    $0x3,%eax
ret
mov    0x2e32(%rip),%rax
mov    (%rax),%eax
mov    0x2e11(%rip),%rcx
mov    %eax,(%rcx)
mov    $0xffffffffffffffff,%rax
ret

LLVM IR (-O0):
@EILSEQ = global i32 0
@errno = global i32 0
define i64 @wcrtomb(i8* %0, i32 %1, i32* %2) {
%4 = alloca i64
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32*
store i8* %0, i8** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
%8 = load i8*, i8** %5
%9 = icmp ne i8* %8, null
br i1 %9, label %11, label %10
10: ; preds = %3
store i64 1, i64* %4
br label %94
11: ; preds = %3
%12 = load i32, i32* %6
%13 = icmp ult i32 %12, 128
br i1 %13, label %14, label %18
14: ; preds = %11
%15 = load i32, i32* %6
%16 = trunc i32 %15 to i8
%17 = load i8*, i8** %5
store i8 %16, i8* %17
store i64 1, i64* %4
br label %94
18: ; preds = %11
%19 = load i32, i32* %6
%20 = icmp ult i32 %19, 2048
br i1 %20, label %21, label %33
21: ; preds = %18
%22 = load i32, i32* %6
%23 = ashr i32 %22, 6
%24 = or i32 192, %23
%25 = trunc i32 %24 to i8
%26 = load i8*, i8** %5
%27 = getelementptr inbounds i8, i8* %26, i32 1
store i8* %27, i8** %5
store i8 %25, i8* %26
%28 = load i32, i32* %6
%29 = and i32 %28, 63
%30 = or i32 128, %29
%31 = trunc i32 %30 to i8
%32 = load i8*, i8** %5
store i8 %31, i8* %32
store i64 2, i64* %4
br label %94
33: ; preds = %18
%34 = load i32, i32* %6
%35 = icmp ult i32 %34, 55296
br i1 %35, label %40, label %36
36: ; preds = %33
%37 = load i32, i32* %6
%38 = sub i32 %37, 57344
%39 = icmp ult i32 %38, 8192
br i1 %39, label %40, label %59
40: ; preds = %36, %33
%41 = load i32, i32* %6
%42 = ashr i32 %41, 12
%43 = or i32 224, %42
%44 = trunc i32 %43 to i8
%45 = load i8*, i8** %5
%46 = getelementptr inbounds i8, i8* %45, i32 1
store i8* %46, i8** %5
store i8 %44, i8* %45
%47 = load i32, i32* %6
%48 = ashr i32 %47, 6
%49 = and i32 %48, 63
%50 = or i32 128, %49
%51 = trunc i32 %50 to i8
%52 = load i8*, i8** %5
%53 = getelementptr inbounds i8, i8* %52, i32 1
store i8* %53, i8** %5
store i8 %51, i8* %52
%54 = load i32, i32* %6
%55 = and i32 %54, 63
%56 = or i32 128, %55
%57 = trunc i32 %56 to i8
%58 = load i8*, i8** %5
store i8 %57, i8* %58
store i64 3, i64* %4
br label %94
59: ; preds = %36
%60 = load i32, i32* %6
%61 = sub i32 %60, 65536
%62 = icmp ult i32 %61, 1048576
br i1 %62, label %63, label %89
63: ; preds = %59
%64 = load i32, i32* %6
%65 = ashr i32 %64, 18
%66 = or i32 240, %65
%67 = trunc i32 %66 to i8
%68 = load i8*, i8** %5
%69 = getelementptr inbounds i8, i8* %68, i32 1
store i8* %69, i8** %5
store i8 %67, i8* %68
%70 = load i32, i32* %6
%71 = ashr i32 %70, 12
%72 = and i32 %71, 63
%73 = or i32 128, %72
%74 = trunc i32 %73 to i8
%75 = load i8*, i8** %5
%76 = getelementptr inbounds i8, i8* %75, i32 1
store i8* %76, i8** %5
store i8 %74, i8* %75
%77 = load i32, i32* %6
%78 = ashr i32 %77, 6
%79 = and i32 %78, 63
%80 = or i32 128, %79
%81 = trunc i32 %80 to i8
%82 = load i8*, i8** %5
%83 = getelementptr inbounds i8, i8* %82, i32 1
store i8* %83, i8** %5
store i8 %81, i8* %82
%84 = load i32, i32* %6
%85 = and i32 %84, 63
%86 = or i32 128, %85
%87 = trunc i32 %86 to i8
%88 = load i8*, i8** %5
store i8 %87, i8* %88
store i64 4, i64* %4
br label %94
89: ; preds = %59
br label %90
90: ; preds = %89
br label %91
91: ; preds = %90
br label %92
92: ; preds = %91
%93 = load i32, i32* @EILSEQ
store i32 %93, i32* @errno
store i64 -1, i64* %4
br label %94
94: ; preds = %92, %63, %40, %21, %14, %10
%95 = load i64, i64* %4
ret i64 %95
}

LLVM IR (-O2):
@EILSEQ = global i32 0
@errno = global i32 0
define i64 @wcrtomb(i8* writeonly %0, i32 %1, i32* nocapture readnone %2) {
%4 = icmp eq i8* %0, null
br i1 %4, label %60, label %5
5: ; preds = %3
%6 = icmp ult i32 %1, 128
br i1 %6, label %7, label %9
7: ; preds = %5
%8 = trunc i32 %1 to i8
store i8 %8, i8* %0
br label %60
9: ; preds = %5
%10 = icmp ult i32 %1, 2048
br i1 %10, label %11, label %19
11: ; preds = %9
%12 = lshr i32 %1, 6
%13 = trunc i32 %12 to i8
%14 = or i8 %13, -64
%15 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %14, i8* %0
%16 = trunc i32 %1 to i8
%17 = and i8 %16, 63
%18 = or i8 %17, -128
store i8 %18, i8* %15
br label %60
19: ; preds = %9
%20 = icmp ult i32 %1, 55296
%21 = and i32 %1, -8192
%22 = icmp eq i32 %21, 57344
%23 = or i1 %20, %22
br i1 %23, label %24, label %37
24: ; preds = %19
%25 = lshr i32 %1, 12
%26 = trunc i32 %25 to i8
%27 = or i8 %26, -32
%28 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %27, i8* %0
%29 = lshr i32 %1, 6
%30 = trunc i32 %29 to i8
%31 = and i8 %30, 63
%32 = or i8 %31, -128
%33 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %32, i8* %28
%34 = trunc i32 %1 to i8
%35 = and i8 %34, 63
%36 = or i8 %35, -128
store i8 %36, i8* %33
br label %60
37: ; preds = %19
%38 = add i32 %1, -65536
%39 = icmp ult i32 %38, 1048576
br i1 %39, label %40, label %58
40: ; preds = %37
%41 = lshr i32 %1, 18
%42 = trunc i32 %41 to i8
%43 = or i8 %42, -16
%44 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %43, i8* %0
%45 = lshr i32 %1, 12
%46 = trunc i32 %45 to i8
%47 = and i8 %46, 63
%48 = or i8 %47, -128
%49 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %48, i8* %44
%50 = lshr i32 %1, 6
%51 = trunc i32 %50 to i8
%52 = and i8 %51, 63
%53 = or i8 %52, -128
%54 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %53, i8* %49
%55 = trunc i32 %1 to i8
%56 = and i8 %55, 63
%57 = or i8 %56, -128
store i8 %57, i8* %54
br label %60
58: ; preds = %37
%59 = load i32, i32* @EILSEQ
store i32 %59, i32* @errno
br label %60
60: ; preds = %3, %58, %40, %24, %11, %7
%61 = phi i64 [ 1, %7 ], [ 2, %11 ], [ 3, %24 ], [ 4, %40 ], [ -1, %58 ], [ 1, %3 ]
ret i64 %61
}