#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 */
int ENOMEM;
int /*<<< orphan*/ assert(int);
int chardump_mems(char *, size_t, void const *, size_t, size_t);
int /*<<< orphan*/ hex(char *, size_t, size_t, int);
int hexdump_mems(char *, size_t, void const *, size_t, size_t);
int /*<<< orphan*/ memset(char *, char, size_t);
int dump_mems(char *dest, size_t dsize, void const *data, size_t size,
              size_t amount, size_t offset) {
  size_t bump;
  int rc;
  assert(amount > 0);
  assert(size > 0);
  assert(data != NULL);
  assert(dest != NULL);
  assert(dsize >= sizeof(size_t) * 2 + 2 + (amount * 3) + 1 + amount + 1);
  hex(dest, dsize, offset, sizeof(size_t) * 2);
  dest += sizeof(size_t) * 2;
  dsize -= sizeof(size_t) * 2;
  dest[0] = ':';
  dest[1] = ' ';
  dest += 2;
  dsize -= 2;
  rc = hexdump_mems(dest, dsize, data, size, amount);
  if (rc < 0)
    return rc;
  bump = size < amount ? size : amount;
  dest += bump * 3;
  dsize -= bump * 3;
  if (dsize == 0)
    return ENOMEM;
  *dest++ = ' ';
  dsize--;
  if (size < amount) {
    size_t d = (amount - size) * 3;
    if (d > dsize)
      return ENOMEM;
    memset(dest, ' ', d);
    dest += d;
    dsize -= d;
  }
  return chardump_mems(dest, dsize, data, size, amount);
}


x86 assembly (clang, -O0):
<dump_mems>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
cmpq   $0x0,-0x30(%rbp)
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0x0,-0x28(%rbp)
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0x0,-0x20(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x18(%rbp),%rax
imul   $0x3,-0x30(%rbp),%rcx
add    $0x12,%rcx
add    $0x1,%rcx
add    -0x30(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x38(%rbp),%rdx
mov    $0x10,%ecx
call   1070 <hex@plt>
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x10,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movb   $0x3a,(%rax)
mov    -0x10(%rbp),%rax
movb   $0x20,0x1(%rax)
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
sub    $0x2,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%r8
call   1060 <hexdump_mems@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
jge    1267 <dump_mems+0x117>
mov    -0x44(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    136f <dump_mems+0x21f>
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    1282 <dump_mems+0x132>
mov    -0x28(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    128a <dump_mems+0x13a>
mov    -0x30(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x40(%rbp)
imul   $0x3,-0x40(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
imul   $0x3,-0x40(%rbp),%rcx
mov    -0x18(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    12cb <dump_mems+0x17b>
mov    0x2d1f(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    136f <dump_mems+0x21f>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x20,(%rax)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
jae    1353 <dump_mems+0x203>
mov    -0x30(%rbp),%rax
sub    -0x28(%rbp),%rax
imul   $0x3,%rax,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x18(%rbp),%rax
jbe    1326 <dump_mems+0x1d6>
mov    0x2cc4(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    136f <dump_mems+0x21f>
mov    -0x10(%rbp),%rdi
mov    -0x50(%rbp),%rdx
mov    $0x20,%esi
call   1040 <memset@plt>
mov    -0x50(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x50(%rbp),%rcx
mov    -0x18(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%r8
call   1030 <chardump_mems@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dump_mems>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9,%rbp
mov    %r8,%r12
mov    %rcx,%r14
mov    %rdx,%r15
mov    %rsi,%r13
mov    %rdi,%rbx
xor    %edi,%edi
test   %r8,%r8
setne  %dil
call   1050 <assert@plt>
xor    %edi,%edi
test   %r14,%r14
setne  %dil
call   1050 <assert@plt>
xor    %edi,%edi
test   %r15,%r15
setne  %dil
call   1050 <assert@plt>
xor    %edi,%edi
test   %rbx,%rbx
setne  %dil
call   1050 <assert@plt>
lea    (%r12,%r12,2),%rax
add    %r12,%rax
add    $0x14,%rax
xor    %edi,%edi
cmp    %r13,%rax
setbe  %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbp,%rdx
mov    $0x10,%ecx
call   1070 <hex@plt>
movw   $0x203a,0x10(%rbx)
add    $0x12,%rbx
add    $0xffffffffffffffee,%r13
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %r15,%rdx
mov    %r14,%rcx
mov    %r12,%r8
call   1060 <hexdump_mems@plt>
test   %eax,%eax
js     1232 <dump_mems+0xe2>
cmp    %r14,%r12
mov    %r12,%rax
cmova  %r14,%rax
lea    (%rax,%rax,2),%rax
sub    %rax,%r13
je     1229 <dump_mems+0xd9>
add    %rax,%rbx
lea    0x1(%rbx),%rbp
add    $0xffffffffffffffff,%r13
mov    %r12,%rax
movb   $0x20,(%rbx)
sub    %r14,%rax
jbe    1254 <dump_mems+0x104>
lea    (%rax,%rax,2),%rbx
sub    %rbx,%r13
jae    1241 <dump_mems+0xf1>
mov    0x2db0(%rip),%rax
mov    (%rax),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rbp,%rdi
mov    $0x20,%esi
mov    %rbx,%rdx
call   1040 <memset@plt>
add    %rbx,%rbp
mov    %rbp,%rdi
mov    %r13,%rsi
mov    %r15,%rdx
mov    %r14,%rcx
mov    %r12,%r8
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <chardump_mems@plt>

LLVM IR (-O0):
@ENOMEM = global i32 0
define i32 @dump_mems(i8* %0, i64 %1, i8* %2, i64 %3, i64 %4, i64 %5) {
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i8*
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i32
%16 = alloca i64
store i8* %0, i8** %8
store i64 %1, i64* %9
store i8* %2, i8** %10
store i64 %3, i64* %11
store i64 %4, i64* %12
store i64 %5, i64* %13
%17 = load i64, i64* %12
%18 = icmp ugt i64 %17, 0
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = load i64, i64* %11
%22 = icmp ugt i64 %21, 0
%23 = zext i1 %22 to i32
%24 = call i32 @assert(i32 %23)
%25 = load i8*, i8** %10
%26 = icmp ne i8* %25, null
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = load i8*, i8** %8
%30 = icmp ne i8* %29, null
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = load i64, i64* %9
%34 = load i64, i64* %12
%35 = mul i64 %34, 3
%36 = add i64 18, %35
%37 = add i64 %36, 1
%38 = load i64, i64* %12
%39 = add i64 %37, %38
%40 = add i64 %39, 1
%41 = icmp uge i64 %33, %40
%42 = zext i1 %41 to i32
%43 = call i32 @assert(i32 %42)
%44 = load i8*, i8** %8
%45 = load i64, i64* %9
%46 = load i64, i64* %13
%47 = call i32 @hex(i8* %44, i64 %45, i64 %46, i32 16)
%48 = load i8*, i8** %8
%49 = getelementptr inbounds i8, i8* %48, i64 16
store i8* %49, i8** %8
%50 = load i64, i64* %9
%51 = sub i64 %50, 16
store i64 %51, i64* %9
%52 = load i8*, i8** %8
%53 = getelementptr inbounds i8, i8* %52, i64 0
store i8 58, i8* %53
%54 = load i8*, i8** %8
%55 = getelementptr inbounds i8, i8* %54, i64 1
store i8 32, i8* %55
%56 = load i8*, i8** %8
%57 = getelementptr inbounds i8, i8* %56, i64 2
store i8* %57, i8** %8
%58 = load i64, i64* %9
%59 = sub i64 %58, 2
store i64 %59, i64* %9
%60 = load i8*, i8** %8
%61 = load i64, i64* %9
%62 = load i8*, i8** %10
%63 = load i64, i64* %11
%64 = load i64, i64* %12
%65 = call i32 @hexdump_mems(i8* %60, i64 %61, i8* %62, i64 %63, i64 %64)
store i32 %65, i32* %15
%66 = load i32, i32* %15
%67 = icmp slt i32 %66, 0
br i1 %67, label %68, label %70
68: ; preds = %6
%69 = load i32, i32* %15
store i32 %69, i32* %7
br label %127
70: ; preds = %6
%71 = load i64, i64* %11
%72 = load i64, i64* %12
%73 = icmp ult i64 %71, %72
br i1 %73, label %74, label %76
74: ; preds = %70
%75 = load i64, i64* %11
br label %78
76: ; preds = %70
%77 = load i64, i64* %12
br label %78
78: ; preds = %76, %74
%79 = phi i64 [ %75, %74 ], [ %77, %76 ]
store i64 %79, i64* %14
%80 = load i64, i64* %14
%81 = mul i64 %80, 3
%82 = load i8*, i8** %8
%83 = getelementptr inbounds i8, i8* %82, i64 %81
store i8* %83, i8** %8
%84 = load i64, i64* %14
%85 = mul i64 %84, 3
%86 = load i64, i64* %9
%87 = sub i64 %86, %85
store i64 %87, i64* %9
%88 = load i64, i64* %9
%89 = icmp eq i64 %88, 0
br i1 %89, label %90, label %92
90: ; preds = %78
%91 = load i32, i32* @ENOMEM
store i32 %91, i32* %7
br label %127
92: ; preds = %78
%93 = load i8*, i8** %8
%94 = getelementptr inbounds i8, i8* %93, i32 1
store i8* %94, i8** %8
store i8 32, i8* %93
%95 = load i64, i64* %9
%96 = add i64 %95, -1
store i64 %96, i64* %9
%97 = load i64, i64* %11
%98 = load i64, i64* %12
%99 = icmp ult i64 %97, %98
br i1 %99, label %100, label %120
100: ; preds = %92
%101 = load i64, i64* %12
%102 = load i64, i64* %11
%103 = sub i64 %101, %102
%104 = mul i64 %103, 3
store i64 %104, i64* %16
%105 = load i64, i64* %16
%106 = load i64, i64* %9
%107 = icmp ugt i64 %105, %106
br i1 %107, label %108, label %110
108: ; preds = %100
%109 = load i32, i32* @ENOMEM
store i32 %109, i32* %7
br label %127
110: ; preds = %100
%111 = load i8*, i8** %8
%112 = load i64, i64* %16
%113 = call i32 @memset(i8* %111, i8 signext 32, i64 %112)
%114 = load i64, i64* %16
%115 = load i8*, i8** %8
%116 = getelementptr inbounds i8, i8* %115, i64 %114
store i8* %116, i8** %8
%117 = load i64, i64* %16
%118 = load i64, i64* %9
%119 = sub i64 %118, %117
store i64 %119, i64* %9
br label %120
120: ; preds = %110, %92
%121 = load i8*, i8** %8
%122 = load i64, i64* %9
%123 = load i8*, i8** %10
%124 = load i64, i64* %11
%125 = load i64, i64* %12
%126 = call i32 @chardump_mems(i8* %121, i64 %122, i8* %123, i64 %124, i64 %125)
store i32 %126, i32* %7
br label %127
127: ; preds = %120, %108, %90, %68
%128 = load i32, i32* %7
ret i32 %128
}

LLVM IR (-O2):
@ENOMEM = global i32 0
define i32 @dump_mems(i8* %0, i64 %1, i8* %2, i64 %3, i64 %4, i64 %5) {
%7 = icmp ne i64 %4, 0
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = icmp ne i64 %3, 0
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = icmp ne i8* %2, null
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
%16 = icmp ne i8* %0, null
%17 = zext i1 %16 to i32
%18 = tail call i32 @assert(i32 %17)
%19 = mul i64 %4, 3
%20 = add i64 %4, 20
%21 = add i64 %20, %19
%22 = icmp ule i64 %21, %1
%23 = zext i1 %22 to i32
%24 = tail call i32 @assert(i32 %23)
%25 = tail call i32 @hex(i8* %0, i64 %1, i64 %5, i32 16)
%26 = getelementptr inbounds i8, i8* %0, i64 16
store i8 58, i8* %26
%27 = getelementptr inbounds i8, i8* %0, i64 17
store i8 32, i8* %27
%28 = getelementptr inbounds i8, i8* %0, i64 18
%29 = add i64 %1, -18
%30 = tail call i32 @hexdump_mems(i8* %28, i64 %29, i8* %2, i64 %3, i64 %4)
%31 = icmp slt i32 %30, 0
br i1 %31, label %58, label %32
32: ; preds = %6
%33 = icmp ugt i64 %4, %3
%34 = select i1 %33, i64 %3, i64 %4
%35 = mul i64 %34, 3
%36 = getelementptr inbounds i8, i8* %28, i64 %35
%37 = sub i64 %29, %35
%38 = icmp eq i64 %37, 0
br i1 %38, label %39, label %41
39: ; preds = %32
%40 = load i32, i32* @ENOMEM
br label %58
41: ; preds = %32
%42 = getelementptr inbounds i8, i8* %36, i64 1
store i8 32, i8* %36
%43 = add i64 %37, -1
br i1 %33, label %44, label %54
44: ; preds = %41
%45 = sub i64 %4, %3
%46 = mul i64 %45, 3
%47 = icmp ult i64 %43, %46
br i1 %47, label %48, label %50
48: ; preds = %44
%49 = load i32, i32* @ENOMEM
br label %58
50: ; preds = %44
%51 = tail call i32 @memset(i8* %42, i8 signext 32, i64 %46)
%52 = getelementptr inbounds i8, i8* %42, i64 %46
%53 = sub i64 %43, %46
br label %54
54: ; preds = %50, %41
%55 = phi i64 [ %53, %50 ], [ %43, %41 ]
%56 = phi i8* [ %52, %50 ], [ %42, %41 ]
%57 = tail call i32 @chardump_mems(i8* %56, i64 %55, i8* %2, i64 %3, i64 %4)
br label %58
58: ; preds = %48, %6, %54, %39
%59 = phi i32 [ %40, %39 ], [ %57, %54 ], [ %30, %6 ], [ %49, %48 ]
ret i32 %59
}