#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 scalar_t__ __u8;
typedef scalar_t__ __u16;

/* Variables and functions */
int /*<<< orphan*/ put_unaligned_le16(scalar_t__, int /*<<< orphan*/);
int utf8_to_utf16le(const char *s, __u16 *cp, unsigned len) {
  int count = 0;
  __u8 c;
  __u16 uchar;
  while (len != 0 && (c = (__u8)*s++) != 0) {
    if (c & 0x80) {
      if ((c & 0xe0) == 0xc0) {
        uchar = (c & 0x1f) << 6;
        c = (__u8)*s++;
        if ((c & 0xc0) != 0xc0)
          goto fail;
        c &= 0x3f;
        uchar |= c;
      } else if ((c & 0xf0) == 0xe0) {
        uchar = (c & 0x0f) << 12;
        c = (__u8)*s++;
        if ((c & 0xc0) != 0xc0)
          goto fail;
        c &= 0x3f;
        uchar |= c << 6;
        c = (__u8)*s++;
        if ((c & 0xc0) != 0xc0)
          goto fail;
        c &= 0x3f;
        uchar |= c;
        if (0xd800 <= uchar && uchar <= 0xdfff)
          goto fail;
      } else
        goto fail;
    } else
      uchar = c;
    put_unaligned_le16(uchar, cp++);
    count++;
    len--;
  }
  return count;
fail:
  return -1;
}


x86 assembly (clang, -O0):
<utf8_to_utf16le>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x31(%rbp)
je     115a <utf8_to_utf16le+0x4a>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbq (%rax),%rax
mov    %rax,-0x28(%rbp)
cmp    $0x0,%rax
setne  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    116a <utf8_to_utf16le+0x5a>
jmp    1320 <utf8_to_utf16le+0x210>
mov    -0x28(%rbp),%rax
and    $0x80,%rax
cmp    $0x0,%rax
je     12e7 <utf8_to_utf16le+0x1d7>
mov    -0x28(%rbp),%rax
and    $0xe0,%rax
cmp    $0xc0,%rax
jne    11f3 <utf8_to_utf16le+0xe3>
mov    -0x28(%rbp),%rax
and    $0x1f,%rax
shl    $0x6,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbq (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
and    $0xc0,%rax
cmp    $0xc0,%rax
je     11d6 <utf8_to_utf16le+0xc6>
jmp    132b <utf8_to_utf16le+0x21b>
mov    -0x28(%rbp),%rax
and    $0x3f,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    12e2 <utf8_to_utf16le+0x1d2>
mov    -0x28(%rbp),%rax
and    $0xf0,%rax
cmp    $0xe0,%rax
jne    12d8 <utf8_to_utf16le+0x1c8>
mov    -0x28(%rbp),%rax
and    $0xf,%rax
shl    $0xc,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbq (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
and    $0xc0,%rax
cmp    $0xc0,%rax
je     124b <utf8_to_utf16le+0x13b>
jmp    132b <utf8_to_utf16le+0x21b>
mov    -0x28(%rbp),%rax
and    $0x3f,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
shl    $0x6,%rax
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbq (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
and    $0xc0,%rax
cmp    $0xc0,%rax
je     1299 <utf8_to_utf16le+0x189>
jmp    132b <utf8_to_utf16le+0x21b>
mov    -0x28(%rbp),%rax
and    $0x3f,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    $0xd800,%eax
cmp    -0x30(%rbp),%rax
jg     12d3 <utf8_to_utf16le+0x1c3>
cmpq   $0xdfff,-0x30(%rbp)
jg     12d3 <utf8_to_utf16le+0x1c3>
jmp    132b <utf8_to_utf16le+0x21b>
jmp    12dd <utf8_to_utf16le+0x1cd>
jmp    132b <utf8_to_utf16le+0x21b>
jmp    12e2 <utf8_to_utf16le+0x1d2>
jmp    12ef <utf8_to_utf16le+0x1df>
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x18(%rbp)
mov    %eax,%esi
call   1030 <put_unaligned_le16@plt>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    112a <utf8_to_utf16le+0x1a>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1332 <utf8_to_utf16le+0x222>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_to_utf16le>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
test   %edx,%edx
je     1209 <utf8_to_utf16le+0xf9>
mov    %edx,%r14d
mov    %rsi,%rbx
xor    %ebp,%ebp
jmp    115d <utf8_to_utf16le+0x4d>
nopl   0x0(%rax)
add    $0x3,%rdi
and    $0x3f,%r8d
or     %rdx,%r8
mov    %rdi,%r15
mov    %r8,%rcx
mov    %rcx,%rdi
mov    %ebx,%esi
call   1030 <put_unaligned_le16@plt>
add    $0x1,%ebp
add    $0x8,%ebx
mov    %r15,%rdi
cmp    %ebp,%r14d
je     1211 <utf8_to_utf16le+0x101>
movsbq (%rdi),%rcx
test   %rcx,%rcx
je     120d <utf8_to_utf16le+0xfd>
lea    0x1(%rdi),%r15
test   $0x80,%cl
je     1141 <utf8_to_utf16le+0x31>
mov    %ecx,%eax
and    $0xe0,%eax
cmp    $0xc0,%eax
jne    11b0 <utf8_to_utf16le+0xa0>
movzbl (%r15),%eax
mov    %eax,%edx
not    %edx
test   $0xc0,%dl
jne    1216 <utf8_to_utf16le+0x106>
add    $0x2,%rdi
and    $0x1f,%ecx
shl    $0x6,%rcx
and    $0x3f,%eax
or     %rax,%rcx
mov    %rdi,%r15
jmp    1141 <utf8_to_utf16le+0x31>
nopl   0x0(%rax,%rax,1)
mov    %ecx,%edx
and    $0xf0,%edx
mov    $0xffffffff,%eax
cmp    $0xe0,%edx
jne    121b <utf8_to_utf16le+0x10b>
movsbl (%r15),%edx
mov    %edx,%esi
not    %esi
test   $0xc0,%sil
jne    121b <utf8_to_utf16le+0x10b>
movzbl 0x2(%rdi),%r8d
mov    %r8d,%esi
not    %esi
test   $0xc0,%sil
jne    121b <utf8_to_utf16le+0x10b>
shl    $0xc,%ecx
movzwl %cx,%ecx
and    $0x3f,%edx
shl    $0x6,%rdx
or     %rcx,%rdx
mov    %edx,%ecx
and    $0xf800,%ecx
cmp    $0xd800,%ecx
jne    1130 <utf8_to_utf16le+0x20>
jmp    121b <utf8_to_utf16le+0x10b>
xor    %eax,%eax
jmp    121b <utf8_to_utf16le+0x10b>
mov    %ebp,%eax
jmp    121b <utf8_to_utf16le+0x10b>
mov    %r14d,%eax
jmp    121b <utf8_to_utf16le+0x10b>
mov    $0xffffffff,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @utf8_to_utf16le(i8* nocapture %0, i64* %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br i1 %4, label %66, label %5
5: ; preds = %3, %56
%6 = phi i32 [ %63, %56 ], [ 0, %3 ]
%7 = phi i32 [ %64, %56 ], [ %2, %3 ]
%8 = phi i64* [ %59, %56 ], [ %1, %3 ]
%9 = phi i8* [ %57, %56 ], [ %0, %3 ]
%10 = getelementptr inbounds i8, i8* %9, i64 1
%11 = load i8, i8* %9
%12 = sext i8 %11 to i64
%13 = icmp eq i8 %11, 0
br i1 %13, label %66, label %14
14: ; preds = %5
%15 = and i64 %12, 128
%16 = icmp eq i64 %15, 0
br i1 %16, label %56, label %17
17: ; preds = %14
%18 = and i64 %12, 224
%19 = icmp eq i64 %18, 192
br i1 %19, label %20, label %31
20: ; preds = %17
%21 = load i8, i8* %10
%22 = zext i8 %21 to i64
%23 = and i64 %22, 192
%24 = icmp eq i64 %23, 192
br i1 %24, label %25, label %66
25: ; preds = %20
%26 = getelementptr inbounds i8, i8* %9, i64 2
%27 = shl nsw i64 %12, 6
%28 = and i64 %27, 1984
%29 = and i64 %22, 63
%30 = or i64 %29, %28
br label %56
31: ; preds = %17
%32 = and i64 %12, 240
%33 = icmp eq i64 %32, 224
br i1 %33, label %34, label %66
34: ; preds = %31
%35 = load i8, i8* %10
%36 = sext i8 %35 to i64
%37 = and i64 %36, 192
%38 = icmp eq i64 %37, 192
br i1 %38, label %39, label %66
39: ; preds = %34
%40 = getelementptr inbounds i8, i8* %9, i64 2
%41 = load i8, i8* %40
%42 = zext i8 %41 to i64
%43 = and i64 %42, 192
%44 = icmp eq i64 %43, 192
br i1 %44, label %45, label %66
45: ; preds = %39
%46 = getelementptr inbounds i8, i8* %9, i64 3
%47 = shl nsw i64 %12, 12
%48 = and i64 %47, 61440
%49 = shl nsw i64 %36, 6
%50 = and i64 %49, 4032
%51 = or i64 %50, %48
%52 = and i64 %42, 63
%53 = or i64 %52, %51
%54 = and i64 %51, 63488
%55 = icmp eq i64 %54, 55296
br i1 %55, label %66, label %56
56: ; preds = %14, %25, %45
%57 = phi i8* [ %26, %25 ], [ %46, %45 ], [ %10, %14 ]
%58 = phi i64 [ %30, %25 ], [ %53, %45 ], [ %12, %14 ]
%59 = getelementptr inbounds i64, i64* %8, i64 1
%60 = ptrtoint i64* %8 to i64
%61 = trunc i64 %60 to i32
%62 = tail call i32 @put_unaligned_le16(i64 %58, i32 %61)
%63 = add nuw nsw i32 %6, 1
%64 = add i32 %7, -1
%65 = icmp eq i32 %64, 0
br i1 %65, label %66, label %5
66: ; preds = %56, %5, %31, %45, %39, %34, %20, %3
%67 = phi i32 [ 0, %3 ], [ -1, %20 ], [ -1, %34 ], [ -1, %39 ], [ -1, %45 ], [ -1, %31 ], [ %6, %5 ], [ %2, %56 ]
ret i32 %67
}