#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 */

/* Variables and functions */
int /*<<< orphan*/ EINVAL;
int /*<<< orphan*/ errno;
int mutt_wctoutf8(char *s, unsigned int c, size_t buflen) {
  if (c < (1 << 7)) {
    if (s && buflen >= 1)
      *s++ = c;
    return 1;
  } else if (c < (1 << 11)) {
    if (s && buflen >= 2) {
      *s++ = 0xc0 | (c >> 6);
      *s++ = 0x80 | (c & 0x3f);
    }
    return 2;
  } else if (c < (1 << 16)) {
    if (s && buflen >= 3) {
      *s++ = 0xe0 | (c >> 12);
      *s++ = 0x80 | ((c >> 6) & 0x3f);
      *s++ = 0x80 | (c & 0x3f);
    }
    return 3;
  } else if (c < (1 << 21)) {
    if (s && buflen >= 4) {
      *s++ = 0xf0 | (c >> 18);
      *s++ = 0x80 | ((c >> 12) & 0x3f);
      *s++ = 0x80 | ((c >> 6) & 0x3f);
      *s++ = 0x80 | (c & 0x3f);
    }
    return 4;
  } else if (c < (1 << 26)) {
    if (s && buflen >= 5) {
      *s++ = 0xf8 | (c >> 24);
      *s++ = 0x80 | ((c >> 18) & 0x3f);
      *s++ = 0x80 | ((c >> 12) & 0x3f);
      *s++ = 0x80 | ((c >> 6) & 0x3f);
      *s++ = 0x80 | (c & 0x3f);
    }
    return 5;
  } else if (c < (1 << 31)) {
    if (s && buflen >= 6) {
      *s++ = 0xfc | (c >> 30);
      *s++ = 0x80 | ((c >> 24) & 0x3f);
      *s++ = 0x80 | ((c >> 18) & 0x3f);
      *s++ = 0x80 | ((c >> 12) & 0x3f);
      *s++ = 0x80 | ((c >> 6) & 0x3f);
      *s++ = 0x80 | (c & 0x3f);
    }
    return 6;
  }
  errno = EINVAL;
  return -1;
}


x86 assembly (clang, -O0):
<mutt_wctoutf8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
cmpl   $0x80,-0x14(%rbp)
jae    1154 <mutt_wctoutf8+0x54>
cmpq   $0x0,-0x10(%rbp)
je     1148 <mutt_wctoutf8+0x48>
cmpq   $0x1,-0x20(%rbp)
jb     1148 <mutt_wctoutf8+0x48>
mov    -0x14(%rbp),%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    14e7 <mutt_wctoutf8+0x3e7>
cmpl   $0x800,-0x14(%rbp)
jae    11bf <mutt_wctoutf8+0xbf>
cmpq   $0x0,-0x10(%rbp)
je     11b3 <mutt_wctoutf8+0xb3>
cmpq   $0x2,-0x20(%rbp)
jb     11b3 <mutt_wctoutf8+0xb3>
mov    -0x14(%rbp),%eax
shr    $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    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
movl   $0x2,-0x4(%rbp)
jmp    14e7 <mutt_wctoutf8+0x3e7>
cmpl   $0x10000,-0x14(%rbp)
jae    124b <mutt_wctoutf8+0x14b>
cmpq   $0x0,-0x10(%rbp)
je     123f <mutt_wctoutf8+0x13f>
cmpq   $0x3,-0x20(%rbp)
jb     123f <mutt_wctoutf8+0x13f>
mov    -0x14(%rbp),%eax
shr    $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
shr    $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    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
movl   $0x3,-0x4(%rbp)
jmp    14e7 <mutt_wctoutf8+0x3e7>
cmpl   $0x200000,-0x14(%rbp)
jae    12f8 <mutt_wctoutf8+0x1f8>
cmpq   $0x0,-0x10(%rbp)
je     12ec <mutt_wctoutf8+0x1ec>
cmpq   $0x4,-0x20(%rbp)
jb     12ec <mutt_wctoutf8+0x1ec>
mov    -0x14(%rbp),%eax
shr    $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
shr    $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
shr    $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    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
movl   $0x4,-0x4(%rbp)
jmp    14e7 <mutt_wctoutf8+0x3e7>
cmpl   $0x4000000,-0x14(%rbp)
jae    13c6 <mutt_wctoutf8+0x2c6>
cmpq   $0x0,-0x10(%rbp)
je     13ba <mutt_wctoutf8+0x2ba>
cmpq   $0x5,-0x20(%rbp)
jb     13ba <mutt_wctoutf8+0x2ba>
mov    -0x14(%rbp),%eax
shr    $0x18,%eax
or     $0xf8,%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
shr    $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
shr    $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
shr    $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    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
movl   $0x5,-0x4(%rbp)
jmp    14e7 <mutt_wctoutf8+0x3e7>
cmpl   $0x80000000,-0x14(%rbp)
jae    14b5 <mutt_wctoutf8+0x3b5>
cmpq   $0x0,-0x10(%rbp)
je     14a9 <mutt_wctoutf8+0x3a9>
cmpq   $0x6,-0x20(%rbp)
jb     14a9 <mutt_wctoutf8+0x3a9>
mov    -0x14(%rbp),%eax
shr    $0x1e,%eax
or     $0xfc,%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
shr    $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
shr    $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
shr    $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
shr    $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    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
movl   $0x6,-0x4(%rbp)
jmp    14e7 <mutt_wctoutf8+0x3e7>
jmp    14ba <mutt_wctoutf8+0x3ba>
jmp    14bf <mutt_wctoutf8+0x3bf>
jmp    14c4 <mutt_wctoutf8+0x3c4>
jmp    14c9 <mutt_wctoutf8+0x3c9>
jmp    14ce <mutt_wctoutf8+0x3ce>
mov    0x2b03(%rip),%rax
mov    (%rax),%ecx
mov    0x2b02(%rip),%rax
mov    %ecx,(%rax)
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mutt_wctoutf8>:
cmp    $0x7f,%esi
ja     1120 <mutt_wctoutf8+0x20>
mov    $0x1,%eax
test   %rdi,%rdi
je     12ca <mutt_wctoutf8+0x1ca>
test   %rdx,%rdx
je     12ca <mutt_wctoutf8+0x1ca>
mov    %sil,(%rdi)
ret
cmp    $0x7ff,%esi
ja     1157 <mutt_wctoutf8+0x57>
mov    $0x2,%eax
test   %rdi,%rdi
je     12ca <mutt_wctoutf8+0x1ca>
cmp    $0x2,%rdx
jb     12ca <mutt_wctoutf8+0x1ca>
mov    %esi,%ecx
shr    $0x6,%ecx
or     $0xc0,%cl
mov    %cl,(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x1(%rdi)
ret
cmp    $0xffff,%esi
ja     119c <mutt_wctoutf8+0x9c>
mov    $0x3,%eax
test   %rdi,%rdi
je     12ca <mutt_wctoutf8+0x1ca>
cmp    $0x3,%rdx
jb     12ca <mutt_wctoutf8+0x1ca>
mov    %esi,%ecx
shr    $0xc,%ecx
or     $0xe0,%cl
mov    %cl,(%rdi)
mov    %esi,%ecx
shr    $0x6,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x1(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x2(%rdi)
ret
cmp    $0x1fffff,%esi
ja     11ef <mutt_wctoutf8+0xef>
mov    $0x4,%eax
test   %rdi,%rdi
je     12ca <mutt_wctoutf8+0x1ca>
cmp    $0x4,%rdx
jb     12ca <mutt_wctoutf8+0x1ca>
mov    %esi,%ecx
shr    $0x12,%ecx
or     $0xf0,%cl
mov    %cl,(%rdi)
mov    %esi,%ecx
shr    $0xc,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x1(%rdi)
mov    %esi,%ecx
shr    $0x6,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x2(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x3(%rdi)
ret
cmp    $0x3ffffff,%esi
ja     1250 <mutt_wctoutf8+0x150>
mov    $0x5,%eax
test   %rdi,%rdi
je     12ca <mutt_wctoutf8+0x1ca>
cmp    $0x5,%rdx
jb     12ca <mutt_wctoutf8+0x1ca>
mov    %esi,%ecx
shr    $0x18,%ecx
or     $0xf8,%cl
mov    %cl,(%rdi)
mov    %esi,%ecx
shr    $0x12,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x1(%rdi)
mov    %esi,%ecx
shr    $0xc,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x2(%rdi)
mov    %esi,%ecx
shr    $0x6,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x3(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x4(%rdi)
ret
test   %esi,%esi
js     12b3 <mutt_wctoutf8+0x1b3>
mov    $0x6,%eax
test   %rdi,%rdi
je     12ca <mutt_wctoutf8+0x1ca>
cmp    $0x6,%rdx
jb     12ca <mutt_wctoutf8+0x1ca>
mov    %esi,%ecx
shr    $0x1e,%ecx
or     $0xfc,%cl
mov    %cl,(%rdi)
mov    %esi,%ecx
shr    $0x18,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x1(%rdi)
mov    %esi,%ecx
shr    $0x12,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x2(%rdi)
mov    %esi,%ecx
shr    $0xc,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x3(%rdi)
mov    %esi,%ecx
shr    $0x6,%ecx
and    $0x3f,%cl
or     $0x80,%cl
mov    %cl,0x4(%rdi)
and    $0x3f,%sil
or     $0x80,%sil
mov    %sil,0x5(%rdi)
ret
mov    0x2d1e(%rip),%rax
mov    (%rax),%eax
mov    0x2d1d(%rip),%rcx
mov    %eax,(%rcx)
mov    $0xffffffff,%eax
ret

LLVM IR (-O0):
@EINVAL = global i32 0
@errno = global i32 0
define i32 @mutt_wctoutf8(i8* %0, i32 %1, i64 %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i64
store i8* %0, i8** %5
store i32 %1, i32* %6
store i64 %2, i64* %7
%8 = load i32, i32* %6
%9 = icmp ult i32 %8, 128
br i1 %9, label %10, label %22
10: ; preds = %3
%11 = load i8*, i8** %5
%12 = icmp ne i8* %11, null
br i1 %12, label %13, label %21
13: ; preds = %10
%14 = load i64, i64* %7
%15 = icmp uge i64 %14, 1
br i1 %15, label %16, label %21
16: ; preds = %13
%17 = load i32, i32* %6
%18 = trunc i32 %17 to i8
%19 = load i8*, i8** %5
%20 = getelementptr inbounds i8, i8* %19, i32 1
store i8* %20, i8** %5
store i8 %18, i8* %19
br label %21
21: ; preds = %16, %13, %10
store i32 1, i32* %4
br label %214
22: ; preds = %3
%23 = load i32, i32* %6
%24 = icmp ult i32 %23, 2048
br i1 %24, label %25, label %45
25: ; preds = %22
%26 = load i8*, i8** %5
%27 = icmp ne i8* %26, null
br i1 %27, label %28, label %44
28: ; preds = %25
%29 = load i64, i64* %7
%30 = icmp uge i64 %29, 2
br i1 %30, label %31, label %44
31: ; preds = %28
%32 = load i32, i32* %6
%33 = lshr i32 %32, 6
%34 = or i32 192, %33
%35 = trunc i32 %34 to i8
%36 = load i8*, i8** %5
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %5
store i8 %35, i8* %36
%38 = load i32, i32* %6
%39 = and i32 %38, 63
%40 = or i32 128, %39
%41 = trunc i32 %40 to i8
%42 = load i8*, i8** %5
%43 = getelementptr inbounds i8, i8* %42, i32 1
store i8* %43, i8** %5
store i8 %41, i8* %42
br label %44
44: ; preds = %31, %28, %25
store i32 2, i32* %4
br label %214
45: ; preds = %22
%46 = load i32, i32* %6
%47 = icmp ult i32 %46, 65536
br i1 %47, label %48, label %75
48: ; preds = %45
%49 = load i8*, i8** %5
%50 = icmp ne i8* %49, null
br i1 %50, label %51, label %74
51: ; preds = %48
%52 = load i64, i64* %7
%53 = icmp uge i64 %52, 3
br i1 %53, label %54, label %74
54: ; preds = %51
%55 = load i32, i32* %6
%56 = lshr i32 %55, 12
%57 = or i32 224, %56
%58 = trunc i32 %57 to i8
%59 = load i8*, i8** %5
%60 = getelementptr inbounds i8, i8* %59, i32 1
store i8* %60, i8** %5
store i8 %58, i8* %59
%61 = load i32, i32* %6
%62 = lshr i32 %61, 6
%63 = and i32 %62, 63
%64 = or i32 128, %63
%65 = trunc i32 %64 to i8
%66 = load i8*, i8** %5
%67 = getelementptr inbounds i8, i8* %66, i32 1
store i8* %67, i8** %5
store i8 %65, i8* %66
%68 = load i32, i32* %6
%69 = and i32 %68, 63
%70 = or i32 128, %69
%71 = trunc i32 %70 to i8
%72 = load i8*, i8** %5
%73 = getelementptr inbounds i8, i8* %72, i32 1
store i8* %73, i8** %5
store i8 %71, i8* %72
br label %74
74: ; preds = %54, %51, %48
store i32 3, i32* %4
br label %214
75: ; preds = %45
%76 = load i32, i32* %6
%77 = icmp ult i32 %76, 2097152
br i1 %77, label %78, label %112
78: ; preds = %75
%79 = load i8*, i8** %5
%80 = icmp ne i8* %79, null
br i1 %80, label %81, label %111
81: ; preds = %78
%82 = load i64, i64* %7
%83 = icmp uge i64 %82, 4
br i1 %83, label %84, label %111
84: ; preds = %81
%85 = load i32, i32* %6
%86 = lshr i32 %85, 18
%87 = or i32 240, %86
%88 = trunc i32 %87 to i8
%89 = load i8*, i8** %5
%90 = getelementptr inbounds i8, i8* %89, i32 1
store i8* %90, i8** %5
store i8 %88, i8* %89
%91 = load i32, i32* %6
%92 = lshr i32 %91, 12
%93 = and i32 %92, 63
%94 = or i32 128, %93
%95 = trunc i32 %94 to i8
%96 = load i8*, i8** %5
%97 = getelementptr inbounds i8, i8* %96, i32 1
store i8* %97, i8** %5
store i8 %95, i8* %96
%98 = load i32, i32* %6
%99 = lshr i32 %98, 6
%100 = and i32 %99, 63
%101 = or i32 128, %100
%102 = trunc i32 %101 to i8
%103 = load i8*, i8** %5
%104 = getelementptr inbounds i8, i8* %103, i32 1
store i8* %104, i8** %5
store i8 %102, i8* %103
%105 = load i32, i32* %6
%106 = and i32 %105, 63
%107 = or i32 128, %106
%108 = trunc i32 %107 to i8
%109 = load i8*, i8** %5
%110 = getelementptr inbounds i8, i8* %109, i32 1
store i8* %110, i8** %5
store i8 %108, i8* %109
br label %111
111: ; preds = %84, %81, %78
store i32 4, i32* %4
br label %214
112: ; preds = %75
%113 = load i32, i32* %6
%114 = icmp ult i32 %113, 67108864
br i1 %114, label %115, label %156
115: ; preds = %112
%116 = load i8*, i8** %5
%117 = icmp ne i8* %116, null
br i1 %117, label %118, label %155
118: ; preds = %115
%119 = load i64, i64* %7
%120 = icmp uge i64 %119, 5
br i1 %120, label %121, label %155
121: ; preds = %118
%122 = load i32, i32* %6
%123 = lshr i32 %122, 24
%124 = or i32 248, %123
%125 = trunc i32 %124 to i8
%126 = load i8*, i8** %5
%127 = getelementptr inbounds i8, i8* %126, i32 1
store i8* %127, i8** %5
store i8 %125, i8* %126
%128 = load i32, i32* %6
%129 = lshr i32 %128, 18
%130 = and i32 %129, 63
%131 = or i32 128, %130
%132 = trunc i32 %131 to i8
%133 = load i8*, i8** %5
%134 = getelementptr inbounds i8, i8* %133, i32 1
store i8* %134, i8** %5
store i8 %132, i8* %133
%135 = load i32, i32* %6
%136 = lshr i32 %135, 12
%137 = and i32 %136, 63
%138 = or i32 128, %137
%139 = trunc i32 %138 to i8
%140 = load i8*, i8** %5
%141 = getelementptr inbounds i8, i8* %140, i32 1
store i8* %141, i8** %5
store i8 %139, i8* %140
%142 = load i32, i32* %6
%143 = lshr i32 %142, 6
%144 = and i32 %143, 63
%145 = or i32 128, %144
%146 = trunc i32 %145 to i8
%147 = load i8*, i8** %5
%148 = getelementptr inbounds i8, i8* %147, i32 1
store i8* %148, i8** %5
store i8 %146, i8* %147
%149 = load i32, i32* %6
%150 = and i32 %149, 63
%151 = or i32 128, %150
%152 = trunc i32 %151 to i8
%153 = load i8*, i8** %5
%154 = getelementptr inbounds i8, i8* %153, i32 1
store i8* %154, i8** %5
store i8 %152, i8* %153
br label %155
155: ; preds = %121, %118, %115
store i32 5, i32* %4
br label %214
156: ; preds = %112
%157 = load i32, i32* %6
%158 = icmp ult i32 %157, -2147483648
br i1 %158, label %159, label %207
159: ; preds = %156
%160 = load i8*, i8** %5
%161 = icmp ne i8* %160, null
br i1 %161, label %162, label %206
162: ; preds = %159
%163 = load i64, i64* %7
%164 = icmp uge i64 %163, 6
br i1 %164, label %165, label %206
165: ; preds = %162
%166 = load i32, i32* %6
%167 = lshr i32 %166, 30
%168 = or i32 252, %167
%169 = trunc i32 %168 to i8
%170 = load i8*, i8** %5
%171 = getelementptr inbounds i8, i8* %170, i32 1
store i8* %171, i8** %5
store i8 %169, i8* %170
%172 = load i32, i32* %6
%173 = lshr i32 %172, 24
%174 = and i32 %173, 63
%175 = or i32 128, %174
%176 = trunc i32 %175 to i8
%177 = load i8*, i8** %5
%178 = getelementptr inbounds i8, i8* %177, i32 1
store i8* %178, i8** %5
store i8 %176, i8* %177
%179 = load i32, i32* %6
%180 = lshr i32 %179, 18
%181 = and i32 %180, 63
%182 = or i32 128, %181
%183 = trunc i32 %182 to i8
%184 = load i8*, i8** %5
%185 = getelementptr inbounds i8, i8* %184, i32 1
store i8* %185, i8** %5
store i8 %183, i8* %184
%186 = load i32, i32* %6
%187 = lshr i32 %186, 12
%188 = and i32 %187, 63
%189 = or i32 128, %188
%190 = trunc i32 %189 to i8
%191 = load i8*, i8** %5
%192 = getelementptr inbounds i8, i8* %191, i32 1
store i8* %192, i8** %5
store i8 %190, i8* %191
%193 = load i32, i32* %6
%194 = lshr i32 %193, 6
%195 = and i32 %194, 63
%196 = or i32 128, %195
%197 = trunc i32 %196 to i8
%198 = load i8*, i8** %5
%199 = getelementptr inbounds i8, i8* %198, i32 1
store i8* %199, i8** %5
store i8 %197, i8* %198
%200 = load i32, i32* %6
%201 = and i32 %200, 63
%202 = or i32 128, %201
%203 = trunc i32 %202 to i8
%204 = load i8*, i8** %5
%205 = getelementptr inbounds i8, i8* %204, i32 1
store i8* %205, i8** %5
store i8 %203, i8* %204
br label %206
206: ; preds = %165, %162, %159
store i32 6, i32* %4
br label %214
207: ; preds = %156
br label %208
208: ; preds = %207
br label %209
209: ; preds = %208
br label %210
210: ; preds = %209
br label %211
211: ; preds = %210
br label %212
212: ; preds = %211
%213 = load i32, i32* @EINVAL
store i32 %213, i32* @errno
store i32 -1, i32* %4
br label %214
214: ; preds = %212, %206, %155, %111, %74, %44, %21
%215 = load i32, i32* %4
ret i32 %215
}

LLVM IR (-O2):
@EINVAL = global i32 0
@errno = global i32 0
define i32 @mutt_wctoutf8(i8* writeonly %0, i32 %1, i64 %2) {
%4 = icmp ult i32 %1, 128
br i1 %4, label %5, label %11
5: ; preds = %3
%6 = icmp ne i8* %0, null
%7 = icmp ne i64 %2, 0
%8 = and i1 %6, %7
br i1 %8, label %9, label %133
9: ; preds = %5
%10 = trunc i32 %1 to i8
store i8 %10, i8* %0
br label %133
11: ; preds = %3
%12 = icmp ult i32 %1, 2048
br i1 %12, label %13, label %25
13: ; preds = %11
%14 = icmp ne i8* %0, null
%15 = icmp ugt i64 %2, 1
%16 = and i1 %14, %15
br i1 %16, label %17, label %133
17: ; preds = %13
%18 = lshr i32 %1, 6
%19 = trunc i32 %18 to i8
%20 = or i8 %19, -64
%21 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %20, i8* %0
%22 = trunc i32 %1 to i8
%23 = and i8 %22, 63
%24 = or i8 %23, -128
store i8 %24, i8* %21
br label %133
25: ; preds = %11
%26 = icmp ult i32 %1, 65536
br i1 %26, label %27, label %44
27: ; preds = %25
%28 = icmp ne i8* %0, null
%29 = icmp ugt i64 %2, 2
%30 = and i1 %28, %29
br i1 %30, label %31, label %133
31: ; preds = %27
%32 = lshr i32 %1, 12
%33 = trunc i32 %32 to i8
%34 = or i8 %33, -32
%35 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %34, i8* %0
%36 = lshr i32 %1, 6
%37 = trunc i32 %36 to i8
%38 = and i8 %37, 63
%39 = or i8 %38, -128
%40 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %39, i8* %35
%41 = trunc i32 %1 to i8
%42 = and i8 %41, 63
%43 = or i8 %42, -128
store i8 %43, i8* %40
br label %133
44: ; preds = %25
%45 = icmp ult i32 %1, 2097152
br i1 %45, label %46, label %68
46: ; preds = %44
%47 = icmp ne i8* %0, null
%48 = icmp ugt i64 %2, 3
%49 = and i1 %47, %48
br i1 %49, label %50, label %133
50: ; preds = %46
%51 = lshr i32 %1, 18
%52 = trunc i32 %51 to i8
%53 = or i8 %52, -16
%54 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %53, i8* %0
%55 = lshr i32 %1, 12
%56 = trunc i32 %55 to i8
%57 = and i8 %56, 63
%58 = or i8 %57, -128
%59 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %58, i8* %54
%60 = lshr i32 %1, 6
%61 = trunc i32 %60 to i8
%62 = and i8 %61, 63
%63 = or i8 %62, -128
%64 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %63, i8* %59
%65 = trunc i32 %1 to i8
%66 = and i8 %65, 63
%67 = or i8 %66, -128
store i8 %67, i8* %64
br label %133
68: ; preds = %44
%69 = icmp ult i32 %1, 67108864
br i1 %69, label %70, label %97
70: ; preds = %68
%71 = icmp ne i8* %0, null
%72 = icmp ugt i64 %2, 4
%73 = and i1 %71, %72
br i1 %73, label %74, label %133
74: ; preds = %70
%75 = lshr i32 %1, 24
%76 = trunc i32 %75 to i8
%77 = or i8 %76, -8
%78 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %77, i8* %0
%79 = lshr i32 %1, 18
%80 = trunc i32 %79 to i8
%81 = and i8 %80, 63
%82 = or i8 %81, -128
%83 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %82, i8* %78
%84 = lshr i32 %1, 12
%85 = trunc i32 %84 to i8
%86 = and i8 %85, 63
%87 = or i8 %86, -128
%88 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %87, i8* %83
%89 = lshr i32 %1, 6
%90 = trunc i32 %89 to i8
%91 = and i8 %90, 63
%92 = or i8 %91, -128
%93 = getelementptr inbounds i8, i8* %0, i64 4
store i8 %92, i8* %88
%94 = trunc i32 %1 to i8
%95 = and i8 %94, 63
%96 = or i8 %95, -128
store i8 %96, i8* %93
br label %133
97: ; preds = %68
%98 = icmp sgt i32 %1, -1
br i1 %98, label %99, label %131
99: ; preds = %97
%100 = icmp ne i8* %0, null
%101 = icmp ugt i64 %2, 5
%102 = and i1 %100, %101
br i1 %102, label %103, label %133
103: ; preds = %99
%104 = lshr i32 %1, 30
%105 = trunc i32 %104 to i8
%106 = or i8 %105, -4
%107 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %106, i8* %0
%108 = lshr i32 %1, 24
%109 = trunc i32 %108 to i8
%110 = and i8 %109, 63
%111 = or i8 %110, -128
%112 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %111, i8* %107
%113 = lshr i32 %1, 18
%114 = trunc i32 %113 to i8
%115 = and i8 %114, 63
%116 = or i8 %115, -128
%117 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %116, i8* %112
%118 = lshr i32 %1, 12
%119 = trunc i32 %118 to i8
%120 = and i8 %119, 63
%121 = or i8 %120, -128
%122 = getelementptr inbounds i8, i8* %0, i64 4
store i8 %121, i8* %117
%123 = lshr i32 %1, 6
%124 = trunc i32 %123 to i8
%125 = and i8 %124, 63
%126 = or i8 %125, -128
%127 = getelementptr inbounds i8, i8* %0, i64 5
store i8 %126, i8* %122
%128 = trunc i32 %1 to i8
%129 = and i8 %128, 63
%130 = or i8 %129, -128
store i8 %130, i8* %127
br label %133
131: ; preds = %97
%132 = load i32, i32* @EINVAL
store i32 %132, i32* @errno
br label %133
133: ; preds = %99, %103, %70, %74, %46, %50, %27, %31, %13, %17, %5, %9, %131
%134 = phi i32 [ -1, %131 ], [ 1, %9 ], [ 1, %5 ], [ 2, %17 ], [ 2, %13 ], [ 3, %31 ], [ 3, %27 ], [ 4, %50 ], [ 4, %46 ], [ 5, %74 ], [ 5, %70 ], [ 6, %103 ], [ 6, %99 ]
ret i32 %134
}