void print_hex(char *dest, unsigned int value, const char *hex) {
  if (value >= 0x1000)
    *dest++ = hex[(value >> 12) & 0x0F];
  if (value >= 0x100)
    *dest++ = hex[(value >> 8) & 0x0F];
  if (value >= 0x10)
    *dest++ = hex[(value >> 4) & 0x0F];
  *dest++ = hex[value & 0x0F];
  *dest = 0;
}


x86 assembly (clang, -O0):
<print_hex>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
cmpl   $0x1000,-0xc(%rbp)
jb     113f <print_hex+0x3f>
mov    -0x18(%rbp),%rax
mov    -0xc(%rbp),%ecx
shr    $0xc,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
cmpl   $0x100,-0xc(%rbp)
jb     116f <print_hex+0x6f>
mov    -0x18(%rbp),%rax
mov    -0xc(%rbp),%ecx
shr    $0x8,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
cmpl   $0x10,-0xc(%rbp)
jb     119c <print_hex+0x9c>
mov    -0x18(%rbp),%rax
mov    -0xc(%rbp),%ecx
shr    $0x4,%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
mov    -0xc(%rbp),%ecx
and    $0xf,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_hex>:
cmp    $0x1000,%esi
jb     111b <print_hex+0x1b>
mov    %esi,%eax
shr    $0xc,%eax
and    $0xf,%eax
mov    (%rdx,%rax,1),%al
mov    %al,(%rdi)
add    $0x1,%rdi
jmp    1123 <print_hex+0x23>
cmp    $0x100,%esi
jb     1152 <print_hex+0x52>
mov    %esi,%eax
shr    $0x8,%eax
and    $0xf,%eax
mov    (%rdx,%rax,1),%al
mov    %al,(%rdi)
add    $0x1,%rdi
mov    %esi,%eax
shr    $0x4,%eax
and    $0xf,%eax
mov    (%rdx,%rax,1),%al
mov    %al,(%rdi)
add    $0x1,%rdi
and    $0xf,%esi
mov    (%rdx,%rsi,1),%al
mov    %al,(%rdi)
movb   $0x0,0x1(%rdi)
ret
cmp    $0x10,%esi
jae    1134 <print_hex+0x34>
jmp    1145 <print_hex+0x45>

LLVM IR (-O0):
define void @print_hex(i8* %0, i32 %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8* %2, i8** %6
%7 = load i32, i32* %5
%8 = icmp uge i32 %7, 4096
br i1 %8, label %9, label %19
9: ; preds = %3
%10 = load i8*, i8** %6
%11 = load i32, i32* %5
%12 = lshr i32 %11, 12
%13 = and i32 %12, 15
%14 = zext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %10, i64 %14
%16 = load i8, i8* %15
%17 = load i8*, i8** %4
%18 = getelementptr inbounds i8, i8* %17, i32 1
store i8* %18, i8** %4
store i8 %16, i8* %17
br label %19
19: ; preds = %9, %3
%20 = load i32, i32* %5
%21 = icmp uge i32 %20, 256
br i1 %21, label %22, label %32
22: ; preds = %19
%23 = load i8*, i8** %6
%24 = load i32, i32* %5
%25 = lshr i32 %24, 8
%26 = and i32 %25, 15
%27 = zext i32 %26 to i64
%28 = getelementptr inbounds i8, i8* %23, i64 %27
%29 = load i8, i8* %28
%30 = load i8*, i8** %4
%31 = getelementptr inbounds i8, i8* %30, i32 1
store i8* %31, i8** %4
store i8 %29, i8* %30
br label %32
32: ; preds = %22, %19
%33 = load i32, i32* %5
%34 = icmp uge i32 %33, 16
br i1 %34, label %35, label %45
35: ; preds = %32
%36 = load i8*, i8** %6
%37 = load i32, i32* %5
%38 = lshr i32 %37, 4
%39 = and i32 %38, 15
%40 = zext i32 %39 to i64
%41 = getelementptr inbounds i8, i8* %36, i64 %40
%42 = load i8, i8* %41
%43 = load i8*, i8** %4
%44 = getelementptr inbounds i8, i8* %43, i32 1
store i8* %44, i8** %4
store i8 %42, i8* %43
br label %45
45: ; preds = %35, %32
%46 = load i8*, i8** %6
%47 = load i32, i32* %5
%48 = and i32 %47, 15
%49 = zext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %46, i64 %49
%51 = load i8, i8* %50
%52 = load i8*, i8** %4
%53 = getelementptr inbounds i8, i8* %52, i32 1
store i8* %53, i8** %4
store i8 %51, i8* %52
%54 = load i8*, i8** %4
store i8 0, i8* %54
ret void
}

LLVM IR (-O2):
define void @print_hex(i8* nocapture writeonly %0, i32 %1, i8* nocapture %2) {
%4 = icmp ugt i32 %1, 4095
br i1 %4, label %5, label %12
5: ; preds = %3
%6 = lshr i32 %1, 12
%7 = and i32 %6, 15
%8 = zext i32 %7 to i64
%9 = getelementptr inbounds i8, i8* %2, i64 %8
%10 = load i8, i8* %9
%11 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %10, i8* %0
br label %14
12: ; preds = %3
%13 = icmp ugt i32 %1, 255
br i1 %13, label %14, label %22
14: ; preds = %12, %5
%15 = phi i8* [ %11, %5 ], [ %0, %12 ]
%16 = lshr i32 %1, 8
%17 = and i32 %16, 15
%18 = zext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %2, i64 %18
%20 = load i8, i8* %19
%21 = getelementptr inbounds i8, i8* %15, i64 1
store i8 %20, i8* %15
br label %24
22: ; preds = %12
%23 = icmp ugt i32 %1, 15
br i1 %23, label %24, label %32
24: ; preds = %14, %22
%25 = phi i8* [ %21, %14 ], [ %0, %22 ]
%26 = lshr i32 %1, 4
%27 = and i32 %26, 15
%28 = zext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %2, i64 %28
%30 = load i8, i8* %29
%31 = getelementptr inbounds i8, i8* %25, i64 1
store i8 %30, i8* %25
br label %32
32: ; preds = %24, %22
%33 = phi i8* [ %31, %24 ], [ %0, %22 ]
%34 = and i32 %1, 15
%35 = zext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %2, i64 %35
%37 = load i8, i8* %36
%38 = getelementptr inbounds i8, i8* %33, i64 1
store i8 %37, i8* %33
store i8 0, i8* %38
ret void
}