#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*/ uint8_t;
typedef int uint64_t;
typedef int uint32_t;
typedef int uint16_t;

/* Variables and functions */
void _hs_text_encode_utf8(uint8_t **destp, const uint16_t *src, size_t srcoff,
                          size_t srclen) {
  const uint16_t *srcend;
  uint8_t *dest = *destp;
  src += srcoff;
  srcend = src + srclen;
ascii:
  while (srcend - src >= 4) {
    uint64_t w = *((uint64_t *)src);
    if (w & 0xFF80FF80FF80FF80ULL) {
      if (!(w & 0x000000000000FF80ULL)) {
        *dest++ = w & 0xFFFF;
        src++;
        if (!(w & 0x00000000FF800000ULL)) {
          *dest++ = (w >> 16) & 0xFFFF;
          src++;
          if (!(w & 0x0000FF8000000000ULL)) {
            *dest++ = (w >> 32) & 0xFFFF;
            src++;
          }
        }
      }
      break;
    }
    *dest++ = w & 0xFFFF;
    *dest++ = (w >> 16) & 0xFFFF;
    *dest++ = (w >> 32) & 0xFFFF;
    *dest++ = w >> 48;
    src += 4;
  }
  while (src < srcend) {
    uint16_t w = *src++;
    if (w <= 0x7F) {
      *dest++ = w;
      goto ascii;
    } else if (w <= 0x7FF) {
      *dest++ = (w >> 6) | 0xC0;
      *dest++ = (w & 0x3f) | 0x80;
    } else if (w < 0xD800 || w > 0xDBFF) {
      *dest++ = (w >> 12) | 0xE0;
      *dest++ = ((w >> 6) & 0x3F) | 0x80;
      *dest++ = (w & 0x3F) | 0x80;
    } else {
      uint32_t c = ((((uint32_t)w) - 0xD800) << 10) +
                   (((uint32_t)*src++) - 0xDC00) + 0x10000;
      *dest++ = (c >> 18) | 0xF0;
      *dest++ = ((c >> 12) & 0x3F) | 0x80;
      *dest++ = ((c >> 6) & 0x3F) | 0x80;
      *dest++ = (c & 0x3F) | 0x80;
    }
  }
  *destp = dest;
}


x86 assembly (clang, -O0):
<_hs_text_encode_utf8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
shl    $0x2,%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
jmp    1147 <_hs_text_encode_utf8+0x47>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
cmp    $0x4,%rax
jl     12e3 <_hs_text_encode_utf8+0x1e3>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
movslq -0x34(%rbp),%rax
movabs $0xff80ff80ff80ff80,%rcx
ff 80 ff
and    %rcx,%rax
cmp    $0x0,%rax
je     125b <_hs_text_encode_utf8+0x15b>
movslq -0x34(%rbp),%rax
and    $0xff80,%rax
cmp    $0x0,%rax
jne    1256 <_hs_text_encode_utf8+0x156>
mov    -0x34(%rbp),%ecx
and    $0xffff,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
movslq -0x34(%rbp),%rax
movabs $0xff800000,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
jne    1251 <_hs_text_encode_utf8+0x151>
mov    -0x34(%rbp),%ecx
sar    $0x10,%ecx
and    $0xffff,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
movslq -0x34(%rbp),%rax
movabs $0xff8000000000,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
jne    124c <_hs_text_encode_utf8+0x14c>
mov    -0x34(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %eax,%ecx
and    $0xffff,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    1251 <_hs_text_encode_utf8+0x151>
jmp    1256 <_hs_text_encode_utf8+0x156>
jmp    12e3 <_hs_text_encode_utf8+0x1e3>
mov    -0x34(%rbp),%ecx
and    $0xffff,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x34(%rbp),%ecx
sar    $0x10,%ecx
and    $0xffff,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x34(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
mov    %eax,%ecx
and    $0xffff,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x34(%rbp),%eax
mov    $0x30,%ecx
sar    %cl,%eax
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x10(%rbp)
jmp    1147 <_hs_text_encode_utf8+0x47>
jmp    12e8 <_hs_text_encode_utf8+0x1e8>
mov    -0x10(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    14a7 <_hs_text_encode_utf8+0x3a7>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x7f,-0x38(%rbp)
jg     132d <_hs_text_encode_utf8+0x22d>
mov    -0x38(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    1142 <_hs_text_encode_utf8+0x42>
cmpl   $0x7ff,-0x38(%rbp)
jg     1379 <_hs_text_encode_utf8+0x279>
mov    -0x38(%rbp),%ecx
sar    $0x6,%ecx
or     $0xc0,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x38(%rbp),%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    149d <_hs_text_encode_utf8+0x39d>
cmpl   $0xd800,-0x38(%rbp)
jl     1393 <_hs_text_encode_utf8+0x293>
cmpl   $0xdbff,-0x38(%rbp)
jle    13f2 <_hs_text_encode_utf8+0x2f2>
mov    -0x38(%rbp),%ecx
sar    $0xc,%ecx
or     $0xe0,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x38(%rbp),%ecx
sar    $0x6,%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x38(%rbp),%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    1498 <_hs_text_encode_utf8+0x398>
mov    -0x38(%rbp),%eax
sub    $0xd800,%eax
shl    $0xa,%eax
mov    -0x10(%rbp),%rcx
mov    %rcx,%rdx
add    $0x4,%rdx
mov    %rdx,-0x10(%rbp)
mov    (%rcx),%ecx
sub    $0xdc00,%ecx
add    %ecx,%eax
add    $0x10000,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%ecx
sar    $0x12,%ecx
or     $0xf0,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x3c(%rbp),%ecx
sar    $0xc,%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x3c(%rbp),%ecx
sar    $0x6,%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
mov    -0x3c(%rbp),%ecx
and    $0x3f,%ecx
or     $0x80,%ecx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x30(%rbp)
mov    %ecx,(%rax)
jmp    149d <_hs_text_encode_utf8+0x39d>
jmp    14a2 <_hs_text_encode_utf8+0x3a2>
jmp    12e8 <_hs_text_encode_utf8+0x1e8>
mov    -0x30(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<_hs_text_encode_utf8>:
push   %r14
push   %rbx
mov    (%rdi),%rax
lea    (%rsi,%rdx,4),%r14
lea    (%r14,%rcx,4),%r10
movabs $0xff80ff80ff80ff80,%r9
ff 80 ff
movabs $0xff8000000000,%r8
mov    %r10,%rsi
sub    %r14,%rsi
cmp    $0xd,%rsi
jl     1172 <_hs_text_encode_utf8+0x72>
xor    %ecx,%ecx
movslq (%r14,%rcx,1),%rdx
test   %r9,%rdx
jne    1160 <_hs_text_encode_utf8+0x60>
movzwl %dx,%ebx
mov    %ebx,(%rax,%rcx,1)
shr    $0x10,%edx
mov    %edx,0x4(%rax,%rcx,1)
add    $0x10,%rcx
add    $0xfffffffffffffff0,%rsi
cmp    $0xc,%rsi
jg     1130 <_hs_text_encode_utf8+0x30>
jmp    116c <_hs_text_encode_utf8+0x6c>
cs nopw 0x0(%rax,%rax,1)
test   $0xff80,%edx
je     127b <_hs_text_encode_utf8+0x17b>
add    %rcx,%r14
add    %rcx,%rax
mov    %r14,%rsi
cmp    %r10,%rsi
jb     11b2 <_hs_text_encode_utf8+0xb2>
jmp    12d3 <_hs_text_encode_utf8+0x1d3>
nop
mov    %ecx,%edx
shr    $0x6,%edx
or     $0xc0,%edx
lea    0x4(%rax),%r11
mov    %edx,(%rax)
mov    $0x2,%edx
and    $0x3f,%ecx
or     $0x80,%ecx
lea    (%rax,%rdx,4),%rax
mov    %ecx,(%r11)
mov    %r14,%rsi
cmp    %r10,%r14
jae    12d3 <_hs_text_encode_utf8+0x1d3>
lea    0x4(%rsi),%r14
mov    (%rsi),%ecx
cmp    $0x80,%ecx
jl     1270 <_hs_text_encode_utf8+0x170>
cmp    $0x7ff,%ecx
jbe    1180 <_hs_text_encode_utf8+0x80>
lea    -0xdc00(%rcx),%edx
cmp    $0xfffffbff,%edx
ja     1210 <_hs_text_encode_utf8+0x110>
mov    %ecx,%edx
shr    $0xc,%edx
or     $0xe0,%edx
mov    %edx,(%rax)
mov    %ecx,%edx
shr    $0x6,%edx
and    $0x3f,%edx
or     $0x80,%edx
lea    0x8(%rax),%r11
mov    %edx,0x4(%rax)
mov    $0x3,%edx
jmp    1196 <_hs_text_encode_utf8+0x96>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
shl    $0xa,%ecx
mov    0x4(%rsi),%edx
add    $0x8,%rsi
lea    (%rdx,%rcx,1),%ebx
add    $0xfca02400,%ebx
add    %edx,%ecx
mov    %ebx,%edx
sar    $0x12,%edx
or     $0xf0,%edx
mov    %edx,(%rax)
mov    %ebx,%edx
shr    $0xc,%edx
and    $0x3f,%edx
or     $0x80,%edx
mov    %edx,0x4(%rax)
shr    $0x6,%ebx
and    $0x3f,%ebx
or     $0x80,%ebx
lea    0xc(%rax),%r11
mov    %ebx,0x8(%rax)
mov    $0x4,%edx
mov    %rsi,%r14
jmp    1196 <_hs_text_encode_utf8+0x96>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ecx,(%rax)
add    $0x4,%rax
jmp    1122 <_hs_text_encode_utf8+0x22>
movzwl %dx,%esi
mov    %esi,(%rax,%rcx,1)
test   $0xff800000,%edx
je     129d <_hs_text_encode_utf8+0x19d>
add    %rcx,%rax
add    $0x4,%rax
lea    (%r14,%rcx,1),%rsi
add    $0x4,%rsi
jmp    1175 <_hs_text_encode_utf8+0x75>
mov    %edx,%esi
shr    $0x10,%esi
mov    %esi,0x4(%rax,%rcx,1)
test   %r8,%rdx
je     12bf <_hs_text_encode_utf8+0x1bf>
add    %rcx,%rax
add    $0x8,%rax
lea    (%r14,%rcx,1),%rsi
add    $0x8,%rsi
jmp    1175 <_hs_text_encode_utf8+0x75>
add    %rcx,%rax
add    $0xc,%rax
lea    (%r14,%rcx,1),%rsi
add    $0xc,%rsi
jmp    1175 <_hs_text_encode_utf8+0x75>
mov    %rax,(%rdi)
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @_hs_text_encode_utf8(i32** %0, i32* %1, i64 %2, i64 %3) {
%5 = alloca i32**
%6 = alloca i32*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32** %0, i32*** %5
store i32* %1, i32** %6
store i64 %2, i64* %7
store i64 %3, i64* %8
%14 = load i32**, i32*** %5
%15 = load i32*, i32** %14
store i32* %15, i32** %10
%16 = load i64, i64* %7
%17 = load i32*, i32** %6
%18 = getelementptr inbounds i32, i32* %17, i64 %16
store i32* %18, i32** %6
%19 = load i32*, i32** %6
%20 = load i64, i64* %8
%21 = getelementptr inbounds i32, i32* %19, i64 %20
store i32* %21, i32** %9
br label %22
22: ; preds = %109, %4
br label %23
23: ; preds = %77, %22
%24 = load i32*, i32** %9
%25 = load i32*, i32** %6
%26 = ptrtoint i32* %24 to i64
%27 = ptrtoint i32* %25 to i64
%28 = sub i64 %26, %27
%29 = sdiv exact i64 %28, 4
%30 = icmp sge i64 %29, 4
br i1 %30, label %31, label %98
31: ; preds = %23
%32 = load i32*, i32** %6
%33 = load i32, i32* %32
store i32 %33, i32* %11
%34 = load i32, i32* %11
%35 = sext i32 %34 to i64
%36 = and i64 %35, -35747867511423104
%37 = icmp ne i64 %36, 0
br i1 %37, label %38, label %77
38: ; preds = %31
%39 = load i32, i32* %11
%40 = sext i32 %39 to i64
%41 = and i64 %40, 65408
%42 = icmp ne i64 %41, 0
br i1 %42, label %76, label %43
43: ; preds = %38
%44 = load i32, i32* %11
%45 = and i32 %44, 65535
%46 = load i32*, i32** %10
%47 = getelementptr inbounds i32, i32* %46, i32 1
store i32* %47, i32** %10
store i32 %45, i32* %46
%48 = load i32*, i32** %6
%49 = getelementptr inbounds i32, i32* %48, i32 1
store i32* %49, i32** %6
%50 = load i32, i32* %11
%51 = sext i32 %50 to i64
%52 = and i64 %51, 4286578688
%53 = icmp ne i64 %52, 0
br i1 %53, label %75, label %54
54: ; preds = %43
%55 = load i32, i32* %11
%56 = ashr i32 %55, 16
%57 = and i32 %56, 65535
%58 = load i32*, i32** %10
%59 = getelementptr inbounds i32, i32* %58, i32 1
store i32* %59, i32** %10
store i32 %57, i32* %58
%60 = load i32*, i32** %6
%61 = getelementptr inbounds i32, i32* %60, i32 1
store i32* %61, i32** %6
%62 = load i32, i32* %11
%63 = sext i32 %62 to i64
%64 = and i64 %63, 280925220896768
%65 = icmp ne i64 %64, 0
br i1 %65, label %74, label %66
66: ; preds = %54
%67 = load i32, i32* %11
%68 = ashr i32 %67, 32
%69 = and i32 %68, 65535
%70 = load i32*, i32** %10
%71 = getelementptr inbounds i32, i32* %70, i32 1
store i32* %71, i32** %10
store i32 %69, i32* %70
%72 = load i32*, i32** %6
%73 = getelementptr inbounds i32, i32* %72, i32 1
store i32* %73, i32** %6
br label %74
74: ; preds = %66, %54
br label %75
75: ; preds = %74, %43
br label %76
76: ; preds = %75, %38
br label %98
77: ; preds = %31
%78 = load i32, i32* %11
%79 = and i32 %78, 65535
%80 = load i32*, i32** %10
%81 = getelementptr inbounds i32, i32* %80, i32 1
store i32* %81, i32** %10
store i32 %79, i32* %80
%82 = load i32, i32* %11
%83 = ashr i32 %82, 16
%84 = and i32 %83, 65535
%85 = load i32*, i32** %10
%86 = getelementptr inbounds i32, i32* %85, i32 1
store i32* %86, i32** %10
store i32 %84, i32* %85
%87 = load i32, i32* %11
%88 = ashr i32 %87, 32
%89 = and i32 %88, 65535
%90 = load i32*, i32** %10
%91 = getelementptr inbounds i32, i32* %90, i32 1
store i32* %91, i32** %10
store i32 %89, i32* %90
%92 = load i32, i32* %11
%93 = ashr i32 %92, 48
%94 = load i32*, i32** %10
%95 = getelementptr inbounds i32, i32* %94, i32 1
store i32* %95, i32** %10
store i32 %93, i32* %94
%96 = load i32*, i32** %6
%97 = getelementptr inbounds i32, i32* %96, i64 4
store i32* %97, i32** %6
br label %23
98: ; preds = %76, %23
br label %99
99: ; preds = %184, %98
%100 = load i32*, i32** %6
%101 = load i32*, i32** %9
%102 = icmp ult i32* %100, %101
br i1 %102, label %103, label %185
103: ; preds = %99
%104 = load i32*, i32** %6
%105 = getelementptr inbounds i32, i32* %104, i32 1
store i32* %105, i32** %6
%106 = load i32, i32* %104
store i32 %106, i32* %12
%107 = load i32, i32* %12
%108 = icmp sle i32 %107, 127
br i1 %108, label %109, label %113
109: ; preds = %103
%110 = load i32, i32* %12
%111 = load i32*, i32** %10
%112 = getelementptr inbounds i32, i32* %111, i32 1
store i32* %112, i32** %10
store i32 %110, i32* %111
br label %22
113: ; preds = %103
%114 = load i32, i32* %12
%115 = icmp sle i32 %114, 2047
br i1 %115, label %116, label %127
116: ; preds = %113
%117 = load i32, i32* %12
%118 = ashr i32 %117, 6
%119 = or i32 %118, 192
%120 = load i32*, i32** %10
%121 = getelementptr inbounds i32, i32* %120, i32 1
store i32* %121, i32** %10
store i32 %119, i32* %120
%122 = load i32, i32* %12
%123 = and i32 %122, 63
%124 = or i32 %123, 128
%125 = load i32*, i32** %10
%126 = getelementptr inbounds i32, i32* %125, i32 1
store i32* %126, i32** %10
store i32 %124, i32* %125
br label %183
127: ; preds = %113
%128 = load i32, i32* %12
%129 = icmp slt i32 %128, 55296
br i1 %129, label %133, label %130
130: ; preds = %127
%131 = load i32, i32* %12
%132 = icmp sgt i32 %131, 56319
br i1 %132, label %133, label %150
133: ; preds = %130, %127
%134 = load i32, i32* %12
%135 = ashr i32 %134, 12
%136 = or i32 %135, 224
%137 = load i32*, i32** %10
%138 = getelementptr inbounds i32, i32* %137, i32 1
store i32* %138, i32** %10
store i32 %136, i32* %137
%139 = load i32, i32* %12
%140 = ashr i32 %139, 6
%141 = and i32 %140, 63
%142 = or i32 %141, 128
%143 = load i32*, i32** %10
%144 = getelementptr inbounds i32, i32* %143, i32 1
store i32* %144, i32** %10
store i32 %142, i32* %143
%145 = load i32, i32* %12
%146 = and i32 %145, 63
%147 = or i32 %146, 128
%148 = load i32*, i32** %10
%149 = getelementptr inbounds i32, i32* %148, i32 1
store i32* %149, i32** %10
store i32 %147, i32* %148
br label %182
150: ; preds = %130
%151 = load i32, i32* %12
%152 = sub nsw i32 %151, 55296
%153 = shl i32 %152, 10
%154 = load i32*, i32** %6
%155 = getelementptr inbounds i32, i32* %154, i32 1
store i32* %155, i32** %6
%156 = load i32, i32* %154
%157 = sub nsw i32 %156, 56320
%158 = add nsw i32 %153, %157
%159 = add nsw i32 %158, 65536
store i32 %159, i32* %13
%160 = load i32, i32* %13
%161 = ashr i32 %160, 18
%162 = or i32 %161, 240
%163 = load i32*, i32** %10
%164 = getelementptr inbounds i32, i32* %163, i32 1
store i32* %164, i32** %10
store i32 %162, i32* %163
%165 = load i32, i32* %13
%166 = ashr i32 %165, 12
%167 = and i32 %166, 63
%168 = or i32 %167, 128
%169 = load i32*, i32** %10
%170 = getelementptr inbounds i32, i32* %169, i32 1
store i32* %170, i32** %10
store i32 %168, i32* %169
%171 = load i32, i32* %13
%172 = ashr i32 %171, 6
%173 = and i32 %172, 63
%174 = or i32 %173, 128
%175 = load i32*, i32** %10
%176 = getelementptr inbounds i32, i32* %175, i32 1
store i32* %176, i32** %10
store i32 %174, i32* %175
%177 = load i32, i32* %13
%178 = and i32 %177, 63
%179 = or i32 %178, 128
%180 = load i32*, i32** %10
%181 = getelementptr inbounds i32, i32* %180, i32 1
store i32* %181, i32** %10
store i32 %179, i32* %180
br label %182
182: ; preds = %150, %133
br label %183
183: ; preds = %182, %116
br label %184
184: ; preds = %183
br label %99
185: ; preds = %99
%186 = load i32*, i32** %10
%187 = load i32**, i32*** %5
store i32* %186, i32** %187
ret void
}

LLVM IR (-O2):
define void @_hs_text_encode_utf8(i32** nocapture %0, i32* %1, i64 %2, i64 %3) {
%5 = load i32*, i32** %0
%6 = getelementptr inbounds i32, i32* %1, i64 %2
%7 = getelementptr inbounds i32, i32* %6, i64 %3
%8 = ptrtoint i32* %7 to i64
br label %11
9: ; preds = %56
%10 = getelementptr inbounds i32, i32* %58, i64 1
store i32 %60, i32* %58
br label %11
11: ; preds = %9, %4
%12 = phi i32* [ %5, %4 ], [ %10, %9 ]
%13 = phi i32* [ %6, %4 ], [ %59, %9 ]
%14 = ptrtoint i32* %13 to i64
%15 = sub i64 %8, %14
%16 = icmp sgt i64 %15, 12
br i1 %16, label %17, label %52
17: ; preds = %11, %43
%18 = phi i32* [ %48, %43 ], [ %13, %11 ]
%19 = phi i32* [ %47, %43 ], [ %12, %11 ]
%20 = load i32, i32* %18
%21 = sext i32 %20 to i64
%22 = and i64 %21, -35747867511423104
%23 = icmp eq i64 %22, 0
br i1 %23, label %43, label %24
24: ; preds = %17
%25 = sext i32 %20 to i64
%26 = and i64 %25, 65408
%27 = icmp eq i64 %26, 0
br i1 %27, label %28, label %52
28: ; preds = %24
%29 = and i32 %20, 65535
%30 = getelementptr inbounds i32, i32* %19, i64 1
store i32 %29, i32* %19
%31 = getelementptr inbounds i32, i32* %18, i64 1
%32 = and i64 %25, 4286578688
%33 = icmp eq i64 %32, 0
br i1 %33, label %34, label %52
34: ; preds = %28
%35 = lshr i32 %20, 16
%36 = getelementptr inbounds i32, i32* %19, i64 2
store i32 %35, i32* %30
%37 = getelementptr inbounds i32, i32* %18, i64 2
%38 = and i64 %25, 280925220896768
%39 = icmp eq i64 %38, 0
br i1 %39, label %40, label %52
40: ; preds = %34
%41 = getelementptr inbounds i32, i32* %19, i64 3
%42 = getelementptr inbounds i32, i32* %18, i64 3
br label %52
43: ; preds = %17
%44 = and i32 %20, 65535
%45 = getelementptr inbounds i32, i32* %19, i64 1
store i32 %44, i32* %19
%46 = lshr i32 %20, 16
store i32 %46, i32* %45
%47 = getelementptr inbounds i32, i32* %19, i64 4
%48 = getelementptr inbounds i32, i32* %18, i64 4
%49 = ptrtoint i32* %48 to i64
%50 = sub i64 %8, %49
%51 = icmp sgt i64 %50, 12
br i1 %51, label %17, label %52
52: ; preds = %43, %11, %24, %34, %40, %28
%53 = phi i32* [ %41, %40 ], [ %36, %34 ], [ %30, %28 ], [ %19, %24 ], [ %12, %11 ], [ %47, %43 ]
%54 = phi i32* [ %42, %40 ], [ %37, %34 ], [ %31, %28 ], [ %18, %24 ], [ %13, %11 ], [ %48, %43 ]
%55 = icmp ult i32* %54, %7
br i1 %55, label %56, label %105
56: ; preds = %52, %96
%57 = phi i32* [ %100, %96 ], [ %54, %52 ]
%58 = phi i32* [ %103, %96 ], [ %53, %52 ]
%59 = getelementptr inbounds i32, i32* %57, i64 1
%60 = load i32, i32* %57
%61 = icmp slt i32 %60, 128
br i1 %61, label %9, label %62
62: ; preds = %56
%63 = icmp ult i32 %60, 2048
br i1 %63, label %64, label %68
64: ; preds = %62
%65 = lshr i32 %60, 6
%66 = or i32 %65, 192
%67 = getelementptr inbounds i32, i32* %58, i64 1
store i32 %66, i32* %58
br label %96
68: ; preds = %62
%69 = add nsw i32 %60, -56320
%70 = icmp ult i32 %69, -1024
br i1 %70, label %71, label %79
71: ; preds = %68
%72 = lshr i32 %60, 12
%73 = or i32 %72, 224
%74 = getelementptr inbounds i32, i32* %58, i64 1
store i32 %73, i32* %58
%75 = lshr i32 %60, 6
%76 = and i32 %75, 63
%77 = or i32 %76, 128
%78 = getelementptr inbounds i32, i32* %58, i64 2
store i32 %77, i32* %74
br label %96
79: ; preds = %68
%80 = shl nuw nsw i32 %60, 10
%81 = getelementptr inbounds i32, i32* %57, i64 2
%82 = load i32, i32* %59
%83 = add i32 %82, %80
%84 = add i32 %83, -56613888
%85 = ashr i32 %84, 18
%86 = or i32 %85, 240
%87 = getelementptr inbounds i32, i32* %58, i64 1
store i32 %86, i32* %58
%88 = lshr i32 %84, 12
%89 = and i32 %88, 63
%90 = or i32 %89, 128
%91 = getelementptr inbounds i32, i32* %58, i64 2
store i32 %90, i32* %87
%92 = lshr i32 %84, 6
%93 = and i32 %92, 63
%94 = or i32 %93, 128
%95 = getelementptr inbounds i32, i32* %58, i64 3
store i32 %94, i32* %91
br label %96
96: ; preds = %71, %79, %64
%97 = phi i32 [ %60, %71 ], [ %83, %79 ], [ %60, %64 ]
%98 = phi i64 [ 3, %71 ], [ 4, %79 ], [ 2, %64 ]
%99 = phi i32* [ %78, %71 ], [ %95, %79 ], [ %67, %64 ]
%100 = phi i32* [ %59, %71 ], [ %81, %79 ], [ %59, %64 ]
%101 = and i32 %97, 63
%102 = or i32 %101, 128
%103 = getelementptr inbounds i32, i32* %58, i64 %98
store i32 %102, i32* %99
%104 = icmp ult i32* %100, %7
br i1 %104, label %56, label %105
105: ; preds = %52, %96
%106 = phi i32* [ %103, %96 ], [ %53, %52 ]
store i32* %106, i32** %0
ret void
}