#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 hex_encode(const uint8_t *in, const uint32_t in_len, uint8_t *out,
               const uint32_t out_len) {
  static const char hex[] = "0123456789ABCDEF";
  if (out_len < 2 * in_len) {
    return -1;
  }
  for (uint32_t i = 0; i < in_len; i++) {
    out[2 * i] = hex[in[i] / 16];
    out[2 * i + 1] = hex[in[i] % 16];
  }
  return 2 * in_len;
}


x86 assembly (clang, -O0):
<hex_encode>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x14(%rbp),%ecx
shl    $0x1,%ecx
cmp    %ecx,%eax
jge    112f <hex_encode+0x2f>
movl   $0xffffffff,-0x4(%rbp)
jmp    11be <hex_encode+0xbe>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11b5 <hex_encode+0xb5>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
movslq %eax,%rcx
lea    0xea1(%rip),%rax
movsbl (%rax,%rcx,1),%edx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
movslq %edx,%rcx
lea    0xe70(%rip),%rax
movsbl (%rax,%rcx,1),%edx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1136 <hex_encode+0x36>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<hex_encode>:
lea    (%rsi,%rsi,1),%r8d
mov    $0xffffffff,%eax
cmp    %ecx,%r8d
jg     1160 <hex_encode+0x60>
test   %esi,%esi
jle    115d <hex_encode+0x5d>
mov    %esi,%r9d
xor    %ecx,%ecx
lea    0xee2(%rip),%r10
xchg   %ax,%ax
mov    (%rdi,%rcx,4),%eax
lea    0xf(%rax),%esi
test   %eax,%eax
cmovns %eax,%esi
sar    $0x4,%esi
movslq %esi,%rax
movsbl (%rax,%r10,1),%eax
mov    %eax,(%rdx,%rcx,8)
mov    (%rdi,%rcx,4),%eax
lea    0xf(%rax),%esi
test   %eax,%eax
cmovns %eax,%esi
and    $0xfffffff0,%esi
sub    %esi,%eax
cltq
movsbl (%rax,%r10,1),%eax
mov    %eax,0x4(%rdx,%rcx,8)
add    $0x1,%rcx
cmp    %rcx,%r9
jne    1120 <hex_encode+0x20>
mov    %r8d,%eax
ret

LLVM IR (-O0):
@hex_encode.hex = internal constant [17 x i8] c"0123456789ABCDEF\00"
define i32 @hex_encode(i32* %0, i32 %1, i32* %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %6
store i32 %1, i32* %7
store i32* %2, i32** %8
store i32 %3, i32* %9
%11 = load i32, i32* %9
%12 = load i32, i32* %7
%13 = mul nsw i32 2, %12
%14 = icmp slt i32 %11, %13
br i1 %14, label %15, label %16
15: ; preds = %4
store i32 -1, i32* %5
br label %59
16: ; preds = %4
store i32 0, i32* %10
br label %17
17: ; preds = %53, %16
%18 = load i32, i32* %10
%19 = load i32, i32* %7
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %56
21: ; preds = %17
%22 = load i32*, i32** %6
%23 = load i32, i32* %10
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = sdiv i32 %26, 16
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [17 x i8], [17 x i8]* @hex_encode.hex, i64 0, i64 %28
%30 = load i8, i8* %29
%31 = sext i8 %30 to i32
%32 = load i32*, i32** %8
%33 = load i32, i32* %10
%34 = mul nsw i32 2, %33
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %32, i64 %35
store i32 %31, i32* %36
%37 = load i32*, i32** %6
%38 = load i32, i32* %10
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %37, i64 %39
%41 = load i32, i32* %40
%42 = srem i32 %41, 16
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds [17 x i8], [17 x i8]* @hex_encode.hex, i64 0, i64 %43
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = load i32*, i32** %8
%48 = load i32, i32* %10
%49 = mul nsw i32 2, %48
%50 = add nsw i32 %49, 1
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %47, i64 %51
store i32 %46, i32* %52
br label %53
53: ; preds = %21
%54 = load i32, i32* %10
%55 = add nsw i32 %54, 1
store i32 %55, i32* %10
br label %17
56: ; preds = %17
%57 = load i32, i32* %7
%58 = mul nsw i32 2, %57
store i32 %58, i32* %5
br label %59
59: ; preds = %56, %15
%60 = load i32, i32* %5
ret i32 %60
}

LLVM IR (-O2):
@hex_encode.hex = internal unnamed_addr constant [17 x i8] c"0123456789ABCDEF\00"
define i32 @hex_encode(i32* nocapture %0, i32 %1, i32* nocapture writeonly %2, i32 %3) {
%5 = shl nsw i32 %1, 1
%6 = icmp sgt i32 %5, %3
br i1 %6, label %32, label %7
7: ; preds = %4
%8 = icmp sgt i32 %1, 0
br i1 %8, label %9, label %32
9: ; preds = %7
%10 = zext i32 %1 to i64
br label %11
11: ; preds = %9, %11
%12 = phi i64 [ 0, %9 ], [ %30, %11 ]
%13 = getelementptr inbounds i32, i32* %0, i64 %12
%14 = load i32, i32* %13
%15 = sdiv i32 %14, 16
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [17 x i8], [17 x i8]* @hex_encode.hex, i64 0, i64 %16
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = shl nuw nsw i64 %12, 1
%21 = getelementptr inbounds i32, i32* %2, i64 %20
store i32 %19, i32* %21
%22 = load i32, i32* %13
%23 = srem i32 %22, 16
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [17 x i8], [17 x i8]* @hex_encode.hex, i64 0, i64 %24
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = or i64 %20, 1
%29 = getelementptr inbounds i32, i32* %2, i64 %28
store i32 %27, i32* %29
%30 = add nuw nsw i64 %12, 1
%31 = icmp eq i64 %30, %10
br i1 %31, label %32, label %11
32: ; preds = %11, %7, %4
%33 = phi i32 [ -1, %4 ], [ %5, %7 ], [ %5, %11 ]
ret i32 %33
}