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

/* Variables and functions */
int UINT16_MAX;
int UINT8_MAX;
char *mp_store_u16(char *, int);
char *mp_store_u32(char *, int);
char *mp_store_u8(char *, int);
char *mp_encode_extl(char *data, uint8_t type, uint32_t len) {
  if (len <= UINT8_MAX) {
    data = mp_store_u8(data, 0xc7);
    data = mp_store_u8(data, len);
    return mp_store_u8(data, type);
  } else if (len <= UINT16_MAX) {
    data = mp_store_u8(data, 0xc8);
    data = mp_store_u16(data, len);
    return mp_store_u8(data, type);
  } else {
    data = mp_store_u8(data, 0xc9);
    data = mp_store_u32(data, len);
    return mp_store_u8(data, type);
  }
}


x86 assembly (clang, -O0):
<mp_encode_extl>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    0x2e94(%rip),%rcx
cmp    (%rcx),%eax
jg     118b <mp_encode_extl+0x5b>
mov    -0x10(%rbp),%rdi
mov    $0xc7,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x8(%rbp)
jmp    1206 <mp_encode_extl+0xd6>
mov    -0x18(%rbp),%eax
mov    0x2e43(%rip),%rcx
cmp    (%rcx),%eax
jg     11d4 <mp_encode_extl+0xa4>
mov    -0x10(%rbp),%rdi
mov    $0xc8,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%esi
call   1030 <mp_store_u16@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x8(%rbp)
jmp    1206 <mp_encode_extl+0xd6>
mov    -0x10(%rbp),%rdi
mov    $0xc9,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%esi
call   1040 <mp_store_u32@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mp_encode_extl>:
push   %rbp
push   %rbx
push   %rax
mov    %edx,%ebp
mov    %esi,%ebx
mov    0x2ea2(%rip),%rax
cmp    %edx,(%rax)
jge    1163 <mp_encode_extl+0x33>
mov    0x2e8f(%rip),%rax
cmp    %ebp,(%rax)
jge    1179 <mp_encode_extl+0x49>
mov    $0xc9,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,%rdi
mov    %ebp,%esi
call   1040 <mp_store_u32@plt>
jmp    118d <mp_encode_extl+0x5d>
mov    $0xc7,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,%rdi
mov    %ebp,%esi
call   1050 <mp_store_u8@plt>
jmp    118d <mp_encode_extl+0x5d>
mov    $0xc8,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,%rdi
mov    %ebp,%esi
call   1030 <mp_store_u16@plt>
mov    %rax,%rdi
mov    %ebx,%esi
add    $0x8,%rsp
pop    %rbx
pop    %rbp
jmp    1050 <mp_store_u8@plt>

LLVM IR (-O0):
@UINT8_MAX = global i32 0
@UINT16_MAX = global i32 0
define i8* @mp_encode_extl(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%8 = load i32, i32* %7
%9 = load i32, i32* @UINT8_MAX
%10 = icmp sle i32 %8, %9
br i1 %10, label %11, label %20
11: ; preds = %3
%12 = load i8*, i8** %5
%13 = call i8* @mp_store_u8(i8* %12, i32 199)
store i8* %13, i8** %5
%14 = load i8*, i8** %5
%15 = load i32, i32* %7
%16 = call i8* @mp_store_u8(i8* %14, i32 %15)
store i8* %16, i8** %5
%17 = load i8*, i8** %5
%18 = load i32, i32* %6
%19 = call i8* @mp_store_u8(i8* %17, i32 %18)
store i8* %19, i8** %4
br label %42
20: ; preds = %3
%21 = load i32, i32* %7
%22 = load i32, i32* @UINT16_MAX
%23 = icmp sle i32 %21, %22
br i1 %23, label %24, label %33
24: ; preds = %20
%25 = load i8*, i8** %5
%26 = call i8* @mp_store_u8(i8* %25, i32 200)
store i8* %26, i8** %5
%27 = load i8*, i8** %5
%28 = load i32, i32* %7
%29 = call i8* @mp_store_u16(i8* %27, i32 %28)
store i8* %29, i8** %5
%30 = load i8*, i8** %5
%31 = load i32, i32* %6
%32 = call i8* @mp_store_u8(i8* %30, i32 %31)
store i8* %32, i8** %4
br label %42
33: ; preds = %20
%34 = load i8*, i8** %5
%35 = call i8* @mp_store_u8(i8* %34, i32 201)
store i8* %35, i8** %5
%36 = load i8*, i8** %5
%37 = load i32, i32* %7
%38 = call i8* @mp_store_u32(i8* %36, i32 %37)
store i8* %38, i8** %5
%39 = load i8*, i8** %5
%40 = load i32, i32* %6
%41 = call i8* @mp_store_u8(i8* %39, i32 %40)
store i8* %41, i8** %4
br label %42
42: ; preds = %33, %24, %11
%43 = load i8*, i8** %4
ret i8* %43
}

LLVM IR (-O2):
@UINT8_MAX = global i32 0
@UINT16_MAX = global i32 0
define i8* @mp_encode_extl(i8* %0, i32 %1, i32 %2) {
%4 = load i32, i32* @UINT8_MAX
%5 = icmp slt i32 %4, %2
br i1 %5, label %9, label %6
6: ; preds = %3
%7 = tail call i8* @mp_store_u8(i8* %0, i32 199)
%8 = tail call i8* @mp_store_u8(i8* %7, i32 %2)
br label %18
9: ; preds = %3
%10 = load i32, i32* @UINT16_MAX
%11 = icmp slt i32 %10, %2
br i1 %11, label %15, label %12
12: ; preds = %9
%13 = tail call i8* @mp_store_u8(i8* %0, i32 200)
%14 = tail call i8* @mp_store_u16(i8* %13, i32 %2)
br label %18
15: ; preds = %9
%16 = tail call i8* @mp_store_u8(i8* %0, i32 201)
%17 = tail call i8* @mp_store_u32(i8* %16, i32 %2)
br label %18
18: ; preds = %15, %12, %6
%19 = phi i8* [ %17, %15 ], [ %14, %12 ], [ %8, %6 ]
%20 = tail call i8* @mp_store_u8(i8* %19, i32 %1)
ret i8* %20
}