void mcp_hexdigest(char *hex, const unsigned char *digest, int digest_length) {
  const char hexchar[] = "0123456789abcdef";
  char *ptr = hex;
  int i, x, neg;
  x = neg = !!(digest[0] & 0x80);
  *ptr++ = 0;
  i = digest_length;
  while (i-- > 0) {
    if (neg)
      x += (digest[i] ^ 0xff);
    else
      x += digest[i];
    *ptr++ = hexchar[x & 0xf];
    x >>= 4;
    *ptr++ = hexchar[x & 0xf];
    x >>= 4;
  }
  while (ptr-- > hex && *ptr == '0')
    ;
  if (neg)
    *++ptr = '-';
  do {
    x = *hex;
    *hex = *ptr;
    *ptr = x;
  } while (++hex < --ptr);
}


x86 assembly (clang, -O0):
<mcp_hexdigest>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    0xeea(%rip),%rax
mov    %rax,-0x30(%rbp)
mov    0xee7(%rip),%rax
mov    %rax,-0x28(%rbp)
mov    0xee5(%rip),%al
mov    %al,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0x80,%eax
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x44(%rbp)
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x0,(%rax)
mov    -0x14(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x3c(%rbp)
cmp    $0x0,%eax
jle    120c <mcp_hexdigest+0x10c>
cmpl   $0x0,-0x44(%rbp)
je     11a9 <mcp_hexdigest+0xa9>
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
xor    $0xff,%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    11bb <mcp_hexdigest+0xbb>
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
and    $0xf,%eax
cltq
mov    -0x30(%rbp,%rax,1),%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
mov    -0x40(%rbp),%eax
sar    $0x4,%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
and    $0xf,%eax
cltq
mov    -0x30(%rbp,%rax,1),%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
mov    -0x40(%rbp),%eax
sar    $0x4,%eax
mov    %eax,-0x40(%rbp)
jmp    116f <mcp_hexdigest+0x6f>
jmp    1211 <mcp_hexdigest+0x111>
mov    -0x38(%rbp),%rcx
mov    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
xor    %eax,%eax
cmp    -0x8(%rbp),%rcx
mov    %al,-0x45(%rbp)
jbe    123f <mcp_hexdigest+0x13f>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
sete   %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    124f <mcp_hexdigest+0x14f>
jmp    1254 <mcp_hexdigest+0x154>
jmp    1211 <mcp_hexdigest+0x111>
cmpl   $0x0,-0x44(%rbp)
je     1271 <mcp_hexdigest+0x171>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x2d,0x1(%rax)
jmp    1276 <mcp_hexdigest+0x176>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
mov    -0x40(%rbp),%eax
mov    %al,%cl
mov    -0x38(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x38(%rbp),%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x38(%rbp)
cmp    %rcx,%rax
jb     1276 <mcp_hexdigest+0x176>
pop    %rbp
ret

x86 assembly (clang, -O2):
<mcp_hexdigest>:
push   %r15
push   %r14
push   %rbx
movzbl (%rsi),%r8d
lea    0x1(%rdi),%r14
movb   $0x0,(%rdi)
mov    %r14,%rax
test   %edx,%edx
jle    1190 <mcp_hexdigest+0x90>
mov    %r8d,%r11d
shr    $0x7,%r11d
mov    %edx,%r15d
mov    %r8d,%r9d
sar    $0x7,%r9b
add    $0x1,%r15
lea    0xecd(%rip),%r10
mov    %r14,%rax
cs nopw 0x0(%rax,%rax,1)
lea    -0x2(%r15),%ebx
movzbl (%rsi,%rbx,1),%ebx
xor    %r9b,%bl
movzbl %bl,%edx
add    %r11d,%edx
mov    %edx,%ebx
and    $0xf,%ebx
movzbl (%rbx,%r10,1),%ebx
mov    %bl,(%rax)
mov    %edx,%ecx
shr    $0x4,%ecx
and    $0xf,%ecx
movzbl (%rcx,%r10,1),%ecx
mov    %cl,0x1(%rax)
add    $0x2,%rax
sar    $0x8,%edx
add    $0xffffffffffffffff,%r15
mov    %edx,%r11d
cmp    $0x1,%r15
ja     1140 <mcp_hexdigest+0x40>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rax,%rdx
cmp    %rdi,%rax
jbe    11a2 <mcp_hexdigest+0xa2>
lea    -0x1(%rdx),%rax
cmpb   $0x30,-0x1(%rdx)
je     1190 <mcp_hexdigest+0x90>
test   %r8b,%r8b
js     11ad <mcp_hexdigest+0xad>
add    $0xffffffffffffffff,%rdx
jmp    11b0 <mcp_hexdigest+0xb0>
movb   $0x2d,(%rdx)
movzbl -0x1(%r14),%eax
movzbl (%rdx),%ecx
mov    %cl,-0x1(%r14)
mov    %al,(%rdx)
add    $0xffffffffffffffff,%rdx
lea    0x1(%r14),%rax
cmp    %rdx,%r14
mov    %rax,%r14
jb     11b0 <mcp_hexdigest+0xb0>
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
@__const.mcp_hexdigest.hexchar = [17 x i8] c"0123456789abcdef\00"
define void @mcp_hexdigest(i8* %0, i8* nocapture %1, i32 %2) {
%4 = load i8, i8* %1
%5 = icmp slt i8 %4, 0
%6 = getelementptr inbounds i8, i8* %0, i64 1
store i8 0, i8* %0
%7 = icmp sgt i32 %2, 0
br i1 %7, label %8, label %37
8: ; preds = %3
%9 = lshr i8 %4, 7
%10 = zext i8 %9 to i32
%11 = zext i32 %2 to i64
%12 = ashr i8 %4, 7
br label %13
13: ; preds = %8, %13
%14 = phi i64 [ %11, %8 ], [ %17, %13 ]
%15 = phi i32 [ %10, %8 ], [ %35, %13 ]
%16 = phi i8* [ %6, %8 ], [ %34, %13 ]
%17 = add nsw i64 %14, -1
%18 = and i64 %17, 4294967295
%19 = getelementptr inbounds i8, i8* %1, i64 %18
%20 = load i8, i8* %19
%21 = xor i8 %20, %12
%22 = zext i8 %21 to i32
%23 = add nsw i32 %15, %22
%24 = and i32 %23, 15
%25 = zext i32 %24 to i64
%26 = getelementptr inbounds [17 x i8], [17 x i8]* @__const.mcp_hexdigest.hexchar, i64 0, i64 %25
%27 = load i8, i8* %26
%28 = getelementptr inbounds i8, i8* %16, i64 1
store i8 %27, i8* %16
%29 = lshr i32 %23, 4
%30 = and i32 %29, 15
%31 = zext i32 %30 to i64
%32 = getelementptr inbounds [17 x i8], [17 x i8]* @__const.mcp_hexdigest.hexchar, i64 0, i64 %31
%33 = load i8, i8* %32
%34 = getelementptr inbounds i8, i8* %16, i64 2
store i8 %33, i8* %28
%35 = ashr i32 %23, 8
%36 = icmp ugt i64 %14, 1
br i1 %36, label %13, label %37
37: ; preds = %13, %3
%38 = phi i8* [ %6, %3 ], [ %34, %13 ]
br label %39
39: ; preds = %37, %43
%40 = phi i8* [ %41, %43 ], [ %38, %37 ]
%41 = getelementptr inbounds i8, i8* %40, i64 -1
%42 = icmp ugt i8* %40, %0
br i1 %42, label %43, label %46
43: ; preds = %39
%44 = load i8, i8* %41
%45 = icmp eq i8 %44, 48
br i1 %45, label %39, label %46
46: ; preds = %39, %43
br i1 %5, label %47, label %48
47: ; preds = %46
store i8 45, i8* %40
br label %48
48: ; preds = %47, %46
%49 = phi i8* [ %41, %46 ], [ %40, %47 ]
br label %50
50: ; preds = %48, %50
%51 = phi i8* [ %56, %50 ], [ %49, %48 ]
%52 = phi i8* [ %55, %50 ], [ %0, %48 ]
%53 = load i8, i8* %52
%54 = load i8, i8* %51
store i8 %54, i8* %52
store i8 %53, i8* %51
%55 = getelementptr inbounds i8, i8* %52, i64 1
%56 = getelementptr inbounds i8, i8* %51, i64 -1
%57 = icmp ult i8* %55, %56
br i1 %57, label %50, label %58
58: ; preds = %50
ret void
}