#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 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_binl(char *data, uint32_t len) {
  if (len <= UINT8_MAX) {
    data = mp_store_u8(data, 0xc4);
    return mp_store_u8(data, len);
  } else if (len <= UINT16_MAX) {
    data = mp_store_u8(data, 0xc5);
    return mp_store_u16(data, len);
  } else {
    data = mp_store_u8(data, 0xc6);
    return mp_store_u32(data, len);
  }
}


x86 assembly (clang, -O0):
<mp_encode_binl>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    0x2e97(%rip),%rcx
cmp    (%rcx),%eax
jg     1178 <mp_encode_binl+0x48>
mov    -0x10(%rbp),%rdi
mov    $0xc4,%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    11d3 <mp_encode_binl+0xa3>
mov    -0x14(%rbp),%eax
mov    0x2e56(%rip),%rcx
cmp    (%rcx),%eax
jg     11b1 <mp_encode_binl+0x81>
mov    -0x10(%rbp),%rdi
mov    $0xc5,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1030 <mp_store_u16@plt>
mov    %rax,-0x8(%rbp)
jmp    11d3 <mp_encode_binl+0xa3>
mov    -0x10(%rbp),%rdi
mov    $0xc6,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1040 <mp_store_u32@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mp_encode_binl>:
push   %rbx
mov    %esi,%ebx
mov    0x2ea6(%rip),%rax
cmp    %esi,(%rax)
jge    115e <mp_encode_binl+0x2e>
mov    0x2e93(%rip),%rax
cmp    %ebx,(%rax)
jge    1173 <mp_encode_binl+0x43>
mov    $0xc6,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,%rdi
mov    %ebx,%esi
pop    %rbx
jmp    1040 <mp_store_u32@plt>
mov    $0xc4,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,%rdi
mov    %ebx,%esi
pop    %rbx
jmp    1050 <mp_store_u8@plt>
mov    $0xc5,%esi
call   1050 <mp_store_u8@plt>
mov    %rax,%rdi
mov    %ebx,%esi
pop    %rbx
jmp    1030 <mp_store_u16@plt>

LLVM IR (-O0):
@UINT8_MAX = global i32 0
@UINT16_MAX = global i32 0
define i8* @mp_encode_binl(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
%6 = load i32, i32* %5
%7 = load i32, i32* @UINT8_MAX
%8 = icmp sle i32 %6, %7
br i1 %8, label %9, label %15
9: ; preds = %2
%10 = load i8*, i8** %4
%11 = call i8* @mp_store_u8(i8* %10, i32 196)
store i8* %11, i8** %4
%12 = load i8*, i8** %4
%13 = load i32, i32* %5
%14 = call i8* @mp_store_u8(i8* %12, i32 %13)
store i8* %14, i8** %3
br label %31
15: ; preds = %2
%16 = load i32, i32* %5
%17 = load i32, i32* @UINT16_MAX
%18 = icmp sle i32 %16, %17
br i1 %18, label %19, label %25
19: ; preds = %15
%20 = load i8*, i8** %4
%21 = call i8* @mp_store_u8(i8* %20, i32 197)
store i8* %21, i8** %4
%22 = load i8*, i8** %4
%23 = load i32, i32* %5
%24 = call i8* @mp_store_u16(i8* %22, i32 %23)
store i8* %24, i8** %3
br label %31
25: ; preds = %15
%26 = load i8*, i8** %4
%27 = call i8* @mp_store_u8(i8* %26, i32 198)
store i8* %27, i8** %4
%28 = load i8*, i8** %4
%29 = load i32, i32* %5
%30 = call i8* @mp_store_u32(i8* %28, i32 %29)
store i8* %30, i8** %3
br label %31
31: ; preds = %25, %19, %9
%32 = load i8*, i8** %3
ret i8* %32
}

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