#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 */

/* Variables and functions */
unsigned int UINT32_MAX;
void print_hex(unsigned int value, unsigned int width, char *buf, int *ptr) {
  int i = width;
  if (i == 0) {
    i = 8;
  }
  unsigned int n_width = 1;
  unsigned int j = 0x0F;
  while (value > j && j < UINT32_MAX) {
    n_width += 1;
    j *= 0x10;
    j += 0x0F;
  }
  while (i > (int)n_width) {
    buf[*ptr] = '0';
    *ptr += 1;
    i--;
  }
  i = (int)n_width;
  while (i-- > 0) {
    buf[*ptr] = "0123456789abcdef"[(value >> (i * 4)) & 0xF];
    *ptr += +1;
  }
}


x86 assembly (clang, -O0):
<print_hex>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    1129 <print_hex+0x29>
movl   $0x8,-0x1c(%rbp)
movl   $0x1,-0x20(%rbp)
movl   $0xf,-0x24(%rbp)
mov    -0x4(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x25(%rbp)
jbe    115a <print_hex+0x5a>
mov    -0x24(%rbp),%eax
mov    0x2ea6(%rip),%rcx
cmp    (%rcx),%eax
setb   %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    116a <print_hex+0x6a>
jmp    118a <print_hex+0x8a>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
shl    $0x4,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    $0xf,%eax
mov    %eax,-0x24(%rbp)
jmp    1137 <print_hex+0x37>
jmp    118f <print_hex+0x8f>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    11c3 <print_hex+0xc3>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    118f <print_hex+0x8f>
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x1c(%rbp)
cmp    $0x0,%eax
jle    1217 <print_hex+0x117>
mov    -0x4(%rbp),%eax
mov    -0x1c(%rbp),%ecx
shl    $0x2,%ecx
shr    %cl,%eax
and    $0xf,%eax
mov    %eax,%eax
mov    %eax,%ecx
lea    0xe0a(%rip),%rax
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    11c9 <print_hex+0xc9>
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_hex>:
mov    %rcx,%r8
test   %esi,%esi
mov    $0x8,%r9d
cmovne %esi,%r9d
mov    $0x1,%r11d
cmp    $0x10,%edi
jb     1152 <print_hex+0x52>
mov    0x2ed7(%rip),%rax
mov    (%rax),%eax
cmp    $0x10,%eax
jb     1152 <print_hex+0x52>
mov    $0x1,%r11d
mov    $0xf,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r11d
shl    $0x4,%ecx
or     $0xf,%ecx
cmp    %edi,%ecx
jae    1152 <print_hex+0x52>
cmp    %eax,%ecx
jb     1140 <print_hex+0x40>
mov    %r9d,%eax
sub    %r11d,%eax
jle    11b7 <print_hex+0xb7>
mov    (%r8),%ecx
lea    0x1(%r11),%r10d
test   $0x1,%al
jne    116f <print_hex+0x6f>
mov    %r9d,%eax
cmp    %r10d,%r9d
jne    1190 <print_hex+0x90>
jmp    11b7 <print_hex+0xb7>
movslq %ecx,%rax
movb   $0x30,(%rdx,%rax,1)
mov    (%r8),%ecx
add    $0x1,%ecx
mov    %ecx,(%r8)
lea    -0x1(%r9),%eax
cmp    %r10d,%r9d
je     11b7 <print_hex+0xb7>
nopl   0x0(%rax,%rax,1)
movslq %ecx,%rcx
movb   $0x30,(%rdx,%rcx,1)
movslq (%r8),%rcx
lea    0x1(%rcx),%rsi
mov    %esi,(%r8)
movb   $0x30,0x1(%rdx,%rcx,1)
mov    (%r8),%ecx
add    $0x1,%ecx
mov    %ecx,(%r8)
add    $0xfffffffe,%eax
cmp    %r11d,%eax
jg     1190 <print_hex+0x90>
test   %r11d,%r11d
jle    1269 <print_hex+0x169>
mov    (%r8),%eax
test   $0x1,%r11b
jne    11d7 <print_hex+0xd7>
mov    %r11d,%r9d
cmp    $0x1,%r11d
jne    120a <print_hex+0x10a>
jmp    1269 <print_hex+0x169>
movslq %eax,%r10
lea    -0x4(,%r11,4),%ecx
ff
mov    %edi,%eax
shr    %cl,%eax
lea    -0x1(%r11),%r9d
and    $0xf,%eax
lea    0xe0c(%rip),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,(%rdx,%r10,1)
mov    (%r8),%eax
add    $0x1,%eax
mov    %eax,(%r8)
cmp    $0x1,%r11d
je     1269 <print_hex+0x169>
lea    -0x8(,%r9,4),%r11d
ff
add    $0x1,%r9d
lea    0xde3(%rip),%r10
nopl   (%rax)
lea    0x4(%r11),%ecx
mov    %edi,%esi
shr    %cl,%esi
and    $0xf,%esi
movzbl (%rsi,%r10,1),%ecx
cltq
mov    %cl,(%rdx,%rax,1)
movslq (%r8),%rax
lea    0x1(%rax),%rcx
mov    %ecx,(%r8)
mov    %edi,%esi
mov    %r11d,%ecx
shr    %cl,%esi
and    $0xf,%esi
movzbl (%rsi,%r10,1),%ecx
mov    %cl,0x1(%rdx,%rax,1)
mov    (%r8),%eax
add    $0x1,%eax
mov    %eax,(%r8)
add    $0xfffffff8,%r11d
add    $0xfffffffe,%r9d
cmp    $0x1,%r9d
ja     1220 <print_hex+0x120>
ret

LLVM IR (-O0):
@UINT32_MAX = global i32 0
@.str = [17 x i8] c"0123456789abcdef\00"
define void @print_hex(i32 %0, i32 %1, i8* %2, i32* %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i8* %2, i8** %7
store i32* %3, i32** %8
%12 = load i32, i32* %6
store i32 %12, i32* %9
%13 = load i32, i32* %9
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %16
15: ; preds = %4
store i32 8, i32* %9
br label %16
16: ; preds = %15, %4
store i32 1, i32* %10
store i32 15, i32* %11
br label %17
17: ; preds = %27, %16
%18 = load i32, i32* %5
%19 = load i32, i32* %11
%20 = icmp ugt i32 %18, %19
br i1 %20, label %21, label %25
21: ; preds = %17
%22 = load i32, i32* %11
%23 = load i32, i32* @UINT32_MAX
%24 = icmp ult i32 %22, %23
br label %25
25: ; preds = %21, %17
%26 = phi i1 [ false, %17 ], [ %24, %21 ]
br i1 %26, label %27, label %34
27: ; preds = %25
%28 = load i32, i32* %10
%29 = add i32 %28, 1
store i32 %29, i32* %10
%30 = load i32, i32* %11
%31 = mul i32 %30, 16
store i32 %31, i32* %11
%32 = load i32, i32* %11
%33 = add i32 %32, 15
store i32 %33, i32* %11
br label %17
34: ; preds = %25
br label %35
35: ; preds = %39, %34
%36 = load i32, i32* %9
%37 = load i32, i32* %10
%38 = icmp sgt i32 %36, %37
br i1 %38, label %39, label %50
39: ; preds = %35
%40 = load i8*, i8** %7
%41 = load i32*, i32** %8
%42 = load i32, i32* %41
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %40, i64 %43
store i8 48, i8* %44
%45 = load i32*, i32** %8
%46 = load i32, i32* %45
%47 = add nsw i32 %46, 1
store i32 %47, i32* %45
%48 = load i32, i32* %9
%49 = add nsw i32 %48, -1
store i32 %49, i32* %9
br label %35
50: ; preds = %35
%51 = load i32, i32* %10
store i32 %51, i32* %9
br label %52
52: ; preds = %56, %50
%53 = load i32, i32* %9
%54 = add nsw i32 %53, -1
store i32 %54, i32* %9
%55 = icmp sgt i32 %53, 0
br i1 %55, label %56, label %73
56: ; preds = %52
%57 = load i32, i32* %5
%58 = load i32, i32* %9
%59 = mul nsw i32 %58, 4
%60 = lshr i32 %57, %59
%61 = and i32 %60, 15
%62 = zext i32 %61 to i64
%63 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %62
%64 = load i8, i8* %63
%65 = load i8*, i8** %7
%66 = load i32*, i32** %8
%67 = load i32, i32* %66
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i8, i8* %65, i64 %68
store i8 %64, i8* %69
%70 = load i32*, i32** %8
%71 = load i32, i32* %70
%72 = add nsw i32 %71, 1
store i32 %72, i32* %70
br label %52
73: ; preds = %52
ret void
}

LLVM IR (-O2):
@UINT32_MAX = global i32 0
@.str = [17 x i8] c"0123456789abcdef\00"
define void @print_hex(i32 %0, i32 %1, i8* nocapture writeonly %2, i32* nocapture %3) {
%5 = icmp eq i32 %1, 0
%6 = select i1 %5, i32 8, i32 %1
%7 = load i32, i32* @UINT32_MAX
%8 = icmp ugt i32 %0, 15
%9 = icmp ugt i32 %7, 15
%10 = select i1 %8, i1 %9, i1 false
br i1 %10, label %30, label %11
11: ; preds = %30, %4
%12 = phi i32 [ 1, %4 ], [ %33, %30 ]
%13 = icmp sgt i32 %6, %12
br i1 %13, label %14, label %39
14: ; preds = %11
%15 = load i32, i32* %3
%16 = sub i32 %6, %12
%17 = add i32 %12, 1
%18 = and i32 %16, 1
%19 = icmp eq i32 %18, 0
br i1 %19, label %26, label %20
20: ; preds = %14
%21 = sext i32 %15 to i64
%22 = getelementptr inbounds i8, i8* %2, i64 %21
store i8 48, i8* %22
%23 = load i32, i32* %3
%24 = add nsw i32 %23, 1
store i32 %24, i32* %3
%25 = add nsw i32 %6, -1
br label %26
26: ; preds = %20, %14
%27 = phi i32 [ %15, %14 ], [ %24, %20 ]
%28 = phi i32 [ %6, %14 ], [ %25, %20 ]
%29 = icmp eq i32 %6, %17
br i1 %29, label %39, label %61
30: ; preds = %4, %30
%31 = phi i32 [ %35, %30 ], [ 15, %4 ]
%32 = phi i32 [ %33, %30 ], [ 1, %4 ]
%33 = add i32 %32, 1
%34 = shl i32 %31, 4
%35 = or i32 %34, 15
%36 = icmp ult i32 %35, %0
%37 = icmp ult i32 %35, %7
%38 = select i1 %36, i1 %37, i1 false
br i1 %38, label %30, label %11
39: ; preds = %26, %61, %11
%40 = icmp sgt i32 %12, 0
br i1 %40, label %41, label %100
41: ; preds = %39
%42 = load i32, i32* %3
%43 = and i32 %12, 1
%44 = icmp eq i32 %43, 0
br i1 %44, label %57, label %45
45: ; preds = %41
%46 = add nsw i32 %12, -1
%47 = shl nsw i32 %46, 2
%48 = lshr i32 %0, %47
%49 = and i32 %48, 15
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %50
%52 = load i8, i8* %51
%53 = sext i32 %42 to i64
%54 = getelementptr inbounds i8, i8* %2, i64 %53
store i8 %52, i8* %54
%55 = load i32, i32* %3
%56 = add nsw i32 %55, 1
store i32 %56, i32* %3
br label %57
57: ; preds = %45, %41
%58 = phi i32 [ %42, %41 ], [ %56, %45 ]
%59 = phi i32 [ %12, %41 ], [ %46, %45 ]
%60 = icmp eq i32 %12, 1
br i1 %60, label %100, label %74
61: ; preds = %26, %61
%62 = phi i32 [ %71, %61 ], [ %27, %26 ]
%63 = phi i32 [ %72, %61 ], [ %28, %26 ]
%64 = sext i32 %62 to i64
%65 = getelementptr inbounds i8, i8* %2, i64 %64
store i8 48, i8* %65
%66 = load i32, i32* %3
%67 = add nsw i32 %66, 1
store i32 %67, i32* %3
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i8, i8* %2, i64 %68
store i8 48, i8* %69
%70 = load i32, i32* %3
%71 = add nsw i32 %70, 1
store i32 %71, i32* %3
%72 = add nsw i32 %63, -2
%73 = icmp sgt i32 %72, %12
br i1 %73, label %61, label %39
74: ; preds = %57, %74
%75 = phi i32 [ %98, %74 ], [ %58, %57 ]
%76 = phi i32 [ %88, %74 ], [ %59, %57 ]
%77 = add nsw i32 %76, -1
%78 = shl nsw i32 %77, 2
%79 = lshr i32 %0, %78
%80 = and i32 %79, 15
%81 = zext i32 %80 to i64
%82 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %81
%83 = load i8, i8* %82
%84 = sext i32 %75 to i64
%85 = getelementptr inbounds i8, i8* %2, i64 %84
store i8 %83, i8* %85
%86 = load i32, i32* %3
%87 = add nsw i32 %86, 1
store i32 %87, i32* %3
%88 = add nsw i32 %76, -2
%89 = shl nsw i32 %88, 2
%90 = lshr i32 %0, %89
%91 = and i32 %90, 15
%92 = zext i32 %91 to i64
%93 = getelementptr inbounds [17 x i8], [17 x i8]* @.str, i64 0, i64 %92
%94 = load i8, i8* %93
%95 = sext i32 %87 to i64
%96 = getelementptr inbounds i8, i8* %2, i64 %95
store i8 %94, i8* %96
%97 = load i32, i32* %3
%98 = add nsw i32 %97, 1
store i32 %98, i32* %3
%99 = icmp ugt i32 %77, 1
br i1 %99, label %74, label %100
100: ; preds = %57, %74, %39
ret void
}