#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 char uint8_t;
typedef int uint16_t;

/* Variables and functions */
char *malloc(unsigned int);
int utf16_strlen(unsigned char const *);
char *to_ascii(const unsigned char *utf16, int le) {
  char *ascii;
  unsigned int i, len, c;
  len = utf16_strlen(utf16) / 2 + 1;
  ascii = malloc(len + 1);
  for (i = 0, c = 0; i < len; i++) {
    uint16_t uc;
    int o = i << 1;
    if (le)
      uc = *(utf16 + o) | *(utf16 + o + 1) << 8;
    else
      uc = *(utf16 + o) << 8 | *(utf16 + o + 1);
    if (uc == 0xfeff || (uc >= 0xd800 && uc <= 0xdfff))
      continue;
    if (uc < 0x80)
      ascii[c] = (uint8_t)uc;
    else
      ascii[c] = '?';
    c++;
  }
  ascii[c] = 0;
  return ascii;
}


x86 assembly (clang, -O0):
<to_ascii>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <utf16_strlen@plt>
mov    $0x2,%ecx
cltd
idiv   %ecx
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%edi
add    $0x1,%edi
call   1030 <malloc@plt>
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jae    1238 <to_ascii+0x118>
mov    -0x1c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     11a8 <to_ascii+0x88>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movzbl 0x1(%rcx,%rdx,1),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    %eax,-0x28(%rbp)
jmp    11c9 <to_ascii+0xa9>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
shl    $0x8,%eax
mov    -0x8(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movzbl 0x1(%rcx,%rdx,1),%ecx
or     %ecx,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0xfeff,-0x28(%rbp)
je     11f0 <to_ascii+0xd0>
cmpl   $0xd800,-0x28(%rbp)
jl     11f5 <to_ascii+0xd5>
cmpl   $0xdfff,-0x28(%rbp)
jg     11f5 <to_ascii+0xd5>
jmp    122a <to_ascii+0x10a>
cmpl   $0x80,-0x28(%rbp)
jge    1216 <to_ascii+0xf6>
mov    -0x28(%rbp),%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
jmp    1221 <to_ascii+0x101>
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
movb   $0x3f,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1163 <to_ascii+0x43>
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<to_ascii>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %esi,%r14d
mov    %rdi,%rbx
call   1040 <utf16_strlen@plt>
mov    %eax,%r15d
mov    %eax,%ebp
shr    $0x1f,%ebp
add    %eax,%ebp
sar    %ebp
lea    0x2(%rbp),%edi
call   1030 <malloc@plt>
add    $0x3,%r15d
xor    %ecx,%ecx
cmp    $0x2,%r15d
jae    1163 <to_ascii+0x43>
mov    %ecx,%ecx
movb   $0x0,(%rax,%rcx,1)
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
add    $0x1,%ebp
xor    %edx,%edx
mov    $0x3f,%r8d
xor    %ecx,%ecx
jmp    1188 <to_ascii+0x68>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x2,%edx
add    $0xffffffff,%ebp
je     1152 <to_ascii+0x32>
movslq %edx,%rdi
movzbl (%rbx,%rdi,1),%esi
test   %r14d,%r14d
je     11a0 <to_ascii+0x80>
movzbl 0x1(%rbx,%rdi,1),%edi
shl    $0x8,%edi
jmp    11a8 <to_ascii+0x88>
xchg   %ax,%ax
shl    $0x8,%esi
movzbl 0x1(%rbx,%rdi,1),%edi
or     %esi,%edi
cmp    $0xfeff,%edi
je     1180 <to_ascii+0x60>
mov    %edi,%esi
and    $0xf800,%esi
cmp    $0xd800,%esi
je     1180 <to_ascii+0x60>
cmp    $0x80,%edi
cmovge %r8d,%edi
mov    %ecx,%esi
mov    %dil,(%rax,%rsi,1)
add    $0x1,%ecx
jmp    1180 <to_ascii+0x60>

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

LLVM IR (-O2):
define noalias i8* @to_ascii(i8* %0, i32 %1) {
%3 = tail call i32 @utf16_strlen(i8* %0)
%4 = sdiv i32 %3, 2
%5 = add nsw i32 %4, 2
%6 = tail call i8* @malloc(i32 %5)
%7 = add i32 %3, 3
%8 = icmp ult i32 %7, 2
br i1 %8, label %48, label %9
9: ; preds = %2
%10 = icmp eq i32 %1, 0
br label %11
11: ; preds = %9, %44
%12 = phi i32 [ 0, %9 ], [ %46, %44 ]
%13 = phi i32 [ 0, %9 ], [ %45, %44 ]
%14 = shl i32 %12, 1
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %0, i64 %15
%17 = load i8, i8* %16
%18 = zext i8 %17 to i32
br i1 %10, label %25, label %19
19: ; preds = %11
%20 = getelementptr inbounds i8, i8* %16, i64 1
%21 = load i8, i8* %20
%22 = zext i8 %21 to i32
%23 = shl nuw nsw i32 %22, 8
%24 = or i32 %23, %18
br label %31
25: ; preds = %11
%26 = shl nuw nsw i32 %18, 8
%27 = getelementptr inbounds i8, i8* %16, i64 1
%28 = load i8, i8* %27
%29 = zext i8 %28 to i32
%30 = or i32 %26, %29
br label %31
31: ; preds = %25, %19
%32 = phi i32 [ %24, %19 ], [ %30, %25 ]
%33 = icmp eq i32 %32, 65279
%34 = and i32 %32, -2048
%35 = icmp eq i32 %34, 55296
%36 = or i1 %33, %35
br i1 %36, label %44, label %37
37: ; preds = %31
%38 = icmp slt i32 %32, 128
%39 = trunc i32 %32 to i8
%40 = select i1 %38, i8 %39, i8 63
%41 = zext i32 %13 to i64
%42 = getelementptr inbounds i8, i8* %6, i64 %41
store i8 %40, i8* %42
%43 = add i32 %13, 1
br label %44
44: ; preds = %31, %37
%45 = phi i32 [ %43, %37 ], [ %13, %31 ]
%46 = add nuw i32 %12, 1
%47 = icmp eq i32 %12, %4
br i1 %47, label %48, label %11
48: ; preds = %44, %2
%49 = phi i32 [ 0, %2 ], [ %45, %44 ]
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %6, i64 %50
store i8 0, i8* %51
ret i8* %6
}