#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 */
scalar_t__ isprint(unsigned char const);
int /*<<< orphan*/ memset(void *, int /*<<< orphan*/, size_t);
scalar_t__ snprintf(char *, size_t, char *, ...);
size_t format_hex(char *buffer, size_t length, const unsigned char *buff,
                  size_t bytes) {
  size_t idx = 0;
  size_t o = 0;
  size_t addr = 0;
  size_t bytes_per_line = 16;
  if (!bytes)
    return 0;
  memset((void *)buffer, 0, length);
  while (bytes) {
    o += (size_t)snprintf(buffer + o, length > o ? length - o : 0,
                          "   0x%04x: ", (int)addr);
    for (idx = 0; idx < bytes_per_line; idx++)
      if (idx < bytes)
        o += (size_t)snprintf(buffer + o, length > o ? length - o : 0, "%02x ",
                              buff[idx]);
      else
        o += (size_t)snprintf(buffer + o, length > o ? length - o : 0, "   ");
    o += (size_t)snprintf(buffer + o, length > o ? length - o : 0, " ");
    for (idx = 0; idx < bytes_per_line; idx++)
      if (idx < bytes)
        o += (size_t)snprintf(buffer + o, length > o ? length - o : 0, "%c",
                              isprint(buff[idx]) ? buff[idx] : '.');
    buff += bytes_per_line;
    addr += bytes_per_line;
    bytes -= (bytes < bytes_per_line) ? bytes : bytes_per_line;
    if (length > o)
      buffer[o] = 0;
    o++;
  }
  if (length > o)
    buffer[o] = 0;
  o++;
  return o;
}


x86 assembly (clang, -O0):
<format_hex>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
movq   $0x0,-0x40(%rbp)
movq   $0x10,-0x48(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    1183 <format_hex+0x53>
movq   $0x0,-0x8(%rbp)
jmp    14e6 <format_hex+0x3b6>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rdx
xor    %esi,%esi
call   1040 <memset@plt>
cmpq   $0x0,-0x28(%rbp)
je     14b8 <format_hex+0x388>
mov    -0x10(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    11c8 <format_hex+0x98>
mov    -0x18(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    11d3 <format_hex+0xa3>
xor    %eax,%eax
mov    %rax,-0x58(%rbp)
jmp    11d3 <format_hex+0xa3>
mov    -0x50(%rbp),%rdi
mov    -0x58(%rbp),%rsi
mov    -0x40(%rbp),%rax
mov    %eax,%ecx
lea    0xe18(%rip),%rdx
mov    $0x0,%al
call   1030 <snprintf@plt>
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    12ea <format_hex+0x1ba>
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1280 <format_hex+0x150>
mov    -0x10(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    1246 <format_hex+0x116>
mov    -0x18(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x68(%rbp)
jmp    1251 <format_hex+0x121>
xor    %eax,%eax
mov    %rax,-0x68(%rbp)
jmp    1251 <format_hex+0x121>
mov    -0x60(%rbp),%rdi
mov    -0x68(%rbp),%rsi
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
lea    0xda0(%rip),%rdx
mov    $0x0,%al
call   1030 <snprintf@plt>
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    12d4 <format_hex+0x1a4>
mov    -0x10(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    12ab <format_hex+0x17b>
mov    -0x18(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x78(%rbp)
jmp    12b6 <format_hex+0x186>
xor    %eax,%eax
mov    %rax,-0x78(%rbp)
jmp    12b6 <format_hex+0x186>
mov    -0x70(%rbp),%rdi
mov    -0x78(%rbp),%rsi
lea    0xd4d(%rip),%rdx
mov    $0x0,%al
call   1030 <snprintf@plt>
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    12d9 <format_hex+0x1a9>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    11ff <format_hex+0xcf>
mov    -0x10(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    1318 <format_hex+0x1e8>
mov    -0x18(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x88(%rbp)
jmp    1326 <format_hex+0x1f6>
xor    %eax,%eax
mov    %rax,-0x88(%rbp)
jmp    1326 <format_hex+0x1f6>
mov    -0x80(%rbp),%rdi
mov    -0x88(%rbp),%rsi
lea    0xcdc(%rip),%rdx
mov    $0x0,%al
call   1030 <snprintf@plt>
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    143a <format_hex+0x30a>
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1424 <format_hex+0x2f4>
mov    -0x10(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    139c <format_hex+0x26c>
mov    -0x18(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x98(%rbp)
jmp    13aa <format_hex+0x27a>
xor    %eax,%eax
mov    %rax,-0x98(%rbp)
jmp    13aa <format_hex+0x27a>
mov    -0x98(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%edi
call   1050 <isprint@plt>
cmp    $0x0,%rax
je     13ea <format_hex+0x2ba>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0xa4(%rbp)
jmp    13fa <format_hex+0x2ca>
mov    $0x2e,%eax
mov    %eax,-0xa4(%rbp)
jmp    13fa <format_hex+0x2ca>
mov    -0xa0(%rbp),%rsi
mov    -0x90(%rbp),%rdi
mov    -0xa4(%rbp),%ecx
lea    0xc01(%rip),%rdx
mov    $0x0,%al
call   1030 <snprintf@plt>
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1429 <format_hex+0x2f9>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    134f <format_hex+0x21f>
mov    -0x48(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x48(%rbp),%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    1470 <format_hex+0x340>
mov    -0x28(%rbp),%rax
mov    %rax,-0xb0(%rbp)
jmp    147b <format_hex+0x34b>
mov    -0x48(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rcx
mov    -0x28(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    14a7 <format_hex+0x377>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1192 <format_hex+0x62>
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
jbe    14d2 <format_hex+0x3a2>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<format_hex>:
test   %rcx,%rcx
je     131b <format_hex+0x1eb>
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rcx,%rbp
mov    %rsi,%r15
mov    %rdx,0x10(%rsp)
mov    %rdi,0x8(%rsp)
xor    %esi,%esi
mov    %r15,%rdx
call   1040 <memset@plt>
xor    %ecx,%ecx
xor    %ebx,%ebx
jmp    118d <format_hex+0x5d>
nopw   0x0(%rax,%rax,1)
addq   $0x10,0x10(%rsp)
mov    0x18(%rsp),%rcx
add    $0x10,%rcx
lea    0x1(%rdx),%rbx
cmp    $0x10,%r14
jbe    12f7 <format_hex+0x1c7>
mov    %rbp,%r14
mov    0x8(%rsp),%rbp
lea    (%rbx,%rbp,1),%rdi
mov    %r15,%rsi
sub    %rbx,%rsi
mov    $0x0,%eax
cmovb  %rax,%rsi
lea    0xe51(%rip),%rdx
mov    %rcx,0x18(%rsp)
xor    %eax,%eax
call   1030 <snprintf@plt>
mov    %rax,%r12
add    %rbx,%r12
xor    %ebx,%ebx
mov    0x10(%rsp),%r13
jmp    11eb <format_hex+0xbb>
nopw   0x0(%rax,%rax,1)
lea    0xe3b(%rip),%rdx
xor    %eax,%eax
call   1030 <snprintf@plt>
add    %rax,%r12
add    $0x1,%rbx
cmp    $0x10,%rbx
je     1220 <format_hex+0xf0>
lea    (%r12,%rbp,1),%rdi
mov    %r15,%rax
sub    %r12,%rax
mov    $0x0,%esi
cmovae %rax,%rsi
cmp    %r14,%rbx
jae    11d0 <format_hex+0xa0>
movzbl 0x0(%r13,%rbx,1),%ecx
lea    0xdfc(%rip),%rdx
xor    %eax,%eax
call   1030 <snprintf@plt>
jmp    11de <format_hex+0xae>
nopl   0x0(%rax)
lea    (%r12,%rbp,1),%rdi
mov    %r15,%rsi
sub    %r12,%rsi
mov    $0x0,%eax
cmovb  %rax,%rsi
lea    0xdda(%rip),%rdx
xor    %eax,%eax
call   1030 <snprintf@plt>
mov    %rax,%rdx
add    %r12,%rdx
xor    %ebp,%ebp
jmp    1281 <format_hex+0x151>
nopl   0x0(%rax,%rax,1)
movzbl (%r15,%rbp,1),%ecx
mov    %r14,%r15
mov    %r13,%r14
mov    %r12,%rdi
mov    %rbx,%rsi
lea    0xdae(%rip),%rdx
xor    %eax,%eax
call   1030 <snprintf@plt>
mov    0x20(%rsp),%rdx
add    %rax,%rdx
add    $0x1,%rbp
cmp    $0x10,%rbp
je     12d0 <format_hex+0x1a0>
cmp    %r14,%rbp
jae    1277 <format_hex+0x147>
mov    %r14,%r13
mov    0x8(%rsp),%rax
lea    (%rax,%rdx,1),%r12
mov    %r15,%r14
mov    %rdx,0x20(%rsp)
sub    %rdx,%r15
mov    $0x0,%ebx
cmovae %r15,%rbx
mov    0x10(%rsp),%r15
movzbl (%r15,%rbp,1),%edi
call   1050 <isprint@plt>
test   %rax,%rax
jne    1250 <format_hex+0x120>
mov    $0x2e,%ecx
jmp    1255 <format_hex+0x125>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r14,%rax
sub    $0x10,%rax
mov    $0x0,%ebp
cmovae %rax,%rbp
cmp    %r15,%rdx
jae    1170 <format_hex+0x40>
mov    0x8(%rsp),%rax
movb   $0x0,(%rax,%rdx,1)
jmp    1170 <format_hex+0x40>
cmp    %r15,%rbx
jae    1305 <format_hex+0x1d5>
mov    0x8(%rsp),%rax
movb   $0x0,(%rax,%rbx,1)
add    $0x2,%rdx
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
mov    %rdx,%rax
ret
xor    %edx,%edx
mov    %rdx,%rax
ret

LLVM IR (-O0):
@.str = [12 x i8] c" 0x%04x: \00"
@.str.1 = [6 x i8] c"%02x \00"
@.str.2 = [4 x i8] c" \00"
@.str.3 = [2 x i8] c" \00"
@.str.4 = [3 x i8] c"%c\00"
define i64 @format_hex(i8* %0, i64 %1, i8* %2, i64 %3) {
%5 = alloca i64
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
store i8* %0, i8** %6
store i64 %1, i64* %7
store i8* %2, i8** %8
store i64 %3, i64* %9
store i64 0, i64* %10
store i64 0, i64* %11
store i64 0, i64* %12
store i64 16, i64* %13
%14 = load i64, i64* %9
%15 = icmp ne i64 %14, 0
br i1 %15, label %17, label %16
16: ; preds = %4
store i64 0, i64* %5
br label %195
17: ; preds = %4
%18 = load i8*, i8** %6
%19 = load i64, i64* %7
%20 = call i32 @memset(i8* %18, i32 0, i64 %19)
br label %21
21: ; preds = %180, %17
%22 = load i64, i64* %9
%23 = icmp ne i64 %22, 0
br i1 %23, label %24, label %183
24: ; preds = %21
%25 = load i8*, i8** %6
%26 = load i64, i64* %11
%27 = getelementptr inbounds i8, i8* %25, i64 %26
%28 = load i64, i64* %7
%29 = load i64, i64* %11
%30 = icmp ugt i64 %28, %29
br i1 %30, label %31, label %35
31: ; preds = %24
%32 = load i64, i64* %7
%33 = load i64, i64* %11
%34 = sub i64 %32, %33
br label %36
35: ; preds = %24
br label %36
36: ; preds = %35, %31
%37 = phi i64 [ %34, %31 ], [ 0, %35 ]
%38 = load i64, i64* %12
%39 = trunc i64 %38 to i32
%40 = call i64 (i8*, i64, i8*, ...) @snprintf(i8* %27, i64 %37, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0), i32 %39)
%41 = load i64, i64* %11
%42 = add i64 %41, %40
store i64 %42, i64* %11
store i64 0, i64* %10
br label %43
43: ; preds = %91, %36
%44 = load i64, i64* %10
%45 = load i64, i64* %13
%46 = icmp ult i64 %44, %45
br i1 %46, label %47, label %94
47: ; preds = %43
%48 = load i64, i64* %10
%49 = load i64, i64* %9
%50 = icmp ult i64 %48, %49
br i1 %50, label %51, label %73
51: ; preds = %47
%52 = load i8*, i8** %6
%53 = load i64, i64* %11
%54 = getelementptr inbounds i8, i8* %52, i64 %53
%55 = load i64, i64* %7
%56 = load i64, i64* %11
%57 = icmp ugt i64 %55, %56
br i1 %57, label %58, label %62
58: ; preds = %51
%59 = load i64, i64* %7
%60 = load i64, i64* %11
%61 = sub i64 %59, %60
br label %63
62: ; preds = %51
br label %63
63: ; preds = %62, %58
%64 = phi i64 [ %61, %58 ], [ 0, %62 ]
%65 = load i8*, i8** %8
%66 = load i64, i64* %10
%67 = getelementptr inbounds i8, i8* %65, i64 %66
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
%70 = call i64 (i8*, i64, i8*, ...) @snprintf(i8* %54, i64 %64, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %69)
%71 = load i64, i64* %11
%72 = add i64 %71, %70
store i64 %72, i64* %11
br label %90
73: ; preds = %47
%74 = load i8*, i8** %6
%75 = load i64, i64* %11
%76 = getelementptr inbounds i8, i8* %74, i64 %75
%77 = load i64, i64* %7
%78 = load i64, i64* %11
%79 = icmp ugt i64 %77, %78
br i1 %79, label %80, label %84
80: ; preds = %73
%81 = load i64, i64* %7
%82 = load i64, i64* %11
%83 = sub i64 %81, %82
br label %85
84: ; preds = %73
br label %85
85: ; preds = %84, %80
%86 = phi i64 [ %83, %80 ], [ 0, %84 ]
%87 = call i64 (i8*, i64, i8*, ...) @snprintf(i8* %76, i64 %86, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
%88 = load i64, i64* %11
%89 = add i64 %88, %87
store i64 %89, i64* %11
br label %90
90: ; preds = %85, %63
br label %91
91: ; preds = %90
%92 = load i64, i64* %10
%93 = add i64 %92, 1
store i64 %93, i64* %10
br label %43
94: ; preds = %43
%95 = load i8*, i8** %6
%96 = load i64, i64* %11
%97 = getelementptr inbounds i8, i8* %95, i64 %96
%98 = load i64, i64* %7
%99 = load i64, i64* %11
%100 = icmp ugt i64 %98, %99
br i1 %100, label %101, label %105
101: ; preds = %94
%102 = load i64, i64* %7
%103 = load i64, i64* %11
%104 = sub i64 %102, %103
br label %106
105: ; preds = %94
br label %106
106: ; preds = %105, %101
%107 = phi i64 [ %104, %101 ], [ 0, %105 ]
%108 = call i64 (i8*, i64, i8*, ...) @snprintf(i8* %97, i64 %107, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%109 = load i64, i64* %11
%110 = add i64 %109, %108
store i64 %110, i64* %11
store i64 0, i64* %10
br label %111
111: ; preds = %152, %106
%112 = load i64, i64* %10
%113 = load i64, i64* %13
%114 = icmp ult i64 %112, %113
br i1 %114, label %115, label %155
115: ; preds = %111
%116 = load i64, i64* %10
%117 = load i64, i64* %9
%118 = icmp ult i64 %116, %117
br i1 %118, label %119, label %151
119: ; preds = %115
%120 = load i8*, i8** %6
%121 = load i64, i64* %11
%122 = getelementptr inbounds i8, i8* %120, i64 %121
%123 = load i64, i64* %7
%124 = load i64, i64* %11
%125 = icmp ugt i64 %123, %124
br i1 %125, label %126, label %130
126: ; preds = %119
%127 = load i64, i64* %7
%128 = load i64, i64* %11
%129 = sub i64 %127, %128
br label %131
130: ; preds = %119
br label %131
131: ; preds = %130, %126
%132 = phi i64 [ %129, %126 ], [ 0, %130 ]
%133 = load i8*, i8** %8
%134 = load i64, i64* %10
%135 = getelementptr inbounds i8, i8* %133, i64 %134
%136 = load i8, i8* %135
%137 = call i64 @isprint(i8 zeroext %136)
%138 = icmp ne i64 %137, 0
br i1 %138, label %139, label %145
139: ; preds = %131
%140 = load i8*, i8** %8
%141 = load i64, i64* %10
%142 = getelementptr inbounds i8, i8* %140, i64 %141
%143 = load i8, i8* %142
%144 = zext i8 %143 to i32
br label %146
145: ; preds = %131
br label %146
146: ; preds = %145, %139
%147 = phi i32 [ %144, %139 ], [ 46, %145 ]
%148 = call i64 (i8*, i64, i8*, ...) @snprintf(i8* %122, i64 %132, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %147)
%149 = load i64, i64* %11
%150 = add i64 %149, %148
store i64 %150, i64* %11
br label %151
151: ; preds = %146, %115
br label %152
152: ; preds = %151
%153 = load i64, i64* %10
%154 = add i64 %153, 1
store i64 %154, i64* %10
br label %111
155: ; preds = %111
%156 = load i64, i64* %13
%157 = load i8*, i8** %8
%158 = getelementptr inbounds i8, i8* %157, i64 %156
store i8* %158, i8** %8
%159 = load i64, i64* %13
%160 = load i64, i64* %12
%161 = add i64 %160, %159
store i64 %161, i64* %12
%162 = load i64, i64* %9
%163 = load i64, i64* %13
%164 = icmp ult i64 %162, %163
br i1 %164, label %165, label %167
165: ; preds = %155
%166 = load i64, i64* %9
br label %169
167: ; preds = %155
%168 = load i64, i64* %13
br label %169
169: ; preds = %167, %165
%170 = phi i64 [ %166, %165 ], [ %168, %167 ]
%171 = load i64, i64* %9
%172 = sub i64 %171, %170
store i64 %172, i64* %9
%173 = load i64, i64* %7
%174 = load i64, i64* %11
%175 = icmp ugt i64 %173, %174
br i1 %175, label %176, label %180
176: ; preds = %169
%177 = load i8*, i8** %6
%178 = load i64, i64* %11
%179 = getelementptr inbounds i8, i8* %177, i64 %178
store i8 0, i8* %179
br label %180
180: ; preds = %176, %169
%181 = load i64, i64* %11
%182 = add i64 %181, 1
store i64 %182, i64* %11
br label %21
183: ; preds = %21
%184 = load i64, i64* %7
%185 = load i64, i64* %11
%186 = icmp ugt i64 %184, %185
br i1 %186, label %187, label %191
187: ; preds = %183
%188 = load i8*, i8** %6
%189 = load i64, i64* %11
%190 = getelementptr inbounds i8, i8* %188, i64 %189
store i8 0, i8* %190
br label %191
191: ; preds = %187, %183
%192 = load i64, i64* %11
%193 = add i64 %192, 1
store i64 %193, i64* %11
%194 = load i64, i64* %11
store i64 %194, i64* %5
br label %195
195: ; preds = %191, %16
%196 = load i64, i64* %5
ret i64 %196
}

LLVM IR (-O2):
@.str = [12 x i8] c" 0x%04x: \00"
@.str.1 = [6 x i8] c"%02x \00"
@.str.2 = [4 x i8] c" \00"
@.str.3 = [2 x i8] c" \00"
@.str.4 = [3 x i8] c"%c\00"
define i64 @format_hex(i8* %0, i64 %1, i8* nocapture %2, i64 %3) {
%5 = icmp eq i64 %3, 0
br i1 %5, label %79, label %6
6: ; preds = %4
%7 = tail call i32 @memset(i8* %0, i32 0, i64 %1)
br label %8
8: ; preds = %6, %70
%9 = phi i64 [ 0, %6 ], [ %65, %70 ]
%10 = phi i64 [ 0, %6 ], [ %71, %70 ]
%11 = phi i64 [ %3, %6 ], [ %66, %70 ]
%12 = phi i8* [ %2, %6 ], [ %64, %70 ]
%13 = getelementptr inbounds i8, i8* %0, i64 %10
%14 = tail call i64 @llvm.usub.sat.i64(i64 %1, i64 %10)
%15 = trunc i64 %9 to i32
%16 = tail call i64 (i8*, i64, i8*, ...) @snprintf(i8* %13, i64 %14, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0), i32 %15)
%17 = add i64 %16, %10
br label %18
18: ; preds = %8, %31
%19 = phi i64 [ %17, %8 ], [ %33, %31 ]
%20 = phi i64 [ 0, %8 ], [ %34, %31 ]
%21 = icmp ult i64 %20, %11
%22 = getelementptr inbounds i8, i8* %0, i64 %19
%23 = tail call i64 @llvm.usub.sat.i64(i64 %1, i64 %19)
br i1 %21, label %24, label %29
24: ; preds = %18
%25 = getelementptr inbounds i8, i8* %12, i64 %20
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = tail call i64 (i8*, i64, i8*, ...) @snprintf(i8* %22, i64 %23, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i32 %27)
br label %31
29: ; preds = %18
%30 = tail call i64 (i8*, i64, i8*, ...) @snprintf(i8* %22, i64 %23, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0))
br label %31
31: ; preds = %24, %29
%32 = phi i64 [ %28, %24 ], [ %30, %29 ]
%33 = add i64 %32, %19
%34 = add nuw nsw i64 %20, 1
%35 = icmp eq i64 %34, 16
br i1 %35, label %36, label %18
36: ; preds = %31
%37 = getelementptr inbounds i8, i8* %0, i64 %33
%38 = tail call i64 @llvm.usub.sat.i64(i64 %1, i64 %33)
%39 = tail call i64 (i8*, i64, i8*, ...) @snprintf(i8* %37, i64 %38, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%40 = add i64 %39, %33
br label %41
41: ; preds = %36, %59
%42 = phi i64 [ %40, %36 ], [ %60, %59 ]
%43 = phi i64 [ 0, %36 ], [ %61, %59 ]
%44 = icmp ult i64 %43, %11
br i1 %44, label %45, label %59
45: ; preds = %41
%46 = getelementptr inbounds i8, i8* %0, i64 %42
%47 = tail call i64 @llvm.usub.sat.i64(i64 %1, i64 %42)
%48 = getelementptr inbounds i8, i8* %12, i64 %43
%49 = load i8, i8* %48
%50 = tail call i64 @isprint(i8 zeroext %49)
%51 = icmp eq i64 %50, 0
br i1 %51, label %55, label %52
52: ; preds = %45
%53 = load i8, i8* %48
%54 = zext i8 %53 to i32
br label %55
55: ; preds = %45, %52
%56 = phi i32 [ %54, %52 ], [ 46, %45 ]
%57 = tail call i64 (i8*, i64, i8*, ...) @snprintf(i8* %46, i64 %47, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0), i32 %56)
%58 = add i64 %57, %42
br label %59
59: ; preds = %41, %55
%60 = phi i64 [ %58, %55 ], [ %42, %41 ]
%61 = add nuw nsw i64 %43, 1
%62 = icmp eq i64 %61, 16
br i1 %62, label %63, label %41
63: ; preds = %59
%64 = getelementptr inbounds i8, i8* %12, i64 16
%65 = add i64 %9, 16
%66 = tail call i64 @llvm.usub.sat.i64(i64 %11, i64 16)
%67 = icmp ult i64 %60, %1
br i1 %67, label %68, label %70
68: ; preds = %63
%69 = getelementptr inbounds i8, i8* %0, i64 %60
store i8 0, i8* %69
br label %70
70: ; preds = %68, %63
%71 = add i64 %60, 1
%72 = icmp ult i64 %11, 17
br i1 %72, label %73, label %8
73: ; preds = %70
%74 = icmp ult i64 %71, %1
br i1 %74, label %75, label %77
75: ; preds = %73
%76 = getelementptr inbounds i8, i8* %0, i64 %71
store i8 0, i8* %76
br label %77
77: ; preds = %75, %73
%78 = add i64 %60, 2
br label %79
79: ; preds = %4, %77
%80 = phi i64 [ %78, %77 ], [ 0, %4 ]
ret i64 %80
}