#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 EILSEQ;
size_t errno;
size_t wcrtomb(char *restrict s, wchar_t wc, mbstate_t *restrict ps) {
  size_t len;
  if (wc <= 0x7F) {
    if (s)
      len = (1);
    else
      return (1);
    (*s++ = (char)(0x00 | ((wc >> 0) & 0x7F)));
    goto put0;
  }
  if (wc <= 0x7FF) {
    if (s)
      len = (2);
    else
      return (2);
    (*s++ = (char)(0xC0 | ((wc >> 6) & 0x1F)));
    goto put1;
  }
  if (wc <= 0xFFFF) {
    if (s)
      len = (3);
    else
      return (3);
    (*s++ = (char)(0xE0 | ((wc >> 12) & 0x0F)));
    goto put2;
  }
  if (wc <= 0x1FFFFF) {
    if (s)
      len = (4);
    else
      return (4);
    (*s++ = (char)(0xF0 | ((wc >> 18) & 0x07)));
    goto put3;
  }
  if (wc <= 0x3FFFFFF) {
    if (s)
      len = (5);
    else
      return (5);
    (*s++ = (char)(0xF8 | ((wc >> 24) & 0x03)));
    goto put4;
  }
  if (wc <= 0x7FFFFFFF) {
    if (s)
      len = (6);
    else
      return (6);
    (*s++ = (char)(0xFC | ((wc >> 30) & 0x01)));
    goto put5;
  }
  return errno = EILSEQ, (size_t)-1;
put5:
  (*s++ = (char)(0x80 | ((wc >> 24) & 0x3F)));
put4:
  (*s++ = (char)(0x80 | ((wc >> 18) & 0x3F)));
put3:
  (*s++ = (char)(0x80 | ((wc >> 12) & 0x3F)));
put2:
  (*s++ = (char)(0x80 | ((wc >> 6) & 0x3F)));
put1:
  (*s++ = (char)(0x80 | ((wc >> 0) & 0x3F)));
put0:
  return len;
}


x86 assembly (clang, -O0):
<wcrtomb>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
cmpl   $0x7f,-0x14(%rbp)
jg     1162 <wcrtomb+0x62>
cmpq   $0x0,-0x10(%rbp)
je     1131 <wcrtomb+0x31>
movq   $0x1,-0x28(%rbp)
jmp    113e <wcrtomb+0x3e>
movq   $0x1,-0x8(%rbp)
jmp    13e8 <wcrtomb+0x2e8>
mov    -0x14(%rbp),%eax
sar    $0x0,%eax
and    $0x7f,%eax
or     $0x0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    13e0 <wcrtomb+0x2e0>
cmpl   $0x7ff,-0x14(%rbp)
jg     11ba <wcrtomb+0xba>
cmpq   $0x0,-0x10(%rbp)
je     1187 <wcrtomb+0x87>
movq   $0x2,-0x28(%rbp)
jmp    1194 <wcrtomb+0x94>
movq   $0x2,-0x8(%rbp)
jmp    13e8 <wcrtomb+0x2e8>
mov    -0x14(%rbp),%eax
sar    $0x6,%eax
and    $0x1f,%eax
or     $0xc0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    13bf <wcrtomb+0x2bf>
cmpl   $0xffff,-0x14(%rbp)
jg     1212 <wcrtomb+0x112>
cmpq   $0x0,-0x10(%rbp)
je     11df <wcrtomb+0xdf>
movq   $0x3,-0x28(%rbp)
jmp    11ec <wcrtomb+0xec>
movq   $0x3,-0x8(%rbp)
jmp    13e8 <wcrtomb+0x2e8>
mov    -0x14(%rbp),%eax
sar    $0xc,%eax
and    $0xf,%eax
or     $0xe0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    139e <wcrtomb+0x29e>
cmpl   $0x1fffff,-0x14(%rbp)
jg     126a <wcrtomb+0x16a>
cmpq   $0x0,-0x10(%rbp)
je     1237 <wcrtomb+0x137>
movq   $0x4,-0x28(%rbp)
jmp    1244 <wcrtomb+0x144>
movq   $0x4,-0x8(%rbp)
jmp    13e8 <wcrtomb+0x2e8>
mov    -0x14(%rbp),%eax
sar    $0x12,%eax
and    $0x7,%eax
or     $0xf0,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    137d <wcrtomb+0x27d>
cmpl   $0x3ffffff,-0x14(%rbp)
jg     12c2 <wcrtomb+0x1c2>
cmpq   $0x0,-0x10(%rbp)
je     128f <wcrtomb+0x18f>
movq   $0x5,-0x28(%rbp)
jmp    129c <wcrtomb+0x19c>
movq   $0x5,-0x8(%rbp)
jmp    13e8 <wcrtomb+0x2e8>
mov    -0x14(%rbp),%eax
sar    $0x18,%eax
and    $0x3,%eax
or     $0xf8,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    135c <wcrtomb+0x25c>
cmpl   $0x7fffffff,-0x14(%rbp)
jg     131a <wcrtomb+0x21a>
cmpq   $0x0,-0x10(%rbp)
je     12e7 <wcrtomb+0x1e7>
movq   $0x6,-0x28(%rbp)
jmp    12f4 <wcrtomb+0x1f4>
movq   $0x6,-0x8(%rbp)
jmp    13e8 <wcrtomb+0x2e8>
mov    -0x14(%rbp),%eax
sar    $0x1e,%eax
and    $0x1,%eax
or     $0xfc,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    133b <wcrtomb+0x23b>
mov    0x2ccf(%rip),%rax
mov    (%rax),%rcx
mov    0x2cad(%rip),%rax
mov    %rcx,(%rax)
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    13e8 <wcrtomb+0x2e8>
mov    -0x14(%rbp),%eax
sar    $0x18,%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    $0x12,%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    $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
sar    $0x0,%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    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<wcrtomb>:
cmp    $0x7f,%esi
jg     111b <wcrtomb+0x1b>
mov    $0x1,%eax
test   %rdi,%rdi
je     1208 <wcrtomb+0x108>
and    $0x7f,%sil
mov    %sil,(%rdi)
ret
cmp    $0x7ff,%esi
ja     113b <wcrtomb+0x3b>
test   %rdi,%rdi
je     1180 <wcrtomb+0x80>
mov    %esi,%eax
shr    $0x6,%eax
or     $0xc0,%al
mov    %al,(%rdi)
mov    $0x2,%eax
jmp    11fc <wcrtomb+0xfc>
cmp    $0xffff,%esi
ja     115f <wcrtomb+0x5f>
test   %rdi,%rdi
je     11a7 <wcrtomb+0xa7>
mov    %esi,%eax
shr    $0xc,%eax
or     $0xe0,%al
mov    %al,(%rdi)
add    $0x1,%rdi
mov    $0x3,%eax
jmp    11ef <wcrtomb+0xef>
cmp    $0x1fffff,%esi
ja     1186 <wcrtomb+0x86>
test   %rdi,%rdi
je     1209 <wcrtomb+0x109>
mov    %esi,%eax
shr    $0x12,%eax
or     $0xf0,%al
mov    %al,(%rdi)
mov    $0x4,%eax
jmp    11dd <wcrtomb+0xdd>
mov    $0x2,%eax
ret
cmp    $0x3ffffff,%esi
ja     11ad <wcrtomb+0xad>
test   %rdi,%rdi
je     120f <wcrtomb+0x10f>
mov    %esi,%eax
shr    $0x18,%eax
or     $0xf8,%al
mov    %al,(%rdi)
add    $0x1,%rdi
mov    $0x5,%eax
jmp    11d0 <wcrtomb+0xd0>
mov    $0x3,%eax
ret
test   %rdi,%rdi
je     1215 <wcrtomb+0x115>
mov    %esi,%eax
shr    $0x1e,%eax
or     $0xfc,%al
mov    %al,(%rdi)
mov    %esi,%eax
shr    $0x18,%eax
and    $0x3f,%al
or     $0x80,%al
mov    %al,0x1(%rdi)
add    $0x2,%rdi
mov    $0x6,%eax
mov    %esi,%ecx
shr    $0x12,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,(%rdi)
mov    %esi,%ecx
shr    $0xc,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x1(%rdi)
add    $0x2,%rdi
mov    %esi,%ecx
shr    $0x6,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x1(%rdi)
ret
mov    $0x4,%eax
ret
mov    $0x5,%eax
ret
mov    $0x6,%eax
ret

LLVM IR (-O0):
@EILSEQ = global i64 0
@errno = global i64 0
define i64 @wcrtomb(i8* noalias %0, i32 %1, i32* noalias %2) {
%4 = alloca i64
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i64
store i8* %0, i8** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
%9 = load i32, i32* %6
%10 = icmp sle i32 %9, 127
br i1 %10, label %11, label %24
11: ; preds = %3
%12 = load i8*, i8** %5
%13 = icmp ne i8* %12, null
br i1 %13, label %14, label %15
14: ; preds = %11
store i64 1, i64* %8
br label %16
15: ; preds = %11
store i64 1, i64* %4
br label %148
16: ; preds = %14
%17 = load i32, i32* %6
%18 = ashr i32 %17, 0
%19 = and i32 %18, 127
%20 = or i32 0, %19
%21 = trunc i32 %20 to i8
%22 = load i8*, i8** %5
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %5
store i8 %21, i8* %22
br label %146
24: ; preds = %3
%25 = load i32, i32* %6
%26 = icmp sle i32 %25, 2047
br i1 %26, label %27, label %40
27: ; preds = %24
%28 = load i8*, i8** %5
%29 = icmp ne i8* %28, null
br i1 %29, label %30, label %31
30: ; preds = %27
store i64 2, i64* %8
br label %32
31: ; preds = %27
store i64 2, i64* %4
br label %148
32: ; preds = %30
%33 = load i32, i32* %6
%34 = ashr i32 %33, 6
%35 = and i32 %34, 31
%36 = or i32 192, %35
%37 = trunc i32 %36 to i8
%38 = load i8*, i8** %5
%39 = getelementptr inbounds i8, i8* %38, i32 1
store i8* %39, i8** %5
store i8 %37, i8* %38
br label %138
40: ; preds = %24
%41 = load i32, i32* %6
%42 = icmp sle i32 %41, 65535
br i1 %42, label %43, label %56
43: ; preds = %40
%44 = load i8*, i8** %5
%45 = icmp ne i8* %44, null
br i1 %45, label %46, label %47
46: ; preds = %43
store i64 3, i64* %8
br label %48
47: ; preds = %43
store i64 3, i64* %4
br label %148
48: ; preds = %46
%49 = load i32, i32* %6
%50 = ashr i32 %49, 12
%51 = and i32 %50, 15
%52 = or i32 224, %51
%53 = trunc i32 %52 to i8
%54 = load i8*, i8** %5
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %5
store i8 %53, i8* %54
br label %130
56: ; preds = %40
%57 = load i32, i32* %6
%58 = icmp sle i32 %57, 2097151
br i1 %58, label %59, label %72
59: ; preds = %56
%60 = load i8*, i8** %5
%61 = icmp ne i8* %60, null
br i1 %61, label %62, label %63
62: ; preds = %59
store i64 4, i64* %8
br label %64
63: ; preds = %59
store i64 4, i64* %4
br label %148
64: ; preds = %62
%65 = load i32, i32* %6
%66 = ashr i32 %65, 18
%67 = and i32 %66, 7
%68 = or i32 240, %67
%69 = trunc i32 %68 to i8
%70 = load i8*, i8** %5
%71 = getelementptr inbounds i8, i8* %70, i32 1
store i8* %71, i8** %5
store i8 %69, i8* %70
br label %122
72: ; preds = %56
%73 = load i32, i32* %6
%74 = icmp sle i32 %73, 67108863
br i1 %74, label %75, label %88
75: ; preds = %72
%76 = load i8*, i8** %5
%77 = icmp ne i8* %76, null
br i1 %77, label %78, label %79
78: ; preds = %75
store i64 5, i64* %8
br label %80
79: ; preds = %75
store i64 5, i64* %4
br label %148
80: ; preds = %78
%81 = load i32, i32* %6
%82 = ashr i32 %81, 24
%83 = and i32 %82, 3
%84 = or i32 248, %83
%85 = trunc i32 %84 to i8
%86 = load i8*, i8** %5
%87 = getelementptr inbounds i8, i8* %86, i32 1
store i8* %87, i8** %5
store i8 %85, i8* %86
br label %114
88: ; preds = %72
%89 = load i32, i32* %6
%90 = icmp sle i32 %89, 2147483647
br i1 %90, label %91, label %104
91: ; preds = %88
%92 = load i8*, i8** %5
%93 = icmp ne i8* %92, null
br i1 %93, label %94, label %95
94: ; preds = %91
store i64 6, i64* %8
br label %96
95: ; preds = %91
store i64 6, i64* %4
br label %148
96: ; preds = %94
%97 = load i32, i32* %6
%98 = ashr i32 %97, 30
%99 = and i32 %98, 1
%100 = or i32 252, %99
%101 = trunc i32 %100 to i8
%102 = load i8*, i8** %5
%103 = getelementptr inbounds i8, i8* %102, i32 1
store i8* %103, i8** %5
store i8 %101, i8* %102
br label %106
104: ; preds = %88
%105 = load i64, i64* @EILSEQ
store i64 %105, i64* @errno
store i64 -1, i64* %4
br label %148
106: ; preds = %96
%107 = load i32, i32* %6
%108 = ashr i32 %107, 24
%109 = and i32 %108, 63
%110 = or i32 128, %109
%111 = trunc i32 %110 to i8
%112 = load i8*, i8** %5
%113 = getelementptr inbounds i8, i8* %112, i32 1
store i8* %113, i8** %5
store i8 %111, i8* %112
br label %114
114: ; preds = %106, %80
%115 = load i32, i32* %6
%116 = ashr i32 %115, 18
%117 = and i32 %116, 63
%118 = or i32 128, %117
%119 = trunc i32 %118 to i8
%120 = load i8*, i8** %5
%121 = getelementptr inbounds i8, i8* %120, i32 1
store i8* %121, i8** %5
store i8 %119, i8* %120
br label %122
122: ; preds = %114, %64
%123 = load i32, i32* %6
%124 = ashr i32 %123, 12
%125 = and i32 %124, 63
%126 = or i32 128, %125
%127 = trunc i32 %126 to i8
%128 = load i8*, i8** %5
%129 = getelementptr inbounds i8, i8* %128, i32 1
store i8* %129, i8** %5
store i8 %127, i8* %128
br label %130
130: ; preds = %122, %48
%131 = load i32, i32* %6
%132 = ashr i32 %131, 6
%133 = and i32 %132, 63
%134 = or i32 128, %133
%135 = trunc i32 %134 to i8
%136 = load i8*, i8** %5
%137 = getelementptr inbounds i8, i8* %136, i32 1
store i8* %137, i8** %5
store i8 %135, i8* %136
br label %138
138: ; preds = %130, %32
%139 = load i32, i32* %6
%140 = ashr i32 %139, 0
%141 = and i32 %140, 63
%142 = or i32 128, %141
%143 = trunc i32 %142 to i8
%144 = load i8*, i8** %5
%145 = getelementptr inbounds i8, i8* %144, i32 1
store i8* %145, i8** %5
store i8 %143, i8* %144
br label %146
146: ; preds = %138, %16
%147 = load i64, i64* %8
store i64 %147, i64* %4
br label %148
148: ; preds = %146, %104, %95, %79, %63, %47, %31, %15
%149 = load i64, i64* %4
ret i64 %149
}

LLVM IR (-O2):
@EILSEQ = global i64 0
@errno = global i64 0
define i64 @wcrtomb(i8* noalias writeonly %0, i32 %1, i32* noalias nocapture readnone %2) {
%4 = icmp slt i32 %1, 128
br i1 %4, label %5, label %10
5: ; preds = %3
%6 = icmp eq i8* %0, null
br i1 %6, label %85, label %7
7: ; preds = %5
%8 = trunc i32 %1 to i8
%9 = and i8 %8, 127
store i8 %9, i8* %0
br label %85
10: ; preds = %3
%11 = icmp ult i32 %1, 2048
br i1 %11, label %12, label %18
12: ; preds = %10
%13 = icmp eq i8* %0, null
br i1 %13, label %85, label %14
14: ; preds = %12
%15 = lshr i32 %1, 6
%16 = trunc i32 %15 to i8
%17 = or i8 %16, -64
store i8 %17, i8* %0
br label %78
18: ; preds = %10
%19 = icmp ult i32 %1, 65536
br i1 %19, label %20, label %27
20: ; preds = %18
%21 = icmp eq i8* %0, null
br i1 %21, label %85, label %22
22: ; preds = %20
%23 = lshr i32 %1, 12
%24 = trunc i32 %23 to i8
%25 = or i8 %24, -32
%26 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %25, i8* %0
br label %71
27: ; preds = %18
%28 = icmp ult i32 %1, 2097152
br i1 %28, label %29, label %35
29: ; preds = %27
%30 = icmp eq i8* %0, null
br i1 %30, label %85, label %31
31: ; preds = %29
%32 = lshr i32 %1, 18
%33 = trunc i32 %32 to i8
%34 = or i8 %33, -16
store i8 %34, i8* %0
br label %62
35: ; preds = %27
%36 = icmp ult i32 %1, 67108864
%37 = icmp eq i8* %0, null
br i1 %36, label %38, label %44
38: ; preds = %35
br i1 %37, label %85, label %39
39: ; preds = %38
%40 = lshr i32 %1, 24
%41 = trunc i32 %40 to i8
%42 = or i8 %41, -8
%43 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %42, i8* %0
br label %55
44: ; preds = %35
br i1 %37, label %85, label %45
45: ; preds = %44
%46 = lshr i32 %1, 30
%47 = trunc i32 %46 to i8
%48 = or i8 %47, -4
%49 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %48, i8* %0
%50 = lshr i32 %1, 24
%51 = trunc i32 %50 to i8
%52 = and i8 %51, 63
%53 = or i8 %52, -128
%54 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %53, i8* %49
br label %55
55: ; preds = %45, %39
%56 = phi i8* [ %43, %39 ], [ %54, %45 ]
%57 = phi i64 [ 5, %39 ], [ 6, %45 ]
%58 = lshr i32 %1, 18
%59 = trunc i32 %58 to i8
%60 = and i8 %59, 63
%61 = or i8 %60, -128
store i8 %61, i8* %56
br label %62
62: ; preds = %55, %31
%63 = phi i8* [ %0, %31 ], [ %56, %55 ]
%64 = phi i64 [ 4, %31 ], [ %57, %55 ]
%65 = getelementptr inbounds i8, i8* %63, i64 1
%66 = lshr i32 %1, 12
%67 = trunc i32 %66 to i8
%68 = and i8 %67, 63
%69 = or i8 %68, -128
%70 = getelementptr inbounds i8, i8* %63, i64 2
store i8 %69, i8* %65
br label %71
71: ; preds = %62, %22
%72 = phi i8* [ %26, %22 ], [ %70, %62 ]
%73 = phi i64 [ 3, %22 ], [ %64, %62 ]
%74 = lshr i32 %1, 6
%75 = trunc i32 %74 to i8
%76 = and i8 %75, 63
%77 = or i8 %76, -128
store i8 %77, i8* %72
br label %78
78: ; preds = %71, %14
%79 = phi i8* [ %0, %14 ], [ %72, %71 ]
%80 = phi i64 [ 2, %14 ], [ %73, %71 ]
%81 = getelementptr inbounds i8, i8* %79, i64 1
%82 = trunc i32 %1 to i8
%83 = and i8 %82, 63
%84 = or i8 %83, -128
store i8 %84, i8* %81
br label %85
85: ; preds = %7, %78, %44, %38, %29, %20, %12, %5
%86 = phi i64 [ 1, %5 ], [ 2, %12 ], [ 3, %20 ], [ 4, %29 ], [ 5, %38 ], [ 6, %44 ], [ 1, %7 ], [ %80, %78 ]
ret i64 %86
}